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

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).

In the past years, logicians have become more and more interested in the phenomenon of interaction. The area "logic and games" deals with the transition from the static logical paradigm of formal proof and derivation to the dynamic world of intelligent interaction and its logical models. A number of conferences and workshops have been dealing with logic in game and decision theory and dynamic logics with announcement and action operations. Fruitful technical advances have led to deep insights into the nature of communicative interaction and behaviour by logicians.

While these interactive aspects are relatively new to logicians, on a rather different level, modelling intelligent interaction has been an aspect of the practical work of computer game designers, researchers in artificial intelligence, robotics, and human-machine interaction for a long time. The practical aspects of simulating interaction and behaviour reach out to a wide interdisciplinary field including psychology and cognitive science.

So far, there are only a few cross-links between these two communities. Our symposium will explore the possibilities of joining the theoretical approach to interaction and communication with the practical approach to simulating behaviour. We would like to include purely logical aspects, cognitive and psychological aspects (including empirical testing of formal models), and pragmatic aspects.

This symposium is sponsored by the ILLC GLoRiClass project.

For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=8_1 or http://www.aisb.org.uk/convention/aisb08/

In the past years, logicians have become more and more interested in the phenomenon of interaction. The area "logic and games" deals with the transition from the static logical paradigm of formal proof and derivation to the dynamic world of intelligent interaction and its logical models. A number of conferences and workshops have been dealing with logic in game and decision theory and dynamic logics with announcement and action operations. Fruitful technical advances have led to deep insights into the nature of communicative interaction and behaviour by logicians.

While these interactive aspects are relatively new to logicians, on a rather different level, modelling intelligent interaction has been an aspect of the practical work of computer game designers, researchers in artificial intelligence, robotics, and human-machine interaction for a long time. The practical aspects of simulating interaction and behaviour reach out to a wide interdisciplinary field including psychology and cognitive science.

So far, there are only a few cross-links between these two communities. Our symposium will explore the possibilities of joining the theoretical approach to interaction and communication with the practical approach to simulating behaviour. We would like to include purely logical aspects, cognitive and psychological aspects (including empirical testing of formal models), and pragmatic aspects.

This symposium is sponsored by the ILLC GLoRiClass project.

For more information, see https://www.illc.uva.nl/GLoRiClass/index.php?page=8_1 or http://www.aisb.org.uk/convention/aisb08/

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar08-1.html#Apr4.

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

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

On Friday, April 11 from 14.00 - 17.00, ACLC and ILLC will organize a small joint workshop, the fourth in a row. This time the topic is "Future collaboration". The four collaborative projects that started recently will present themselves, and there will be a general discussion.

Afterwards, from 17.00 - 18.15 a drink will be organized (in the Café Atrium, Oudezijds Achterburgwal 237).

For more information and a programme, see http://www.hum.uva.nl/aclc/object.cfm/4317883A-3102-4F8A-A31CBC1402EBC5E4/.

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/. For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).

A comparative conception of similarity lies at the foundation of much philosophy. Which of several future persons is you? According to closest-continuer theory, whichever resembles you more closely, overall. Would the match have lit, if struck? Possible-worlds theorists say this depends on what happened in those worlds in which the match was struck, but which are otherwise, overall, most like the actual world.

I take up the question of how a relation of overall comparative similarity might emerge from a multitude of similarities and differences in various respects. The surprising answer is that, basically, it cannot. Kenneth Arrow's celebrated theorem of social choice shows that the only way to combine several dimensions of comparative similarity into a single overall comparison is for one of the dimensions to be a dictator. This plays havoc with philosophy founded on comparative similarity.

The Logic Tea homepage can be found at https://www.illc.uva.nl/logic_tea/ For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl

For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar08-1.html#Apr18.

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

The Drinking Group on Fundamental Issues in Linguistics (DGFIL) is aimed to facilitate informal discussion of fundational issues in linguistics between linguists with different views and approaches. Different topics are covered in series: the last one was about language evolution, and the ongoing one is on the modular status of language within cognition, as well as potential modules within language.

The current meeting is on Elizabeth Bates' "Modularity, Domain Specificity and the Development of Language". available at http://users.ecs.soton.ac.uk/harnad/Papers/Py104/bates-1994.html. For more information, please contact b.arsenijevic at uva.nl

(Dutch only)
De KNAW organiseert deze bijeenkomst op woensdag 23 april 2008 naar aanleiding van de aanbieding van het eerste exemplaar van het gelijknamige KNAW-advies door KNAW-President Frits van Oostrom aan minister van OCW dr. Ronald Plasterk en van de keynote speech van prof. dr. Daniel Dennett over de multidisciplinariteit van de cognitiewetenschappen.

Voor meer informatie en aanmelden: http://www.knaw.nl/cfdata/agenda/agenda_detail.cfm?agenda__id=1200

(Dutch only)
Elk jaar organiseren het Korteweg-de Vries Instituut voor Wiskunde (KdVI) en het Institute for Logic, Language & Computation (ILLC) van de Universiteit van Amsterdam voor het congres Leve de Wiskunde!. Wetenschappers met passie (waaronder Henkjan Honing) voor het vak vertellen over hun onderzoek in de wiskunde en logica. Op vrijdag 25 april 2008 zijn docenten wiskunde, 6-vwo scholieren en andere belangstellenden van harte welkom.

Voor meer informatie en aanmelden, zie http://www.science.uva.nl/actueel/Agenda.cfm/C86868F1-1321-B0BE-68CCC17D01DB411E

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