For abstracts and more information, see http://foundations.cs.ru.nl/fndswiki/Seminars

For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at tue.nl).

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroy at science.uva.nl) or Hartmut Fitz (h.fitz at uva.nl).

(dutch only)
De Commissie Wetenschap en Kunst van de Koninklijke Nederlandse Akademie van Wetenschappen (KNAW) organiseert op woensdagmiddag 2 november 2005 een discussiebijeenkomst over de benadering van muziek, literatuur, po~zie en beeldende kunst vanuit de cognitiewetenschappen.

Harald Baayen (RU) en Jan de Roder (UM) zullen spreken over de rol van cognitie in po~zie en beeldende kunst. Henkjan Honing (UvA) en Emile Wennekes (UU) zullen de relatie tussen cognitie en muziek onder de loep nemen. Filosoof en psycholoog Jaap van Heerden zal de middag voorzitten.

Voor meer informatie, zie here

On November 2nd, prof. dr. Luc Steels will be holding a CSCA lecture on language origins. He is, among other things, founder and director (from 1983) of the VUB Artificial Intelligence Laboratory and is now working as professor in Computer Science at the Free University of Brussels.

For more information see the CSCA website at http://www.csca.uva.nl/.

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar05-2.html#Nov04.

Traditionally, logic has dealt with the zero-agent notion of truth and the one-agent notion of reasoning. In the last decades, research focus in logic shifted from these topics to the vast field of "interactive logic", encompassing logics of communication and interaction. The main applications of this move to n-agent notions are logical approaches to games and social software. The wealth of applications in these areas will be the focus of the 7th Augustus de Morgan Workshop.

For more information, see https://www.illc.uva.nl/ADMW05/

Edgar and Raul will give an introduction to Category Theory for everybody. This talk is a preliminary for the MoL Category Theory course, and part of the Cool Logic series, for and by Master of Logic students.

For more information, see http://student.science.uva.nl/~ckissig/mol/cool_logic.xml.html

Traditionally, logic has dealt with the zero-agent notion of truth and the one-agent notion of reasoning. In the last decades, research focus in logic shifted from these topics to the vast field of "interactive logic", encompassing logics of communication and interaction. The main applications of this move to n-agent notions are logical approaches to games and social software. The wealth of applications in these areas will be the focus of the 7th Augustus de Morgan Workshop.

For more information, see https://www.illc.uva.nl/ADMW05/

Traditionally, logic has dealt with the zero-agent notion of truth and the one-agent notion of reasoning. In the last decades, research focus in logic shifted from these topics to the vast field of "interactive logic", encompassing logics of communication and interaction. The main applications of this move to n-agent notions are logical approaches to games and social software. The wealth of applications in these areas will be the focus of the 7th Augustus de Morgan Workshop.

For more information, see https://www.illc.uva.nl/ADMW05/

Traditionally, logic has dealt with the zero-agent notion of truth and the one-agent notion of reasoning. In the last decades, research focus in logic shifted from these topics to the vast field of "interactive logic", encompassing logics of communication and interaction. The main applications of this move to n-agent notions are logical approaches to games and social software. The wealth of applications in these areas will be the focus of the 7th Augustus de Morgan Workshop.

For more information, see https://www.illc.uva.nl/ADMW05/

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroy at science.uva.nl) or Hartmut Fitz (h.fitz at uva.nl).

For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at tue.nl).

Probabilistic data-oriented methods have become increasingly successful in mastering the structural ambiguity of natural language utterances. We are now investigating whether similar methods can be used to model visual Gestalt perception. This talk will sketch the most important issues involved in that research agenda.

For more information, see the HAI Tea website: http://www.science.uva.nl/onderwijs/studieprogramma/haitea/

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroy at science.uva.nl) or Hartmut Fitz (h.fitz at uva.nl).

For more information, see here or contact Krzysztof Apt (apt at cwi.nl) or Ulle Endriss (ulle at illc.uva.nl).

Raul has given a general introduction. This talk will go over the basic technical stuff (still for everybody)

For more information, see http://student.science.uva.nl/~ckissig/mol/cool_logic.xml.html

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar05-2.html#Nov18.

For abstracts and more information, see http://www.hum.uva.nl/aclc/object.cfm/

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

For abstracts and more information, see https://www.illc.uva.nl/dip/.

This ESF Exploratory Workshop aims to explore various co-related features of knowledge dynamics in human and artificial agents, including evolution of concepts, cognitive development and learning, and short-term dynamics such as belief change and information update. Both individual and social dynamics of knowledge will be explored, and their interplay analyzed. Formal and computational models will be compared with socio-cognitive theories of knowledge change, and with empirical findings in psychology, anthropology, and social sciences.

For more information, see here or the workshop website at http://www.media.unisi.it/cirg/udk

Registration is open until half october: you can register online at http://conference.unisi.it/gest-congressi/web/online_ing.asp?id_cong=658

