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

Since the inception of linguistics, the mainstream of researchers considered language as a static system. The situation has changed dramatically over the last few decades as the interests of the scientific community shifted from studying meaning to studying the processes behind the production and comprehension of utterances. This dynamic turn gave a much wider perspective on meaning in the framework of formal semantics and opened the door for new mathematical tools in the conceptual foundations of linguistics. Modal logic, computability theory, game theory and many others have become standard tools for formal semanticists.

PALMYR V will bring together young researchers interested in these dynamic perspectives on language and meaning.

For more information, see https://www.illc.uva.nl/PALMYR/PALMYR-5/

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

Since the inception of linguistics, the mainstream of researchers considered language as a static system. The situation has changed dramatically over the last few decades as the interests of the scientific community shifted from studying meaning to studying the processes behind the production and comprehension of utterances. This dynamic turn gave a much wider perspective on meaning in the framework of formal semantics and opened the door for new mathematical tools in the conceptual foundations of linguistics. Modal logic, computability theory, game theory and many others have become standard tools for formal semanticists.

PALMYR V will bring together young researchers interested in these dynamic perspectives on language and meaning.

For more information, see https://www.illc.uva.nl/PALMYR/PALMYR-5/

For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future

The participants of Joel Hamkins' course "Advanced Topics in Recursion Theory" will be presenting their results on various interesting topics involving computability theory. There will be five short student presentations. All ILLC members and students are cordially invited.

For more information, see here.

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

For the final meeting of the Friday morning Latin reading group we're meeting on a Friday afternoon to have a presentation of the material that we've translated since last fall. Everyone is invited to attend this informal report on work in progress.

For more information, contact Sara at suckelma at illc.uva.nl

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

Two of the GLoRiClass students, Joel Uckelman and Jonathan Zvesper, will be presenting their PhD research projects in two short 20-minute presentations (+10 minutes discussion) to all ILLC members and students. Everyone is cordially invited to listen and ask questions.

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

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

On the 14th of June the students association for Cognitive Artificial Intelligence (CKI) at Utrecht University will hold its annual symposium. This year's symposium will focus on the famous mathematical question whether the complexity class P equals NP. In four talks we shall try to gain some insight into the problem from different perspectives, varying from cryptography to quantum logic.

These are the topics:
- Prof. Dr. Jan van Leeuwen, UU: "The history of the P vs. NP problem."
- Dr. Eike Kiltz, CWI Amsterdam: "P vs. NP in Cryptography. Which World Are We Living In?"
- Dr. Joost Joosten, ILLC/UvA: "Looking for hay in a haystack."
- Dr. Elham Kashefi, Oxford UK: "A quantum complexity tour."
Chairman of the day will be Prof. Dr. Pieter Adriaans (UvA).

For more information, see http://symposium.uscki.nl or contact symposium at uscki.nl.

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

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

As part of the workshop and meeting in Amsterdam for the EU FP-6 project "EmCAP: Emergent Cognition Through Active Perception", Monday is devoted to research presentations of contributing project members of the University of Plymouth, Universiteit van Amsterdam, Hungarian Academy of Sciences, and University Pompeu Fabra:

9:00 Neurophysiology and music cognition modeling
11:40 Psychology and music cognition modeling
15:00 Overview presentations
17:00 End of public part of the workshop

For more information, see http://www.hum.uva.nl/mmm/EmCAP/EmCAP-poster-UvA-workshop.pdf, http://www.hum.uva.nl/mmm/EmCAP/ or http://emcap.iua.upf.edu. Workshop participation is limited to EmCAP members. However, interested researchers can register by sending an email to lsmith at science.uva.nl before Monday 11 June 2007.

This seminar aims at bringing together researchers interested in human reasoning and language processing.

For more information, contact Jakub Szymanik at szymanik at science.uva.nl

In recent years formalizing actions has become a common theme in formal philosophy and philosophical logic. Understanding actions and agency is important for e.g. dynamic logic, deontic logic and epistemic logic. Actions might be seen as unique or as part of a more general theory of dynamic processes. In this workshop we bring together top researchers who formalize actions within dynamic logic, deontic logic, epistemic logic, formal decision theory, temporal logic - and any combination of these.

For more information, see http://akira.ruc.dk/~mamobe/actionworkshop.html.

For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future

14.00-15.30: Jeroen Groenendijk, "Alternative Logical Semantics"
16.00-17.30: Paul Egré, "Embedded Questions Revisited: An Answer, not Necessarily"

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

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