News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 20 May 2013). Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Items which are new or have been updated within the last week are marked "(New)" or "(Updated)".
Headlines Upcoming Events
Speaker: Fenrong LiuTitle: Facebook and the epistemic logic of friendshipDate and time: Tuesday 21 May 2013, 15:30-17:30Location: Room F1.15, Science Park 107, Amsterdam
For more information, see http://www.illc.uva.nl/lgc/seminar and https://sites.google.com/site/logicicproject/logicic-seminar.
Speaker: Prakash PanangadenDate and time: Tuesday 21 May 2013, 13:30 - 14:30Location: HG00.303 (Huygensgebouw, Heyendaalseweg 135), Nijmegen
We define Aumann algebras, an algebraic analog of probabilistic modal logic. An Aumann algebra consists of a Boolean algebra with operators modeling probabilistic transitions. We prove a Stone-type duality theorem between countable Aumann algebras and countably-generated continuous-space Markov processes. Our results subsume existing results on completeness of probabilistic modal logics for Markov processes.For more information, see http://www.cs.mcgill.ca/~prakash/ or contact H.H.Hansencwi.nl
(This is joint work with: Dexter Kozen, Kim Larsen and Radu Mardare)
Speaker: Hans KampDate and time: Friday 24 May 2013, 16:00-17:30Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
For abstracts and more information, see http://sites.google.com/site/illcdip/.
The first Nordic Spring School in Logic is organized under the auspices of the Scandinavian Logic Society and is supported by the Department of Mathematics of the University of Oslo. The school programme will comprise a number of short courses on a variety of important topics in mathematical, computational, applied and philosophical logic, given by leading experts in their fields.
The program will be divided into two parallel streams, one mainly on mathematical logic and the other mainly on computational, applied and philosophical logic. The courses will target mainly PhD students, but will also be of interest for young (and not so young) researchers in logic and its applications. Some of the courses will be accessible to advanced master students, too. Besides the series of courses, the school program will also include a half-day excursion to the famous glacier Briksdalsbreen, on Wednesday, May 29.
Final registration deadline: May 1st, 2013. For more information, see http://scandinavianlogic.org/school
Speaker: Michael GlanzbergDate and time: Friday 14 June 2013, 14:00-15:30Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
For abstracts and more information, see http://sites.google.com/site/illcdip/.
Date and time: Monday 17th June 2013, 9:00-17:00
This is a joint workshop of the research group of Inquisitive logic and the research group of Dependence logic. Anyone can attend.
Speakers: Ivano Ciardelli, Pietro Galliani, Jeroen Groenendijk, Miika Hannula, Juha Kontinen, Floris Roelofsen, Jouko Väänänen, Matthijs Westera, Fan Yang
For more information, see http://mathstat.helsinki.fi/logic/ILDL_workshop.htm or contact Jouko Väänänen at jouko.vaananenhelsinki.fi.
Date and time: Wednesday 26 June 2013, 16:00-17:30
The ILLC Midsummernight Colloquium 2013 will have three invited (25 minutes) talks by researchers from the three respective ILLC research areas. We are happy to announce that Martin Stokhof (LoLa), Jakub Szymanik (LoCo) and Ashley Burgoyne (LaCo) have accepted to give presentations.
For more information, see http://www.illc.uva.nl/ILLCColloquium/Midsummernight2013/.
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. Under the auspices of FoLLI (the Association for Logic, Language, and Information), ESSLLI brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. The school hosts approximately 50 courses at both introductory and advanced levels, and brings together around 500 participants from all over the world. Along with the courses, ESSLLI hosts workshops and invited lectures, providing opportunities for in-depth discussion of current research.
For more information, see http://www.esslli2013.de/
Location: Lorentz Center, Niels Bohrweg 2, Leiden, The Netherlands
The study of first language acquisition is crucial in furthering our understanding of the cognitive prerequisites and processes involved in language, a defining capacity of human cognition. Currently, early language acquisition is successfully studied from two main perspectives: one approach tests theoretical assumptions by studying infants' responses with behavioural and neurocognitive methods; the other implements theories by means of computational models. This workshop aims to bring these two approaches closer together, a much needed advance in the field and one that promises to deepen our understanding of the issues that play a role during language acquisition.
For more information, see http://www.lorentzcenter.nl/lc/web/2013/579/info.php3?wsid=579
The Tenth Tbilisi Symposium on Language, Logic and Computation will be held in in Georgia, from September 23 to 27, 2013. The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. The 2013 forum is the tenth instalment of a series of biannual Symposia.
The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009) and Kutaisi (2011).
For more information, see http://www.illc.uva.nl/Tbilisi/Tbilisi2013/
The Nederlandse Onderzoeksschool Wijsbegeerte (OZSW), or the Dutch Research School of Philosophy, was established at the end of 2012. It incorporates the former Onderzoeksschool Ethiek (OZSE). The OZSW is an initiative of 11 departments at Dutch universities doing research in philosophy. Its general purpose is to strengthen the discipline of philosophy by promoting and facilitating collaboration between the participating universities in the areas of research and the training of young researchers (PhD students and Research Master students). This annual conference is one of its activities.
For more information, see http://www.ozsw.nl/ozsw-conference-2013/
DialDam will be the 17th edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2013 the workshop will be hosted by the Institute for Logic, Language and Computation, University of Amsterdam, and will be collocated with the Amsterdam Colloquium.
For more information, see the website at http://www.illc.uva.nl/semdial/dialdam/
The European Summer School in Logic, Language and Information (ESSLLI) is annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world. There will be about 50 courses at introductory and advanced levels, as well as workshops, invited lectures and a student session to foster interdisciplinary discussion of current research.
For more information, see http://www.esslli2014.de/