This ESF Exploratory Workshop aims to explore various co-related features of knowledge dynamics in human and artificial agents, including evolution of concepts, cognitive development and learning, and short-term dynamics such as belief change and information update. Both individual and social dynamics of knowledge will be explored, and their interplay analyzed. Formal and computational models will be compared with socio-cognitive theories of knowledge change, and with empirical findings in psychology, anthropology, and social sciences.

For more information, see here or the workshop website at http://www.media.unisi.it/cirg/udk

Registration is open until half october: you can register online at http://conference.unisi.it/gest-congressi/web/online_ing.asp?id_cong=658

This ESF Exploratory Workshop aims to explore various co-related features of knowledge dynamics in human and artificial agents, including evolution of concepts, cognitive development and learning, and short-term dynamics such as belief change and information update. Both individual and social dynamics of knowledge will be explored, and their interplay analyzed. Formal and computational models will be compared with socio-cognitive theories of knowledge change, and with empirical findings in psychology, anthropology, and social sciences.

For more information, see here or the workshop website at http://www.media.unisi.it/cirg/udk

Registration is open until half october: you can register online at http://conference.unisi.it/gest-congressi/web/online_ing.asp?id_cong=658

On 21, 22, and 23 November 2005, the School for Information and Knowledge Systems (SIKS) organizes the annual three-day course "Research methods and methodology for IKS". The location will be Conference center Woudschoten in Zeist. The course will be given in English. Although the course is primarily intended for SIKS-Ph.D. students, other participants are not excluded.

The primary goal of this hands-on course is to enable Ph.D. students to make a good research design for their own research project. To this end, it provides an interactive training in various elements of research design, such as the conceptual design and the research planning. But the course also contains a general introduction to the philosophy of science (and particularly to the philosophy of mathematics, computer science and AI). And, it addresses such divergent topics as "the case-study method", "elementary research methodology for the empirical sciences" and "empirical methods for computer science".

For more information, see http://www.siks.nl/

On 21, 22, and 23 November 2005, the School for Information and Knowledge Systems (SIKS) organizes the annual three-day course "Research methods and methodology for IKS". The location will be Conference center Woudschoten in Zeist. The course will be given in English. Although the course is primarily intended for SIKS-Ph.D. students, other participants are not excluded.

The primary goal of this hands-on course is to enable Ph.D. students to make a good research design for their own research project. To this end, it provides an interactive training in various elements of research design, such as the conceptual design and the research planning. But the course also contains a general introduction to the philosophy of science (and particularly to the philosophy of mathematics, computer science and AI). And, it addresses such divergent topics as "the case-study method", "elementary research methodology for the empirical sciences" and "empirical methods for computer science".

For more information, see http://www.siks.nl/

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroy at science.uva.nl) or Hartmut Fitz (h.fitz at uva.nl).

On 21, 22, and 23 November 2005, the School for Information and Knowledge Systems (SIKS) organizes the annual three-day course "Research methods and methodology for IKS". The location will be Conference center Woudschoten in Zeist. The course will be given in English. Although the course is primarily intended for SIKS-Ph.D. students, other participants are not excluded.

The primary goal of this hands-on course is to enable Ph.D. students to make a good research design for their own research project. To this end, it provides an interactive training in various elements of research design, such as the conceptual design and the research planning. But the course also contains a general introduction to the philosophy of science (and particularly to the philosophy of mathematics, computer science and AI). And, it addresses such divergent topics as "the case-study method", "elementary research methodology for the empirical sciences" and "empirical methods for computer science".

For more information, see http://www.siks.nl/

Stochastic Tree Substitution Grammars (STSGs), such as used in Data-Oriented Parsing, have great linguistic advantages, essentially merging "construction grammar" with "probabilistic linguistics". However, from a computational linguistics perspective, they pose a number of computational challenges that have not yet been satisfactorily solved.

Two fundamental and related problems are "the problem of estimation" -- estimating the weights of an STSG from observed subtree frequencies in a tree bank -- and "the problem of expectation" -- calculating the expected subtree frequencies when generating trees using an STSG with known weights. A linguistic desideratum for estimation is that it converges to the maximally general STSG out of the possibly many correct ones. I will briefly discuss why none of the existing estimation methods fulfills this desideratum. I will then present my recent work on the problem of expectation and discuss how its solution directly suggests an alternative approach to the first problem.

For more information, see http://staff.science.uva.nl/~jzuidema/CLS/

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar05-2.html#Nov25.

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

The aim of the contribution is to provide two kinds of game theoretical semantics for fuzzy logics with special attention to Lukasiewicz logic. The first one of the proposed semantics is a generalization of the evaluation games for classical logic. It is shown that it provides an interesting contribution to the model theory of fuzzy logics as, unlike the standard semantics, it can deal with so called non-safe models. The second kind of semantics makes explicit the intuition about fuzzy logics as logics of partial truth and provides a semantics in the form of a non zero sum game (bargaining fuzzy game). Finally a basic kind of information independence logic is introduced and the differences from the classical IF logic are discussed.

For more information, contact oroy at science.uva.nl

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroy at science.uva.nl) or Hartmut Fitz (h.fitz at uva.nl).