This page provides information about former developments at ILLC . Please let us know if you have material that you would like to be added to the news page, by using the online submission form or sending an email to the ILLC Buro. English submissions strongly preferred.

Please note that links in this section to external sites are not kept updated.

  Sections

1. Past Events
2. Calls for Papers
3. Upcoming Conferences
4. MoL and PhD defenses
5. Projects and Awards
6. Funding, Grants and Competitions
7. Open Positions, General
8. New Appointments
9. Miscellaneous
10. Regular Events

There are also pages for former news items and past events for 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009 and 2010, and for current news of course.

   Headlines Past Events

• 18 December 2009, Computational Social Choice Seminar, Dries Vermeulen
• 16-18 December 2009, 17th Amsterdam Colloquium, Amsterdam, The Netherlands
• 15 December 2009, "The End of Infinity", Symposium
• 14-16 December 2009, Tinbergen Workshop on Cooperative Game Theory and Economics (TIGAEC)
• 14 December 2009, De Stelling van..., Johan van Benthem
• 14 December 2009, Logic Tea, Sam van Gool
• 11 December 2009, New Directions in Preference Representation
• 4 December 2009, DIP Colloquium, Simon Kirby (Edinburgh)
• 4 December 2009, Spui25, Henkjan Honing, Annemie Ploeger, Machiel Keestra & Jaap van Heerden
• 3 December 2009, Computational Social Choice Seminar, Daniele Porello
• 3 December 2009, PROSE Colloquium, Mohammad Mousavi
• 2 December 2009, Computational Linguistics Seminar, Stefan Frank
• 30 November 2009, Logic Tea, Nina Gierasimczuk
• 27 November 2009, Computational Social Choice Seminar, Willemien Kets
• 27 November 2009, DIP Colloquium, Kurt Ranalter
• 25 November 2009, Computational Linguistics Seminar, Federico Sangati
• 20 November 2009, DIP Colloquium, Cornelia Ebert (Osnabrueck)
• 19 November 2009, PROSE Colloquium, Jeroen Keiren (OAS)
• 17 November 2009, Logicomix, Apostolos Doxiadis
• 16-17 November 2009, Colloquium History of Computing (CHOC): "Programming, languages, linguistics and computability"
• 13 November 2009, Computational Social Choice Seminar, Eric Pacuit
• 6 November 2009, Semantics in the Netherlands Day VII, UvA (Bungehuis)
• 6 November 2009, DIP Colloquium, Igor Douven (Leuven)
• 3 November 2009, Seminar on the Philosophy of Mathematics, Peter Hacker & Peter Koepke
• 2 November 2009, A Day of Indian Logic
• 2 November 2009, NWO Symposium "Fads and Fallacies in the name of Cognitive Science"
• 2 November 2009, Logic Tea, Antonio Montalban (University of Chicago)
• 30 October 2009, Computational Social Choice Seminar, Speaker: Krzysztof Apt (CWI & ILLC)
• 30 October 2009, Theoretical Computer Science Amsterdam (TCSA) Day
• 29 October 2009, Formal models for learning processes: Old tricks and new developments
• 29 October 2009, Logic and Cognition Seminar, Alistair Isaac
• 26 October 2009, Logic Tea, Lisa Fulford
• 23 October 2009, NAP-Dag 2000
• 19 October 2009, Logic Tea, Jan Heylen
• 12 October 2009, Henkjan Honing in 'De stelling van': We zijn allemaal muzikale dieren
• 9 October 2009, DIP Colloquium, Sybille Krämer (Berlin)
• 8-11 October 2009, 2nd International Workshop on Logic, Rationality and Interaction (LORI-II), Chongqing, China
• 2 October 2009, Computational Social Choice Seminar, Frank Nebel
• 1-3 October 2009, Amsterdam Graduate Philosophy Conference on "Meaning and Truth" (AGPC'09), Amsterdam
• 30 September 2009, Computational Linguistics Seminar, Tejaswini Deoskar / Federico Sangati
• 28 September 2009, Logic Tea, Maxim Khalilov
• 23 September 2009, Computational Linguistics Seminar, Maarten Versteegh
• 21-25 September 2009, Eighth International Tbilisi Symposium on Language, Logic and Computation, Bakuriani, Georgia
• 18 September 2009, DIP Colloquium, Gillian Russel
• 18 September 2009, Computational Social Choice Seminar, Ulle Endriss
• 14 September 2009, Logic Tea, George Barmpalias
• 12 September 2009, Publieksevenement Illusio NWO
• 11 September 2009, DIP Colloquium, Bart de Boer and Jelle Zuidema
• 4 September 2009, Mentor Speed Dating Event Women in the FNWI
• 4 September 2009, Computational Social Choice Seminar, Rohit Parikh
• 2 September 2009, Computational Linguistics Seminar, Gerard Kempen
• 31 August - 2 September 2009, Workshop "Practice-based philosophy of logic and mathematics", Amsterdam, The Netherlands
• 27 August 2009, Introduction MSc Logic 09-10
• 27 August 2009, ILLC Drinks/Introduction MSc Logic drinks
• 10 August 2009, Computational Linguistics Seminar, Tim O'Donnell
• 27 July 2009, Computational Linguistics Seminar, Reut Tsarfaty
• 20-31 July 2009, ESSLLI-2009: 21th European Summer School in Logic, Language and Information, Bordeaux, France
• 20-31 July 2009, 2009 ESSLLI Student Session, Bordeaux, France
• 200 July 9, LSIR-2: Logic and the Simulation of Interaction and Reasoning, Pasadena CA (U.S.A.)
• 7-11 July 2009, Topology, Algebra and Categories in Logic (TACL 2009), Euclides Building, Plantage Muidergracht 24, Amsterdam
• 1-3 July 2009, 5th Spain, Italy, Netherlands Meeting on Game Theory (SING5), Vrije Universiteit, Amsterdam
• 1 July 2009, Connectionist natural language processing
• 30 June 2009, BRICKS Workshop on Game Theory and Multiagent Systems, CWI, Science Park 123 (= Kruislaan 413), Amsterdam, The Netherlands
• 29 June 2009, Computational Linguistics Seminar, Peter beim Graben
• 26 June 2009, First Workshop on Logics and Strategies
• 24 June 2009, Computational Linguistics Seminar, Henk Zeevat
• 18 June 2009, Computational Linguistics Seminar, Amit Mukarjee
• 12 June 2009, Computational Social Choice Seminar, Ulle Endriss
• 12 June 2009, Colloquium on Mathematical Logic, Bas Spitters
• 10 June 2009, Computational Linguistics Seminar, Miles Osborne
• 5 June 2009, DIP Colloquium, Albert Visser
• 29 May 2009, Computational Social Choice Seminar, Daniele Porello
• 27 May 2009, Colloquium on Mathematical Logic, Juha Kontinen
• 27 May 2009, General Mathematics Colloquium, Sander Bais (UvA, ITFA)
• 26-27 May 2009, Amsterdam workshop in set theory, Room F-001, Nieuwe Doelenstraat 15
• 25 May 2009, NWO: Bessensap 2009
• 24 May 2009, When are you musical?, Henkjan Honing
• 19 May 2009, Logic Tea, Spencer Johnston & Sara Uckelman
• 15 May 2009, DIP Colloquium, Igal Kvart
• 14 May 2009, The Amsterdam Circle for Law & Language, dr. R.G.F. Winkels and ir.drs. E. de Maat
• 8 May 2009, DIP Colloquium, Jonathan Schaffer
• 8 May 2009, Computational Social Choice Seminar, Stéphane Airiau
• 6 May 2009, Colloquium on Mathematical Logic, Kenneth Manders
• 2009, The Amsterdam Circle for Law & Language, dr. R.G.F. Winkels and ir.drs. E. de Maat
• 28 April 2009, Logic Tea, Sonja Smets
• 24 April 2009, Leve de Wiskunde
• 24 April 2009, DIP Colloquium, Jennifer Ashworth
• 23-24 April 2009, Wallis: Logic and 17th-century Scientific Thought, Amsterdam, the Netherlands
• 21 April 2009, Logic Tea, Lorenz Demey
• 20 April 2009, Computational Linguistics Seminar, Dan Dediu
• 20 April 2009, Computational Linguistics Seminar, Kenny Smith
• 17 April 2009, Computational Social Choice Seminar, Vangelis Markakis
• 17 April 2009, Colloquium on Mathematical Logic, N.-C. Short / W. Sieg
• 16 April 2009, PROSE Colloquium, Helle Hvid Hansen
• 7 April 2009, Logic Tea, Jonathan Zvesper
• 3 April 2009, DIP Colloquium, Min Que, Femke Smits and Bert Le Bruyn
• 30 March 2009, Computational Linguistics Seminar, Kevin Small
• 27 March 2009, Colloquium on Mathematical Logic, Carsten Held
• 24 March 2009, Computational Linguistics Seminar, Markos Mylonakis
• 24 March 2009, Logic Tea, Sebastian Lutz
• 20 March 2009, DIP Colloquium, Elia Zardini
• 17 March 2009, Logic Tea, Canceled
• 16 March 2009, Algebra|Coalgebra Seminar, Willem Conradie
• 13 March 2009, Computational Social Choice Seminar, Davide Grossi
• 13 March 2009, Colloquium on Mathematical Logic, W. Hodges / J. Väänänen
• 12-16 March 2009, 10th Szklarska Poreba Workshop: The Roots of Pragmasemantics, The mountaintop Szrenica, Szklarska Poreba, Poland
• 11 March 2009, Computational Linguistics Seminar, Dave Cochran
• 11 March 2009, Algebra|Coalgebra Seminar, Dion Coumans
• 6 March 2009, Computational Social Choice Seminar, Freek Wiedijk
• 5-6 March 2009, Games, Logic, Language, and Computation
• 4 March 2009, Computational Linguistics Seminar, Remko Scha
• 3 March 2009, Logic Tea, Daisuke Ikegami
• 27 February 2009, Colloquium on Mathematical Logic, D. Isaacson / A. MacIntyre
• 24 February 2009, Logic Tea, Michael De
• 20 February 2009, DIP Colloquium, Herman Cappelen
• 20 February 2009, Computational Social Choice Seminar, Bart de Keijzer
• 20 February 2009, Colloquium on Mathematical Logic, Martin Davis
• 19 February 2009, GLoRiClass Seminar, Julien Cristau
• 16-20 February 2009, Mini-course Highlights of Lambda Calculus and Term Rewriting Systems
• 13 February 2009, Computational Social Choice Seminar, Umberto Grandi
• 11 February 2009, Computational Linguistics Seminar, Dan Roth
• 9 February 2009, PROSE Colloquium, Ana Sokolova
• 6 February 2009, DIP Colloquium, Fred Landman
• 30 January 2009, Computational Social Choice Seminar, Guido Schäfer
• 29 January 2009, GLoRiClass Seminar, Jonathan Zvesper
• 28 January 2009, Computational Linguistics Seminar, Trevor Cohn
• 27 January 2009, Logic Tea, Sara Ramezani
• 22 January 2009, PROSE Colloquium, Sonja Georgievska
• 21 January 2009, Computational Linguistics Seminar, Yuval Krymolowski
• 16 January 2009, ILPS Seminar, Pablo Cesar
• 15 January 2009, GLoRiClass Seminar, Florian Horn
• 14 January 2009, Computational Linguistics Seminar, Jakub Szymanik

   Headlines Calls for Papers

• New journal: Dialogue and Discourse
• 29-30 March 2010, Symposium on Mathematical Practice and Cognition, Leicester, U.K. (deadline: 30 December 2009)
• 13-16 September 2010, 10th International Colloquium on Grammatical Inference (ICGI 2010), Valencia, Spain (deadline: 20 December 2009)
• 18-19 February 2010, Colloquium "PhD's in Logic II", Tilburg, The Netherlands (deadline: 18 December 2009)
• 24-28 May 2010, 4th International Conference on Language and Automata Theory and Applications (LATA 2010), Trier, Germany (deadline: 3 December 2009)
• 27-28 March 2010, 2nd Workshop on Philosophy and Ethics of Social Reality (SOCREAL 2010), Sapporo, Japan (deadline: 15 November 2009)
• 14-16 April 2010, Sydney-Tilburg Conference on "The Future of Philosophy of Science", Tilburg, The Netherlands (deadline: 15 November 2009)
• 5-8 March 2010, 3rd Conference on Artificial General Intelligence (AGI-10), Lugano, Switzerland (deadline: 12 November 2009)
• 20-22 January 2010, "Epistemology and Philosophy of Mind at the Crossroads", 4th Conference of the Dutch-Flemish Association for Analytic Philosophy, Leuven, Belgium (deadline: 10 November 2009)
• 27-28 March 2010, Second International Workshop on Philosophy and Ethics of Social Reality (SOCREAL 2010), Hokkaido University, Sapporo, Japan (deadline: 1 November 2009)
• 18-21 March 2010, IADIS International Conference e-Society 2010, Porto, Portugal (deadline: 30 October 2009)
• 7-8 November 2009, First DepLog LINT Workshop, Stockholm, Sweden (deadline: 23 October 2009)
• 17-20 February 2010, Workshop on "Logical Approaches to Barriers in Computing and Complexity", Greifswald, Germany (deadline: 15 October 2009)
• 12-14 May 2010, NICSO 2010 (The IV International Workshop on Nature Inspired Cooperative Strategies for Optimization), Granada, Spain (deadline: 15 October 2009)
• 8-14 May 2010, The 9th International Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2010), Toronto ON, Canada (deadline: 8 October 2009)
• 22-24 March 2010, AAAI Spring Symposium on Time and Interactive Behaviour, Stanford CA, U.S.A. (deadline: 2 October 2009)
• New Journal: Argument & Computation (deadline: 16 September 2009)
• (Updated) 20-26 June 2010, North American Summer School in Logic, Language and Information (NASSLLI 2010), Bloomington IN, U.S.A. (deadline: 15 September 2009)
• 17-18 December 2009, EUMAS-09, European Workshop on Multi-Agent Systems, Ayia Napa, Cyprus (deadline: 14 September 2009)
• 9-20 August 2010, 22th European Summer School in Logic, Language and Information (ESSLLI-2010), Copenhagen, Denmark (deadline: 7 September 2009)
• 12-14 November 2009, 6th Workshop on "Methods for Modalities" (M4M-6), Copenhagen, Denmark (deadline: 1 September 2009)
• 7-8 November 2009, Arché/CSMN Graduate Conference, Oslo, Norway (deadline: 1 September 2009)
• 10-11 Oct 2009, Midwest PhilMath Workshop (MWPMW 10), Notre Dame, U.S.A. (deadline: 1 September 2009)
• 19-20 November 2009, Logic and Engineering of Natural Language Semantics (LENLS6), Tokyo, Japan (deadline: 15 August 2009)
• 4-6 November 2009, First Colombian Conference in Logic, Epistemology, and Philosophy of Science, Bogota, Colombia (deadline: 15 August 2009)
• Special issue "Logic in India" of the JPL (deadline: 15 August 2009)
• 2 November 2009, 3rd Workshop on Formal Methods for Interactive Systems, Eindhoven, The Netherlands (deadline: 10 August 2009)
• 3-5 September 2009, British Logic Colloquium (BLC 2009), Swansea, Wales (deadline: 3 August 2009)
• 21-22 October 2009, Paris-Nancy PhilMath Workshop (P-NPMW), Nancy, France (deadline: 31 July 2009)
• 19-22 November 2009, IADIS International Conference WWW/Internet 2009, Rome, Italy (deadline: 31 July 2009)
• 2009, IADIS International Conference Applied Computing 2009, Rome, Italy (deadline: 31 July 2009)
• 22-24 January 2010, International Conference on Agents and Artificial Intelligence (ICAART 2010), Valencia, Spain (deadline: 28 July 2009)
• 11 September 2009, Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA 2009), Hamburg, Germany (deadline: 17 July 2009)
• 14-17 September 2009, Annual Workshop of the ESF Networking Programme on Games for Design and Verification (GAMES 2009), Udine, Italy (deadline: 15 July 2009)
• 30 October - 1 November 2009, Workshop and Special Session on Constructive Mathematics, Boca Raton, Florida (U.S.A.) (deadline: 14 July 2009)
• 28 October - 1 November 2009, Workshop and Special Session on Constructive Mathematics, Boca Raton, Florida, U.S.A. (deadline: 14 July 2009)
• 3 November 2009, FOPARA 2009: Foundational and Practical Aspects of Resource Analysis, Eindhoven, The Netherlands (deadline: 10 July 2009)
• 15-20 September 2009, ESF-COST High-Level Research Conference on Complex Systems and Changes - Darwin and Evolution: Nature-Culture Interfaces, Hotel Eden Roc, Sant Feliu de Guixols, Spain (deadline: 10 July 2009)
• 29-30 October 2009, Logic in Databases Workshop 2009 (LID 2009), Roskilde, Denmark (deadline: 1 July 2009)
• 6-9 April 2010, Symposium on AI and Games (AISB 2010), Leicester (U.K.) (deadline: 1 July 2009)
• 31 August - 4 September 2009, Student Session of the 11th European Agent Systems Summer School (EASSS-2009), Torino, Italy (deadline: 26 June 2009)
• 8 September 2009, Workshop on Advanced Technologies for Digital Libraries 2009 (AT4DL 2009), Trento, Italy (deadline: 18 June 2009)
• 12-14 September 2009, THE 5th INTERNATIIONAL SYMPOSIUM ON DOMAIN THEORY (ISDT 2009), Shanghai, China (deadline: 12 June 2009)
• 7-11 September 2009, FAMAS09: Formal Approaches to Multi-Agent Systems, Torino, Italy (deadline: 6 June 2009)
• 17-19 September 2009, 4th Workshop on Combining Probability and Logic (Progic 2009), Groningen (deadline: 1 June 2009)
• 17-19 September 2009, "Logic, Language, Mathematics", A Philosophy Conference in Memory of Imre Rusza, Budapest, Hungary (deadline: 1 June 2009)
• 13-15 August 2009, The Philosophy of Computer Games Conference 2009, Oslo, Norway (deadline: 1 June 2009)
• CfP Special Issue "Information and Computation" on "Intuitionistic Modal Logics and Applications" (deadline: 31 May 2009)
• 18-29 January 2010, Third Indian School on Logic and its Applications, Hyderabad, India (deadline: 31 May 2009)
• 10-14 August 2009, BLAST 2009: Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Las Cruces NM, U.S.A. (deadline: 30 May 2009)
• 12-14 October 2009, CLA09: Computational Linguistics -- Applications Workshop, Mragowo, Poland (deadline: 30 May 2009)
• 3-5 October 2009, ALT 2009: Algorithmic Learning Theory, Porto, Portugal (deadline: 10 May 2009)
• 18-20 October 2009, 2nd Symposium on Algorithmic Game Theory, Paphos, Cyprus (deadline: 3 May 2009)
• 9-11 September 2009, Phloxshop 2: Modality, Berlin, Germany (deadline: 1 May 2009)
• 9-10 August 2009, LAM 09: Logics for Agents and Mobility, Los Angeles CA, U.S.A. (deadline: 1 May 2009)
• 25-27 September 2009, Days of Judgement, Leiden, The Netherlands (deadline: 1 May 2009)
• Special Issue Synthese: "Logic and Social Interaction" (deadline: 1 May 2009)
• 9-15 August 2009, 32nd International Wittgenstein Symposium, Kirchberg am Wechsel, Austria (deadline: 30 April 2009)
• 27-29 August 2009, Philosophical Aspects of Symbolic Reasoning in Early Modern Science and Mathematics (PASR), Ghent, Belgium (deadline: 30 April 2009)
• 1-4 September 2009, Trends in Logic VII: Trends in the Philosophy of Mathematics, Frankfurt, Germany (deadline: 26 April 2009)
• 24-28 August 2009, Mal'tsev Centenary Meeting (Conference on Algebra, Mathematical Logic and Applications), Novosibirsk, Russia (deadline: 24 April 2009)
• 14-16 September 2009, Ninth International Conference on Intelligent Virtual Agents (IVA'09), Amsterdam, The Netherlands (deadline: 17 April 2009)
• 31 July - 5 August 2009, Logic Colloquium 2009, Sofia, Bulgaria (deadline: 15 April 2009)
• 16-18 December 2009, 4th Indian Conference on Artificial Intelligence (IICAI-09), Tumkur, Bangalore, India (deadline: 10 April 2009)
• 28 June 2009, Games for Design, Verification and Synthesis (GASICS 09), Grenoble, France (deadline: 10 April 2009)
• 15-18 September 2009, History and Philosophical Foundations of AI, Paderborn, Germany (deadline: 9 April 2009)
• 23-25 July 2009, TIME 2009: Temporal Representation and Reasoning, Brixen, Italy (deadline: 6 April 2009)
• 9-11 September 2009, MATES 2009: 7th German Conference on Multi-Agent Technologies, Hamburg, Germany (deadline: 4 April 2009)
• 24-27 October 2009, FOCS 2009: Foundations of Computer Science, Atlanta GA, U.S.A. (deadline: 2 April 2009)
• 15-17 August 2010, Conference on Mathematical Logic and Set Theory (ICM 2010 Satellite), Chennai, India (deadline: 1 April 2009)
• 3-7 August 2009, Logic and Mathematics 2009, York, U.K. (deadline: 31 March 2009)
• 1-4 September 2009, Foundations of Uncertainty, Prague, Czech Republic (deadline: 31 March 2009)
• 7-11 September 2009, Computer Science Logic 2009 (CSL'09), Coimbra, Portugal (deadline: 30 March 2009)
• 15-17 June 2009, Third Workshop in Decisions, Games & Logic, HEC Lausanne (deadline: 30 March 2009)
• 7-11 September 2009, CSL 2009: 18th Conference on Computer Science Logic, Coimbra, Portugal (deadline: 30 March 2009)
• 15-19 July 2009, 7th Panhellenic Logic Symposium, Patras, Greece (deadline: 27 March 2009)
• 27-29 March 2009, Boise Extravaganza in Set Theory, Boise ID, U.S.A. (deadline: 25 March 2009)
• 29-31 May 2009, 2nd Formal Epistemology Festival: Causal Decision Theory and Scoring Rules, Ann Arbor MI, U.S.A. (deadline: 22 March 2009)
• 22-27 June 2009, 11th Asian Logic Conference (ALC2009), Singapore (deadline: 15 March 2009)
• 4-5 June 2009, RaAM 2009: Researching and Applying Metaphor Workshop on Metaphor, Metonymy & Multimodality, Amsterdam, The Netherlands (deadline: 15 March 2009)
• CfP: "The Games of Logic: A Philosophical Perspective" (deadline: 15 March 2009)
• 4-6 November 2009, Formal Methods 2009, Eindhoven, The Netherlands (deadline: 6 March 2009)
• 20-25 July 2009, Workshop Logical Methods for Social Concepts (LMSC), Bordeaux (deadline: 4 March 2009)
• 27-31 July 2009, Workshop on Logics and Agent Programming Languages, Bordeaux (deadline: 4 March 2009)
• 6-8 July 2009, Twelfth Conference on Theoretical Aspects of Rationality and Knowledge (TARK XII), Stanford University, USA (deadline: 2 March 2009)
• 29 June - 3 July 2009, 4th Conference on Logic, Computability and Randomness, Marseille, France (deadline: 1 March 2009)
• 15-17 July 2009, International Workshop on Hybrid Logic 2009 (HyLo 2009), Nancy, France (deadline: 1 March 2009)
• 21-24 June 2009, 16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009), Tokyo, Japan (deadline: 28 February 2009)
• 14-16 May 2009, Nordic Conference of Computational Linguistics (NODALIDA 2009), Odense, Denmark (deadline: 18 February 2009)
• 1-3 June 2009, 9th International Symposium on Logical Formalizations of Commonsense Reasoning, Toronto, Canada (deadline: 16 February 2009)
• 20-24 July 2009, ViC 2009: Vagueness in Communication, Bordeaux, France (deadline: 15 February 2009)
• 16-18 April 2009, Semantics and Philosophy in Europe (SPE), London, UK (deadline: 12 February 2009)
• 6-10 September 2009, 3rd Conference on Algebra and Coalgebra in Computer Science (CALCO 2009), Udine, Italy (deadline: 2 February 2009)
• 29 July - 1 August 2009, Thirty-first annual meeting of the Cognitive Science Society in Amsterdam (CogSci 2009), Amsterdam (deadline: 1 February 2009)
• 5-8 June 2009, 13th Annual Meeting for the Scientific Study of Consciousness (ASCC XIII), Berlin, Germany (deadline: 31 January 2009)
• 19-24 July 2009, Computability in Europe (CiE 2009), Heidelberg, Germany (deadline: 20 January 2009)
• 6-10 July 2009, Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009), Oslo, Norway (deadline: 19 January 2009)
• 21-24 October 2009, 2nd conference of the European Philosophy of Science Association (EPSA 2009), Amsterdam, The Netherlands (deadline: 15 January 2009)
• 11-14 August 2009, Logic in Computer Science (LICS 2009), Los Angeles CA, U.S.A. (deadline: 12 January 2009)
• 26-31 July 2009, ICCS09: Conceptual Structures: Leveraging Semantic Technologies, Moscow, Russia (deadline: 5 January 2009)

   Headlines Upcoming Conferences

Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.

• 13-14 December 2009, Workshop on Structural Aspects of Rationality, Kanpur, India
• 4-5 Dec 2009, Conference on Eastern and Western Philosophical Themes, New York NY, U.S.A.
• 16-19 November 2009, Workshop "Combinatorial Set Theory and Forcing Theory", Kyoto, Japan
• 10-11 November 2009, PhD Autumn School on Modal Logic, Copenhagen, Denmark
• 25 September 2009, Workshop "Focus on Discourse and Context-dependence"
• 24 September 2009, Workshop 'Recent Developments in Language Typology'
• 4-6 September 2009, Conditionals and Conditionalization, Leuven (Belgium)
• 31 August - 4 September 2009, 11th European Agent Systems Summer School (EASSS-2009), Torino, Italy
• 29 August - 4 September 2009, INTERNATIONAL SCHOOL ON EMBODIED LANGUAGE GAMES AND CONSTRUCTION GRAMMAR, Cortona, Italy
• 17-21 August 2009, EMU 2009: Effective Mathematics of the Uncountable, New York, U.S.A.
• 20-31 July 2009, "Conditionals: Philosophical and Linguistic Issues" at CEU Summer University
• 13-16 July 2009, 16th International Medieval Congress (IMC 2009): Logic and Heresy in the Middle Ages, Leeds, England
• 13-31 July 2009, UCLA Summer School in Logic for Undergraduates, Los Angeles CA (U.S.A.), July 2009, Los Angeles, USA.
• 6-7 July 2009, FTP 2009 - International Workshop on First-Order Theorem Proving, Oslo, Norway
• 5-10 July 2009, 2nd European Set Theory Meeting, Bedlewo, Poland
• 3-16 July 2009, Leeds Symposium on Proof Theory and Constructivism, Leeds, U.K.
• 26 June 2009, Workshop on Proof Theory, Gent, Belgium
• 14-27 June 2009, ESI Workshop on Large Cardinals and Descriptive Set Theory, Vienna, Austria
• 8-10 June 2009, Controlled Natural Languages (CNL 2009), Marettimo Island, Italy
• 8-26 June 2009, Carnegie Mellon Summer School in Logic and Formal Epistemology, Pittsburgh PA, U.S.A.
• 31 May - 6 June 2009, GAMES Spring School, Bertinoro (Italy)
• 28-30 May 2009, Workshop "Preference Change", London, U.K.
• 25-26 May 2009, "Mathematical Logic in the Netherlands", Nijmegen, The Netherlands
• 21-24 May 2009, 7th Conference on Formal Concept Analysis (ICFCA 2009), Darmstadt, Germany
• 11 May 2009, Conditional Logic - A One-Day Workshop at the University of Duesseldorf
• 10-15 May 2009, AAMAS-09: Autonomous Agents and Multi-Agent Systems, Budapest, Hungary
• 23-24 April 2009, Symposium on Games, Argumentation and Logic Programming, Luxembourg
• 14-18 April 2009, 2nd Young Set Theory Workshop, Bellaterra, Spain
• 8 April 2009, Annual CSCA symposium 2009
• 6-7 April 2009, Symposium on AI and Games (AISB 2009), Edinburgh, Scotland
• 3-5 April 2009, Conference on "Foundations of Mathematics", New York NY, U.S.A.
• 30 March - 3 April 2009, 10th Midlands Graduate School in the Foundations of Computing Science (MGS 2009), Leicester, U.K.
• 20 March 2009, NVTI Theory Day, Hoog Brabant, Utrecht (close to Central Station)
• 6-9 March 2009, 2nd Conference on Artificial General Intelligence, Arlington VA, U.S.A.
• 26-28 February 2009, STACS 2009: Symposium on Theoretical Aspects of Computer Science, Freiburg, Germany
• 19-20 February 2009, Colloquium "PhDs in Logic", Ghent, Belgium
• 19-20 February 2009, PhD's in Logic, Ghent
• 18-20 February 2009, WALCOM 2009: Workshop on Algorithms and Computation, Kolkata (India)
• 8 February 2009, Common Sense and Intelligent User Interfaces 2009: Story Understanding and Generation for Context-Aware Interface Design, Sanibel Island, Florida
• 26 January - 6 February 2009, Summer Schools in Logic and Learning, Canberra, Australia
• 26 January - 6 February 2009, Summer Schools in Logic and Learning 2009, The Australian National University, Australia
• 23 January 2009, Workshop "Explanation, Indispensability of Mathematics, and Scientific Realism", Leeds, U.K.
• 22 January 2009, Computational Linguistics in The Netherlands (CLIN), Groningen
• 22-23 January 2009, 3rd Bi-Annual Conference of the Dutch-Flemish Association for Analytic Philosophy (VAF 2009), Tilburg, The Netherlands
• 17-18 January 2009, CfP Second Cambridge Graduate Conference on the Philosophy of Logic and Mathematics, Cambridge, U.K.
• 7-11 January 2009, 3rd Indian Conference on Logic and its Application, Chennai (India)
• 7-8 January 2009, Workshop on Logic and Social Interaction, Institute of Mathematical Sciences, Chennai, India
• 3-6 January 2009, LFCS 2009: Logical Foundations of Computer Science, Deerfield Beach FL (U.S.A.)

   Headlines MoL and PhD defenses

• 15 December 2009, PhD defense, Tikitu de Jager
• 15 December 2009, PhD defense, Michael Franke
• 14 December 2009, Master of Logic defense, Salvador Mascarenhas
• 11 December 2009, PhD Defense, Joel Uckelman
• 30 November 2009, Master of Logic defense, Sam van Gool
• 17 November 2009, Master of Logic defense, Karel van Oudheusden
• 29 October 2009, Master of Logic defense, Lisa Fulford
• 27 October 2009, PhD defense, Olivia Ladinig
• 9 October 2009, Master of Logic defense, Olga Grigoriadou
• 25 September 2009, Master of Logic defense, Floor Sietsma
• 24 September 2009, PhD defense, Kata Balogh
• 23 September 2009, PhD defense, Chantal Bax
• 3 September 2009, PhD defense, Andreas Witzel
• 3 September 2009, Master of Logic defense, Ivano Ciardelli
• 1 September 2009, PhD defense, Sara L. Uckelman
• 31 August 2009, Master of Logic defense, Maria Spychalska
• 28 August 2009, Master of Logic defense, Daniele Chiffi
• 28 august 2009, Master of Logic defense, Maarten Versteegh
• 26 August 2009, Master of Logic defense, Nikki Hausen
• 24 August 2009, Master of Logic defense, Wouter Beek
• 20 August 2009, Master of Logic defense, Pablo Cubides Kovacsics
• 2 July 2009, Master of Logic defense, Inés Crespo
• 1 July 2009, PhD defense, Hartmut Fitz
• 9 June 2009, Master of Logic defense, Chris Brumwell
• 26 May 2009, PhD defense, Brian Semmes
• 23 April 2009, Master of Logic defense, Petros Stamatis
• 21 April 2009, Master of Logic defense, Daan Dirk de Jonge
• 6 March 2009, PhD defense, Jakub Szymanik

   Headlines Projects and Awards

• Free Competition NWO: Khalil Sima'an granted a project proposal
• VENI award for Erik Rietveld
• INFTY: New Frontiers of Infinity. Mathematical, Philosophical and Computational Prospects.
• Johan van Benthem has been endowed with The Henry Waldgrave Stuart Professorship in Philosophy at Stanford University
• Johan van Benthem has been awarded with the Weilun visiting professorship of Humanities at Tsinghua University
• Lorenz Demey winner of ANTW-Selexyz Essay price
• Katrin Schultz wins LOT publieksprijs
• The Women in FNWI network announces best publication award 2008

   Headlines Funding, Grants and Competitions

• New EG-Liason/SenterNovem Newsletters 'R&D in Europa'
• Grant Update 2-12 available
• Grant Update 2-11 available
• Call for Proposals KNAW Academy Colloquia
• Call for Proposals for the Second Edition of the Science and Technology Fellowship Programme China (STF2 China)
• Grant Update 2-10 available
• Hong Kong PhD Fellowship Scheme
• Call for Research Group proposals at the ZiF in Bielefeld (Germany)
• Artificial Intelligence Journal: Funding Opportunities for Promoting AI Research
• Grant Update 2-9 available
• NWO Mosaic Grants
• The KNAW Conference subsidy
• Call for Workshop proposals Lorentz Center
• Call for proposals for Marie Curie Initial Training Networks launched
• Association for Symbolic Logic: Call for Nominations for Sacks prize
• Lorentz Fellowships
• Grant Update 2-8 available
• Imperial College London Junior Research Fellowships
• Sigurur Nordal Institute Fellowships
• New EG-Liason/SenterNovem Newsletter 'R&D in Europa'
• New EG-Liason/SenterNovem Newsletter 'R&D in Europa'
• Call for applications ESF Travel Grants
• Grant Update 2-7 available
• Seventh Research Framework Programme (FP7): Marie Curie
• Investment Subsidy NWO Medium
• Grant Update 2-6 available
• KNAW Heineken prizes call for nominations
• Grant Update 2-5 available
• NWO Humanities G-programmes
• Investment Subsidy NWO Medium
• NWO programme Brain & Cognition: an integrated approach
• Grant Update 2-4 available
• Cooperation Germany - von Humboldt Stiftung
• ERC Calls for Proposals
• Grant Update 2-3 available
• Marie Curie re-integration grants
• Marie Curie International Research Staff Exchange Scheme (IRSES)
• ESF Exploratory Workshops: Call for proposals 2009
• Van Gogh grants for French-Dutch research exchange
• Call for Nominations: Ackermann Award (EACSL outstanding dissertation award for logic in computer science)
• British Academy Visiting Fellowships
• Grant Updates 2-1 and 2-2 available
• Subsidies from De Bussy Foundation
• New Edition Knowledge Transfer Office "Best New Idea" competition
• EAAS Travel Grants
• Marie Curie Co-Funding of Regional, National and International Programmes
• NWO: Rubicon
• KNAW Visiting Professors Programme
• NWO Call for Programmes for Excellence (Brain & Cognition: an Integrated Approach)
• Call for Nominations: Influential Papers in Agents and Multiagent Systems
• NWO grant opportunity: Internationalisation in the Humanities
• Call for Workshop proposals Lorentz Center
• Annual research prizes of the Von Humboldt Stiftung (VHS)
• 15 January 2009, NWO Information Meeting VENI, VIDI & VICI
• Marie Curie Action: Researcher's night
• Newton Fellowship for research in the natural or social sciences, engineering or humanities
• NWO programme: Mozaïek
• Grant Update 12 available
• The ERCIM "Alain Bensoussan" Fellowship Programme
• International Cooperation with Mediterranean Countries

   Headlines Open Positions, General

• Postdoc vacancy 'Cognitive systems in interaction' in Groningen
• Funded Ph.D. Studentships in Computing and Mathematics
• Two postdoctoral positions in "The parameterized complexity of reasoning problems", Vienna (Austria)
• CMI Postdoctoral Fellowships Program (Mathematics of Information), Pasadena CA (U.S.A.)
• Visiting Fellowships at the Tilburg Center for Logic and Philosophy of Science
• Researcher/Software Developer position at North Side Inc., Quebec (Canada)
• Temporary Lectureship in Philosophy, Oxford (U.K.)
• Postdoctoral position in Logic / Theoretical Computer Science (2y), Bern (Switzerland)
• Five postdoctoral positions (E14) in all areas at the Zukunftskolleg, Konstanz (Germany)
• European Post-Doctoral Institute for the Mathematical Sciences, Call for Applications, Barcelona, Catalonia
• Assistant or Associate Professorship in Formal Epistemology / Philosophical Logic, College Park MD (U.S.A.)
• Full Professorship in Algorithms in Data Structures, Vienna (Austria)
• Associate Professorship in Computational Complexity, Aarhus (Denmark)
• Research fellowship (postdoctoral) in diagrammatic reasoning and formal languages, Brighton (U.K.)
• Professorship in Philosophy (Epistemology, Philosophy of Technology, Philosophy of Science), Roskilde (Denmark)
• Full Professorship in Economics/Game Theory & Computation, University of Liverpool
• Doctoral and postdoctoral research positions in contstraint programming
• PhD and postdoc positions in Bergen, Norway
• Professor of Philosophy at Umeå University, Sweden
• Max Planck Scholarship for Excellent Women in Computer Science, Saarbrücken (Germany)
• CRM Postdoctoral Grants in Mathematics, Barcelona (Catalonia, Spain)
• Associate professorship in analytic philosophy at KTH (Stockholm)
• (Senior) Lectureship in Computing Science (Knowledge Technologies, Natural Language Generation), Aberdeen (Scotland)
• Two PhD student positions in computation and learning in networks of spiking neurons, Graz (Austria)
• PhD student position in "Formal Analysis of Social Procedures", Tilburg (The Netherlands)
• PhD scholarships in Algorithms and Logic, Technical University of Denmark
• Research Fellowships at Rural Digital Economy Hub, Aberdeen (Scotland)
• PhD student position on "Homogeneous structures", Leeds (U.K.)
• Research assistant position in "Interactions on the Move", London (U.K.)
• PhD position in computer science, Utrecht (The Netherlands)
• Two 18-month postdoctoral positions on automated verification of probabilstic programmes, Oxford (UK)
• PhD student position in computer science / economics, Toulouse (France)
• Two PhD student positions in Algorithms and Complexity, Oxford (UK)
• Professorship in ICT, Media and Learning, Umea (Sweden)
• Computational Mechanisms of Nonverbal Communication
• PhD Scholarship in Computer Science
• Lecturer Position (Assistant Professor) at University of Southampton
• 1y fixed-term stipendiary lectureship in philosophy, Oxford (U.K.)
• 2 PhD student positions, Philosophy of Mind / Cognitive Science, Tuebingen (Germany), Deadline 7 June 2009
• PhD student positions, postdoctoral positions, fellowships in "Formal Methods and Theoretical Computer Science", Macao
• Fall 2009 Semester on "Mathematical Logic: Set Theory and Model Theory" at the Mittag-Leffler Institute
• Two research assistant positions, one PhD student position on "Computational Models of Argument", Dundee (Scotland)
• Research Assistant (neurolinguistics) needed at RWTH Aachen University
• Postdoctoral position in cognitive modelling, RPI, Troy NY (U.S.A.)
• PhD student position on "Security by Logic for Multithreaded applications", Enschede (The Netherlands)
• W3 Professorship in Theory of Humanities, Philosophy of Language, Philosophy of Mind, Konstanz (Germany)
• PhD student position on logic and formal verification, Liverpool (U.K.)
• Associate Professorship in History and Philosophy of Mathematics and Computer Science, Aarhus (Denmark)
• Postdoc Positions in Algorithmic Game Theory in Liverpool and Warwick
• PhD student position in Type Theory, Nottingham (U.K.)
• PhD student position in Computer Science, Heriot-Watt University
• Thirteen PhD scholarships in discrete mathematics and theoretical computer science, Warwick (U.K.)
• Seven PhD student grants ("Lichtenberg grants") in Cognitive Science at Osnabrueck, Germany
• Postdoctoral position "Dynamics of Argumentation" (DYNAR, Luxembourg)
• PhD student position "Argumentative Networks", Brussels (Belgium)
• Six PhD student positions in Computer Science, Swansea (Wales)
• Junior Professorship (W1) in Computer Science, Darmstadt (Germany)
• PhD scholarship in modal logic for social software, Bergen (Norway)
• Two 2-year research fellowships at the Centre for Reasoning, Canterbury (U.K.)
• PhD student & Postdoc positions in "Foundations of XML", Dortmund/Paris (Germany/France)
• Postdoctoral research fellowship in philosophy ("online personal identities"), Hatfield (U.K.)
• Postdoc position in philosophy of complexity
• Graduate Student Teaching Assistantship (4 years) in Computer Science at Leicester
• PhD student positions in "Theory and Applications of Induction Recursion", Nottingham & Swansea (U.K.)
• Postdoctoral fellowship on causation & probability, Paris (France)
• Postdoctoral researcher position in Natural Language Processsing, York (U.K.)
• Postdoctoral and PhD position in the MathWiki project, Nijmegen (The Netherlands)
• Lectureship (Universitair Docent) in Algebra and Logic, Nijmegen (The Netherlands)
• Lecturer in Computer Science ("Formal Foundations") at Leicester
• Postdoctoral and PhD student position in philosophy of science and technology, Stuttgart (Germany)
• Professorship in Computer Science (Intelligent Systems), Innsbruck (Austria)
• PhD student position in Computer Science, Liverpool (England)
• 18 PhD Positions in Mathematical Logic (MALOA Network)
• Three "free-floater" tenure-track professorships in any area of research, Göttingen (Germany)
• Polonsky Postdoctoral Fellowship in any field of the humanities or social sciences, Jerusalem (Israel)
• W1 Junior Professorship in Theoretical Computer Science (tenure track to W3), Karlsruhe (Germany)
• PhD student position in Formal Methods for distributed systems, Bergen (Norway)
• PhD student position in "The Mind and the Self", Lausanne (Switzerland)
• 2y postdoctoral position in Algorithms, Bristol (U.K.)
• Postdoctoral positions in Theoretical Computer Science at UT Austin, Austin TX (U.S.A.)
• PhD student position in epistemology or philosophy of science, Tilburg (The Netherlands)
• Lectureship in Mathematics, London School of Economics, London (U.K.)
• (Associate) Professorship in Discrete Mathematics or Algorithms, Warwick (U.K.)
• Assistant Professorship in Computing Science at Uppsala University
• Research Fellowship / Tutorship in Logic (4y), Oxford (U.K.)
• Ubbo Emmius Programme for Ph.D. Scholarships in Groningen
• Assistant Professorship in Philosophy (Metaphysics / Logic), Oberlin OH (U.S.A.)
• PhD student positions in Foundations of Computer Science, Edinburgh (Scotland) (non-EU)
• PhD student position in the study of networks at University of New Mexico
• Postdoctoral fellowship in "Computational Logic and Combinatorial Optimization", West Virginia (U.S.A.)
• PhD student position in algorithms engineering, Munich (Germany)
• PhD positions at Nottingham and Swansea in Theoretical Computer Science / Logic
• PhD student scholarship in "Language and Cognition", Bielefeld (Germany)
• Postdoc and PhD positions in Algorithmic Game Theory (Singapore)
• Postdoctoral and PhD student position in "Security and Games", Luxembourg (Luxembourg)
• Postdoctoral positions in "Computational Logic, Implementation and Parallelism", Madrid (Spain)
• Ph.D. Scholarship in Logic, University of Groningen
• Post-doc in formal semantics at Institut Jean Nicod, Paris, France
• Postdoc Position in Logic and Probability, Sao Paulo, Brazil
• PhD student position and postdoctoral position on "Causality and Probability", Konstanz (Germany)
• Three open Full Professor positions in Computer Science, Brasilia (Brazil)
• Several postdoctoral positions in Algorithms and Complexity, Saarbruecken (Germany)
• Postdoctoral position in Algorithms, Darthmouth College (Hanover NH, U.S.A.)
• Three PhD student positions on "Understanding and the A Priori", Cologne (Germany)
• Lectureship in Computer Science, Bristol (U.K.)
• Lectureships in Economics & Computation, Liverpool
• PhD student positions on ontology reasoning, Aberdeen (Scotland)
• Postdoc Position at Padova University
• Junior Professorship (W1) in Algorithm Engineering, Jena (Germany)
• Three types of logic positions at UIUC, Urbana-Champaign IL (U.S.A.)
• Scholarships for PhD students in computer science, Oxford (U.K.)
• Postdoctoral research fellow in machine learning / information theory / artificial intelligence, Canberra, Australia
• Faculty Position in Intelligent System, Burlington VT (U.S.A.)
• PhD scholarships: Berlin School of Mind and Brain, Berlin (Germany)
• PhD grants in "transdisciplinary mind and brain research", Berlin, Germany
• Ontology Research Position at St. Francis Xavier University, Canada
• Assistant Professorship in Pure Mathematics (Logic), New York NY (U.S.A.)
• Post doc position in verification at St. Francis Xavier University, Canada
• Assistant professor semantics at Tübingen University (Germany)
• Postdoctoral fellowship in Algorithms and Randomness, Georgia Tech (U.S.A.)
• Faculty Positions at EPFL (tenure-track assistant professors) in computer science, Lausanne (Switzerland)
• PhD Position in Reasoning with Preferences in Cork
• Faculty position in Computer Sciences, Lausanne (Switzerland)
• Postdoc positions at Feinberg Graduate School

   Headlines New Appointments

• New Appointments: Aline Honingh

   Headlines Miscellaneous

• UvA access to IEEE/IET Electronic Library (IEL)
• Henkjan Honing in de Volkskrant
• Nieuw boek "Iedereen is Muzikaal" van Henkjan Honing
• New book "Verification of Sequential and Concurrent Programs" by Krzysztof R. Apt, Frank S. de Boer and Ernst-Rüdiger Olderog
• Youngest Faculty of Science student is in MSc Logic
• Martin Stokhof in NWO Geestesoog 2009-03
• AMS Graduate Student Blog
• New Book: Argumentation in Artificial Intelligence
• 'Logica in Actie' is Online
• Call for nominations for the next Editor-in-Chief of ACM Transactions on Computational Logic (ToCL)
• Jeroen Groenendijk on shortlist "Lecturer of the year 2008"
• Call for nominations Cor Baayen award

   Headlines Regular Events

• Logic, Language, and Reasoning Seminar
• Computational Social Choice Seminar
• Computational Linguistics Seminar
• ACG Colloquium
• PROSE Colloquium
• GLoRiClass Seminar
• The "Cool Logic" Meetings
• Amsterdam-Utrecht Workshops
• The Colloquium on Mathematical Logic
• The Logic Tea
• The DIP (Discourse Processing) Colloquium

   Past Events

• 18 December 2009, Computational Social Choice Seminar, Dries Vermeulen
  Speaker: Dries Vermeulen
  Title: On The Fastest Vickrey Algorithm
  Date and time: Friday 18 December 2009, 15.30 (changed)
  Location: Room A1.06 (changed), Science Park 904, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=3114 or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endrissuva.nl).

• 16-18 December 2009, 17th Amsterdam Colloquium, Amsterdam, The Netherlands
  Newsitem added on 19 April 2009.

  The Seventeenth Amsterdam Colloquium will be held December 16 - 18 2009 at the University of Amsterdam. The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The spectrum of topics covered ranges from descriptive (syntactic and semantic analyses of all kinds of expressions) to theoretical (logical and computational properties of semantic theories, philosophical foundations, evolution and learning of language).

  Details about the symposium, and about the submission of abstracts, can be found at: http://www.illc.uva.nl/AC2009/

• 15 December 2009, "The End of Infinity", Symposium
  Location: Room A.02.06, VU Hoofdgebouw, De Boelelaan 1105, Amsterdam, The Netherlands
  Newsitem added on 13 December 2009.

  The one-day symposium The End of Infinity marks the end of the NWO-FOCUS/BRICKS sponsored research project Infinity, concerned with infinite objects, computation, modeling, and reasoning. In several talks participants of the Infinity project will report on the results that have been obtained in the project, new insights and challenges for ongoing research. There will be invited talks by Larry Moss and Hans Zantema.

  For more information, see http://infinity.few.vu.nl/infinity/index.php/The_End_of_Infinity

• 14-16 December 2009, Tinbergen Workshop on Cooperative Game Theory and Economics (TIGAEC)
  Location: Tinbergen Institute and VU University Amsterdam, The Netherlands
  Newsitem added on 22 October 2009.

  On December 14-16, 2009 the Tinbergen Workshop on Cooperative Game Theory and Economics, and the Fourth Dutch-Russian Symposium will be held in Amsterdam, The Netherlands.

  There is no registration fee, but because of capacity restrictions, participation into the workshop and symposium is limited to about 35 participants. For more information, see http://staff.feweb.vu.nl/mestevez/WebPage_TIGAEC/default.php

• 14 December 2009, De Stelling van..., Johan van Benthem
  Speaker: Johan van Benthem
  Title: Het academisch debat bestaat niet
  Date and time: Monday 14 December 2009, 17:00 - 18:00
  Location: Spui 25-27, 1012 WX , Amsterdam

  [In Dutch only]
  Een reeks gepresenteerd door universiteitshoogleraren van de UvA. In samenwerking met bureau Communicatie.

  De stelling van dr. Johan van Benthem luidt: ‘Het academisch debat bestaat niet.'
  In het zelfbeeld van veel academici is een levendig publiek debat de bron van de wetenschappelijke vooruitgang, want 'bij de botsing der meningen vonkt de waarheid'. Interessant academisch debat is aan de universiteit echter opvallend afwezig, betoogt Van Benthem.

  For more information, see http://www.cms.uva.nl/spui25/programma.cfm/34917699-1321-B0BE-6801F753DACBB3E7

• 14 December 2009, Logic Tea, Sam van Gool
  Speaker: Sam van Gool
  Title: Canonical extensions, Polarities, and Counterterrorism
  Date and time: Monday 14 December 2009, 17.00-18.00
  Location: Room A1.04, Science Park 904, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Lorenz Demey (lorenzdemeyhotmail.com), or Yurii Khomskii (Y.D.Khomskiiuva.nl)

• 11 December 2009, New Directions in Preference Representation
  Speaker: Francesca Rossi, Michael Wooldridge, Jérôme Lang, Cédric Dégremont, Daniele Porello
  Date and time: Friday 11 December 2009, 14:00-17:25
  Location: Room A1.04, Science Park 904, Amsterdam

  Preferences are ubiquitous and unavoidable when dealing with interacting agents. This workshop consists of five talks by researchers in preference representation, highlighting recent work. No registration is required.

  For more information, see http://staff.science.uva.nl/~juckelma/events/ndipr.

• 4 December 2009, DIP Colloquium, Simon Kirby (Edinburgh)
  Speaker: Simon Kirby (Edinburgh)
  Title: Language Evolution in the Lab: from models to experiments in evolutionary linguistics
  Date and time: Friday 4 December 2009, 16.00-17.30
  Location: Room 001, Philosophy Department, Vendelstraat 8, Amsterdam

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

• 4 December 2009, Spui25, Henkjan Honing, Annemie Ploeger, Machiel Keestra & Jaap van Heerden
  Speakers: Henkjan Honing, Annemie Ploeger, Machiel Keestra & Jaap van Heerden
  Title: Doet muziek ertoe?
  Date and time: Friday 4 December 2009, 17.00-19.00
  Location: Spui 25-27, Amsterdam

  (Dutch only)
  Je zou kunnen zeggen dat muziek in evolutionair opzicht zinloos is: het stilt onze honger niet, en we leven er geen dag langer door. Muziek lijkt weinig nut te hebben, behalve misschien dat we er plezier aan beleven als we het maken of ernaar luisteren. Althans, dat was de redenering van cognitief psycholoog Steven Pinker. Pinker zette taal af tegen muziek, waarbij taal stond voor een evolutionair relevante, en muziek voor een evolutionair irrelevante menselijke eigenschap.

  Klopt dat? Zijn er echt geen argumenten aan te voeren dat muziek een beslissende rol heeft gespeeld in de evolutionaire ontwikkeling van de mens? Is muziek niet eerder een 'adaptatie', een aanpassing, die bijgedragen heeft aan het overleven van de mens als groep? Of is ze toch, zoals Pinker stelt, niet meer dan een prettige bijwerking van belangrijker functies zoals spraak en taal?

  Een gesprek hierover met Henkjan Honing, Annemie Ploeger en Machiel Keestra, onder leiding van Jaap van Heerden, n.a.v. het verschijnen van Iedereen is muzikaal: wat we weten over het luisteren naar muziek bij uitgeverij Nieuw Amsterdam.

  Voor meer informatie, zie http://www.spui25.nl/spui25/programma.cfm/C8F6CB1B-1321-B0BE-6870D88F10191EA8.

• 3 December 2009, Computational Social Choice Seminar, Daniele Porello
  Speaker: Daniele Porello
  Title: Dimension of Voting and Coherence
  Date and time: Thursday 3 December 2009, 16.00
  Location: Room C0.110, Science Park 904, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=3083 or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endrissuva.nl).

• 3 December 2009, PROSE Colloquium, Mohammad Mousavi
  Speaker: Mohammad Mousavi
  Title: Decompositional Reasoning About Past
  Date and time: Thursday 3 December 2009, 15.45-16.45
  Location: Room 6.96, HG (Main Building), TU Eindhoven

  For more information, see http://www.win.tue.nl/prose/

• 2 December 2009, Computational Linguistics Seminar, Stefan Frank
  Speaker: Stefan Frank
  Title: Investigating the roles of expectation and uncertainty in human sentence processing
  Date and time: Wednesday 2 December 2009, 16.00
  Location: Room A1.04, Science Park 904, Amsterdam

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

• 30 November 2009, Logic Tea, Nina Gierasimczuk
  Speaker: Nina Gierasimczuk
  Title: What makes a good teacher? A computational study
  Date and time: Monday 30 November 2009, 17.00-18.00
  Location: Room A1.04, Science Park 904, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Lorenz Demey (lorenzdemeyhotmail.com), or Yurii Khomskii (Y.D.Khomskiiuva.nl)

• 27 November 2009, Computational Social Choice Seminar, Willemien Kets
  Speaker: Willemien Kets (Santa Fe)
  Title: Inequality and Network Structure
  Date and time: Friday 27 November 2009, 16.00
  Location: Room B1.25, Science Park 904, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=3070 or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endrissuva.nl).

• 27 November 2009, DIP Colloquium, Kurt Ranalter
  Speaker: Kurt Ranalter (University of Verona)
  Title: Towards a computational account for an expressive conception of norms
  Date and time: Friday 27 November 2009, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

• 25 November 2009, Computational Linguistics Seminar, Federico Sangati
  Speaker: Federico Sangati
  Title: An English Dependency Treebank à la Tesnière
  Date and time: Wednesday 25 November 2009, 15.00
  Location: Room A.1.14, Science Park 904, Amsterdam

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

• 20 November 2009, DIP Colloquium, Cornelia Ebert (Osnabrueck)
  Speaker: Cornelia Ebert (Osnabrueck)
  Title: Topics as Speech Acts -- An Analysis of Conditionals
  Date and time: Friday 20 November 2009, 16.00-17.30
  Location: Room 001, Philosophy Department, Vendelstraat 8, Amsterdam

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

• 19 November 2009, PROSE Colloquium, Jeroen Keiren (OAS)
  Speaker: Jeroen Keiren (OAS)
  Title: Bisimulation minimisations for boolean equation systems
  Date and time: Thursday 19 November 2009, 15.45-16.45
  Location: Room 6.96, HG (Main Building), TU Eindhoven

  For more information, see http://www.win.tue.nl/prose/

• 17 November 2009, Logicomix, Apostolos Doxiadis
  Speaker: Apostolos Doxiadis
  Date and time: Tuesday 17 November 2009, 15:45
  Location: Room A1.10, Science Park 904, Amsterdam

  Apostolos Doxiadis, one of the authors of the Logicomix (http://www.logicomix.com/en/) will show a 20 min. movie discussing the making of the comic and then have a Q&A/discussion session.

  For more information, contact Sara Uckelman (S.L.Uckelmanuva.nl) or Peter van Ormondt (P.vanOrmondtuva.nl)/

• 16-17 November 2009, Colloquium History of Computing (CHOC): "Programming, languages, linguistics and computability"
  Location: Room C0.110/A1.04, Science Park 904, Amsterdam, The Netherlands
  Newsitem added on 18 October 2009.

  Liesbeth de Mol (Gent), Maarten Bullynck (Paris) Janet Martin-Nielsen (Toronto) & Karel van Oudheusden (Amsterdam) will appear in the Colloquium on the History of Computing and amongst them connect such diverging historical subjects as Von Neumann, Lehmer, Chomsky and Dijkstra.

  For more information, see http://www.science.uva.nl/history-of-computing/object.cfm/96654A68-1321-B0BE-6861EAE8D3413CE4/060460A8-1321-B0BE-A4757BB834A7A184

• 13 November 2009, Computational Social Choice Seminar, Eric Pacuit
  Speaker: Eric Pacuit (Tilburg)
  Title: Levels of Knowledge and Belief
  Date and time: Friday 13 November 2009, 16.00
  Location: Room A1.04, Science Park 904, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=3069 or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endrissuva.nl).

• 6 November 2009, Semantics in the Netherlands Day VII, UvA (Bungehuis)
  Costs: free
  Newsitem added on 28 May 2009.

  The Semantics in the Netherlands Day (SiN-dag) is a series of annual conferences which provide the opportunity for graduate students working on natural language semantics in the Netherlands to present the results of their current research. This year SiN-dag (SiN VII) will take place on Friday, 6 November, at the University of Amsterdam, being hosted by the Amsterdam Center for Language and Communication (ACLC). It will be an all-day event including coffee breaks, lunch and drinks afterwards.

  If you would like to attend (parts of) the SiN VII please register before 30 October by sending an e-mail to the organisers (J.Sweepuva.nl & M.O.vanSchaik-Radulescuuva.nl). Registration is free. For more information, see http://www.hum.uva.nl/sin7.

• 6 November 2009, DIP Colloquium, Igor Douven (Leuven)
  Speaker: Igor Douven (Leuven)
  Title: Vagueness: A Conceptual Spaces Approach
  Date and time: Friday 6 November 2009, 16.00-17.30
  Location: Room 001, Philosophy Department, Vendelstraat 8, Amsterdam

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

• 3 November 2009, Seminar on the Philosophy of Mathematics, Peter Hacker & Peter Koepke
  Speakers: Peter Hacker (Oxford) & Peter Koepke (Bonn)
  Location: Belle van Zuylenzaal, Academiegebouw, Utrecht
  Newsitem added on 18 October 2009.

  On the ocasion of the visits of two eminent speakers, Peter Hacker from Oxford and Peter Koepke from Bonn, we are organising a special session of the seminar.

  All interested are cordially invited to attend. Summaries of the lectures can be found at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=3050.

• 2 November 2009, A Day of Indian Logic
  Speaker: Nicolas Clerbout, Marie-Hélène Gorisse, Laurent Keiff, Peter van Ormondt, Sara L. Uckelman
  Date and time: 2 November 2009, 12:00-15:45
  Location: Room A1.10, Science Park 904, Amsterdam

  A 1-day workshop on Indian logic, bringing together researches from Lille and Amsterdam in the working group DDAHL (Dynamic and Dialogical Approaches to Historical Logic.

  For more information, see http://www.illc.uva.nl/medlogic/DDAHL/nov2.html

• 2 November 2009, NWO Symposium "Fads and Fallacies in the name of Cognitive Science"
  Location: De Driehoek, Willemsplantsoen 1c, Utrecht
  Newsitem added on 15 October 2009.

  The NWO programme committee for Cognition organizes both an internet discussion and an afternoon symposium on " FADS AND FALLACIES in the name of COGNITIVE SCIENCE"

  The symposium is organized to discuss exaggerated and conceptually confused claims concerning results of Cognitive Science and Neuroscience. This discussion was initiated by Prof. Pieter Adriaans in a letter. Both the internet discussion and the afternoon symposium are intended as a partial fulfillment of Pieter's request for more attention to these methodological and conceptual issues. Keynote speakers are Prof. Ruth Millikan (University of Connecticut) and Dr. Peter Hacker (St Johns College Oxford). The symposium will be chaired by Prof. dr. Herman Philipse.

  For more information and registration, see http://www.nwo.nl/philosophy. To take part in the internet discussion, see http://www.cognitie.nl/discussion.

• 2 November 2009, Logic Tea, Antonio Montalban (University of Chicago)
  Speaker: Antonio Montalban (University of Chicago)
  Title: The boundary of Determinacy in Second Order Arithmetic.
  Date and time: Monday 2 November 2009, 17,00-18.00
  Location: Room A1.04, Science Park 904, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Lorenz Demey (lorenzdemeyhotmail.com), Umberto Grandi (u.grandiuva.nl) or Yurii Khomskii (Y.D.Khomskiiuva.nl)

• 30 October 2009, Computational Social Choice Seminar, Speaker: Krzysztof Apt (CWI & ILLC)
  Speakers: Speaker: Krzysztof Apt (CWI & ILLC)
  Title: Sequential Mechanism Design
  Date and time: Friday 30 October 2009, 15:00
  Location: Location: A1.04, Science Park 904, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=3025 or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endrissuva.nl).

• 30 October 2009, Theoretical Computer Science Amsterdam (TCSA) Day
  Location: Vrije Universiteit, room A301 in the Faculty of MEDICINE (!), Amsterdam
  Newsitem added on 15 October 2009.

  On this TCSA-day, organised by UvA, VU en CWI, theoretical computer scientists from the Amsterdam region can meet to learn about each others' work. The programme consists of talks by researchers from CWI, UvA, and VU. There is no need to register. Tea and coffee is offered; lunch is not organised.

  For more information, see http://www.cs.vu.nl/en/news-agenda/agenda/2009/TCSA_index.asp

• 29 October 2009, Formal models for learning processes: Old tricks and new developments
  Location: Room E020, University of Amsterdam Building E (Economy), Roetersstraat 11 (Roeterseiland), Amsterdam
  Newsitem added on 15 October 2009.

  The symposium starts with a lecture by Prof. Bill Batchelder, who will give an overview of the history of mathematical learning models. He will discuss how recent advances in statistical computing have renewed the relevance of traditional, and seemingly out-dated, models for learning and memory. This lecture is followed by presentations of recent developments and applications of learning models in the areas of category learning, probabilistic learning, causal learning, classical and operant conditioning, and discrimination learning.

  Participation is free. Please register by sending an email to v.d.schmittmannuva.nl. For more information, see http://www.cognitie.nl/events/formal-models-for-learning-processes-old-tricks-and-new-developments.

• 29 October 2009, Logic and Cognition Seminar, Alistair Isaac
  Speaker: Alistair Isaac
  Title: Modeling Abduction in Perception and Science
  Date and time: Thursday 29 October 2009, 16.00-18.00
  Location: Room A.106, Science Park 904, Amsterdam

  Peirce first identified abduction as a type of inference distinct from induction and deduction. He claimed that abduction permeates every aspect of human thought, from low-level perception to scientific theory choice. In contemporary philosophy, abduction is frequently considered only in the latter capacity, as a form of high-level scientific reasoning. In A.I., abduction is closely associated with the frame problem, the problem of how to determine relevance. Again, however, philosophers tend to identify this as a problem only for high-level reasoning. Fodor, for example, argues that low-level perceptual processes are encapsulated, and thus immune to the challenges of holistic reasoning, like abduction. In this talk I provide an overview of several different perspectives on abduction. I argue that the fundamental stumbling block for formal models of abduction is its inherently creative character. I conclude with a defence of Peirce’s original insight, arguing that empirical research on perception is a field from which models of abduction in other domains (such as scientific reasoning) can and should draw inspiration.

  For more information contact Nina Gierasimczuk at N.Gierasimczukuva.nl.

• 26 October 2009, Logic Tea, Lisa Fulford
  Speaker: Lisa Fulford
  Title: Modular Canonicity for Bi-implicative Algebras
  Date and time: Monday 26 October 2009, 17.00-18.00
  Location: Room A1.04, Science Park 904, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Lorenz Demey (lorenzdemeyhotmail.com), Umberto Grandi (u.grandiuva.nl) or Yurii Khomskii (Y.D.Khomskiiuva.nl).

• 23 October 2009, NAP-Dag 2000
  Location: Room 401, Bungehuis, Spuistraat 210, Amsterdam
  Newsitem added on 5 October 2009.

  NAP is the abbreviation of Nieuw Amsterdams Peil and this day is meant for junior researchers to present their (ongoing) research. The NAPdag will be a full day of presentations, including social events like having lunch and drinks afterwards.

  Because of the growing collaboration between the two research institutes, there will be presentations of PhD's from the ACLC as well as from the ILLC. Attendance is free, but if you wish to join the (free) lunch, please send an email to the organizers.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=3030 or http://www.hum.uva.nl/aclc/object.cfm/4317883A-3102-4F8A-A31CBC1402EBC5E4/B02665C2-1321-B0BE-A4596DB4A43DA370, or contact the organizers at napdag2009gmail.com.

• 19 October 2009, Logic Tea, Jan Heylen
  Speaker: Jan Heylen
  Title: Collapse and slingshot arguments in intensional logic and arithmetic
  Date and time: Monday 19 October 2009, 17.00-18.00
  Location: Room A1.04, Science Park 904, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Lorenz Demey (lorenzdemeyhotmail.com) or Yurii Khomskii (Y.D.Khomskiiuva.nl)

• 12 October 2009, Henkjan Honing in 'De stelling van': We zijn allemaal muzikale dieren
  Date and time: Monday October 12, 2009, 17.00-
  Location: Academisch-cultureel centrum SPUI25, Spui 25-27, Amsterdam.

  Tijdens de eerstvolgende editie van de voordrachtenreeks De stelling van ... is het woord aan Henkjan Honing, universitair hoofddocent op het terrein van Muziekcognitie. Hij gaat op maandag 12 oktober in op de stelling ‘We zijn allemaal muzikale dieren'.

  Over muzikaliteit bestaan veel misverstanden. Mensen die zichzelf amuzikaal vinden, zeggen dat ze geen ritmegevoel hebben of niet zuiver kunnen zingen. Een zingende vogel of een op de maat dansende kaketoe vinden ze echter al snel ‘muzikaal'. Maar kunnen dieren wel muzikaal zijn en wat is muzikaliteit eigenlijk?

  De toegang is vrij. U dient zich wel van te voren aan te melden. Voor meer informatie, zie http://www.science.uva.nl/actueel/nieuws.cfm/E0B0A7B2-1321-B0BE-68C7AD498A41BF51 en http://www.science.uva.nl/actueel/Agenda.cfm/C806D906-1321-B0BE-68CAD58FF96CEFB3

• 9 October 2009, DIP Colloquium, Sybille Krämer (Berlin)
  Speaker: Sybille Krämer (Berlin)
  Title: The Diagrammatical Mind
  Date and time: Friday 9 October 2009, 16.00-17.30
  Location: Room 001, Philosophy Department, Vendelstraat 8, Amsterdam

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

• 8-11 October 2009, 2nd International Workshop on Logic, Rationality and Interaction (LORI-II), Chongqing, China
  Newsitem added on 22 March 2009.

  The First International Workshop on Logic, Rationality and Interaction (LORI-I) took place in Beijing in August 2007, with participation by researchers from artificial intelligence, game theory, linguistics, logic, philosophy, and cognitive science. The workshop led to great advances in mutual understanding, both academically and culturally, between Chinese and foreign logicians. Due to the success of LORI-I, we have decided to continue organizing LORI at various places in China and possibly other countries in Asia and the Pacific Area in the future.

  The Second International Workshop on Logic, Rationality and Interaction (LORI-II) will take place in Chongqing, China, during October 8-11, 2009. The Workshop will feature a distinguished roster of invited speakers, refereed contributed papers, poster and tutorials sessions for students, as well as cultural events and excursions.

  For more information, see http://loriweb.org/lori2009

• 2 October 2009, Computational Social Choice Seminar, Frank Nebel
  Speaker: Frank Nebel
  Title: Complexity Issues in Coalitional Game Theory: An Introduction
  Date and time: Friday 2 October 2009, 14.00
  Location: Room A1.04, Science Park 904, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=3007 or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endrissuva.nl).

• 1-3 October 2009, Amsterdam Graduate Philosophy Conference on "Meaning and Truth" (AGPC'09), Amsterdam
  Newsitem added on 9 April 2009.

  The conference is dedicated to exploring new ideas on what has been and remains a fundamental theme in the philosophy of language, namely, the relation between meaning and truth. We invite papers from young researchers who have an original contribution to make regarding the role of truth in a theory of meaning, the role of meaning in a theory of truth, or even the question of whether meaning and truth are actually related in an interesting way.

  The conference is motivated by the ongoing debates and discussions that pose new challenges on how to conceive of meaning and of truth, and the relation between them. Some areas of interest here include: truth-functional vs. proof-theoretic semantics; semantic theories of truth; the role of context in interpretation; semantic normativity; deflationism; meaning as use; inferentialism; compositionality; vagueness; the semantics-pragmatics interface; language evolution.

  The program committee invites submissions in the form of short papers (not longer than 4000 words) accompanied by short abstracts (not longer than 500 words). The deadline for submission is June 10 and it should follow the on-line submission form, available on the conference website. Candidates eligible for submission are graduate students and those who have completed a doctoral dissertation within the last three years.

  For more information, please visit the conference website at http://www.illc.uva.nl/agpc/agpc09/, or contact agpcuva.nl

• 30 September 2009, Computational Linguistics Seminar, Tejaswini Deoskar / Federico Sangati
  Speaker: Tejaswini Deoskar / Federico Sangati (ILLC)
  Title: Smoothing fine-grained PCFG lexicons / A generative re-ranking model for dependency parsing
  Date and time: Wednesday 30 September 2009, 16.00
  Location: Room A1.06, Science Park 904, Amsterdam

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

• 28 September 2009, Logic Tea, Maxim Khalilov
  Speaker: Maxim Khalilov
  Title: Syntax-based reordering model for statistical machine translation
  Date and time: Monday 28 September 2009, 17.00-18.00
  Location: Room A1.04, Science Park 904, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Lorenz Demey (lorenzdemeyhotmail.com), Umberto Grandi (u.grandiuva.nl) or Yurii Khomskii (Y.D.Khomskiiuva.nl).

• 23 September 2009, Computational Linguistics Seminar, Maarten Versteegh
  Speaker: Maarten Versteegh (Radboud University Nijmegen)
  Title: Using Data-Oriented Parsing to model syntactic change
  Date and time: Wednesday 23 September 2009, 16.00
  Location: Room C3.113, Science Park 904, Amsterdam

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

• 21-25 September 2009, Eighth International Tbilisi Symposium on Language, Logic and Computation, Bakuriani, Georgia
  Newsitem added on 8 February 2009.

  The Eighth International Tbilisi Symposium on Language, Logic and Computation will be held on 21 -- 25 September 2009 in Bakuriani, Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University and the Georgian Academy of Sciences, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.

  For more information, see http://www.illc.uva.nl/Tbilisi2009

• 18 September 2009, DIP Colloquium, Gillian Russel
  Speaker: Gillian Russel (Washington University/Tilburg University)
  Title: Indexicals, Context-Sensitivity and Implication
  Date and time: Friday 18 September 2009, 16.00-17.30
  Location: Room 001, Philosophy Department, Vendelstraat 8, Amsterdam

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

• 18 September 2009, Computational Social Choice Seminar, Ulle Endriss
  Speaker: Ulle Endriss
  Title: Extending a Preference Order over a Set to its Powerset
  Date and time: Friday 18 September 2009, 15.00
  Location: Room C0.110, Science Park 904, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2995 or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endrissuva.nl).

• 14 September 2009, Logic Tea, George Barmpalias
  Speaker: George Barmpalias
  Title: Computability and Randomness
  Date and time: Monday 14 September 2009, 17.00-18.00
  Location: Room A1.04, Science Park 904, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/

  For more information, please contact Lorenz Demey (lorenzdemeyhotmail.com), Umberto Grandi (u.grandiuva.nl) or Yurii Khomskii (Y.D.Khomskiiuva.nl)

• 12 September 2009, Publieksevenement Illusio NWO
  Date and time: Saturday 12 September 2009, 12.00 - 18.00
  Location: Pakhuis de Zwijger, Amsterdam

  NWO sluit het programma Cognitie op 12 september spetterend af met het evenement 'Illusio'. Illusio is een publieksdag voor iedereen van twaalf jaar en ouder met als thema 'illusies'. Er is een doorlopend dagprogramma waarbij de bezoekers in verschillende ruimtes van het Pakhuis worden blootgesteld aan klassieke illusies en boeiende cognitieve experimenten. Aan de programmaonderdelen worden begeleid door diverse Nederlandse cognitiewetenschappers. In de grote zaal vindt van 14.30 - 16.45 uur een speciaal geïntegreerd middagprogramma plaats waarvoor registratie verplicht is, waarbij de beroemde Amerikaanse illusionist Teller als hoofdact een inkijkje zal geven in de geheimen van de magie, en Peter Hagoort en Johan van Benthem het Publieksboek 'Geestdrift, wat Cognitiewetenschappers bezielt' zullen presenteren.

  Voor meer informatie, zie http://www.illusio.nl/.

• 11 September 2009, DIP Colloquium, Bart de Boer and Jelle Zuidema
  Speakers: Bart de Boer and Jelle Zuidema
  Title: The evolutionary biology of language
  Date and time: Friday 11 September 2009, 16.00-17.30
  Location: Room 001, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

• 4 September 2009, Mentor Speed Dating Event Women in the FNWI
  Date and time: Friday 4 September 2009, 15.00-16.30
  Location: Restaurant-cafe Polder, Science Park 205, Amsterdam

  The Women in the FNWI network organizes a speed date event where potential mentors and potential mentees can meet. The program will consist of a short introduction with drinks, and about 30 minutes of "mentor speed dating": potential mentors and potential mentees engage in conversation for three minutes, and then change partner at the end of each three-minute period. Drinks afterwards.

  For more information, see http://www.science.uva.nl/wif.

• 4 September 2009, Computational Social Choice Seminar, Rohit Parikh
  Speaker: Rohit Parikh (CUNY)
  Title: The Use of Knowledge in Social Algorithms
  Date and time: Friday 4 September 2009, 16.00
  Location: Room A1.04, Science Park 904, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2983 or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endrissuva.nl).

• 2 September 2009, Computational Linguistics Seminar, Gerard Kempen
  Speaker: Gerard Kempen
  Title: The Unification Space implemented as a localist neural net: Predictions and error-tolerance in a constraint-based parser
  Date and time: Wednesday 2 September 2009, 16.00
  Location: Room C1.112, Science Park 904, Amsterdam

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

• 31 August - 2 September 2009, Workshop "Practice-based philosophy of logic and mathematics", Amsterdam, The Netherlands
  Newsitem added on 23 October 2008.

  Traditionally, the philosophy of logic pays little attention to the actual practices of logicians. This is somewhat surprising, as the works of several influential authors have shown the relevancy of attending to actual scientific practices within the philosophy of the empirical sciences as well as the philosophy of mathematics. But there is no hint of a similar 'practical' turn in the philosophy of logic.

  The workshop is intended to enable philosophers, logicians and mathematicians to discuss the fruitfulness and viability of a practice-based approach to logic. Within the philosophy of mathematics this approach already has a certain standing, so practice-based philosophy of mathematics can serve as a starting point for the development of a practice-based philosophy of logic. We hope to offer a novel vantage point into what is after all an essentially human and social activity, the practice of logic. What do logicians do? How do they conduct their researches, individually and within the scientific community? How do they communicate with each other? Answers to these questions may offer new insights into the most fundamental issues that the philosophy of logic must address.

  For more information, see http://www.illc.uva.nl/pplm/

• 27 August 2009, Introduction MSc Logic 09-10
  Date and time: Thursday 27 August 2009, 14.00
  Location: C1.110 (A1.10, Logic part), Science Park 904, Amsterdam

• 27 August 2009, ILLC Drinks/Introduction MSc Logic drinks
  Date and time: Thursday 27 August 2009, 17.30-19.30
  Location: ILLC launch - C3.113, Science Park 904, Amsterdam

  Because the boats that cruise the canals of Amsterdam are not allowed to land near Science Park, this year we will not have our annual boat trip. We will have our very enjoyable ILLC drinks (with pizza) during which staff and (new) students can mingle and get to know each other.

• 10 August 2009, Computational Linguistics Seminar, Tim O'Donnell
  Speaker: Tim O'Donnell
  Title: Computation and Reuse in Language
  Date and time: Monday 10 August 2009, 16.00
  Location: Room C1.108, Science Park 904, Amsterdam

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

• 27 July 2009, Computational Linguistics Seminar, Reut Tsarfaty
  Speaker: Reut Tsarfaty
  Title: Parsing a (relatively) free word-order language
  Date and time: Monday 27 July 2009, 16.00
  Location: Room A1.08, Science Park 904, Amsterdam

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

• 20-31 July 2009, ESSLLI-2009: 21th European Summer School in Logic, Language and Information, Bordeaux, France
  Newsitem added on 26 June 2008.

  The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

  Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2008 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

  For more information, see the website at http://esslli2009.labri.fr/.

• 20-31 July 2009, 2009 ESSLLI Student Session, Bordeaux, France
  Newsitem added on 31 October 2008.

  The 2009 ESSLLI Student Session will take place from July 20 to July 31 in Bordeaux, France, as part of the annual European Summer School in Logic, Language, and Information. We hereby invite paper submissions from students in the areas of logic and computation, logic and language, and language and computation for presentation in the oral session or in the poster session. All submissions will be reviewed by three experts in the field, and those selected for presentation will be published in the proceedings. The Student Session is an excellent venue to present work in progress, and also to gain experience presenting one's research to a wide audience. As in previous years, Springer is offering 500 Euro in textbooks for the best paper award, and 250 Euro in textbooks to each of two runners-up. The extended deadline for submission is February 14, 2009.

  For more details, please see the full call for papers: http://www.stanford.edu/~icard/esslli/call

• 200 July 9, LSIR-2: Logic and the Simulation of Interaction and Reasoning, Pasadena CA (U.S.A.)
  Newsitem added on 27 November 2008.

  In the past years, logicians have become more and more interested in the phenomenon of interaction and the formal modelling of social procedures and phenomena. The area Logic & 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. Modelling intelligent interaction has been an aspect of the practical work of computer game designers for a long time. Pragmatic questions such as 'What makes a storyline interesting', 'What makes an reaction natural', and 'What role do emotions play in game decisions' have been tackled by practicing programmers. The practical aspects of computer gaming 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.

  LSIR2 focuses on the relation between techniques of modern logic (such as discourse representation theory or dynamic epistemic logic) and concrete modelling problems in computer games (either as part of the story or game design or as part of the design of the artificial agents). We aim combining communities of logic, multi-agent systems, computer game design, the story understanding community, and various parts of AI dealing with the formal modelling of emotions and intentions, as well as the empirical testing of these models; we invite all researchers in these and related field to submit their abstracts of papers, in particular those that build bridges between the communities.

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=8_2. The main financial sponsor of the workshop is the Marie Curie research training site GLoRiClass.

• 7-11 July 2009, Topology, Algebra and Categories in Logic (TACL 2009), Euclides Building, Plantage Muidergracht 24, Amsterdam
  Newsitem added on 7 December 2008.

  Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tool and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2009 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods.

  For more information, see http://www.illc.uva.nl/tacl09/

• 1-3 July 2009, 5th Spain, Italy, Netherlands Meeting on Game Theory (SING5), Vrije Universiteit, Amsterdam
  Newsitem added on 29 January 2009.

  On July 1-3, 2009 the 5th Spain, Italy, Netherlands Meeting on Game Theory (SING5), is going to be held at VU University Amsterdam, The Netherlands.

  This meeting is jointly organized by VU University Amsterdam (VU), University of Amsterdam (UvA), Centrum Wiskunde & Informatica (CWI), and the Tinbergen Institute (TI).

  For more information, see http://www.feweb.vu.nl/sing5/

• 1 July 2009, Connectionist natural language processing
  Speaker: Morten Christiansen, Franklin Chang, Stefan Frank
  Date and time: Wednesday 1 July 2009, 14.00-17.00
  Location: Room C1.17, Oudemanhuispoort, Universiteit van Amsterdam

  Following the PhD defense of Hartmut Fitz on Neural Syntax, a public symposium will be held on neural network approaches to processing natural language. Participation is free and registration is not required.

  For more information, see http://staff.science.uva.nl/~fitz/cnlp.html

• 30 June 2009, BRICKS Workshop on Game Theory and Multiagent Systems, CWI, Science Park 123 (= Kruislaan 413), Amsterdam, The Netherlands
  Newsitem added on 16 April 2009.

  Prior to the "5th Spain, Italy, Netherlands Meeting on Game Theory" (SING5, http://www.feweb.vu.nl/sing5/) there will take place "BRICKS Workshop on Game Theory and Multiagent Systems". BRICKS stands for Basic Research in Informatics for Creating the Knowledge Society.

  For more information, see http://www.bsik-bricks.nl/ or http://www.cwi.nl/en/events/BRICKS-Workshop-on-Game-Theory-and-Multiagent-Systems.

• 29 June 2009, Computational Linguistics Seminar, Peter beim Graben
  Speaker: Peter beim Graben
  Title: Dynamic Cognitive Modeling of Syntactic Language Processing
  Date and time: Monday 29 June 2009, 14.00
  Location: Room A1.04, Science Park 904, Amsterdam

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

• 26 June 2009, First Workshop on Logics and Strategies
  Location: Room 5161.0267, Bernoulliborg Building, Nijenborgh 9, Groningen, The Netherlands
  Newsitem added on 12 May 2009.

  Modelling intelligent and rational interaction in multi-agent systems has been one of the main issues in Artificial Intelligence that gained momentum in the last decade of the past century. This is now merging into broader studies of formal models of society, where computer science meets decision theory, game theory and social choice theory, for instance in the study of rational deliberation and decision making.

  This first workshop on logics and strategies of the project STRATMAS focuses on ideas and concepts for bringing in the notion of strategies explicitly in the logical frameworks dealing with intelligent and rational interaction in multi-agent systems, which is one of the main goals of the project. The workshop consists of talks by some experts in this area as well as some young researchers. It can also be regarded as the first event in the revival of "Dag der GrAmschap" which used to be a regular event, not so many years ago, to mark a day of talks and discussions between the Amsterdam and the Groningen logic research community on some topics of mutual interest.

  The workshop is free for participants, but please pre-register before June 20, 2009, by sending mail to Sujata Ghosh (sujataai.rug.nl) so that we can organize an appropriate lecture room and catering. For more information, see http://www.ai.rug.nl/~sujata/strat1.html and http://www.ai.rug.nl/~sujata/stratmas.html.

• 24 June 2009, Computational Linguistics Seminar, Henk Zeevat
  Speaker: Henk Zeevat (ILLC)
  Title: Bayesian Interpretation
  Date and time: Wednesday 24 June 2009, 16.00
  Location: Room A1.04, Science Park 904, Amsterdam

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

• 18 June 2009, Computational Linguistics Seminar, Amit Mukarjee
  Speaker: Amit Mukarjee
  Title: The constructivist enterprise: towards computational language acquisition
  Date and time: Thursday 18 June 2009, 14.00
  Location: Room A1.06, Science Park 904, Amsterdam

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

• 12 June 2009, Computational Social Choice Seminar, Ulle Endriss
  Speaker: Ulle Endriss
  Title: Economic Inequality
  Date and time: Friday 12 June 2009, 16.00
  Location: Room C1.112, Science Park 904, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2902 or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endrissuva.nl).

• 12 June 2009, Colloquium on Mathematical Logic, Bas Spitters
  Speaker: Bas Spitters
  Title: Constructive Theory of Banach algebras
  Date and time: Friday 12 June 2009, 16.00-17.00
  Location: Room 611ab, Wiskundegebouw, Budapestlaan 6, Utrecht (Bus 11 from Utrecht Central Station).

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

• 10 June 2009, Computational Linguistics Seminar, Miles Osborne
  Speaker: Miles Osborne
  Title: Stream-based randomised language modelling for machine translation
  Date and time: Wednesday 10 June 2009, 16.00
  Location: Room A.104, Science Park 904, Amsterdam

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

• 5 June 2009, DIP Colloquium, Albert Visser
  Speaker: Albert Visser
  Title: Look again: syntax is no syntax
  Date and time: Friday 5 June 2009, 16.00-17.30
  Location: Room 107, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

• 29 May 2009, Computational Social Choice Seminar, Daniele Porello
  Speaker: Daniele Porello
  Title: Linear Logic for Bidding Languages
  Date and time: Friday 29 May 2009, 16.00
  Location: Room C1.112, Science Park 904, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2857 or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endrissuva.nl).

• 27 May 2009, Colloquium on Mathematical Logic, Juha Kontinen
  Speaker: Juha Kontinen (Helsinki)
  Title: Regular representations of uniform TC^0
  Date and time: Wednesday 27 May 2009, 15.00-16.00
  Location: Room P.016, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

• 27 May 2009, General Mathematics Colloquium, Sander Bais (UvA, ITFA)
  Speaker: Sander Bais (UvA, ITFA)
  Title: The physics of quantum groups and their breaking
  Date and time: Wednesday 27 May 2009, 11.15-12.15
  Location: Room A1.09, Science Park 904

  The General Mathematics Colloquium homepage can be found at http://www.science.uva.nl/research/math/Calendar/colloq/ For more information, please contact Jochen Heinloth (j.heinlothuva.nl), Bas Kleijn (b.kleijnuva.nl) or Peter Spreij (p.j.c.spreijuva.nl)

• 26-27 May 2009, Amsterdam workshop in set theory, Room F-001, Nieuwe Doelenstraat 15
  Newsitem added on 22 May 2009.

  Following the PhD defense of Brian Semmes there will be a two-day workshop in set theory. A wide variety of topics are covered, including descriptive set theory, ordinal computability and combinatorics without the Axiom of Choice

  For more information, see http://staff.science.uva.nl/~ykhomski/workshop2009/index.html

• 25 May 2009, NWO: Bessensap 2009
  Newsitem added on 26 February 2009.

  Together with the Association of Journalists of Science (VNW) and the Science center NEMO, NWO organises Bessensap for the 9th time. The event, with the theme "science meets the press, the press meets science" aims to bring together journalists, editors and PR officials.

  For more information, see http://www.nwo.nl/bessensap

• 24 May 2009, When are you musical?, Henkjan Honing
  Speaker: Henkjan Honing
  Location: NEMO, Amsterdam
  Newsitem added on 14 May 2009.

  (Dutch only)
  Een klasgenoot die altijd uit de maat klapt, een tante die vals zingt of een buurjongen die jengelt op zijn gitaar. Dit zijn mensen bij wie muzikaliteit ver te zoeken is, zou je zeggen...Of toch niet?

  Tijdens deze kinderlezing op zondag 24 mei in science center NEMO laat dr. Henkjan Honing de kinderen zelf ervaren wat muzikaliteit betekent. Herken je een liedje nog als het ritme wordt aangepast? Hoor je het als muziek in de verkeerde toonsoort wordt gespeeld? Met geluidsfragmenten en filmpjes laat Honing zien dat je ook muzikaal kunt zijn zonder zelf een instrument te spelen.

  For more information, see http://www.kinderlezingen.nl/kinderlezingen/object.cfm/9A32F70B-1321-B0BE-A4EF6AAE4686E90A

• 19 May 2009, Logic Tea, Spencer Johnston & Sara Uckelman
  Speakers: Spencer Johnston & Sara Uckelman
  Title: John Buridan's Sophismata and interval temporal semantics.
  Date and time: Tuesday 19 May 2009, 17.00-18.00
  Location: Room A1.04, Science Park 904, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Lorenz Demey (lorenzdemeyhotmail.com), or Yurii Khomskii (Y.D.Khomskiiuva.nl).

• 15 May 2009, DIP Colloquium, Igal Kvart
  Speakers: Igal Kvart (Hebrew University and Rutgers University)
  Title: Change-Based Indicatory Knowledge And Perceptual Skepticism
  Date and time: Friday 15 May 2009, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

• 14 May 2009, The Amsterdam Circle for Law & Language, dr. R.G.F. Winkels and ir.drs. E. de Maat
  Speakers: dr. R.G.F. Winkels and ir.drs. E. de Maat
  Title: From Legal Language to Computer Language ("Van Juridische Taal naar Computertaal")
  Date and time: Thursday 14 May 2009, 17:00 - 18:30
  Location: Room A 1.01 (Faculty Room), UvA Law School, Oudemanhuispoort 4-6, Amsterdam

  The Leibniz Center for Law develops computer models of statutes as well as methods in order to make the 'translation' from legal language to computer language increasingly automated. A trustworthy, neutral interpretation of the legal text, without added details, is here of great importance. In the presentation the speakers will explain these 'translation'-methods and their 'technical' approach to legal interpretation with examples from various areas of law.
  The lecture will be given in Dutch.

  For more information, please go to http://www.jur.uva.nl/acll or write an e-mail to c.j.w.baaijuva.nl.

• 8 May 2009, DIP Colloquium, Jonathan Schaffer
  Speaker: Jonathan Schaffer (Australian National University)
  Title: Knowledge, Questions, and More Questions
  Date and time: Friday 8 May 2009, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

• 8 May 2009, Computational Social Choice Seminar, Stéphane Airiau
  Speaker: Stéphane Airiau
  Title: Iterated Majority Voting
  Date and time: Friday 8 May 2009, 16.00
  Location: P-3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2856 or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endrissuva.nl).

• 6 May 2009, Colloquium on Mathematical Logic, Kenneth Manders
  Speaker: Kenneth Manders (Pittsburgh)
  Title: Knot Representation
  Date and time: Wednesday 6 May 2009, 16.00-17.00
  Location: Room 430, Buys Ballot lab, Princetonplein, Utrecht

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

• 2009, The Amsterdam Circle for Law & Language, dr. R.G.F. Winkels and ir.drs. E. de Maat
  Speakers: dr. R.G.F. Winkels and ir.drs. E. de Maat
  Title: From Legal Language to Computer Language ("Van Juridische Taal naar Computertaal")
  Date and time: 2009, 17:00 - 18:30 hrs
  Location: UvA Law School, Room A 1.01 (Faculty Room), Oudemanhuispoort 4-6, Amsterdam

  The Leibniz Center for Law develops computer models of statutes as well as methods in order to make the 'translation' from legal language to computer language increasingly automated. A trustworthy, neutral interpretation of the legal text, without added details, is here of great importance. In the presentation the speakers will explain these 'translation'-methods and their 'technical' approach to legal interpretation with examples from various areas of law.

  For more information, please go to http://www.jur.uva.nl/acll or write an e-mail to c.j.w.baaijuva.nl">c.j.w.baaij@uva.nl.

• 28 April 2009, Logic Tea, Sonja Smets
  Speaker: Sonja Smets
  Title: When Logic Meets Physics
  Date and time: Tuesday 28 April 2009, 17.00-18.00
  Location: Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Edgar Andrade (E.J.AndradeLoterouva.nl), Lorenz Demey (lorenzdemeyhotmail.com), or Yurii Khomskii (Y.D.Khomskiiuva.nl)

• 24 April 2009, Leve de Wiskunde
  Date and time: Friday 24 April 2009, 10.30-17.00
  Location: Turingzaal, Science Park 123, Amsterdam

  (Dutch only)
  Op vrijdag 24 april organiseert het Korteweg-de Vries Instituut van de UvA voor de zevende keer het congres Leve de Wiskunde! Vooraanstaande wetenschappers zullen u op de hoogte brengen van de recente ontwikkelingen in en rondom de wiskunde.

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

• 24 April 2009, DIP Colloquium, Jennifer Ashworth
  Speaker: Jennifer Ashworth (Waterloo)
  Title: Logic in Seventeenth-Century Oxford: What did Wallis contribute?
  Date and time: Friday 24 April 2009, 16.00-17.10
  Location: Doelenzaal, Singel 425, Amsterdam.

  This lecture is a join event with the Wallis conference (see http://www.illc.uva.nl/Wallis/). For abstracts and more information on the DIP Colloquium, see http://www.illc.uva.nl/dip/.

• 23-24 April 2009, Wallis: Logic and 17th-century Scientific Thought, Amsterdam, the Netherlands
  Newsitem added on 22 January 2009.

  Ten speakers will discuss the status of logic and its position within the intellectual context of the seventeenth century, taking as a starting-point a logic textbook written by John Wallis (1616-1703), founder member of the Royal Society and a prominent mathematician, linguist and musicologist. Topics of discussion include the views of the value of logic held by Hobbes, Locke, Arnauld and Leibniz, as well as the relations between logic and grammar, between logic and mathematics, and between logic and science.

  An international symposium, organized by the Wallis Project, Oxford, in collaboration with ILLC, Amsterdam. For more information, see http://www.illc.uva.nl/Wallis/

• 21 April 2009, Logic Tea, Lorenz Demey
  Speaker: Lorenz Demey
  Title: It is easy to see that...
  Date and time: Tuesday 21 April 2009, 17.00-18.00
  Location: Room P.018, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Edgar Andrade (E.J.AndradeLoterouva.nl), Lorenz Demey (lorenzdemeyhotmail.com), or Yurii Khomskii (Y.D.Khomskiiuva.nl).

• 20 April 2009, Computational Linguistics Seminar, Dan Dediu
  Speaker: Dan Dediu (MPI for Psycholinguistics, Nijmegen)
  Title: Genetic biases and language change: how well do simple models of language evolution generalize?
  Date and time: Monday 20 April 2009, 16.00
  Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

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

• 20 April 2009, Computational Linguistics Seminar, Kenny Smith
  Speaker: Kenny Smith (Northumbria University, Newcastle)
  Title: Language change and language evolution in the laboratory
  Date and time: Monday 20 April 2009, 15.00
  Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

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

• 17 April 2009, Computational Social Choice Seminar, Vangelis Markakis
  Speaker: Vangelis Markakis (Athens)
  Title: Overlapping Coalition Formation
  Date and time: Friday 17 April 2009, 16.00
  Location: P-0.15A, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2811 or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endrissuva.nl).

• 17 April 2009, Colloquium on Mathematical Logic, N.-C. Short / W. Sieg
  Speaker: N.-C. Short (Provence) / W. Sieg (CMU)
  Title: Mathematical style: where symbolic concurrent structures and individual practice meet / Structural Proof Theory: Uncovering aspects of the mathematical mind
  Date and time: Friday 17 April 2009, 14.00-16.30
  Location: Room 611, Wiskundegebouw, Budapestlaan 6, Utrecht (Bus 11 from Utrecht Central Station).

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

• 16 April 2009, PROSE Colloquium, Helle Hvid Hansen
  Speaker: Helle Hvid Hansen
  Title: Bisimilarity in neighbourhood structures, a coalgebraic approach
  Date and time: Thursday 16 April 2009, 15.30-16.30
  Location: Room 6.96, HG (Main Building), TU Eindhoven

  For more information, see http://www.win.tue.nl/prose/

• 7 April 2009, Logic Tea, Jonathan Zvesper
  Speaker: Jonathan Zvesper
  Title: Softening Rational Dynamics
  Date and time: Wednesday 7 April 2009, 17.00-18.00
  Location: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Edgar Andrade (E.J.AndradeLoterouva.nl), Lorenz Demey (lorenzdemeyhotmail.com), or Yurii Khomskii (Y.D.Khomskiiuva.nl).

• 3 April 2009, DIP Colloquium, Min Que, Femke Smits and Bert Le Bruyn
  Speakers: Min Que, Femke Smits and Bert Le Bruyn (UiL OTS, Utrecht University)
  Title: The Scope of Bare Nominals: evidence from Mandarin and Dutch
  Date and time: Friday 3 April 2009, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

• 30 March 2009, Computational Linguistics Seminar, Kevin Small
  Speaker: Kevin Small (University of Illinois at Urbana-Champaign)
  Title: Interactive Learning Protocols for Natural Language Applications
  Date and time: Monday 30 March 2009, 15.00
  Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

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

• 27 March 2009, Colloquium on Mathematical Logic, Carsten Held
  Speaker: Carsten Held (Erfurt)
  Title: Frege and Second-Order Logic
  Date and time: Friday 27 March 2009, 15.00-16.45
  Location: Room 611, Wiskundegebouw, Budapestlaan 6, Utrecht (Bus 11 from Utrecht Central Station).

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

• 24 March 2009, Computational Linguistics Seminar, Markos Mylonakis
  Speaker: Markos Mylonakis
  Title: An All-Phrase-Pairs Approach for Statistical Machine Translation with Smoothing as a Learning Objective
  Date and time: Tuesday 24 March 2009, 16.00
  Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

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

• 24 March 2009, Logic Tea, Sebastian Lutz
  Speaker: Sebastian Lutz (Utrecht)
  Title: Semantic and Syntactic Descriptions of Theories and Models
  Date and time: Tuesday 24 March 2009, 17.00-18.00
  Location: Room P.018, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Edgar Andrade (E.J.AndradeLoterouva.nl), Lorenz Demey (lorenzdemeyhotmail.com), or Yurii Khomskii (Y.D.Khomskiiuva.nl).

• 20 March 2009, DIP Colloquium, Elia Zardini
  Speaker: Elia Zardini (St. Andrews)
  Title: First-Order Tolerant Logics
  Date and time: Friday 20 March 2009, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

• 17 March 2009, Logic Tea, Canceled
  Speaker: Canceled (was: Ioanna Dimitriou)
  Newsitem added on 12 March 2009.

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Edgar Andrade (E.J.AndradeLoterouva.nl), Lorenz Demey (lorenzdemeyhotmail.com), or Yurii Khomskii (Y.D.Khomskiiuva.nl).

• 16 March 2009, Algebra|Coalgebra Seminar, Willem Conradie
  Speaker: Willem Conradie
  Title: Modal Correspondence and Canonicity via Ackermann's Lemma
  Date and time: Monday 16 March 2009, 15.00-17.00
  Location: Room P.114, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://staff.science.uva.nl/~yde/ac/seminar.html or contact Yde Venema (Y.Venemauva.nl).

• 13 March 2009, Computational Social Choice Seminar, Davide Grossi
  Speaker: Davide Grossi
  Title: Correspondences in the Theory of Aggregation
  Date and time: Friday 13 March 2009, 16.00
  Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2716 or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endrissuva.nl)

• 13 March 2009, Colloquium on Mathematical Logic, W. Hodges / J. Väänänen
  Speaker: W. Hodges (Cambridge) / J. Väänänen (UvA)
  Title: Where Frege is coming from / Second order logic, set theory and foundations of mathematics
  Date and time: Friday 13 March 2009, 14.00-16.30
  Location: Room P.019, Euclides Building (P), Plantage Muidergracht 24, Amsterdam (Tram 9 from Central Station, to Plantage Badlaan).

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

• 12-16 March 2009, 10th Szklarska Poreba Workshop: The Roots of Pragmasemantics, The mountaintop Szrenica, Szklarska Poreba, Poland
  Newsitem added on 20 November 2008.

  We announce the tenth edition of the workshop that takes linguists, philosophers and logicians to the ski slopes. It will be held March 12-16 2009, on the mountaintop Szrenica, Poland (the same location as every year).

  The workshop aims to bring together linguists, philosophers, logicians, and all others interested in the semantics and pragmatics of natural language. This year the theme is Learning. Invited Speakers include Paul Boersma, Wojciech Buszkowski, Damir & Malgorzata E. Ćavar and Markus Kracht.

  For more information, see http://amor.rz.hu-berlin.de/~h0998dgh/Sklarska/Workshop%2010

• 11 March 2009, Computational Linguistics Seminar, Dave Cochran
  Speaker: Dave Cochran
  Title: Darwinised Data-Oriented Parsing: Statistical NLP with added Sex and Death
  Date and time: Wednesday 11 March 2009, 16.00
  Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

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

• 11 March 2009, Algebra|Coalgebra Seminar, Dion Coumans
  Speaker: Dion Coumans
  Title: Distributive lattice-structured ontologies
  Date and time: Wednesday March 11, 2009, 15.00-17.00
  Location: Room P.114, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://staff.science.uva.nl/~yde/ac/seminar.html or contact Yde Venema (Y.Venemauva.nl).

• 6 March 2009, Computational Social Choice Seminar, Freek Wiedijk
  Speaker: Freek Wiedijk
  Title: Formalizing Arrow's Theorem
  Date and time: Friday 6 March 2009, 16.00
  Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endrissuva.nl). Or see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2681.

• 5-6 March 2009, Games, Logic, Language, and Computation
  Title: Generalized Quantifiers: Formal Semantics Meets Computation and Cognition (GLLC-16)
  Newsitem added on 8 February 2009.

  The workshop will be mostly devoted to generalized quantifier theory and its interrelation with computational and cognitive aspects of language. One major focus will be computational complexity and its interplay with "difficulty" as experienced by subjects in cognitive science. The workshop will combine classical generalized quantifier theory (linguistics and mathematics) with newer generalized quantifier theory (computation and cognition).

  For more information, see http://staff.science.uva.nl/~szymanik/GLLC

• 4 March 2009, Computational Linguistics Seminar, Remko Scha
  Speaker: Remko Scha
  Title: Grammars without categories
  Date and time: Wednesday 4 March 2009, 16.00
  Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

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

• 3 March 2009, Logic Tea, Daisuke Ikegami
  Speaker: Daisuke Ikegami
  Title: Infinite games with imperfect information
  Date and time: Tuesday 3 March 2009, 17.00-18.00
  Location: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Edgar Andrade (E.J.AndradeLoterouva.nl), Lorenz Demey (lorenzdemeyhotmail.com), or Yurii Khomskii (Y.D.Khomskiiuva.nl).

• 27 February 2009, Colloquium on Mathematical Logic, D. Isaacson / A. MacIntyre
  Speaker: D. Isaacson (Oxford) / A. MacIntyre (London)
  Title: Some comparisons between incompleteness in arithmetic and set theory / The Impact of Incompleteness on Pure Mathematics
  Date and time: Friday 27 February 2009, 14.00(!)-16.30
  Location: Room 611, Wiskundegebouw, Budapestlaan 6, Utrecht (Bus 11 or 12 from Utrecht Central Station).

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

• 24 February 2009, Logic Tea, Michael De
  Speaker: Michael De
  Title: What is wrong with boolean negation?
  Date and time: Tuesday 24 February 2009, 17.00-18.00
  Location: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Edgar Andrade (E.J.AndradeLoterouva.nl), Lorenz Demey (lorenzdemeyhotmail.com), or Yurii Khomskii (Y.D.Khomskiiuva.nl).

• 20 February 2009, DIP Colloquium, Herman Cappelen
  Speaker: Herman Cappelen (St. Andrews)
  Title: Against Assertions
  Date and time: Friday 20 February 2009, 16.00-17.30
  Location: Room 001, Department of Philosophy, Vendelstraat 8

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

• 20 February 2009, Computational Social Choice Seminar, Bart de Keijzer
  Speaker: Bart de Keijzer
  Title: Computational Complexity of Fair Resource Allocation
  Date and time: Friday 20 February 2009, 16.00
  Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2704 or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endrissuva.nl).

• 20 February 2009, Colloquium on Mathematical Logic, Martin Davis
  Speaker: Martin Davis
  Title: Gödel's Developing Platonism
  Date and time: Friday 20 February 2009, 16.00-17.00
  Location: Room 611, Wiskundegebouw, Budapestlaan 6, Utrecht (Bus 11 or 12 from Utrecht Central Station)

  Abstract: In Gödel's (unsent) reply to the questionaire sent to him by B.D. Grandjean he asserted that since 1925 he had held a position of 'mathematical realism' whereby 'mathematical concepts [and sets] and theorems are describing objects of some kind.' (The words in square brackets were added by Gödel.) A more nuanced story emerges from the hints made available with the publication of the magnificent five volume set of Gödel's Collected Works.

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

• 19 February 2009, GLoRiClass Seminar, Julien Cristau
  Speaker: Julien Cristau (Paris)
  Title: Graph Games of Ordinal Length
  Date and time: Thursday 19 February 2009, 11:00-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 16-20 February 2009, Mini-course Highlights of Lambda Calculus and Term Rewriting Systems
  Speakers: Henk Barendregt and Jan Willem Klop
  Location: Technical University Eindhoven
  Costs: (PhD) students: 300 Euro; members of Dutch graduate school 100 reduction
  Newsitem added on 11 December 2008.

  This five day master class in lambda calculus and term rewriting is centered around some twenty of the main theorems, both classical and recent. Each theorem is treated in a syllabus chapter of 10 pages, concluded with a section of exercises and notes for follow-up subjects and further reading.

  Deadline for registration is January 30th, 2009. For more information, see http://www.win.tue.nl/math/eidma/courses/minicourses/barendregtenklop/barendregtenklop.html or http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2655. The complete programme may be found at http://www.cs.ru.nl/~henk/LC-TRS.pdf.

• 13 February 2009, Computational Social Choice Seminar, Umberto Grandi
  Speaker: Umberto Grandi
  Title: Automated Reasoning in Social Choice Theory: Arrow's Theorem
  Date and time: Friday 13 February 2009, 16.00
  Location: P-3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2708 or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endrissuva.nl).

• 11 February 2009, Computational Linguistics Seminar, Dan Roth
  Speaker: Dan Roth
  Title: Constrained Conditional Models: Learning and Inference in Natural Language Understanding
  Date and time: Wednesday 11 February 2009, 16.00 (changed)
  Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

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

• 9 February 2009, PROSE Colloquium, Ana Sokolova
  Speaker: Ana Sokolova
  Title: Exemplaric Expressivity of Modal Logics
  Date and time: Monday 9 February 2009, 15.30-16.30
  Location: Room 6.96, HG (Main Building), TU Eindhoven

  In this talk I will report on a joint work with Bart Jacobs on examples of expressivity of modal logics. We investigate expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, finitely supported multiset, finitely supported distribution, and measure functor, respectively. Expressivity means that logically indistinguishable states, satisfying the same formulas, are behaviourally indistinguishable too. The investigation is based on the framework of dual adjunctions between spaces and logics and focuses on a crucial injectivity property. The approach is generic both in the choice of systems and modalities, and in the choice of a ``base logic''. Most of these expressivity results are already known, but the applicability of the uniform setting of dual adjunctions to these particular examples is what constitutes the contribution of this work. In addition, we observed an interesting comparison of the mentioned types of systems, in particular of Markov chains and Markov processes.

  For more information, see http://www.win.tue.nl/prose/

• 6 February 2009, DIP Colloquium, Fred Landman
  Speaker: Fred Landman (Tel-Aviv)
  Title: An almost (but not quite) naive theory of comparatives
  Date and time: Friday 6 February 2009, 16.00-17.30
  Location: Room 001, Department of Philosophy, Vendelstraat 8

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

• 30 January 2009, Computational Social Choice Seminar, Guido Schäfer
  Speaker: Guido Schäfer (CWI)
  Title: Cost Sharing Mechanisms: Recent Advances and Future Directions
  Date and time: Friday 30 January 2009, 16.00
  Location: P-3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2689 http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endrissuva.nl).

• 29 January 2009, GLoRiClass Seminar, Jonathan Zvesper
  Speaker: Jonathan Zvesper
  Title: Belief revision and backward induction
  Date and time: Thursday 29 January 2009, 11:00-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 28 January 2009, Computational Linguistics Seminar, Trevor Cohn
  Speaker: Trevor Cohn (Edinburgh)
  Title: Inducing compact but accurate Tree Substitution Grammars
  Date and time: Wednesday 28 January 2009, 15.30
  Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

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

• 27 January 2009, Logic Tea, Sara Ramezani
  Speaker: Sara Ramezani
  Title: Nash Social Welfare in Multiagent Resource Allocation
  Date and time: Tuesday 27 January 2009, 17.00-18.00
  Location: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Edgar Andrade (E.J.AndradeLoterouva.nl), Lorenz Demey (lorenzdemeyhotmail.com), or Yurii Khomskii (Y.D.Khomskiiuva.nl).

• 22 January 2009, PROSE Colloquium, Sonja Georgievska
  Speaker: Sonja Georgievska
  Title: On compositionality, efficiency and applicability of abstraction in probabilistic systems
  Date and time: Thursday 22 January 2009, 15.30-16.30
  Location: Room 6.96, HG (Main Building), TU Eindhoven

  For more information, see http://www.win.tue.nl/prose/

• 21 January 2009, Computational Linguistics Seminar, Yuval Krymolowski
  Speaker: Yuval Krymolowski (Haifa)
  Title: Automatic Annotation of Morpho-Syntactic Dependencies in a Modern Hebrew Treebank
  Date and time: Wednesday 21 January 2009, 15.30
  Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

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

• 16 January 2009, ILPS Seminar, Pablo Cesar
  Speaker: Pablo Cesar
  Title: Towards Next-Generation Video Sharing Systems
  Date and time: Friday 16 January 2009, 13.30-14.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/ilps-seminar-2008-2#Jan09.

• 15 January 2009, GLoRiClass Seminar, Florian Horn
  Speaker: Florian Horn (CWI)
  Title: Stochastic games for verifications
  Date and time: Thursday 15 January 2009, 11:00-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 14 January 2009, Computational Linguistics Seminar, Jakub Szymanik
  Speaker: Jakub Szymanik
  Title: Complexity of Quantifiers
  Date and time: Wednesday 14 January 2009, 15.30
  Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

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

   Calls for Papers

• New journal: Dialogue and Discourse
  Newsitem added on 1 November 2009.

  The journal "Dialogue and Discourse" reflects the surge of interest in the analysis of language `beyond the single sentence', in discourse (i.e., text, monologue) and dialogue, from a formal, computational, or experimental perspective, as reflected in the wide range of work presented at the SEMDIAL and SIGDIAL conferences (http://www.illc.uva.nl/semdial/; http://www.sigdial.org/) and various other forums. "Dialogue and Discourse" is the first journal devoted to a wide dissemination of such work.

  We are part of the eJournal initiative of the Linguistic Society of America http://elanguage.net/home.php. Articles will be published online as soon as they have been accepted. Each year, a (hardcopy) volume, collecting all articles of the year will be published by CSLI Publications, Stanford.

  The journal is open for submissions and we urge you to consider submitting your work on any topic relevant to dialogue and discourse as specified in our Aims and Scope. For more information, see http://www.dialogue-and-discourse.org/

• 29-30 March 2010, Symposium on Mathematical Practice and Cognition, Leicester, U.K. (deadline: 30 December 2009)
  Newsitem added on 22 October 2009.

  The belief that what mathematicians think and do is important to the philosophy of mathematics is a relatively recent position. This focus on mathematical practice suggests that research into how mathematical definitions or axioms are motivated, representations changed, problems discovered and explained, analogies formed between different mathematical fields, etc., and how these processes grow out of biologically important competences in dealing effectively with rich and complex environments, is relevant and necessary. This contrasts the traditional focus in philosophy on how mathematics should be done, or the epistemological status of mathematical theorems. The new direction is complemented by recent work in cognitive science on the origin and development of mathematical ideas. Researchers are now working at all levels to investigate how people, from young babies up to professionals and geniuses are able to perform different mathematical tasks.

  With the new approach in the philosophy of mathematics, and developments in cognitive science of mathematics and embodied cognition, we feel that the time is ripe for interaction between the fields. We hope to promote a sharing of ideas and enable an atmosphere in which new connections and collaborations are forged.

  We welcome submissions from anyone interested in themes such as those described above, and especially encourage interdisciplinary submissions which link previously unassociated fields. We welcome full papers and short papers, where a full paper comprises a completed piece of work and a short paper describes ongoing work. Full papers should be between six and eight pages in length and short papers two pages. Accepted papers will be published in the AISB 2010 proceedings. Submission deadline: 20th December, 2009.

  For more information, see http://homepages.inf.ed.ac.uk/apease/aisb10/home.html

• 13-16 September 2010, 10th International Colloquium on Grammatical Inference (ICGI 2010), Valencia, Spain (deadline: 20 December 2009)
  Newsitem added on 29 October 2009.

  ICGI-2010 is the tenth in a series of successful biennial international conferences in the area of grammatical inference. Grammatical inference has been extensively addressed by researchers in information theory, automata theory, language acquisition, computational linguistics, machine learning, pattern recognition, computational learning theory and neural networks.

  The organizing committee invites proposals for tutorials to be held in conjunction with the conference. A tutorial may be a theme-oriented comprehensive survey, discuss novel grammatical inference techniques or may center around successful application of grammatical inference in important application areas. The typical tutorial will be 2 hrs long. Proposals should be submitted by December 20, 2009.

  For more information, see http://users.dsic.upv.es/workshops/icgi2010/

• 18-19 February 2010, Colloquium "PhD's in Logic II", Tilburg, The Netherlands (deadline: 18 December 2009)
  Newsitem added on 11 October 2009.

  The aim of PhD's in Logic II is to bring together young researchers in the field of logic. During these two days there will be 4 tutorials in to tal, 2 about mathematical and 2 about philosophical logic. In addition, PhD students and recent postdocs in mathematical or philosophical logic are in vited to present their work. Of course, everyone is kindly invited to attend the tutorials and contribut ed talks!

  Abstract submission before December 18, 2009.

  For more information, see http://www.tilburguniversity.nl/phdsinlogic or contact phdsinlogicuvt.nl

• 24-28 May 2010, 4th International Conference on Language and Automata Theory and Applications (LATA 2010), Trier, Germany (deadline: 3 December 2009)
  Newsitem added on 13 August 2009.

  LATA is a yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University (the host of the previous three editions and co-organizer of this one) in the period 2002-2006, LATA 2010 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

  Authors are invited to submit papers presenting original and unpublished research. Deadline for submission: December 3, 2009

  For more information, see http://grammars.grlmc.com/LATA2010/ or contact gindorf-tiinformatik.uni-trier.de.

• 27-28 March 2010, 2nd Workshop on Philosophy and Ethics of Social Reality (SOCREAL 2010), Sapporo, Japan (deadline: 15 November 2009)
  Newsitem added on 13 August 2009.

  In the past two decades, a number of logics and game theoretical analyses have been proposed and combined to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results. Invited speakers include Johan van Benthem (University of Amsterdam and Stanford University) and Fenrong Liu (Tsinghua University, China).

  Researchers from various fields, including logic, philosophy, ethics, computer science, cognitive science are hereby invited to submit an extended abstract (up to two thousand words) by 15 November 2009 (extended deadline) to CAEP (caeplet.hokudai.ac.jp).

  For more information, see http://ethics.let.hokudai.ac.jp/en/events.html or contact Shunzo Majima (caeplet.hokudai.ac.jp).

• 14-16 April 2010, Sydney-Tilburg Conference on "The Future of Philosophy of Science", Tilburg, The Netherlands (deadline: 15 November 2009)
  Newsitem added on 13 August 2009.

  Philosophy of science deals with the foundations and the methods of science. While the scope of philosophy of science is rather uncontroversial, there is considerable disagreement about its methodology. A look into the relevant journals reveals that there is a plurality of approaches. In spite of this, there also seem to be undeniable trends in our discipline, such as the increasing specialization, and the increasing co-operation with empirical scientists. This conference will explore the future of philosophy of science. In particular, we are interested in how the different methods philosophers of science use relate to each other, whether they can fruitfully complement each other, and whether current trends allow predictions about the development of our field.

  We invite contributions that combine cutting-edge individual research with a general perspective on the methods and future of philosophy of science. Deadline for submissions: 15 November 2009.

  For more information, see http://www.uvt.nl/tilps/FPS2010

• 5-8 March 2010, 3rd Conference on Artificial General Intelligence (AGI-10), Lugano, Switzerland (deadline: 12 November 2009)
  Newsitem added on 24 September 2009.

  Continuing the mission of the highly successful First and Second AGI Conferences, AGI-10 will gather an international group of leading academic and industry researchers involved in serious scientific and engineering work aimed directly toward the goal of artificial general intelligence.

  This is the only major conference series devoted wholly and specifically to the creation of AI systems possessing general intelligence at the human level and ultimately beyond. By gathering together active researchers in the field, for presentation of results and discussion of ideas, we accelerate our progress toward our common goal.

  AGI-10 will accept two types of submissions: full-length papers (6 pages) and short position statements (2 pages). Submission deadline is 15 October 2009.

  For more information, see http://agi-conf.org/2010/

• 20-22 January 2010, "Epistemology and Philosophy of Mind at the Crossroads", 4th Conference of the Dutch-Flemish Association for Analytic Philosophy, Leuven, Belgium (deadline: 10 November 2009)
  Newsitem added on 1 October 2009.

  The Dutch-Flemish Association for Analytic Philosophy organizes its Fourth Conference from wendesday January 20 (1.30 p.m) till Friday January 22 (4 p.m) 2010 at the Institute of Philosophy (University of Leuven, Belgium). This year's topic will be Epistemology and Philosophy of Mind at The Crossroads.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is November 10, 2009.

  For more information, see http://drcwww.uvt.nl/~buekens/vaf/vaf2010.htm or contact Filip Buekens at f.a.i.buekensuvt.nl

• 27-28 March 2010, Second International Workshop on Philosophy and Ethics of Social Reality (SOCREAL 2010), Hokkaido University, Sapporo, Japan (deadline: 1 November 2009)
  Newsitem added on 25 October 2009.

  In the past two decades, a number of logics and game theoretical analyses have been proposed and combined to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results.

  Researchers from various fields, including logic, philosophy, ethics, computer science, cognitive science are hereby invited to submit an extended abstract (up to two thousand words) by 1 November 2009 to CAEP (caep@let.hokudai.ac.jp).

  For more information, see http://www.hucc.hokudai.ac.jp/~k15696/home/sr10/.

• 18-21 March 2010, IADIS International Conference e-Society 2010, Porto, Portugal (deadline: 30 October 2009)
  Promotor: IADIS
  Newsitem added on 20 August 2009.

  The IADIS e-Society 2010 conference aims to address the main issues of concern within the Information Society.
  This conference covers both the technical as well as the non-technical aspects of the Information Society. Broad areas of interest are eSociety and Digital Divide, eBusiness / eCommerce, eLearning, New Media and E-Society, Digital Services in ESociety, eGovernment / eGovernance, eHealth, Information Systems, and Information Management.

  Deadline for submission: 30 October 2009. For more information, see http://www.esociety-conf.org/

• 7-8 November 2009, First DepLog LINT Workshop, Stockholm, Sweden (deadline: 23 October 2009)
  Newsitem added on 18 October 2009.

  This workshop aims to provide an opportunity to discuss and further develop the current research directions on the topic of Dependence Logic, Dependence Friendly Logic, and Independence Friendly Logic, such as the investigation of their proof- and model-theoretic properties, their extensions and their relations to each other and to other formalisms.

  On Saturday, two talks of one hour and two short talks of thirty minutes will be held; on Sunday, instead, there will be a one-hour long talk and two short talks of thirty minutes.
  The titles of the talks have not been yet decided; those interested should send their proposals to Jouko Väänänen as soon as possible, and in any case before October 23.

  The workshop organizers are Jouko Väänänen and Dag Westerståhl. If you intend to come to the workshop, please send Jouko a message, preferably no later than November 1. For more information, see http://www.illc.uva.nl/lint/deplog01.php

• 17-20 February 2010, Workshop on "Logical Approaches to Barriers in Computing and Complexity", Greifswald, Germany (deadline: 15 October 2009)
  Newsitem added on 16 April 2009.

  Computability theory and complexity theory have their origins in logic. Famous names such as Goedel, Turing, Cook, and Kolmogorov connect these areas of computer science to foundations of mathematics. The fundamental goal of this area is to understand the limits of computability (that is analysing which problems can be solved on nowadays and future computers in principle) and effective computability (that is understanding the class of problems which can be solved quickly and with restricted resources) where the most famous open problem is the P=NP-problem. Logic provides a multifarious toolbox of techniques to analyse questions like this, some of which promise to provide a deep insight in the structure of limit of computation.

  In our workshop, we shall focus on the following aspects: logical descriptions of complexity (e.g., descriptive complexity, bounded arithmetic), complexity classes of abstract, algebraic and infinite structures, barriers in proving complexity results, and Kolmogorov complexity and randomness.

  Some of these aspects are particularly timely: recently, research in these areas became more intense. Part of this is the new conference series CiE (run by the Association for Computability in Europe) whose range of interests includes those of our workshop, creating an important focus on the emerging topics of the field. This workshop is intended as a research-oriented follow-up to the CiE conferences, allowing researchers ample time for discussions and joint work.

  The Programme Committee cordially invites all researchers in the area of the workshop to submit their extended abstracts (in PDF-format, at most 4 pages) for presentation at the workshop. Submission deadline is 15 October 2009.

  For more information, see http://www.cs.swan.ac.uk/greifswald2010/

• 12-14 May 2010, NICSO 2010 (The IV International Workshop on Nature Inspired Cooperative Strategies for Optimization), Granada, Spain (deadline: 15 October 2009)
  Newsitem added on 7 June 2009.

  Biological and natural processes have always been a source of inspiration for computer science and information technology. It is well known that biological entities, from single cell organisms -like bacteria- to humans, often engage in a rich repertoire of social interaction that could range from altruistic cooperation through open conflict. One specific kind of social interaction is cooperative problem solving (CPS), where a group of autonomous entities work together in order to achieve certain goal. The NICSO 2010 aims at promoting cooperative problem solving strategies bringing together international researchers and practitioners from different disciplines in order to discuss the investigations and exchange ideas on the current state of the art of the topic.

  The conference seeks contributions that are inspired by Nature and that encompass a range of spatio-temporal scales, for visionary conceptions of information processing and computation as pertaining to cooperation mechanisms in the context of problem solving. Full paper submission deadline: October 15, 2009. For more information, please visit http://www.nicso2010.org/.

• 8-14 May 2010, The 9th International Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2010), Toronto ON, Canada (deadline: 8 October 2009)
  Newsitem added on 17 September 2009.

  AAMAS is the leading scientific conference for research in autonomous agents and multi-agent systems. The AAMAS conference series was initiated in 2002 by merging three highly-respected meetings: International Conference on Multi-Agent Systems (ICMAS); International Workshop on Agent Theories, Architectures, and Languages (ATAL); and International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally-respected archival forum for scientific research in the theory and practice of autonomous agents and multi-agent systems. AAMAS-2010 is the Ninth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Sheraton Centre Toronto Hotel in downtown Toronto.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is October 8, 2009.

  For more information, see http://www.cse.yorku.ca/AAMAS2010/

• 22-24 March 2010, AAAI Spring Symposium on Time and Interactive Behaviour, Stanford CA, U.S.A. (deadline: 2 October 2009)
  Newsitem added on 24 September 2009.

  People do not experience the world solely as an ordered sequence of events. The timing of our perceptions and behaviors has as much of an impact on our experiences as the nature of the events themselves. Yet many of the representations currently used to model human behavior do not incorporate explicit models of the temporal expression of these stimuli or actions. Dynamic behavior is often modeled sequentially in such a way that its temporal resolution is reduced and potential nonstationarity is ignored for the sake of computational efficiency (as in Markov state-based models of behavior), and/or causal mappings between observations and behavior are simplified to mitigate the sparseness of available datasets. Given that any artificial agent designed to interact with people will be dealing with intelligent partners with rich mental representations of time, are we using the appropriate representations?

  This symposium is oriented towards several different groups of researchers, including, but not limited to: computer scientists who use machine learning techniques to model human behavior, psychologists and neuroscientists who study social behavior, and designers of robots or computational artifacts that interact naturally with humans in real time. By bringing together members of these communities through a shared interest in temporal representations, our goal is to identify critical areas of study and promising techniques.

  Papers on any aspect of modeling or studying the temporal aspects of human or human-machine social interaction are welcome, including reports on experimental results, descriptions of implemented systems, and position papers. Submission deadline is October 2, 2009

  For more information, see http://asimov.usc.edu/~mower/aaai10ss_time/

• New Journal: Argument & Computation (deadline: 16 September 2009)
  Newsitem added on 16 June 2009.

  The Journal "Argument and Computation" aims to promote the interaction and cross-fertilisation between the fields of argumentation theory and computer science. It will be of interest to researchers in the fields of artificial intelligence, multi-agent systems, computer science, logic, philosophy, argumentation theory, psychology, cognitive science, game theory and economics.

  For more information, see http://www.tandf.co.uk/journals/tarc

• (Updated) 20-26 June 2010, North American Summer School in Logic, Language and Information (NASSLLI 2010), Bloomington IN, U.S.A. (deadline: 15 September 2009)
  Newsitem added on 2 August 2009.

  The fourth NASSLLI (after previous editions at Stanford University, Indiana University, and UCLA) will return to Bloomington, Indiana, June 20 - 26, 2010. The summer school, loosely modeled on the long-running ESSLLI series in Europe, will consist of a number of courses and workshops, selected on the basis of the proposals. By default, courses and workshops meet for 90 or 120 minutes on each of five days.

  Proposals are invited that present interdisciplinary work between the areas of logic, linguistics, computer science, cognitive science, philosophy and artificial intelligence, though work in just one area is within the scope of the summer school if it can be applied in other fields. Courses and workshops should aim to be accessible to an interdisciplinary, graduate level audience. Deadline for submissions: Sep 15, 2009.

  For more information, see http://www.indiana.edu/~nasslli/ or contact the local organisers at nasslliindiana.edu.

• 17-18 December 2009, EUMAS-09, European Workshop on Multi-Agent Systems, Ayia Napa, Cyprus (deadline: 14 September 2009)
  Newsitem added on 10 May 2009.

  In the last two decades, we have seen a significant increase of interest in agent-oriented technology. It is crucial that both academics and industrialists within Europe have access to a forum at which current research and application issues are presented and discussed. The aim of this Seventh European Workshop on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This workshop is primarily intended as a European forum at which researchers and those interested in activities relating to research in the area of autonomous agents and multi-agent systems could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment.

  Submission of papers describing relevant preliminary or completed work are invited. EUMAS 2009 also welcomes papers that are under submission, will be presented or have already been presented at relevant international conferences. Abstracts are due: 14th September 2009

  For more information, see http://www.eumas.org/ or http://www.easychair.org/conferences/?conf=eumas09

• 9-20 August 2010, 22th European Summer School in Logic, Language and Information (ESSLLI-2010), Copenhagen, Denmark (deadline: 7 September 2009)
  Newsitem added on 10 July 2009.

  The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

  Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.

  The ESSLLI 2010 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 22nd annual Summer School on important topics of active research in the broad interdisciplinary area connecting logic, linguistics, computer science, and the cognitive sciences, structured within the 3 traditional ESSLLI streams of Language and Computation, Language and Logic, and Logic and Computation. We also welcome proposals that do not exactly fit one of these categories. All proposals should be submitted not later than Monday, September 7, 2009, through a prescribed form that will be available soon on the ESSLLI 2010 website.

  For more information, see the full Call for Proposals at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2944 or the website (forthcoming) at http://www.hum.ku.dk/esslli2010/.

• 12-14 November 2009, 6th Workshop on "Methods for Modalities" (M4M-6), Copenhagen, Denmark (deadline: 1 September 2009)
  Newsitem added on 11 January 2009.

  The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.

  To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. M4M-6 will be preceded by a two-day mini-course aimed at preparing PhD students and other researchers for participation in the workshop. The mini-course is associated with the FIRST research school (http://first.dk).

  The Programme Committee cordially invites all researchers to submit their papers for presentation. We strongly encourage young researchers and students to submit papers, especially for experimental and prototypical software tools which are related to modal logics. Submission deadline (extended) is September 1st, 2009.

  For more information, see http://m4m.loria.fr/M4M6

• 7-8 November 2009, Arché/CSMN Graduate Conference, Oslo, Norway (deadline: 1 September 2009)
  Newsitem added on 14 May 2009.

  Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology, and CSMN, Centre for the Study of Mind in Nature, are pleased to announce the sixth in a series of graduate conferences aimed at showcasing international graduate work in contemporary analytic philosophy, especially in the areas of Philosophy of Language, Philosophy of Mind, Epistemology, and Metaphysics.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for submissions: September 1, 2009.

  For more information, see http://www.st-andrews.ac.uk/~arche/acgc/

• 10-11 Oct 2009, Midwest PhilMath Workshop (MWPMW 10), Notre Dame, U.S.A. (deadline: 1 September 2009)
  Newsitem added on 11 June 2009.

  The tenth annual Midwest PhilMath Workshop (MWPMW 10) will be held at Notre Dame the weekend of Saturday, October 10th and Sunday, October 11th. There will be a full day of talks and discussions for Saturday and a half day for Sunday, as well as a workshop dinner Saturday evening, with all participants invited to attend as guests of the university. Some special events are planned to mark the tenth anniversary of the workshop. Some of these will occur as part of the workshop. Hugh Woodin and Tony Martin will be joining us and giving talks as part of a special session on set theory and philosophical questions concerning it. There will also be a special meeting of the Notre Dame weekly Logic Seminar in connection with this.

  For more information, see the website at http://philosophy.nd.edu/news/events/philosophy-math-conference/.

  If you would like to give a talk, email a pdf of your talk or substantial summary to Paddy (blanchette.1nd.edu), Tim (bays.5nd.edu), Curtis (cfranksnd.edu) and Mic (mdetlef1nd.edu). We would like to have all proposals for talks by September 1st so that we can set the program by September 10th. Talks should be 35--40 minutes, with 15--20 minutes left for discussion.

• 19-20 November 2009, Logic and Engineering of Natural Language Semantics (LENLS6), Tokyo, Japan (deadline: 15 August 2009)
  Newsitem added on 26 April 2009.

  LENLS is an annual international workshop focusing on formal semantics and pragmatics. In the past it has been a satellite of the Japanese Society for Artificial Intelligence conference; this year it will be part of a special workshop session to be held in November, distinct from the conference though still sponsored by JSAI.

  We invite submissions to this year's workshop on topics in formal semantics and pragmatics, and related fields. This year we especially welcome submissions related to the interplay between logic, philosophy of language, and formal semantics and pragmatics. Abstract submission deadline : August 15, 2009.

  For more information, see http://www.is.ocha.ac.jp/~bekki/lenls/ or contac lenls6submissiongmail.com.

• 4-6 November 2009, First Colombian Conference in Logic, Epistemology, and Philosophy of Science, Bogota, Colombia (deadline: 15 August 2009)
  Newsitem added on 17 May 2009.

  The conference is designed to provide a biennial, international forum for new work in logic, epistemology, and philosophy of science. The format of the conference will provide an opportunity for speakers to receive constructive feedback from interested colleagues from Colombia and abroad, and for other participants to become acquainted with new work in the field. Invited speakers are Susan Haack (University of Miami), Arnold Koslow (CUNY Graduate Center) and Michael Bishop (Florida State University).

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is August 15, 2009.

  For further details, please visit http://filosofia.uniandes.edu.co/filociencia/eng.htm or contact apaezuniandes.edu.co

• Special issue "Logic in India" of the JPL (deadline: 15 August 2009)
  Newsitem added on 16 July 2009.

  A special issue of the Journal of Philosophical Logic on the theme of Logic in India is being planned. Please see the Special Issue page http://www.imsc.res.in/tcsweb/li-jpl.html for details. Potential authors who are interested to submit to this volume are requested to send an email to one of the Guest Editors, by /August 15, 2009/, mentioning their intention, with a title and an abstract of one paragraph. The submission Deadline is: January 1, 2010. Editors are: Rohit Parikh, Ram Ramanujam, Hans van Ditmarsch.

  For more information, see http://www.imsc.res.in/tcsweb/li-jpl.html

• 2 November 2009, 3rd Workshop on Formal Methods for Interactive Systems, Eindhoven, The Netherlands (deadline: 10 August 2009)
  Newsitem added on 22 March 2009.

  Reducing the likelihood of human error in the use of interactive systems is increasingly important: the use of such systems is becoming widespread in applications that demand high reliability due to safety, security, financial or similar considerations. Interactive systems are also becoming increasingly ubiquitous and being used in new and more complex situations. Consequently, the use of formal methods in verifying the correctness of interactive systems should also include analysis of human behaviour in interacting with the interface as well as with the wider socio-technical system.

  The aim of this workshop is to bring together researchers in computer science, cognitive psychology, and other areas of HCI, from both academia and industry, who are interested in both formal methods and interactive system design.

  In order to encourage participation and discussion, this workshop solicits two types of submissions - regular papers and short papers. Deadline for abstract submission: August 10, 2009.

  For more information, see http://homepages.cs.ncl.ac.uk/michael.harrison/fmis/. The workshop will be held in conjunction with FM2009 <http://www.win.tue.nl/fm2009/>

• 3-5 September 2009, British Logic Colloquium (BLC 2009), Swansea, Wales (deadline: 3 August 2009)
  Newsitem added on 14 June 2009.

  The British Logic Colloquium exists to support, promote, and foster the study of logic (especially, but not exclusively, formal and mathematical logic) in Britain. It embraces diverse aspects of logic, from the studies of traditional formal systems to philosophical logic and the modern applications in artificial intelligence, computer science and linguistics; above all, it aims to encourage communication between logicians working in related fields.

  The Annual Meeting of the British Logic Colloquium will be held at the Department of Computer Science, Swansea University.

  We have space for a few contributed talks. Please send an abstract to u.bergerswansea.ac.uk with subject "BLC09 contributed talk". Deadline: Monday, August 3, 2009

  For more information, see http://www.cs.swan.ac.uk/blc09/ or contact Ulrich Berger at u.bergerswansea.ac.uk. We have reserved a limited number of on campus accommodation, which are on hold until Monday, August 10, 2009.

• 21-22 October 2009, Paris-Nancy PhilMath Workshop (P-NPMW), Nancy, France (deadline: 31 July 2009)
  Newsitem added on 7 May 2009.

  Next October (21--22) a workshop in the philosophy of mathematics will be held at the University of Nancy 2. This is envisioned as the first in a continuing, annual series of workshops organized by a team of scholars from Paris, Nancy and elsewhere in France. The two day meeting will feature both invited and contributed talks. Deadline for the submission: July 31.

  For more information, see http://poincare.univ-nancy2.fr/Activites/?contentId=6242&languageId=1

• 19-22 November 2009, IADIS International Conference WWW/Internet 2009, Rome, Italy (deadline: 31 July 2009)
  Newsitem added on 16 July 2009.

  WWW and Internet had a huge development in recent years. Aspects of concern are no longer just technical anymore but other aspects have arisen. This conference, organized by IADIS (the International Association for Development of the Information Society) aims to cover both technological as well as non-technological issues related to these developments.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 31 July 2009.

  For more information, see: http://www.internet-conf.org/.

• 2009, IADIS International Conference Applied Computing 2009, Rome, Italy (deadline: 31 July 2009)
  Newsitem added on 16 July 2009.

  The IADIS (International Association for Development of the Information Society) Applied Computing 2009 conference aims to address the main issues of concern within the applied computing area and related fields. This conference covers essentially technical aspects. The applied computing field is divided into more detailed areas (see below). However innovative contributes that don't fit into these areas will also be considered since they might be of benefit to conference attendees.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 31 July 2009.

  For more information, see: http://www.computing-conf.org/.

• 22-24 January 2010, International Conference on Agents and Artificial Intelligence (ICAART 2010), Valencia, Spain (deadline: 28 July 2009)
  Newsitem added on 5 July 2009.

  ICAART brings together top researchers and practitioners in several areas of Artificial Intelligence, from multiple areas of knowledge, such as Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general, including web applications, on one hand, and within the area of non-distributed AI, including the more traditional areas such as Knowledge Representation, Planning, Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intelligence and many other areas related to intelligent systems, on the other hand.

  We hope you can participate in this prestigious conference by submitting a paper reflecting your current research. The paper submission deadline is scheduled for the next July 28, 2009. Workshops and special sessions are also invited. If you wish to propose workshop or a special session, for example based on the results of a specific research project, please send a proposal to the ICAART secretariat.

  For more information, see http://www.icaart.org

• 11 September 2009, Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA 2009), Hamburg, Germany (deadline: 17 July 2009)
  Newsitem added on 5 July 2009.

  Objects, components, and agents are fundamental units to organise models. They are also fundamental concepts of the modelling process. Even though software engineers intensively use models based on these fundamental units, and models are the subjects of theoretical research, the relations and potential mutual enhancements between theoretical and practical models have not been sufficiently investigated. There is still the need for better modelling languages, standards and tools. Important research areas are for example UML, BPEL, Petri nets, process algebras, or different kinds of logics. Application areas like business processes, (Web) services, production processes, organisation of systems, communication, cooperation, cooperation, ubiquity, mobility etc. will support the domain dependent modelling perspectives.

  Therefore, the workshop addresses all relations between theoretical foundations of models on the one hand and objects, components, and agents on the other hand with respect to modelling in general. The intention is to gather research and application directions to have a lively mutual exchange of ideas, knowledge, viewpoints, and experiences.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. We look for contributions describing original research in topics related to formal methods in combination with object-orientation, components, or agents addressing open problems or presenting new ideas. Deadline for submissions: July 17, 2009

  For more information, see http://www.informatik.uni-hamburg.de/TGI/events/moca09/ or contact the programme commitee by email at moca09informatik.uni-hamburg.de

• 14-17 September 2009, Annual Workshop of the ESF Networking Programme on Games for Design and Verification (GAMES 2009), Udine, Italy (deadline: 15 July 2009)
  Newsitem added on 16 June 2009.

  As in previous years, GAMES 2009 will be an informal workshop, without proceedings, with a programme consisting of introductory and advanced tutorials, contributed talks and short presentations. GAMES 2009 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games.

  Contributed talks and short presentations will be selected by the programme committee on the basis of submitted abstracts. Submissions can contain work published elsewhere. Submission deadline: 15th July 2009.

  For more information, see http://games2009.dimi.uniud.it/

• 30 October - 1 November 2009, Workshop and Special Session on Constructive Mathematics, Boca Raton, Florida (U.S.A.) (deadline: 14 July 2009)
  Newsitem added on 11 January 2009.

  The organizers of the Special Session on Constructive Mathematics at the AMS Sectional Meeting at Florida Atlantic University (F Oct 30 -- Sun Nov 1, 2009) welcome submissions of abstracts of talks to be considered for inclusion in the Special Session. Talks at such sessions are typically twenty minutes long. The deadline is July 14.

  For more information, see http://www.ams.org/amsmtgs/2161_program.html or contact Bob Lubarsky Robert.Lubarskycomast.net or Fred Richman richmanfau.edu.

• 28 October - 1 November 2009, Workshop and Special Session on Constructive Mathematics, Boca Raton, Florida, U.S.A. (deadline: 14 July 2009)
  Newsitem added on 16 April 2009.

  At the workshop there will be sessions on algebra (Fred Richman), analysis (Doug Bridges), topology (Bas Spitters), and set theory (Michael Rathjen). The workshop will conclude with a talk by Vladimir Lifschitz on constructive mathematics and computer science aimed at a general mathematics audience. The special session will be part of the AMS sectional meeting at FAU, (http://www.ams.org/amsmtgs/2161_program.html).

  Abstracts of talks to be considered for inclusion at this special session can be submitted over this AMS website, with a strict deadline of July 14. PLEASE NOTE THAT THIS DEADLINE IS EARLIER THAN THE ONE FOR NON-SPECIAL SESSION CONTRIBUTIONS!!! By the AMS standard, talks at such sessions are typically twenty minutes long.

  For more information, see http://math.fau.edu/Richman/Worshop/ or contact the organizers (Robert Lubarsky, Fred Richman, and Marty Solomon) at Robert.Lubarskycomcast.net.

• 3 November 2009, FOPARA 2009: Foundational and Practical Aspects of Resource Analysis, Eindhoven, The Netherlands (deadline: 10 July 2009)
  Newsitem added on 14 May 2009.

  The workshop serves as a forum for presenting original research results that are relevant to the analysis of resource (time, space) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged. The workshop is a satellite event of the 16th International Symposium on Formal Methods, FM2009.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstract deadline: July 10, 2009.

  For more information, see http://www.aha.cs.ru.nl/fopara/

• 15-20 September 2009, ESF-COST High-Level Research Conference on Complex Systems and Changes - Darwin and Evolution: Nature-Culture Interfaces, Hotel Eden Roc, Sant Feliu de Guixols, Spain (deadline: 10 July 2009)
  Newsitem added on 16 June 2009.

  Interdisciplinary conference on evolution theory in natural, social and human sciences.

  Deadline for applications and abstracts: (extended to) July 10, 2009. For more information, see http://www.esf.org/conferences/09309 or contact Ms Zuzana Vercinska, COST Conference Officer (zvercinskacost.esf.org).

• 29-30 October 2009, Logic in Databases Workshop 2009 (LID 2009), Roskilde, Denmark (deadline: 1 July 2009)
  Newsitem added on 22 March 2009.

  Ever since Codd's Relational Model, logic has played a major role in the field of databases. The significance and impact of this role have grown stronger over the years as data management research marched through many a data model, with logic keeping up and providing the foundations every step of the way. Some of the latest additions to this long list of models are XML, semantic web, probabilistic relational models, integrated model of DB+IR, data integration models, and models of unclean data to name a few. For some of these, corresponding logics already exist or are being explored. The significance of logic's role for data management will continue regardless of the data model. Logic is a fundamental tool for understanding and analyzing several aspects of data management. The Logic in Databases workshop, LID 2009, is a forum for bringing together researchers from around the world who are focusing on all logical aspects of data management.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is July 1, 2009.

  For more information, see http://LID2009.ruc.dk/

• 6-9 April 2010, Symposium on AI and Games (AISB 2010), Leicester (U.K.) (deadline: 1 July 2009)
  Newsitem added on 26 April 2009.

  The AISB convention is an annual event organised as a number of collocated symposia loosely organised around a theme, and interspersed with invited plenary talks and poster sessions.

  The society is pleased to call for symposium proposals for the 2010 annual convention on wide range of contemporary AI topics. There is no specific theme for the convention and multidisciplinary proposals would be most welcomed. Deadline for submitting proposals: 1 July 2009.

  For more information, see http://www.aisb.org.uk/convention/aisb10/ or contact Aladdin Ayesh at aayeshdmu.ac.uk.

• 31 August - 4 September 2009, Student Session of the 11th European Agent Systems Summer School (EASSS-2009), Torino, Italy (deadline: 26 June 2009)
  Newsitem added on 31 May 2009.

  Within the context of EASSS'09, the Student Session is designed to encourage student interaction and feedback from the tutors. By providing the students with a conference-like setup, both in the presentation and in the review process, students have the opportunity to prepare their own submission, go through the selection process (peer review) and possibly present their work to themselves and their interests to their fellow students as well as internationally leading experts in the agent field, both from the theoretical and the practical sector. All submissions will be peer-reviewed and accepted paper submissions will be assigned a 15 minute slot for presentation. Typically a presentation will either detail the intended approach to a problem or ask a specific question, directed at the audience.

  Deadline for submissions: June 26th. For more information, see the Call for Papers, available at http://agents009.di.unito.it/studentses.html.

• 8 September 2009, Workshop on Advanced Technologies for Digital Libraries 2009 (AT4DL 2009), Trento, Italy (deadline: 18 June 2009)
  Newsitem added on 22 May 2009.

  The fast growth of digital material is challenging for research in many disciplines. The EU has funded many projects to advance research in this field and facilitate end-user access to cultural and scientific heritage. The ENRICH, Europeana, CACAO, GAMA, NEEO and TELplus projects, funded by the eContentplus programme, have joined forces to organise a workshop as a satellite event of ICSD 2009 (http://www.icsd-conference.org/).

  The workshop aims to bring together stakeholders in order to present an overview of state-of-the-art systems in the field and identify open research problems that require further work.

  Submission deadline: 18 June 2009. For more information, see http://www.cacaoproject.eu/at4dl

• 12-14 September 2009, THE 5th INTERNATIIONAL SYMPOSIUM ON DOMAIN THEORY (ISDT 2009), Shanghai, China (deadline: 12 June 2009)
  Supervisor: Yixiang Chen, Ernst-Erich Doberkat, Achim Jung
  Newsitem added on 12 April 2009.

  The 5th International Symposium on Domain Theory (ISDT2009) will be held in September 12-14, 2009, Software Engineering Institute, East China Normal University, Shanghai, People’s Republic of China.

  International Symposium on Domain Theory (ISDT) is a series of conference held in the mainland of China. It aims at providing a forum for researchers in domain theory and its applications. Each meeting includes invited talks and contributed papers. The previous four ISDT events were held in Shanghai (1999), Chengdu (2001), Xi'an (2004) and Changsha (2006).

  Authors are invited to submit papers presenting original and unpublished research not concurrently considered for publication elsewhere. Abstract submissions are due (extended deadline) June 12th, 2009 (Friday).

  For more information, see http://sites.sei.ecnu.edu.cn/isdt2009/Conferences/~isdt2009/.

• 7-11 September 2009, FAMAS09: Formal Approaches to Multi-Agent Systems, Torino, Italy (deadline: 6 June 2009)
  Newsitem added on 10 May 2009.

  In recent years, multi-agent systems have come to form one of the key technologies for software development. Part of MALLOW 2009, the fourth edition of the FAMAS workshop series aims at bringing together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems.

  We welcome and encourage the submission of high-quality, original papers, which are not being submitted simultaneously for publication elsewhere. Submission deadline: Saturday 6 June 2009.

  For more information, see http://www.mimuw.edu.pl/MAS/FAMAS2009/

• 17-19 September 2009, 4th Workshop on Combining Probability and Logic (Progic 2009), Groningen (deadline: 1 June 2009)
  Newsitem added on 5 February 2009.

  Logic and probability theory are often studied in conjunction to decision making, and for good reason: we want our reasoning to be rational because the reasoning precedes and controls for actions. But the models for rationality in reasoning have seen major changes and additions in recent years: logicians have taken a dynamic turn, and probabilists have discovered network tools and new representations of uncertainty. In this workshop we address the question how these developments in modelling rationality carry over to the science of decision making.

  Invited speakers include Johan van Benthem, Luc Bovens, Richard Bradley, Igor Douven, Stephan Hartmann, Jim Joyce, Christian List, Clemens Puppe, Wlodek Rabinowicz, Teddy Seidenfeld, and Jon Williamson.

  We welcome submissions of papers on the special focus of the workshop, or indeed on any aspect of combining probability and logic. Deadline for submissions is June 1st 2009.

  For more information, see http://www.philos.rug.nl/progic2009/.

• 17-19 September 2009, "Logic, Language, Mathematics", A Philosophy Conference in Memory of Imre Rusza, Budapest, Hungary (deadline: 1 June 2009)
  Newsitem added on 9 April 2009.

  The conference, part of the annual conference series "LANGUAGE, UNDERSTANDING, INTERPRETATION", is held in memory of Imre Ruzsa (1921-2008), the father of modern philosophical logic in Hungary. His professional interests centered around modal logic, intensional logic, modeling natural language in systems of intensional logic, and the foundations of logic and mathematics. He always thought of his generalization of A. N. Prior's concept of semantic value gaps to quantified, intensional and type-theoretic systems as his most important contribution to logic.

  Contributions for 20-minute panel-presentations are sought in philosophical logic, mathematical logic, formal semantics, philosophy of mathematics, and philosophy of language. Plenary talks will be in English; some of the afternoon panels are held in English, some in Hungarian. Graduate students are encouraged to submit. Deadline for submissions: June 1, 2009.

  For more information, see http://phil.elte.hu/ruzsaconf/ or contact Prof. Dr. Andras Mate at mateludens.elte.hu.

• 13-15 August 2009, The Philosophy of Computer Games Conference 2009, Oslo, Norway (deadline: 1 June 2009)
  Newsitem added on 9 April 2009.

  The purpose of this conference is to initiate an investigation into how current research on computer games touches upon philosophical issues. In line with this purpose, the conference is interdisciplinary, drawing together researchers from diverse fields such as: philosophy, computer game-theory, semiotics, aesthetics, sociology, psychology, and anthropology.

  We invite submissions focusing on, but not limited to, the following three headings: "Fictionality and Interaction", "Defining Computer Games" and "Ethical and Political Issues". Accepted papers will have a clear focus on philosophy and philosophical issues in relation to computer games. They will also attempt to use specific examples rather than merely invoke "computer games" in general terms. Deadline for submissions is June 1, 2009.

  For more information, see http://www.gamephilosophy.org/.

• CfP Special Issue "Information and Computation" on "Intuitionistic Modal Logics and Applications" (deadline: 31 May 2009)
  Newsitem added on 20 November 2008.

  Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications are in type disciplines for programming languages, and meta-logics for reasoning about a variety of computational phenomena. Theoretical and methodological issues center around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction and how to implement these efficiently.

  There have been a series of LICS-affiliated workshops devoted to the theme. The first one was held as part of FLoC1999, Trento, Italy, the second was part of FLoC2002, Copenhagen, Denmark, the third was associated with LiCS2005, Chicago, USA and the last one was associated with LICS 2008 in Pittsburgh, PA, USA. Two special issues of journals on the theme have already appeared, in 2001 and 2004. We are hereby soliciting papers for a further special volume of Information and Computation, devoted to Intuitionistic Modal Logics and Applications. We hope to cover the novel applications presented in the last two workshops, especially applications to computer security, automated deduction and computational linguistics, but also to include work not presented at the workshops.

  Papers (preferably under 20 pages long) should be submitted by 31st May 2009. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2626 or contact one of the editors (Valeria de Paiva valeriacuill.com or Brigitte Pientka bpientkacs.mcgill.ca).

• 18-29 January 2010, Third Indian School on Logic and its Applications, Hyderabad, India (deadline: 31 May 2009)
  Newsitem added on 14 May 2009.

  The Indian School on Logic and Applications is a biennial event. The first school was held during January 2006 at IIT Bombay and the second school during January 2008 at IIT Kanpur. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments. The School is complemented by a biennial conference. The third conference was held at IMSc, Chennai, this year and the proceedings published as LNAI 5378.

  The 3rd School will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.

  The ISLA programme committee invites proposals for workshops for the School, in the broad interdisciplinary area connecting logic and the foundations of mathematics with artificial intelligence, computing science and philosophy. The objective is to bring before students and faculty an active research theme. Deadline for workshop proposals: 31 May 2009.

  The deadline for receiving applications is November 13, 2009. For more information, see http://ali.cmi.ac.in/isla2010 or contact the organizers at iclaimsc.res.in.

• 10-14 August 2009, BLAST 2009: Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Las Cruces NM, U.S.A. (deadline: 30 May 2009)
  Newsitem added on 18 March 2009.

  BLAST is a conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. The conference is the second in a series that will rotate among universities of the region. The first conference was held in Denver last summer and was a big success.

  To apply to give a contributed talk, please submit a title and abstract in Latex or plain text on the abstract submission page by May 30. After May 30, contributed talks may still be accepted, depending on available space.

  The conference webpage is at http://www.math.nmsu.edu/blast.

• 12-14 October 2009, CLA09: Computational Linguistics -- Applications Workshop, Mragowo, Poland (deadline: 30 May 2009)
  Newsitem added on 14 May 2009.

  IMSCIT is a multi-disciplinary conference gathering scientists form the different fields of IT & Computer Science together with representatives of industry and end-users. IMSCIT with its motto: "new ideas are born not inside peoples' heads but in the space between them", quickly became a unique place to share thoughts and ideas. This year's gathering is held in October 2009 in a beautiful town of Mragowo in the midst of Mazury Lake Country.

  The CLA Workshop is located within the framework of the IMCSIT conference to create a dialog between researchers and practitioners involved in Computational Linguistics and related areas of Information Technology. The Workshop will focus on practical outcome of modeling human language use and the applications needed to improve human-machine interaction.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 30 May 2009.

  For more information, see http://cla.imcsit.org/

• 3-5 October 2009, ALT 2009: Algorithmic Learning Theory, Porto, Portugal (deadline: 10 May 2009)
  Newsitem added on 12 March 2009.

  The 20th International Conference on Algorithmic Learning Theory (ALT 2009) will be held at the University of Porto, Portugal, October 3 - 5, 2009. The conference is on the theoretical foundations of machine learning. The conference will be co-located with the 12th International Conference on Discovery Science (DS 2009).

  We invite submissions that make a wide variety of contributions to the theory of learning. Submission deadline: May 10, 2009 (you may submit for as long as it is May 10, 2009 anywhere in the world).

  ALT 2009 homepage: http://www-alg.ist.hokudai.ac.jp/~thomas/ALT09/alt09.jhtml

• 18-20 October 2009, 2nd Symposium on Algorithmic Game Theory, Paphos, Cyprus (deadline: 3 May 2009)
  Newsitem added on 19 April 2009.

  The purpose of SAGT is to bring together researchers from Computer Science, Economics and Mathematics to present and discuss original research at the intersection of Algorithms and Game Theory.

  Authors are invited to submit previously unpublished work for possible presentation at the conference. Deadline for submissions: 5 May 2009.

  For more information, see http://www.cs.ucy.ac.cy/~mavronic/sagt2009/

• 9-11 September 2009, Phloxshop 2: Modality, Berlin, Germany (deadline: 1 May 2009)
  Newsitem added on 18 December 2008.

  The research group phlox organizes a workshop on modality with Dorothy Edgington and Keith Hossack as keynote speakers. The workshop will focus on counterfactual reasoning, modal knowledge, and modal idioms in natural language.

  Questions that may be addressed include, but are not limited to, the following:
  - What strength or kind of modality is expressed in different sorts of everyday modal idioms?
  - What role does metaphysical possibility play for non-philosophical reasoning?
  - Is knowledge of counterfactuals prior to knowledge of possibilities and necessities?
  - Can modal knowledge be grounded in knowledge of some non-modal facts?

  The research group phlox is inviting submissions for the workshop. The deadline for submission of paper abstracts is the 1st of May 2009.

  For more information, see http://phloxshop2.wordpress.com/ or write to justbecausegmx.de.

• 9-10 August 2009, LAM 09: Logics for Agents and Mobility, Los Angeles CA, U.S.A. (deadline: 1 May 2009)
  Newsitem added on 12 February 2009.

  Our aim is to bring together active researchers in the area of logics and mobile systems, especially in the field of logics and calculi for mobility, agents, and multi-agent systems. Many notions used in the theory of agents are derived from philosophy, logic, and linguistics (belief, desire, intention, speech act, etc.), and interdisciplinary discourse has proved fruitful for the advance of this domain. Outside of academia, the deployment of large-scale pervasive infrastructures (mobile ad-hoc networks, mobile devices, RFIDs, etc.) is becoming a reality. This raises a number of scientific and technological challenges for the software modelling and programming models for such large-scale, open and highly-dynamic distributed systems. The agent and multi-agent systems approach seems particularly adapted to tackle this challenge, but there are many issues remaining to be investigated. The workshop is intended to showcase results and current work being undertaken in these areas with a focus on logics for specification and verification of dynamic, mobile systems.

  The workshop will be held as a one-and-a-half-day event before LICS'2009. There will be a general introduction and brief survey of the field by the organiser as an introduction to the workshop. The workshop will contain invited talks, contributed talks, and a discussion session. The latter is meant to give the participants a chance to discuss informally research directions, open problems, and possible co-operations.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission Deadline: 1 May 2009.

  Further Information: About the workshop: http://www.dur.ac.uk/lam.09.
  About LICS: http://www2.informatik.hu-berlin.de/lics/lics09/

• 25-27 September 2009, Days of Judgement, Leiden, The Netherlands (deadline: 1 May 2009)
  Newsitem added on 26 February 2009.

  Although modern logic has neglected the notion of judgement, logic is in need of this notion, because the premises and conclusions in our reasoning are judgements. The notion of judgement brings back to logic and to philosophy in general the notion of judging agent. This focus on the agent is not to be understood in an exclusively subjective sense, because the agent is entitled to judge only if he has grounds for his judgement. Recently, the notion of assertion, the linguistic counterpart to the notion of judgement, has come into focus. The aim of the workshop is to bring together different perspectives on the notion of judgement from the history of philosophy that may have a relevance for a theory of assertion and judgement today.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is May 1st, 2009.

  For more information, see or contact the organizer Maria van der Schaar: m.v.d.schaarphil.leidenuniv.nl.

• Special Issue Synthese: "Logic and Social Interaction" (deadline: 1 May 2009)
  Newsitem added on 1 April 2009.

  There is now a growing body of research on formal algorithmic models of social procedures and interactions between rational agents. Largely using the language of logic and game theory, these studies have led to new insights into the dynamics of observation, updating of knowledge and belief, preference change, dialogues and processes of strategic interaction. Central to many of these studies is a multi-agent perspective on rational agency that situates inference in an interactive context.

  In this context, a workshop on Logic and Social Interaction was held in the Institute of Mathematical Sciences, Chennai during 7-8 January, 2009, focussing on current advances made towards modelling complex multi-agent interactive situations, attempting to identify logical elements in our daily social activities. As a follow-up of the Workshop, a special issue of the "Knowledge, Rationality and Action" section of the journal "Synthese" is planned on the theme of Logic and Social Interaction.

  Deadline for abstracts: May 1st, 2009. For more information, see the Special Issue page at http://www.imsc.res.in/tcsweb/kra-lasi.html and the workshop page at http://ali.cmi.ac.in/icla2009/social.html.

• 9-15 August 2009, 32nd International Wittgenstein Symposium, Kirchberg am Wechsel, Austria (deadline: 30 April 2009)
  Newsitem added on 9 November 2008.

  The general theme of the 32nd International Wittgenstein Symposium will be "Language and World", with sections focusing on Wittgenstein, Theories of the Linguistic Sign, Language and Action, Language and Consciousness, Language and Metaphysics, and Reality and Construction. There will be two workshops, on "Wittgenstein and the Literary" and "Wittgenstein's Nachlass "

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 30 April 2009.

  For more information, see http://www.alws.at/index.php/wittgenstein/symposium_aktuell/

• 27-29 August 2009, Philosophical Aspects of Symbolic Reasoning in Early Modern Science and Mathematics (PASR), Ghent, Belgium (deadline: 30 April 2009)
  Newsitem added on 26 April 2009.

  This conference brings together scholars working on philosophy of science, history of philosophy and history of science and/or mathematics. The topic is the role of symbolic representations in the development of modern science and mathematics from the end of the sixteenth century throughout the seventeenth century.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Following some requests, the deadline for submission of abstracts has been extended until April 30th.

  For more information, see http://www.pasr.ugent.be/

• 1-4 September 2009, Trends in Logic VII: Trends in the Philosophy of Mathematics, Frankfurt, Germany (deadline: 26 April 2009)
  Newsitem added on 26 February 2009.

  Trends in Logic is the conference series of Studia Logica. This year's conference will focus entirely on the philosophy of mathematics. We have invited scholars who pursue the subject at the currently most advanced level. In addition, we invite papers that contribute to and try to advance current debates in the field.

  Submission Deadline: April 26, 2009

  For more information, see http://web.uni-frankfurt.de/trends

• 24-28 August 2009, Mal'tsev Centenary Meeting (Conference on Algebra, Mathematical Logic and Applications), Novosibirsk, Russia (deadline: 24 April 2009)
  Newsitem added on 18 September 2008.

  This conference is dedicated to the 100th anniversary of Anatolii Ivanovich Mal'tsev (1909-1967). The topics of the conference include group theory, ring theory, universal algebra, mathematical logic, computability theory, theoretical computer science, and related areas of mathematics.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for submission of abstracts is April 24, 2009

  For more information, see http://www.math.nsc.ru/conference/malmeet/09/ or contact the organisers by e-mail at tclabmath.nsc.ru.

• 14-16 September 2009, Ninth International Conference on Intelligent Virtual Agents (IVA'09), Amsterdam, The Netherlands (deadline: 17 April 2009)
  Newsitem added on 18 January 2009.

  Intelligent virtual agents (IVAs) are interactive characters that exhibit human-like qualities and communicate with humans or each other using natural human modalities such as speech and gesture. They are capable of real-time perception, cognition and action that allow them to participate in a dynamic social environment.

  IVA'09 is an interdisciplinary annual conference and the main forum for presenting research on modeling, developing and evaluating intelligent virtual agents with a focus on communicative abilities and social behavior. In addition to presentations on theoretical issues, the conference encourages the showcasing of working applications. Researchers from the fields of human-human and human-robot interaction are also welcome to share work which has a bearing on intelligent virtual agents. IVA'09 particularly encourages submissions on this year's special topic of games.

  IVA'09 will be co-located in Amsterdam with the complementary Affective Computing & Intelligent Interaction International Conference (ACII'09, http://www.acii2009.nl/), held 10-12 September 2009.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 17 April, 2009.

  For more information, see http://iva09.dfki.de

• 31 July - 5 August 2009, Logic Colloquium 2009, Sofia, Bulgaria (deadline: 15 April 2009)
  Newsitem added on 5 February 2009.

  The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic. In previous years, the Logic Colloquium has been organised in Bern (2008) and Wroclaw (2007).

  The Programme Committee cordially invites all researchers to submit contributed papers that have logic research content that lies within the scope of the interests of the ASL. Submission Deadline: 15 April 2009.

  For more information, see http://lc2009.fmi.uni-sofia.bg/

• 16-18 December 2009, 4th Indian Conference on Artificial Intelligence (IICAI-09), Tumkur, Bangalore, India (deadline: 10 April 2009)
  Newsitem added on 27 September 2008.

  The 4th Indian International Conference on Artificial Intelligence (IICAI-09) will be held in Tumkur (near Bangalore), India during December 16-18 2009. The conference consists of paper presentations, special workshops, sessions, invited talks and local tours, etc. and it is one of the biggest AI events in the world.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is April 10th, 2009.

  For more information, see http://www.iiconference.org/

• 28 June 2009, Games for Design, Verification and Synthesis (GASICS 09), Grenoble, France (deadline: 10 April 2009)
  Newsitem added on 22 March 2009.

  GASICS is an ESF project of the EUROCORES programme LogICCC (Modelling intelligent interaction Logic in the Humanities, Social and Computational sciences ). It studies game theoretic formalizations of interactive computational systems and algorithms for their analysis and synthesis. Our aim is to extend the existing notions of games played on graphs introduced by computer scientists. Currently, most of the games played on graphs are of the sort "two-players zero-sum", we aim to extend them to "multiple-players non-zero-sum", and show the applicability of the new theory to the analysis and synthesis of interactive computational systems.

  The aim of this workshop is to bring together researchers working on game-related subjects, and to discuss on various aspects of game theory in the fields where it is applied. The workshop will be composed of two invited talks, together with contributed talks on relevant topics.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 10 April 2009.

  For more information, see http://www.lsv.ens-cachan.fr/Events/gasics09/

• 15-18 September 2009, History and Philosophical Foundations of AI, Paderborn, Germany (deadline: 9 April 2009)
  Newsitem added on 1 April 2009.

  The philosophically relevant track within the KI-Conference "History and Philosophical Foundations of AI" deals with the history of AI, its philosophical basics and conceptual debates on basic principles.

  Relevant topics are Artificial intelligence and limits of computability, Multi-Agent-Systems and action theory, Computational functionalism, Philosophical reasoning and AI, and Phenomenology and artificial subject.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is Paper submission: April 09, 2009.

  For more information, see http://www.uni-paderborn.de/philosophie/personal/hagengruber/ki09/ or contact Prof. Dr. Ruth Hagengruber at Ruth.hagengruberupb.de

• 23-25 July 2009, TIME 2009: Temporal Representation and Reasoning, Brixen, Italy (deadline: 6 April 2009)
  Newsitem added on 27 November 2008.

  The TIME symposium series is a well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes, but is not limited to, artificial intelligence, temporal databases, and the verification of software and hardware systems. In addition to fostering interdisciplinarity, the TIME symposia emphasize bridging the gap between theoretical and applied research.

  TIME 2009 encompasses three tracks, but has a single program committee. The conference will span three days, and will be organized as a combination of technical paper presentations, poster sessions, and keynote lectures.

  Submissions of high quality papers describing research results or on-going work are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Deadline for Abstract Submission: April 6.

  For more information, see http://www.inf.unibz.it/krdb/events/time-2009/

• 9-11 September 2009, MATES 2009: 7th German Conference on Multi-Agent Technologies, Hamburg, Germany (deadline: 4 April 2009)
  Newsitem added on 15 February 2009.

  The German conference on Multi-Agent System Technologies (MATES) provides an interdisciplinary forum for researchers, users, and developers, to present and discuss latest advances in research work, as well as prototyped or fielded systems of intelligent agents and multi-agent systems.

  MATES 2009 will be colocated with the Tenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'09) and the Fifth International Workshop on Modeling of Objects, Components, and Agents (MOCA'09). The participants of MATES 2009 will also have full access to the concurrently running programs of these events.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission Deadline: April 4, 2009.

  For more information, see http://jadex.informatik.uni-hamburg.de/mates

• 24-27 October 2009, FOCS 2009: Foundations of Computer Science, Atlanta GA, U.S.A. (deadline: 2 April 2009)
  Newsitem added on 26 February 2009.

  The 50th Annual Symposium on Foundations of Computer Science (FOCS2009), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held in at the Renaissance Atlanta Hotel Downtown in Atlanta, GA, October 24-27, 2009. Typical but not exclusive topics of interest include: algorithms and data structures, computational complexity, cryptography, computational geometry, computational game theory, algorithmic graph theory and combinatorics, optimization, randomness in computing, parallel and distributed computing, machine learning, applications of logic, algorithmic algebra and coding theory, theoretical aspects of databases, information retrieval, networks, computational biology, robotics, and quantum computing.

  Papers presenting new and original research on theory of computation are sought. Papers that broaden the reach of theory, or raise important problems that can benefit from theoretical investigation and analysis, are encouraged. Submission deadline is . Extended abstract must be received by April 2, 2009.

  For more information, see http://www.cs.yale.edu/focs09 or contact the Local Arrangements Chairs, Milena Mihail and Prasad Tetali, by email to focs2009cc.gatech.edu or focs2009.localgmail.com.

• 15-17 August 2010, Conference on Mathematical Logic and Set Theory (ICM 2010 Satellite), Chennai, India (deadline: 1 April 2009)
  Newsitem added on 13 August 2009.

  In the successful tradition of logic satellite meetings at recent ICMs, we shall hold a satellite conference on mathematical logic and set theory in India to provide a specialized venue for logicians and set theorists connected with ICM 2010 in Hyderabad. The scope of the intended meeting is all of mathematical logic, including its areas of application (theoretical computer science, algebraic logic and others) with a special emphasis on set theory.

  A Call for Papers for contributed talks will be sent out around November 2009, but if you are eager to give a talk at this conference, feel free to contact the organizers in advance.

  For more information, see http://www.illc.uva.nl/Chennai/ or contact the organizeres, Benedikt Löwe (Amsterdam) and R. Ramanujam (Chennai), at jamimsc.res.in.

• 3-7 August 2009, Logic and Mathematics 2009, York, U.K. (deadline: 31 March 2009)
  Newsitem added on 14 December 2008.

  Theme: The interaction between ideas or techniques from mathematical logic and other areas of mathematics.
  Sponsored by the London Mathematical Society and the British Logic Colloquium

  Participants are invited to submit abstracts of papers they would like to present.

  Deadline for submissions and early registrations: 31 March 2009. For more information, see http://maths.york.ac.uk/www/York2009

• 1-4 September 2009, Foundations of Uncertainty, Prague, Czech Republic (deadline: 31 March 2009)
  Newsitem added on 22 January 2009.

  The Department of Logic at the Institute of Philosophy of the Academy of Sciences of the Czech Republic and the Formal Epistemology Research Group at the University of Konstanz are jointly organizing a colloquium on philosophical issues concerning uncertainty calculi, in particular interpretations of the probability calclulus. Invited speakers include: Colin Howson, Jim Joyce, Peter Milne, Jeff Paris, and Glenn Shafer.

  We invite submissions on the following topics: Objective and subjective interpretations of probability, Other theories of uncertainty and their relation to probability, Logic and the foundations of probability, and Philosophical aspects of the dynamics of subjective probability. Deadline for submissions: March 31, 2009.

  For further information please see the conference website http://www.flu.cas.cz/colloquium/. The conference mail address is colloquiumflu.cas.cz

• 7-11 September 2009, Computer Science Logic 2009 (CSL'09), Coimbra, Portugal (deadline: 30 March 2009)
  Newsitem added on 15 January 2009.

  Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. CSL'09, the 18th annual EACSL conference will be organized at the Department of Mathematics of the University of Coimbra

  The Ackermann Award for 2009 will be presented to the recipients at CSL'09.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline (title & abstract) is 30 March, 2009.

  Early registration deadline is 31 July, 2009. For more information, see http://www.mat.uc.pt/CSL09 or contact cslmat.uc.pt

• 15-17 June 2009, Third Workshop in Decisions, Games & Logic, HEC Lausanne (deadline: 30 March 2009)
  Newsitem added on 29 January 2009.

  Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 and aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy.

  Each DGL features three tutorials, one on decision theory, one on game theory and one on logic, given by leading researchers, as well as presentation and poster sessions by young researchers. The third edition of the DGL has also the pleasure to feature a discussion panel on rationality.

  We invite submissions for presentation and poster sessions by young researchers (graduate students and post-docs) in the fields of decision theory, game theory, logic and formal philosophy. Preference will be given to conceptual work in these fields and work that combines problems of these fields. Deadline for submission: March 30, 2009.

  For more information, see the website at http://meansandends.com/DGL09/ or email christianwoldemar.bachunil.ch.

• 7-11 September 2009, CSL 2009: 18th Conference on Computer Science Logic, Coimbra, Portugal (deadline: 30 March 2009)
  Newsitem added on 15 February 2009.

  Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. CSL'09, the 18th annual EACSL conference will be organized at the Department of Mathematics of the University of Coimbra.

  The invited speakers include: M. Bojanczyk, T. Coquand, M. Grohe, Y. Moschovakis, and P. Oliva. A special session on the life and work of Stephen Kleene also is planned: 2009 marks the centennial of his birth.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline for abstracts is 30 March, 2009.

  For more information, see http://www.mat.uc.pt/~csl/

• 15-19 July 2009, 7th Panhellenic Logic Symposium, Patras, Greece (deadline: 27 March 2009)
  Newsitem added on 6 November 2008.

  The Panhellenic Logic Symposium is a biannual scientific event established in 1997. It is open to researchers worldwide who work in Logic broadly conceived. The Seventh Panhellenic Logic Symposium will be hosted at the Conference Center of the University of Patras. The scientific program of the symposium will consist of hour-long invited talks, tutorials, and presentations of accepted contributed papers.

  A web-based conference management system will be used for the submission of abstracts of contributed talks. Deadline for submissions: March 27, 2009.

  Further information about PLS7 can be found at the conference web site http://www.bma.upatras.gr/pls7/. E-mail inquires about PLS7 should be directed to the local organizers at cdrossosupatras.gr or pavlosupatras.gr.

• 27-29 March 2009, Boise Extravaganza in Set Theory, Boise ID, U.S.A. (deadline: 25 March 2009)
  Newsitem added on 14 December 2008.

  We are pleased to announce our eighteenth annual BEST conference. There will be four talks by invited speakers:
  Steve Jackson (University of North Texas)
  Ljubisa Kocinac (University of Nis, Republic of Serbia)
  Assaf Rinot (Tel Aviv University, Israel)
  Grigor Sargsyan (University of California, Berkeley)

  The talks will be held on Friday, Saturday and Sunday at the Department of Mathematics, Boise State University.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. The deadline for submitting an abstract is March 25, 2009.

  For more information, see http://math.boisestate.edu/~best/best18

• 29-31 May 2009, 2nd Formal Epistemology Festival: Causal Decision Theory and Scoring Rules, Ann Arbor MI, U.S.A. (deadline: 22 March 2009)
  Newsitem added on 22 February 2009.

  This is the second of three small, thematically focused events in formal epistemology, organized by Franz Huber (Konstanz), Eric Swanson (Michigan), and Jonathan Weisberg (Toronto). This year's festivities coincide with the 10th anniversary of the publication of James Joyce's The Foundations of Causal Decision Theory.

  We welcome submissions of papers on topics related to causal decision theory, scoring rules, or both. Please send a pdf prepared for blind reviewing to ericswumich.edu. Deadline for submissions: March 22, 2009.

  For more information, see http://www-personal.umich.edu/~ericsw/2fef

• 22-27 June 2009, 11th Asian Logic Conference (ALC2009), Singapore (deadline: 15 March 2009)
  Newsitem added on 11 December 2008.

  The Eleventh Asian Logic Conference will be held in Singapore from 22 to 27 June 2009. The Asian Logic Conference series is sponsored by the Association for Symbolic Logic, and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. It also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. We particularly invite papers by logicians from the Asia-Pacific region. Deadline for submissions: 15 March 2009.

  For more information, see http://www.ims.nus.edu.sg/Programs/09asianlogic/

• 4-5 June 2009, RaAM 2009: Researching and Applying Metaphor Workshop on Metaphor, Metonymy & Multimodality, Amsterdam, The Netherlands (deadline: 15 March 2009)
  Newsitem added on 12 February 2009.

  The analysis of metaphor in different modalities, not just in written texts, elucidates the vital ties between metaphor and metonymy in meaning-making. This workshop therefore integrates these three topics for its theme. The multiple forms of expression to be considered include written words, spoken language, the pictorial mode (still and moving images), sound, and the gestural mode. Attention will be focused on the multimodal use of metaphor and metonymy in TV advertising, film, comics, animation, naturalistic spoken discourse, experimental settings, and foreign language teaching.

  The workshop will feature a combination of plenary lectures, introducing basic concepts, and hands-on workshops, in which the plenary speakers will guide participants in the analysis of materials. There will be two plenaries on the analysis of images and two on gestures, and three workshops on each of the modes of images and gestures. The same hands-on workshops will run on both days so that participants may take part in two out of the three on each topic. There will also be time allotted for a poster session by participants who wish to present their own research on multimodal metaphor and/or metonymy.

  The Programme Committee cordially invites all researchers to submit their papers for presentation.

  Deadline for registration and/or abstract submission is March 15, 2009. For more information, see http://www.raam.org.uk/

• CfP: "The Games of Logic: A Philosophical Perspective" (deadline: 15 March 2009)
  Newsitem added on 12 February 2009.

  For more than two decades now, each year has seen a growing number of important results in the emerging field centered on the interactions between game theory and logic. We feel that it is time for the philosopher to assess in which ways those results bear on the fundamental questions of the philosophy of logic. In particular, what insight have we gained on such central notions as truth, validity, proof, proposition, form and formality, logicality, etc. We would thus like to open a series of books that we conceive as a gathering place where philosophical ideas concerning those topics can be expressed, scrutinized and confronted. The series will be published by College Publications (http://www.collegepublications.co.uk/) as a new subseries of the 'Philosophy' series.

  We therefore invite submissions related to all aspects of the philosophical consequences of the interactions between games and logic. More specific topics include (but are not limited to): game-theoretical semantics, dialogical logic, ludics, Ehrenfeucht-Fraïssé games, game-theoretical notions of logical form, game-theoretical notion of proposition, logical games between semantics and proof theory, games and modal logic. Paper submission deadline: 15th March 2009.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2742 or http://www.collegepublications.co.uk/.

• 4-6 November 2009, Formal Methods 2009, Eindhoven, The Netherlands (deadline: 6 March 2009)
  Newsitem added on 15 February 2009.

  FM2009 is the sixteenth international symposium of the Formal Methods Europe association. Ten years after the world congress in Toulouse in 1999, FM2009 will be organized as a world congress again, a global platform for researchers and practitioners from a diversity of countries, backgrounds and schools to exchange ideas and share experiences. Several conferences are colocating with FM2009 within FMweek. As is tradition, the symposium will go together with an Industry Day, a Doctoral Symposium, a Tool Exhibition, an event on Teaching Formal Methods, as well as a wide range of workshops.

  In order to complete the programme, the organizing committee of FM2009 cordially invites proposals for one day tutorials in the wide area of formal methods, which will take place on 2 and 3 November, preceding the symposium. Tutorials should aim to provide conference participants with the opportunity to learn new techniques and gain insights in the use of formal methods. Deadline for proposal submissions: 6 March, 2009.

  For more information, see http://www.win.tue.nl/fm2009/.

• 20-25 July 2009, Workshop Logical Methods for Social Concepts (LMSC), Bordeaux (deadline: 4 March 2009)
  Newsitem added on 21 December 2008.

  Both computer science and the social sciences are interested in social concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of this workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. The workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality. Its scope includes not only the technical aspects of logics for multi-agent systems, but also multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and a critical analysis of the existing logical frameworks for the specification of social concepts. It is organized as part of ESSLLI'2009.

  Authors are invited to submit an extended abstract presenting an approach which is relevant to the area of logic for multi-agent systems. Submission deadline (extended): March 4, 2009

  For more information, see http://www.irit.fr/~Andreas.Herzig/Esslli09

  .

• 27-31 July 2009, Workshop on Logics and Agent Programming Languages, Bordeaux (deadline: 4 March 2009)
  Newsitem added on 12 February 2009.

  The workshop is part of ESSLLI in Bordeaux and is aimed at researchers who use logics in design and / or verification of agent programming languages. The workshop will provide a forum for advanced PhD students and researchers in these areas to compare methodologies, exchange ideas and identify challenges in agent programming languages and writing reliable agent programs.

  Deadline for submissions: 4 March 2009. For more information, see http://www.agents.cs.nott.ac.uk/events/lapl09/.

• 6-8 July 2009, Twelfth Conference on Theoretical Aspects of Rationality and Knowledge (TARK XII), Stanford University, USA (deadline: 2 March 2009)
  Newsitem added on 11 December 2008.

  The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems.

  Submissions are now invited to TARK-XII. Submission deadline is March 2nd, 2008.

  For more information, see http://ai.stanford.edu/~epacuit/tark09/

• 29 June - 3 July 2009, 4th Conference on Logic, Computability and Randomness, Marseille, France (deadline: 1 March 2009)
  Newsitem added on 17 October 2008.

  The theme of the conference will be algorithmic randomness (Kolmogorov complexity) and its connections to various other subjects. This meeting will be in the spirit of the earlier conferences held in Argen tina in 2004 and 2007, and in China in 2008. However, this time we are using a modified Dagstuhl model, where most of the talks will be given by invited speakers.

  Please also let us know if you wish to give a talk at the meeting. In this case, you will have to submit an abstract by March 1, 2009.

  For more information, see http://www.lif.univ-mrs.fr/lce/

• 15-17 July 2009, International Workshop on Hybrid Logic 2009 (HyLo 2009), Nancy, France (deadline: 1 March 2009)
  Newsitem added on 30 November 2008.

  Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications, as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic. But more generally, the topic of HyLo 2009 is not only standard hybrid-logical machinery (like nominals, satisfaction operators, binders, etc) but also extensions of modal logic that increase its expressive power in one way or other.

  HyLo 2009 will be an special event, conmemorating the ten years since the organization of the first HyLo workshop in 1999. HyLo 2009 will be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop aims to provide a forum for advanced PhD students and researchers to present and discuss their work with colleagues and researchers.

  We invite the contribution of papers reporting new work from researchers interested in hybrid logic. Deadline for submissions: Sunday, 1st March 2009

  For more information, see http://hylo.loria.fr/content/Hylo09/

• 21-24 June 2009, 16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009), Tokyo, Japan (deadline: 28 February 2009)
  Newsitem added on 26 October 2008.

  WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Sixteenth WoLLIC will be held at the National Institute of Informatics in Tokyo, Japan, from June 21 to 24, 2009.

  As 2009 will mark the 60-th anniversary of the publication of Paul Erdos' elementary proof of the Prime Number Theorem, WoLLIC will celebrate this by screening the documentary about Paul Erdos which was directed by George Csicsery "N is a number - A Portrait of Paul Erdos".

  Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. A title and single-paragraph abstract should be submitted by February 28.

  For more information, see http://wollic.org/wollic2009/.

• 14-16 May 2009, Nordic Conference of Computational Linguistics (NODALIDA 2009), Odense, Denmark (deadline: 18 February 2009)
  Newsitem added on 12 October 2008.

  The 17th Nordic Conference on Computational Linguistics will be held at the University of Southern Denmark in Odense, Denmark, on May 14-16, 2009, with two days for the main conference, and a separate day for workshops.

  The Program Committee invites proposals for workshops on all aspects of language technology, as well as papers on substantial, original, and unpublished research. Deadlines for submissions are December 5th, 2008 (Workshop proposals), January 12, 2009 (regular and student papers), and February 18, 2009 (short papers).

  More information about the conference and local information about Odense will be available at the conference website at: http://beta.visl.sdu.dk/nodalida2009/, or by contacting nodalida2009visl.sdu.dk.

• 1-3 June 2009, 9th International Symposium on Logical Formalizations of Commonsense Reasoning, Toronto, Canada (deadline: 16 February 2009)
  Newsitem added on 27 November 2008.

  One of the major long-term goals of AI is to endow computers with common sense. Although we know how to build programs that excel at certain bounded or mechanical tasks which humans find difficult, such as playing chess, we have very little idea how to program computers to do well at commonsense tasks which are easy for humans. One approach to this problem is to formalize commonsense reasoning using mathematical logic.

  The symposium aims to bring together researchers who have studied the formalization of commonsense reasoning. The focus of the symposium is on representation rather than on algorithms, and on formal rather than informal methods.

  We aim for rigorous and concrete paper submissions. While mathematical logic is expected to be the primary lingua franca of the symposium, we also welcome papers using a rigorous but not logic-based representation of commonsense domains. Technical papers offering new results in the area are especially welcome; object-level theories as opposed to meta-level results are preferred. Papers should be submitted by February 16, 2009.

  For more information, see http://www.commonsensereasoning.org/

• 20-24 July 2009, ViC 2009: Vagueness in Communication, Bordeaux, France (deadline: 15 February 2009)
  Newsitem added on 30 November 2008.

  Although vagueness has long since been an important topic in philosophy, logic and linguistics, some recent advances have made the functions of vagueness in natural language communication an exciting and timely research area. This renewed interest has a distinct cross-disciplinary character and has spawned many new research questions. While the classical instruments of dealing with vagueness have not been significantly extended, new approaches investigate questions like context-sensitivity of vagueness, the sharpening of vague predicates in context, and the modeling of precision levels with expressions like 'roughly' or 'like'. On a more fundamental level, the question why there is vagueness to begin with, what role vagueness serves in human communication, has been addressed. Game-theoretic methods have been employed that show that being vague or imprecise can be beneficial for communication even if the speaker could truthfully use more precise terms (de Jaegher 2003). Furthermore, the important role of vagueness became evident in a number of empirical domains beyond obvious examples such as the language of diplomacy.

  The ViC-2009 workshop is part of the European Summer School on Logic, Language and Information (ESSLLI 2009), and is organised as an event of the VAAG project of the ESF Eurocore LogicCC. It aims to provide a forum for researchers (including advanced PhD students) to present and discuss their work with colleagues and researchers who work in the broad subject of the disciplines relevant for particles and modal adverbs, as represented in ESSLLI.

  Authors are invited to submit an anonymous, extended abstract. Deadline for submissions is Febuary 15, 2009.

  For more information, see http://www.fit.fraunhofer.de/~hcschmitz/esslli2009/ or contact Rick Nouwen at rnouwengmail.com.

• 16-18 April 2009, Semantics and Philosophy in Europe (SPE), London, UK (deadline: 12 February 2009)
  Newsitem added on 15 January 2009.

  The purpose of the colloquium is to enhance the dialogue between linguists and philosophers and to provide a new forum for presenting research in the interface between linguistic semantics and the various related areas of philosophy (philosophy of language, epistemology, metaphysics, philosophy of mathematics, and philosophy of mind). The colloquium is to take place every year, alternating between Paris, London, St Andrews, Barcelona and Oslo: this is the second colloquium.

  We invite submissions to any of the interface areas of linguistics, semantics and philosophy for 40 minute talks. Two-page abstract of 1000 words maximum should be sent by email to philosophysas.ac.uk by February 12th 2009 (please put "SPE CFP" in subject header).

  For more information, see http://www.philosophy.sas.ac.uk/spe_cfp.php

• 6-10 September 2009, 3rd Conference on Algebra and Coalgebra in Computer Science (CALCO 2009), Udine, Italy (deadline: 2 February 2009)
  Newsitem added on 12 October 2008.

  CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). The conference brings together researchers and practitioners to exchange new results about both traditional and emerging uses of algebras and coalgebras in computer science.

  CALCO 2009 will be preceded by two events on September 6, 2009:
  * CALCO-jnr - a CALCO Young Researchers Workshop dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years.

  * CALCO Tools Day - providing the opportunity to give system demonstrations of tools based on algebraic and coalgebraic principles. These include systems/prototypes/tools developed specifically for design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains but making core or interesting use of (co)algebraic techniques.

  The Programme Committee invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of resulting technologies into industrial practice. Deadline for submissions is February 2nd, 2009 (February 24th for submissions to CALCO Tools day).

  For more information, see http://www.dimi.uniud.it/calco09/

• 29 July - 1 August 2009, Thirty-first annual meeting of the Cognitive Science Society in Amsterdam (CogSci 2009), Amsterdam (deadline: 1 February 2009)
  Newsitem added on 18 December 2008.

  CogSci 2009 is the annual meeting of the Cognitive Science Society for basic and applied cognitive science research. Scientists from across the world submit their best work and attend CogSci to hear the latest theories and data from the world's best cognitive science researchers. This year the conference will be in the Netherlands for the first time, in Amsterdam. Invited speakers this year are Nikola Clayton, Randall O'Reilly, Joshua Tenenbaum, and the winners of the Rumelhart prize for Cognitive Science, Susan Carey, and Heineken prize for Cognitive Science, Stanislas Dehaene.

  Researchers in Cognitive Science are invited to submit their best work to the conference by 1 February 2009 in the form of a six-page paper, a poster abstract (for members), or proposals for symposia, workshop or tutorials.

  More information about the conference can be found through the Cognitive Science Society website: http://cognitivesciencesociety.org/conference2009/.

• 5-8 June 2009, 13th Annual Meeting for the Scientific Study of Consciousness (ASCC XIII), Berlin, Germany (deadline: 31 January 2009)
  Newsitem added on 14 September 2008.

  The thirteenth annual meeting of the Association for the Scientific Study of Consciousness will be held from June 5th to June 8th, 2009, at the Berlin School of Mind and Brain. Hosted by the renowned Humboldt-University, the Berlin School of Mind and Brain is an international graduate research school on the interface of humanities and behavioral sciences with neurosciences. ASSC XIII is intended to promote interdisciplinary dialogue in the scientific study of consciousness. ASSC members as well as non-members are encouraged to submit contributions that address current empirical and theoretical issues in the study of consciousness, from the perspectives of philosophy, neuroscience, psychology, computer science, and cognitive ethology. ASSC XIII will provide an excellent opportunity for the presentation of new empirical findings or novel theoretical perspectives in an atmosphere that will promote discussion and debate.

  The Program committee invites proposals for symposia (deadline 15 October 2008) and tutorials (deadline 31 januari 2009) on any topic relevant to the scientific study of consciousness. Talks and poster presentations will also be sollicited in a later call.

  For more information, see http://www.assc13.com/

• 19-24 July 2009, Computability in Europe (CiE 2009), Heidelberg, Germany (deadline: 20 January 2009)
  Newsitem added on 9 October 2008.

  CiE 2009 is the fifth in a series of conferences organised by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006), Siena (2007) and Athens (2008).

  CiE 2009 has a broad scope and bridges the gap from the theoretical methods of mathematical and meta-mathematical flavour to the applied and industrial questions of computational practice. The conference aims to bring together researchers who want to explore the historical and philosophical aspects of the field.

  The Programme Committee cordially invites all researchers (European and non-European) in computability related areas to submit their papers (in PDF-format, max 10 pages) for presentation at CiE 2009. The committee particularly invites papers that build bridges between different parts of the research community. Submission date of papers: January 20, 2009.

  For more information, see http://www.math.uni-heidelberg.de/logic/cie2009/

• 6-10 July 2009, Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009), Oslo, Norway (deadline: 19 January 2009)
  Newsitem added on 13 November 2008.

  This conference is the 18th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.

  Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods.

  Submissions are invited for research papers, system descriptions and position papers, as well as workshops and tuturials. Deadline for submissions: 9 January 2009 (workshop/tuturial proposals) and 19 January 2009 (paper abstracts).

  See http://heim.ifi.uio.no/martingi/Tableaux09/ for more information on TABLEAUX 2009, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series.

• 21-24 October 2009, 2nd conference of the European Philosophy of Science Association (EPSA 2009), Amsterdam, The Netherlands (deadline: 15 January 2009)
  Newsitem added on 8 September 2008.

  After its successful first conference in Madrid in November 2007, the second conference of the European Philosophy of Science Association (EPSA) will take place at VU University Amsterdam from 21-24 October 2009.

  We invite contributed papers and proposals for symposia. Submission deadline: 15 January 2009

  For more information, see http://www.epsa09.org

• 11-14 August 2009, Logic in Computer Science (LICS 2009), Los Angeles CA, U.S.A. (deadline: 12 January 2009)
  Newsitem added on 6 November 2008.

  The IEEE Symposium on Logic In Computer Science (LICS) is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. LICS 2009 will be held at UCLA in Los Angeles, California, USA, 11th-14th August 2009. It will be colocated with the 16th International Static Analysis Symposium (SAS 2009; August 9th-11th).

  Researchers and practitioners are invited to submit papers for presentation and/or proposals for workshops, on topics relating logic - broadly construed - to computer science or related fields. Abstracts are due January 12th 2009, proposals December 1st 2008.

  For more information, see http://www2.informatik.hu-berlin.de/lics/lics09/index.html)

• 26-31 July 2009, ICCS09: Conceptual Structures: Leveraging Semantic Technologies, Moscow, Russia (deadline: 5 January 2009)
  Newsitem added on 24 September 2008.

  The 17th International Conference on Conceptual Structures (ICCS 2009) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. The focus of the conference has been the representation and analysis of conceptual knowledge for research and practical application. ICCS brings together researchers and practioners in information and computer sciences as well as social science to explore novel ways that conceptual structures can be deployed.

  Arising from the research on knowledge representation and reasoning with Conceptual Graphs, over the years ICCS has broadened its scope to include innovations from a wider range of theories and related practices. The 2009 ICCS's theme "leveraging semantic technologies" hints to the large overlap of the research fields of semantic technologies and conceptual structures, and emphasizes the goal of closer connecting these two areas in order to obtain a mutual benefit.

  Authors are invited to submit papers describing both theoretical and practical research outcomes. Submission deadline is Monday 5 January 2009.

  For more information, see http://www.iccs.info/

   Upcoming Conferences

Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.

• 13-14 December 2009, Workshop on Structural Aspects of Rationality, Kanpur, India
  Newsitem added on 12 November 2009.

  Predicting rational play is the central concern of game theory, and game models are built on rationality assumptions. Re-examining notions of rationality in new contexts has led to many interesting questions for game theory, as for instance in games of infinite duration, motivated by computation theory.

  This FSTTCS-2009 Pre-Conference Workshop on Structural Aspects of Rationality (STAR) is intended as an occasion for exchanging ideas on foundations of game theory, especially on structural and computational arguments for the analysis of solution concepts.

  For more information, see http://www.imsc.res.in/tcsweb/star/star.html

• 4-5 Dec 2009, Conference on Eastern and Western Philosophical Themes, New York NY, U.S.A.
  Newsitem added on 3 September 2009.

  At one time, there was lively dialogue between Western and Eastern philosophy. Schopenhauer, Nietzsche and William James were strongly influenced by Eastern philosophy. But, during recent years, Western philosophy has shown much less respect for the East than previous and there seems less awareness that issues like epistemology, time, and selfhood have been addressed very intelligently in the East.

  The purpose of the conference is to reinvigorate the dialog between Eastern and Western philosophy (philosophy as distinct from religion), and a galaxy of brilliant speakers from all over the globe have agreed to participate.

  For more information, see http://web.cs.gc.cuny.edu/~kgb/

• 16-19 November 2009, Workshop "Combinatorial Set Theory and Forcing Theory", Kyoto, Japan
  Newsitem added on 24 May 2009.

  A workshop on "Combinatorial set theory and forcing theory" will take place at the Research Institute for Mathematical Sciences of Kyoto University (Japan) from November 16 (Mon.) till November 19 (Thu.), 2009. The workshop is organized by Teruyuki Yorioka (Shizuoka University). The program will feature minicourses by Sy Friedman and Ilijas Farah, as well as many other talks by participants from Japan and abroad.

  See the webpage http://www.ipc.shizuoka.ac.jp/~styorio/rims09/ for details. If you are interested in attending, please contact the organizers at styorioipc.shizuoka.ac.jp or brendlekurt.scitec.kobe-u.ac.jp.

• 10-11 November 2009, PhD Autumn School on Modal Logic, Copenhagen, Denmark
  Newsitem added on 5 October 2009.

  The goal of the Autumn School on Modal Logic is to prepare PhD students and other researchers for participation in the sixth workshop Methods for Modalities (M4M-6) which takes place November 12-14 2009 in Copenhagen. The workshop Methods for Modalities aims to bring together researchers interested in developing proof tools and decision methods based on modal logics. Here the term "modal logics" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc. The first M4M workshop took place in Amsterdam in 1999. Since then, M4M workshops have taken place in 2001 (Amsterdam), 2003 (Nancy), 2005 (Berlin), and 2007 (Paris).

  The Autumn School on Modal Logic is open to anyone interested. The intended participants will have a general background in theoretical computer science, but wish to obtain more concrete knowledge on modal logic and its computational aspects. Besides a working knowledge of English, prerequisites are a basic knowledge of logic and mathematics that is usually covered in undergraduate classes on discrete mathematics.

  The registration deadline for the Autumn school is Friday, October 23 2009. For more information, see http://hylocore.ruc.dk/m4m6school.html. See http://m4m.loria.fr/ for more information on the workshop series.

• 25 September 2009, Workshop "Focus on Discourse and Context-dependence"
  Speaker: Gabor Alberti, Maria Aloni, Jeroen Groenendijk, Andreas Haida, Kriszta Szendroi
  Date and time: Friday 25 September 2009, 10.00-17.30
  Location: PC Hoofthuis, room 625

  The workshop "Focus on Discourse and Context-dependence" will be held in Amsterdam, on Friday, 25 September, 2009. The aim of the workshop is to bring together researchers and discuss the mattersof focus, discourse and context from different perspectives form linguisticsto philosophy.

  For more information and abstracts, see http://staff.science.uva.nl/~kbalogh/workshop/.

• 24 September 2009, Workshop 'Recent Developments in Language Typology'
  Date and time: Thursday 24 September 2009, 13.00-17.00
  Location: Universiteitstheater, Nieuwe Doelenstraat 16-18, Amsterdam

  On the occasion of Eva van Lier's thesis defence, a small workshop on Recent developments in language typology is organized.

  For more information, see http://www.hum.uva.nl/aclc/object.cfm/4317883A-3102-4F8A-A31CBC1402EBC5E4/CD8FE4B4-1321-B0BE-68E29DE9FA8627EB

• 4-6 September 2009, Conditionals and Conditionalization, Leuven (Belgium)
  Newsitem added on 21 June 2009.

  While it strikes most as obvious that there exist close conceptual connections between conditionals and conditionalization, it is far less obvious what these connections precisely are. The aim of the workshop is to investigate these connections from an interdisciplinary perspective, drawing on recent work in philosophy and experimental psychology. The time is ripe for such an approach, given that both linguists and psychologists working on conditionals are increasingly turning to the probabilistic theories of conditionals that philosophers have been developing over the past forty years or so. On the other hand, various philosophical claims have been made about conditionals - in particular concerning their semantics and pragmatics - apparently on no other basis than the linguistic intuitions of the philosophers making these claims. It would be interesting, and from a methodological perspective desirable, to subject these claims to more rigorous testing, which is where experimental psychologists could help (and, to some extent, have already helped).

  Deadline for registrations: August 15th (no registration fee). For more information, see: http://formalphilosophy.org/node/333 or contact Richard Diets at richard.dietzhiw.kuleuven.be.

• 31 August - 4 September 2009, 11th European Agent Systems Summer School (EASSS-2009), Torino, Italy
  Newsitem added on 31 May 2009.

  EASSS is the annual European summer school for PhD and Master's students working in multiagent systems and related fields. Courses include "Game Theory and Mechanism Design", "Coalitional Games", "Negotiation and Auctions", "Fair Division", "Multiagent Planning", "Agents and Arguments", and "Normative Multiagent Systems". This year's edition is colocated with several international workshops (MALLOW-2009).

  For more information, see http://agents009.di.unito.it/EASSS.html.

• 29 August - 4 September 2009, INTERNATIONAL SCHOOL ON EMBODIED LANGUAGE GAMES AND CONSTRUCTION GRAMMAR, Cortona, Italy
  Costs: 690 or 850 euro (accommodation, full board, documentation and fee
  Newsitem added on 12 February 2009.

  Human natural languages are complex adaptive systems, forever emergent and adapting to the needs of their communities. This insight is currently revolutionizing many branches of linguistics and this summer school feels the pulse of these exciting developments. It brings together typologists and historical linguists studying language variation and the emergence of new grammatical structure, evolutionary linguists modeling the origins and evolution of language, cognitive linguists investigating the cognitive foundations of language usage and learning, complex systems researchers using methods from statistical physics to study the semiotic dynamics of evolving languages, and computational linguists and AI researchers carrying out experiments to achieve open-ended communication with autonomous robots.

  For more information, see http://www.alear.eu/events/cortona2009/Home.html.

• 17-21 August 2009, EMU 2009: Effective Mathematics of the Uncountable, New York, U.S.A.
  Newsitem added on 5 April 2009.

  Although classical computable model theory is most naturally concerned with countable domains, several methods---some old, some new---extend its basic concepts to uncountable structures. The purpose of this workshop is to study these various extensions of effectivity to the uncountable, bringing together experts in such topics as sigma-definable structures, alpha-recursion theory, E-recursion thoery, ordinal computability, Blum-Shub-Smale machines, infinite time Turing machines and locally computable structures, among others.

  This workshop is the second of its kind, after the inaugural EMU in 2008. In the 2009 workshop we plan to provide tutorial-type introductions to models of computation which were not discussed last year, as well as discuss progress made since last year. A particular theme we plan to focus on is the role of a computable well-ordering of the universe of a structure. We will contrast the approaches which allow such an ordering with those which forbid it. We expect this will have methodological repercussions for the study of effective model theory on countable structures as well.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2819 or http://nylogic.org/EMU, or contact Denis Hirschfeldt at drhmath.uchicago.edu.

• 20-31 July 2009, "Conditionals: Philosophical and Linguistic Issues" at CEU Summer University
  Location: Central European University, Budapest, Hungary
  Newsitem added on 16 November 2008.

  The aims of this summer school are 1) to teach and discuss recent philosophical and linguistic advances on our understanding of conditionals and 2) to promote discussions among the faculty and participants of issues involving conditionals from the perspectives of linguistics, philosophy of language, philosophical logic, cognitive psychology, and philosophy of science 3) to help establish a network of young researchers on issues in philosophy of language and philosophical logic.

  Application deadline: 16 February 2009. For more information about the course, see http://www.sun.ceu.hu/conditionals. CEU Summer University web page: http://www.sun.ceu.hu/. Please address your inquiries to summeruceu.hu.

• 13-16 July 2009, 16th International Medieval Congress (IMC 2009): Logic and Heresy in the Middle Ages, Leeds, England
  Newsitem added on 16 July 2008.

  In 2009, to commemorate the 800th anniversary of the launch of the Albigensian Crusade, the International Medieval Congress has the special thematic focus Heresy and Orthodoxy.

  For more information, see http://www.leeds.ac.uk/ims/imc/imc2009_call.html or contact S.L.Uckelmanuva.nl.

• 13-31 July 2009, UCLA Summer School in Logic for Undergraduates, Los Angeles CA (U.S.A.), July 2009, Los Angeles, USA.
  Newsitem added on 22 March 2009.

  The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.

  For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/

• 6-7 July 2009, FTP 2009 - International Workshop on First-Order Theorem Proving, Oslo, Norway
  Newsitem added on 19 April 2009.

  FTP 2009 is the seventh in a series of workshops intended to focus effort on First-Order Theorem Proving as a core theme of Automated Deduction, and to provide a forum for presentation of recent work and discussion of research in progress.

  The workshop welcomes original contributions on theorem proving in first-order classical, many-valued, modal and description logics, including (but not restricted to): resolution, tableau methods, equational reasoning, term-rewriting, model construction, constraint reasoning, unification, description logics, propositional logic, specialized decision procedures; strategies and complexity of theorem proving procedures; implementation techniques and applications of first-order theorem provers to verification, artificial intelligence, mathematics and education.

  For more information, see http://www.mpi-inf.mpg.de/~sofronie/ftp09/.

• 5-10 July 2009, 2nd European Set Theory Meeting, Bedlewo, Poland
  Newsitem added on 19 February 2009.

  This is an ESF Mathematics Conference in Partnership with EMS and ERCOM. Chair: Prof. Jouko Väänänen, University of Helsinki, FI/University of Amsterdam, NL. The conference will be in honor of Ronald Jensen's lifelong achievements in set theory.

  The conference focuses on three main topics. The first topic is inner model theory and large cardinals. The second direction is descriptive set theory, which studies properties of definable sets of reals, and more generally Polish spaces. Finally, combinatorial set theory deals with uncountable structures without any definability restrictions. As a fourth scientific topic of the conference, we can list applications of set theory to Banach spaces, measure theory, general topology, and other neighboring areas.

  We encourage all interested participants, especially young scientists, to submit abstracts of their work for the poster sessions. Closing date for application (as well as for abstract submission): 08 April 2009. Grants are available for young researchers to cover the conference fee and travel costs.

  For more information, see http://www.esf.org/conferences/09306 or contact Ms. Anne Guehl, Conference Officer (aguehlesf.org).

• 3-16 July 2009, Leeds Symposium on Proof Theory and Constructivism, Leeds, U.K.
  Newsitem added on 22 February 2009.

  A two week symposium on Proof Theory and Constructivism will be held in the Research Visitors' Centre of the School of Mathematics at Leeds, from 3rd July (arrival) to 16th July (departure) this year. It will comprise three connected events:

  4th & 5th July: An LMS-funded conference on Proofs and Computations. This meeting will be in honour of Stan Wainer on the occasion of his 65th birthday.
  5th & 6th July: A Gentzen Centenary Conference, celebrating 100 years since the birth of Gerhard Gentzen, the founder of structural proof theory.
  7th - 16th July: An EPSRC-funded Research Workshop on Proof Theory and Constructivism.

  For further information visit the web-site: http://www.personal.leeds.ac.uk/~matptw/ or contact the organisers at: matptwleeds.ac.uk

• 26 June 2009, Workshop on Proof Theory, Gent, Belgium
  Newsitem added on 18 June 2009.

  There will be a small workshop on proof theory on Friday 26th of June (next week). Everyone is cordially invited to attend the talks. If you are interested in giving a talk yourself, please do not hesitate to contact the organisers.

  Abstracts and more information can be found on http://cage.ugent.be/ptworkshop/, or contact Michiel De Smet at mmdesmetcage.ugent.be or Andreas Weiermann at weiermancage.ugent.be.

• 14-27 June 2009, ESI Workshop on Large Cardinals and Descriptive Set Theory, Vienna, Austria
  Newsitem added on 6 November 2008.

  Set theory has recently experienced major new developments concerning the construction of models for large cardinals, combinatorial set theory, descriptive set theory, generalisations of Martin's axiom, strong absoluteness and the theory of forcing.

  Particularly encouraging is the fact that many unusually talented young people have recently entered the subject, who have established remarkable results concerning the Proper Forcing Axiom and its variants, the Singular Cardinal Hypothesis, subtle properties of stationary sets, and important aspects of applied set theory, including topological dynamics, Borel equivalence relations and metric geometry.

  Our two-week workshop, which will be open to the set theory community at large, will focus around two principal themes: Large Cardinals and Descriptive Set Theory. The workshop is organized by the Erwin Schrödinger Institute (ESI) and financed by the ESI and Austrian Science Fund (FWF).

  For more information, see http://www.logic.univie.ac.at/conferences/2009_esi/

• 8-10 June 2009, Controlled Natural Languages (CNL 2009), Marettimo Island, Italy
  Newsitem added on 7 September 2008.

  Controlled natural languages (CNLs) are subsets of natural languages, obtained by restricting the grammar and vocabulary in order to reduce or eliminate ambiguity and complexity. This workshop is dedicated to discussing the similarities and differences of existing controlled natural languages of the second type (those that enable reliable automatic semantic analysis of the language), possible improvements to these languages, relations to other knowledge representation languages, tool support, existing and future applications, and further topics of interest.

  For more information, see http://attempto.ifi.uzh.ch/site/cnl2009/

• 8-26 June 2009, Carnegie Mellon Summer School in Logic and Formal Epistemology, Pittsburgh PA, U.S.A.
  Newsitem added on 8 February 2009.

  In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.

  The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.

  Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigadcmu.edu).

• 31 May - 6 June 2009, GAMES Spring School, Bertinoro (Italy)
  Newsitem added on 26 October 2008.

  A GAMES spring school will take place in the Centro Residenziale Universitario in Bertinoro (near Bologna), Italy, organised by the ESF Research Networking Programme Games for Design and Verification. The school is addressed to Ph.D. students and young researchers with a background in computer science or mathematics who are interested in the field of game theory and its applications to logic, verification and automata theory.

  The number of participants will be limited to 70. If you want to participate, please apply before February 28, 2009. For more information, see http://www.games.rwth-aachen.de/Activities/bertinoro.html

• 28-30 May 2009, Workshop "Preference Change", London, U.K.
  Newsitem added on 18 March 2009.

  Preference change is a phenomenon that everyone experiences in himself or herself. Such change can be gradual or radical, expected or surprising, caused by external experiences (such as encountering another culture) or by internal influences (such as aging), and so on. How should preference change be explained and modelled? This is a methodological question of tremendous importance, with repercussions in various areas such as dynamic decision theory, welfare economics, consumer theory, moral psychology, philosophy of mind, political science, and the study of deliberation. Yet the question is far from settled, and a science of preference change, if it exists at all at this point, is certainly in its infancy. To mention only one point of disagreement, standard rational choice models explain every preference change by an underlying belief change, whereas critics reject this reduction. The aim of this workshop is to bring together different researchers with interests in this area and to discuss fresh perspectives.

  For more information, see http://www.lse.ac.uk/collections/CPNSS/projects/ChoiceGroup/PreferenceChange.htm

• 25-26 May 2009, "Mathematical Logic in the Netherlands", Nijmegen, The Netherlands
  Newsitem added on 22 February 2009.

  This meeting is intended to be the first issue of a series of yearly meetings on Mathematical Logic (and related areas) in the Netherlands. Rather than a specialized conference, where advanced research results are reported, we aim to get to know each other better and, by understanding the various branches of logic represented in the Netherlands, strengthen our community.

  We have reserved a generous amount of time for expository talks, but also strongly encourage contributions by young researchers and Ph.D. students. In all, we hope to create an environment where we can share common interests and where we may fruitfully explore possibilities of collaboration in research, Ph.D. projects, and teaching.

  See also the web site of the symposium: http://www.math.ru.nl/~mgehrke/MLNL09/MLNL09-mainpage.htm. Please register with the local organization. If you'd like to speak, please send an e-mail to Bas Spitters: spitterscs.ru.nl.

• 21-24 May 2009, 7th Conference on Formal Concept Analysis (ICFCA 2009), Darmstadt, Germany
  Newsitem added on 28 August 2008.

  Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory to promote better communication between lattice theorists and potential users of lattice theory. Since then, Formal Concept Analysis has developed into a growing research field in its own right with a thriving theoretical community and an increasing number of applications in information and knowledge processing including visualization, data mining, analysis and knowledge management.

  The conference aims to unify theoretical and applied practitioners using Formal Concept Analysis drawing from the fields of Mathematics, Computer and Information Sciences, Software Engineering, as well as diverse application domains such as Linguistics or Life Sciences. Other aspects are welcome.

  For more information, see http://www.icfca2009.h-da.de/

• 11 May 2009, Conditional Logic - A One-Day Workshop at the University of Duesseldorf
  Date and time: Monday 11 May 2009, 10.00 - 18.00
  Location: Room 00.46A, Building 23.21, University of Duesseldorf
  Costs: Free

  In this workshop conditionals are analyzed from a logical, epistemological and psychological perspective. The focus lies on uncertain conditionals, their non-monotonic character and probabilistic reliability.

  For more information, see http://www.phil-fak.uni-duesseldorf.de/philo/personal/thphil/conditionals. If you plan to attend, please contact us at unterhuberphil-fak.uni-duesseldorf.de.

• 10-15 May 2009, AAMAS-09: Autonomous Agents and Multi-Agent Systems, Budapest, Hungary
  Newsitem added on 27 September 2008.

  AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging highly respected individual conferences ICMAS, ATAL and AA. The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. The main theme of AAMAS-09, based on feedback from previous conferences, will be reinforcing the rich panorama of *interconnections* in the field.

  Oct 10, 2008 EDT (GMT-4): electronic abstract submission deadline Oct 14, 2008 EDT (GMT-4): electronic paper submission deadline Dec 19, 2008: paper notification Feb 06, 2009: camera-ready copy submission deadline

  For more information, see http://www.conferences.hu/AAMAS2009/

• 23-24 April 2009, Symposium on Games, Argumentation and Logic Programming, Luxembourg
  Costs: Free
  Newsitem added on 8 February 2009.

  The symposium brings together leading researchers working at the interface of the three disciplines: game theory, logic programming, and argumentation theory. Inspired by Dung's seminal work "On the Acceptability of Arguments and its Fundamental Role in Non-monotonic Reasoning, Logic Programming and N-persons games" (Artificial Intelligence, 1995), it aims at fostering the interaction between these active but historically autonomous subareas of nonmonotonic and practical reasoning.

  The symposium is organized by the Individual and Collective Reasoning Group of the University of Luxembourg. Registration is free but required. More info: http://eqas.gforge.uni.lu/Galp/galp.html

• 14-18 April 2009, 2nd Young Set Theory Workshop, Bellaterra, Spain
  Newsitem added on 21 September 2008.

  The aim of this conference is to bring together PhD students and postdocs in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a co-operative environment. Four senior set theorists have been invited to represent a branch of Set Theory and give morning tutorials about their work. The afternoons will be devoted to small group discussion sessions.

  The deadline for registration is 28th February 2009. For more information, see http://wwwmath.uni-muenster.de/logik/YS09/

• 8 April 2009, Annual CSCA symposium 2009
  Date and time: Wednesday 8 April 2009, 15.00-17.00

  This symposium marks the start of a new initiative to boost Cognitive Science research at the University of Amsterdam. Following the designation of Cognition as a key research area of the UvA, a small committee of researchers from the CSCA was asked to draw up a proposal to promote collaborative research between groups of different institutes. One of the key elements of the proposal is the establishment of a new institute where researchers from different disciplines will work together on a programme to resolve questions regarding the mechanisms underlying human (and animal) cognition. The new institute will be located near the Spinoza Center for Neuroimaging.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2780 or contact the organisers at info-mcsuva.nl

• 6-7 April 2009, Symposium on AI and Games (AISB 2009), Edinburgh, Scotland
  Newsitem added on 19 October 2008.

  The AISB convention is an annual event organised as a number of collocated symposia loosely organised around a theme, and interspersed with invited plenary talks and poster sessions. This symposium focuses on the application of artificial intelligence or intelligent-like techniques, frameworks and theories to the creation of interactive engaging intelligent games.

  For more information, see http://www.aisb.org.uk/convention/aisb09/

• 3-5 April 2009, Conference on "Foundations of Mathematics", New York NY, U.S.A.
  Newsitem added on 28 August 2008.

  The philosophy department at New York University will be hosting a conference on the Foundations of Mathematics, in April of 2009. The conference will explore methodological issues surrounding the adoption of new axioms, as well as semantic and metaphysical issues surrounding mathematical truth.

  Attendance is open, and there is no registration fee. However, anyone planning to attend must register by emailing shievakhotmail.com no later than February 31st, 2009. The conference website can be found here: http://homepages.nyu.edu/~sjk362/NYU_Conference.html

• 30 March - 3 April 2009, 10th Midlands Graduate School in the Foundations of Computing Science (MGS 2009), Leicester, U.K.
  Newsitem added on 21 December 2008.

  The MGS is an intensive course of lectures on the Foundations of Computing. It is very well established, with this being our 10th anniversary, and has always proved a very popular and successful event. This year we have Professor Peter Dybjer, Chalmers, Sweden, as guest lecturer.

  The lectures are aimed at graduate students, typically in their first or second year of study for a PhD. However, the school is open to anyone who is interested in learning more about mathematical computing foundations. We very much welcome international applications as well as from those from the UK.

  For further details and registration visit http://www.cs.le.ac.uk/events/mgs2009. All registrations must be received by 2pm on 30th January 2009.

• 20 March 2009, NVTI Theory Day, Hoog Brabant, Utrecht (close to Central Station)
  Date and time: Friday 20 March 2009, 9:30-17:00

  NVTI is the "Nederlandse Vereniging voor Theoretische Informatica". One of the main activities of the NVTI is the organization of the yearly Theory Day. This year, as usual, there is an interesting program with excellent speakers, both domestic and foreign, covering the wide spectrum of theoretical computer science from algorithmics to logic.

  The speakers will be:
  *E. Allen Emerson (U Texas, Austin)
  *Barbara Terhal (IBM Watson, NY)
  *Frank de Boer (CWI, U Leiden)
  *Paul Vitanyi (CWI, U v Amsterdam)

  Attendance is free. Registration deadline for the organized lunch (at € 15,-) is March 13, 2009. For more information, see http://www.nvti.nl/

• 6-9 March 2009, 2nd Conference on Artificial General Intelligence, Arlington VA, U.S.A.
  Newsitem added on 26 October 2008.

  Continuing the mission of the highly successful first AGI conference (AGI-08), AGI-09 will gather an international group of leading academic and industry researchers involved in serious scientific and engineering work aimed directly toward the goal of artificial general intelligence.

  This is the only major conference series devoted wholly and specifically to the creation of AI systems possessing general intelligence at the human level and ultimately beyond. By gathering together active researchers in the field, for presentation of results and discussion of ideas, we accelerate our progress toward our common goal.

  For more information, see http://www.agi-09.org/

• 26-28 February 2009, STACS 2009: Symposium on Theoretical Aspects of Computer Science, Freiburg, Germany
  Newsitem added on 3 July 2008.

  The STACS conference Symposium on Theoretical Aspects of Computer Science takes place each year since 1984, alternately in Germany and France. STACS 2009 will be held in the city of Freiburg (located in the Southern Black Forest) on February 26-28, 2009.

  For more information, see http://stacs2009.informatik.uni-freiburg.de/

• 19-20 February 2009, Colloquium "PhDs in Logic", Ghent, Belgium
  Newsitem added on 31 October 2008.

  The aim of the colloquium is to bring together young researchers in the field of logic. During these two days there will be 6 tutorials in total, 3 about mathematical and 3 about philosophical logic. In addition, PhD students and postdocs in mathematical or philosophical logic are invited to give a presentation. In combination with the planned social activity this will hopefully lead to a better overview of the current research in logic and even joint work.

  For more information, see http://www.phdsinlogic.ugent.be/ or contact phdsinlogicugent.be.

• 19-20 February 2009, PhD's in Logic, Ghent
  Costs: 30 Euro
  Newsitem added on 6 November 2008.

  The aim of the colloquium is to bring together young researchers in the field of logic. During these two days there will be 6 tutorials in total, 3 about mathematical and 3 about philosophical logic. In addition, PhD students and postdocs in mathematical or philosophical logic are invited to give a presentation. Of course, everyone is kindly invited to attend the tutorials and contributed talks!

  For more information, see http://www.phdsinlogic.ugent.be/.

• 18-20 February 2009, WALCOM 2009: Workshop on Algorithms and Computation, Kolkata (India)
  Newsitem added on 26 June 2008.

  The third International Workshop on Algorithms and Computation (WALCOM 2009) will take place in Kolkata, India, during February 18-20, 2009. The workshop is intended to provide a forum for researchers working in algorithms and theory of computation.

  WALCOM 2009 will be preceded by the Second National Workshop on Nano-Science and Bio-chips (February 16-17, 2009), whose theme is "Combinatorial and Algorithmic aspects of Bio-chips"

  Conference web site: http://www.isical.ac.in/~walcom.

• 8 February 2009, Common Sense and Intelligent User Interfaces 2009: Story Understanding and Generation for Context-Aware Interface Design, Sanibel Island, Florida
  Newsitem added on 2 October 2008.

  Capturing common sense knowledge often involves uncovering the implicit, unstated assumptions behind communication, often best expressed through stories. Work in story representations dates back to Schank-style scripts and other efforts in the 80s, but recent developments have unleashed new potential in this area. The maturity of common sense knowledge bases such as Cyc, Open Mind and ThoughtTreasure; statistical and corpora-based natural language understanding techniques; the explosion of participatory knowledge collection over the Web; progress in cognitive science; the popularity of Web-based storytelling media such as blogs; and new common sense reasoning techniques are all enablers of the new generation of work on common sense stories.

  We are accepting both papers and demos to our workshop. Submission deadline is November 20th. For more information, see http://csc.media.mit.edu/iuiStories/.

• 26 January - 6 February 2009, Summer Schools in Logic and Learning, Canberra, Australia
  Newsitem added on 11 September 2008.

  One of the grand challenges in science and engineering is to build computer systems that are trustworthy and intelligent. While achieving this goal could be many decades away, computer systems are clearly getting smarter and more reliable year by year and human society is becoming more reliant on exploiting their increasing intelligence. Logic and machine learning are two indispensable parts of the efforts to meet this challenge. The Summer Schools in Logic and Learning bring together two annual summer schools in the area of logic and machine learning: the Logic Summer School and the Machine Learning Summer School.

  The Logic courses will consist of short courses on aspects of pure and applied logic. The Machine Learning courses will consist of short courses on the theory and practice of machine learning, which combine deep theory from areas as diverse as Statistics, Mathematics, Engineering, and Information Technology with many practical and relevant real life applications. The courses will be taught by experts from Australia and overseas. The summer schools this year will also include a special track on Artificial Intelligence (AI), which will feature courses on aspects of both logic and machine learning. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.

  Deadline for early registration: 19 December 2008. For more information, an online registration form and a preliminary program, see http://ssll.cecs.anu.edu.au/

• 26 January - 6 February 2009, Summer Schools in Logic and Learning 2009, The Australian National University, Australia
  Newsitem added on 16 November 2008.

  One of the grand challenges in science and engineering is to build computer systems that are trustworthy and intelligent. While achieving this goal could be many decades away, computer systems are clearly getting smarter and more reliable year by year and human society is becoming more reliant on exploiting their increasing intelligence. Logic and machine learning are two indispensable parts of the efforts to meet this challenge.

  Join us for a new summer school experience where you have a unique two week opportunity to combine the solid foundations of logic and machine learning, with an introductory track in artificial intelligence. Courses are taught by some of the world's leading computer scientists and blend practical and theoretical short courses with lectures and demonstrations in state-of-the-art computer facilities at ANU.

  Details (including Fees and Registration, and Accommodation) are available from the website at http://ssll.cecs.anu.edu.au/.

• 23 January 2009, Workshop "Explanation, Indispensability of Mathematics, and Scientific Realism", Leeds, U.K.
  Newsitem added on 21 December 2008.

  This is a workshop on current perspectives on the indispensability argument for mathematical platonism. Many scientic realists are willing to commit to various esoteric unobservable features of the world, but at the same time they treat mathematical platonism with great suspicion. According to the indispensability argument such preference for concrete theoretical posits is unjustified, because mathematics plays an indispensable role in scientific theorising.

  The present state of debate turns on an attempt at a more precise characterisation of mathematics's role in our best science. In particular, it has been argued that the explanatory function of mathematics is decisive here, given the realist's reliance on inference to the best explanation in defending realism about unobservable concreta. If mathematical entities can play a bona fide explanatory role in science, then arguably commitment to those entities follows by inference to the best explanation.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2675 or contact Juha Saatsi at J.T.Saatsileeds.ac.uk.

• 22 January 2009, Computational Linguistics in The Netherlands (CLIN), Groningen
  Newsitem added on 16 May 2008.

  CLIN 19 is the Nineteenth Meeting of Computational Linguistics in The Netherlands (Deadline for abstract submission: Monday 17 November 2008). The meeting will take place in Groningen, The Netherlands. It will be held on Thursday 22 January 2009 in conjunction with the Treebanks and Linguistic Theory (TLT) conference.

  For more information, see http://www.let.rug.nl/clin/

• 22-23 January 2009, 3rd Bi-Annual Conference of the Dutch-Flemish Association for Analytic Philosophy (VAF 2009), Tilburg, The Netherlands
  Newsitem added on 17 August 2008.

  Analytic philosophy has a prominent place in Dutch and Flemish philosophy departments. In order to promote analytic philosophy in the Dutch and Flemish communities, the Vereniging voor Analytische Filosofie (VAF) was founded in 2006. The third bi-annual organised event of the VAF will be a two-day conference on recent trends in philosophy of language.

  For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/VAF2009/

• 17-18 January 2009, CfP Second Cambridge Graduate Conference on the Philosophy of Logic and Mathematics, Cambridge, U.K.
  Newsitem added on 11 September 2008.

  The Philosophy Faculty of Cambridge University is pleased to announce its second graduate conference on the Philosophy of Logic and Mathematics. The conference will be held in The Fisher Building of St. John's College, Cambridge (CB2 1TP). Keynote speakers are Prof. Hannes Leitgeb (Bristol) and Prof. Timothy Williamson (Oxford).

  For more information, see http://www.phil.cam.ac.uk/news_events/camgradphilconf.html or contact the conference organizers, Luca Incurvati & Florian Steinberger, at cam.phil.grad.confgooglemail.com.

• 7-11 January 2009, 3rd Indian Conference on Logic and its Application, Chennai (India)
  Newsitem added on 8 May 2008.

  ALI, the Association for Logic in India, announces the next edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Institute of Mathematical Sciences, Chennai, from January 7 to 11, 2009.

  ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.

  The earlier events in this series featured many eminent logicians as invited speakers, as will be the case this year as well. See http://ali.cmi.ac.in/icla2009/ for updates on this conference as well as links to information on past events.

• 7-8 January 2009, Workshop on Logic and Social Interaction, Institute of Mathematical Sciences, Chennai, India
  Newsitem added on 12 October 2008.

  The Association for Logic in India (ALI) announces a pre-conference workshop on logic and social interaction to be held during January 7-8, 2009, in the Institute of Mathematical Sciences, Chennai prior to the 3rd Indian Conference on Logic and its applications (ICLA 2009).

  For more information, see http://ali.cmi.ac.in/icla2009/social.html

• 3-6 January 2009, LFCS 2009: Logical Foundations of Computer Science, Deerfield Beach FL (U.S.A.)
  Newsitem added on 26 June 2008.

  The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989 and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode.

  For more information, see http://ww.lfcs.info/.

   MoL and PhD defenses

• 15 December 2009, PhD defense, Tikitu de Jager
  Title: "Now that you mention it, I wonder...": Awareness, Attention, Assumption
  Date and time: Tuesday 15 December 2009, 12:00
  Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
  Promotor: Remko Scha
  Copromotor: Robert van Rooij

  Note that Michael Franke's defence is the same day, at 10am, also in the Agnietenkapel.

• 15 December 2009, PhD defense, Michael Franke
  Title: Signal to Act: Game Theory in Pragmatics
  Date and time: Tuesday 15 December 2009, 10:00
  Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
  Promotor: Martin Stokhof
  Copromotor: Robert van Rooij

  Note that Tikitu de Jager will also defend at 12.00 the same day, also in the Agnietenkapel.

• 14 December 2009, Master of Logic defense, Salvador Mascarenhas
  Title: Inquisitive Semantics and Logic
  Date and time: Monday 14 December 2009, 14.00 hrs
  Location: Room A1.06, Science Park 904, Amsterdam
  Supervisor: Jeroen Groenendijk en Dick de Jongh

• 11 December 2009, PhD Defense, Joel Uckelman
  Title: More Than the Sum of Its Parts: Compact Preference Representations Over Combinatorial Domains
  Date and time: Friday 11 December 2009, 10:00 a.m.
  Location: Agnietenkapel
  Promotor: Prof. Dr. K. Apt
  Copromotor: Dr. U. Endriss

• 30 November 2009, Master of Logic defense, Sam van Gool
  Title: Methods of Canonicity
  Date and time: Monday 30 November 2009, 15.30
  Location: Room C3.158, Science Park 904, Amsterdam
  Supervisor: Alessandra Palmigiano

  If you want to visit this defense and you do not own a UvAcard, please tell the receptionist of the Science Park building that you are there to attend the defense of Sam van Gool at 15.30 in room C3.158. That way you should get a visitors card to enter the elevators.

• 17 November 2009, Master of Logic defense, Karel van Oudheusden
  Title: The Advent of Recursion & Logic in Computer Science.
  Date and time: Tuesday 17 November 2009, 11.00 am
  Location: Room A1.08 Science Park 904, Amsterdam
  Supervisor: Gerard Alberts

• 29 October 2009, Master of Logic defense, Lisa Fulford
  Title: A Study of Canonicity for Bi-Imlicative Algebras
  Date and time: Thursday 29 October 2009, 16.00 hrs
  Location: Room A1.04, Science Park 904, Amsterdam
  Supervisor: Alessandra Palmigiano

• 27 October 2009, PhD defense, Olivia Ladinig
  Title: Temporal expectations and their violations
  Date and time: Tuesday 27 October 2009, 10.00
  Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
  Promotor: Prof. Dr. R.J.H. Scha
  Copromotor: Dr. H.J. Honing

  For more information, see http://www.illc.uva.nl/Publications/Dissertations/DS-2009-09.abstract.txt

• 9 October 2009, Master of Logic defense, Olga Grigoriadou
  Title: A Momentary Lapse Of Reason: Comparing Davidson's account of rationality and reasoning to that of van Lambalgen & Stenning.
  Date and time: Friday 9 October 2009, 12.00
  Location: Room 0.01A, Nieuwe Doelenstraat 15, Amsterdam
  Supervisors: Martin Stokhof and Michiel van Lambalgen

• 25 September 2009, Master of Logic defense, Floor Sietsma
  Title: A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic Transition Systems
  Date and time: Friday 25 September 2009, 11.00
  Location: Room A1.14, Science Park 904, Amsterdam
  Supervisor: Inge Bethke

• 24 September 2009, PhD defense, Kata Balogh
  Title: Theme with Variations. A Context based Analysis of Focus.
  Date and time: Thursday 24 September 2009, 10.00
  Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
  Promotor: Prof. Dr. J.A.G. Groenendijk

  For more information, see http://www.illc.uva.nl/Publications/Dissertations/DS-2009-07.abstract.txt

• 23 September 2009, PhD defense, Chantal Bax
  Title: Subjectivity after Wittgenstein
  Date and time: Wednesday 23 September 2009, 10.00
  Location: Aula van de UvA, Singel 411, Amsterdam
  Promotor: Prof. Dr. M.J.B. Stokhof

  For more information, see http://home.medewerker.uva.nl/c.bax/index.html

• 3 September 2009, PhD defense, Andreas Witzel
  Title: Knowledge and Games: Theory and Implementation
  Date and time: Thursday 3 September 2009, 12:00
  Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
  Promotor: Prof.Dr. Krzysztof R. Apt

  For more information, see http://www.andreaswitzel.de/.

• 3 September 2009, Master of Logic defense, Ivano Ciardelli
  Title: Inquisitive Semantics and Intermediate Logics
  Date and time: Thursday 3 September 2009, 15.30
  Location: Room A 114, Science Park 904, Amsterdam
  Supervisors: Jeroen Groenendijk, Dick de Jongh and Floris Roelofsen

• 1 September 2009, PhD defense, Sara L. Uckelman
  Title: Modalities in Medieval Logic
  Date and time: Tuesday 1 September 2009, 12:00
  Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
  Promotor: Prof.Dr. Benedikt Loewe

  For more information, contact Sara Uckelman at S.L.Uckelmanuva.nl

• 31 August 2009, Master of Logic defense, Maria Spychalska
  Title: Scalar Implicatures and Existential Import: Experimental Study on Quantifiers in Natural Language
  Date and time: Monday 31 August 2009, 14.00
  Location: Room A 104, Science Park 904, Amsterdam
  Supervisor: Michiel van Lambalgen

• 28 August 2009, Master of Logic defense, Daniele Chiffi
  Title: Analysis of Knowledge, Assertion, Verification
  Date and time: Friday 28 August 2009, 15.00
  Location: Room A 114, Science Park 904, Amsterdam
  Supervisor: Martin Stokhof

• 28 august 2009, Master of Logic defense, Maarten Versteegh
  Title: Modelling Language Change with DOP
  Date and time: Friday 28 august 2009, 11.00 am
  Location: Room A1.08, Science Park 904, Amsterdam
  Supervisor: Jelle Zuidema

• 26 August 2009, Master of Logic defense, Nikki Hausen
  Title: Wittgenstein's Investigation and Damasio's Explanations: A Comparative Study of Emotion
  Date and time: Wednesday 26 August 2009, 13.00
  Location: Oudezijds Achterburgwal 233-237, Amsterdam, room BG5 2.05
  Supervisor: Martin Stokhof

• 24 August 2009, Master of Logic defense, Wouter Beek
  Title: Truth-Theoretic Contextualism
  Date and time: Monday 24 August 2009, 13.00 hrs
  Location: Oudezijds Achterburgwal 233-237, Amsterdam, room BG5 2.05
  Supervisor: Martin Stokhof

• 20 August 2009, Master of Logic defense, Pablo Cubides Kovacsics
  Title: Decomposition Theorem for Abstract Elementary Classes
  Date and time: Thursday 20 August 2009, 14.30 hrs
  Location: Oudezijds Achterburgwal 233-237, Amsterdam, room BG5 2.05
  Supervisor: Jouko Väänänen

• 2 July 2009, Master of Logic defense, Inés Crespo
  Title: Normativity and interaction: from ethics to semantics
  Date and time: Thursday 2 July 2009, 11.00
  Location: Room BG5 2.05, Oudezijds Achterburgwal 233-237, Amsterdam
  Supervisor: Martin Stokhof

• 1 July 2009, PhD defense, Hartmut Fitz
  Title: Neural Syntax
  Date and time: Wednesday 1 July 2009, 10.00
  Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
  Promotor: Prof. Dr. M. van Lambalgen

• 9 June 2009, Master of Logic defense, Chris Brumwell
  Title: A Dynamic Analysis of Epistemic Possibility
  Date and time: Tuesday 9 June 2009, 13.00 hrs
  Location: Room A1.08, Science Park 904, Amsterdam
  Supervisors: Paul Dekker and Jeroen Groenendijk

• 26 May 2009, PhD defense, Brian Semmes
  Title: A Game for the Borel Functions
  Date and time: Tuesday 26 May 2009, 12:00
  Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
  Promotor: Prof.dr Dick de Jongh
  Copromotor: Prof. dr. Benedikt Loewe

• 23 April 2009, Master of Logic defense, Petros Stamatis
  Title: Going for a walk on a Fine Summer's Day While a Sea-battle is Taking Place, or, Concerning Future Contingents and Intentional Action
  Date and time: Thursday 23 April 2009, 13.30 (changed)
  Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
  Supervisor: Martin Stokhof

• 21 April 2009, Master of Logic defense, Daan Dirk de Jonge
  Title: Autistic Number Learning
  Date and time: Tuesday 21 April 2009, 15.00
  Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
  Supervisor: Michiel van Lambalgen

• 6 March 2009, PhD defense, Jakub Szymanik
  Title: Quantifiers in TIME and SPACE
  Date and time: Friday 6 March 2009, 14.00
  Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
  Promotores: Johan van Benthem and Marcin Mostowski
  Copromotor: Theo Janssen

   Projects and Awards

• Free Competition NWO: Khalil Sima'an granted a project proposal
  Newsitem added on 6 December 2009.

  Khalil Sima'an has been granted a project proposal in the 2009 second round of the NWO Free Competition of the Board for Exact Sciences (NWO-EW Vrije Competitie). The project title is "Machine Translation when Exact Pattern Match Fails" and covers a PhD position.

  With the Free Competition, NWO stimulates high-risk innovative research, and offers opportunities for researchers to develop pioneering ideas. In general, Free Competition entails the possibility to submit original and innovative research proposals without programmatic or thematic restrictions.

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

• VENI award for Erik Rietveld
  Newsitem added on 19 November 2009.

  Erik Rietveld, former PhD student of the ILLC, is awarded a VENI grant by NWO for his project Unreflective action in everyday life. Erik was awarded a Rubicon grant earlier to work as a postdoc at Harvard University.

  For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOA_7XFCMN#M

• INFTY: New Frontiers of Infinity. Mathematical, Philosophical and Computational Prospects.
  Newsitem added on 18 March 2009.

  At the ESF headquarters in Strasbourg, the new Research Networking Programme INFTY: "New Frontiers of Infinity" was launched on 16 March 2009. This programme covers set theory and its interdisciplinary applications (for instance, philosophical questions about the foundations of mathematics, constructive set theory, applications in computability theory and computer science) and will be run by currently nine partner countries for the coming five years (until March 2014). The programme will be funding conferences, workshops, schools, and in particular bilateral research visits between partner countries.

  The ILLC is represented by Jouko Väänänen in the executive group of the network. Benedikt Löwe is the Dutch representative on the Steering Committee.

• Johan van Benthem has been endowed with The Henry Waldgrave Stuart Professorship in Philosophy at Stanford University
  Newsitem added on 18 December 2008.

  Endowed professorships are living memorials to the donor's belief in intellectual values and social responsibility as well as the chairholder's commitment to increasing knowledge and understanding. The donor, the person in whose honor the donor may choose to name the chair, each successive holder, and the university all share in the prestige that surrounds each endowment. At Stanford, the roster of endowed chairholders stands as an honor roll of the university's most distinguished faculty members. The list of donors is an honor roll of Stanford's most far-sighted and generous friends - friends who have made enduring contributions to the university's excellence and independence.

  For more information, see http://professorships.stanford.edu/get/layout/pbooks/has4

• Johan van Benthem has been awarded with the Weilun visiting professorship of Humanities at Tsinghua University
  Newsitem added on 18 December 2008.

  Johan van Benthem was awarded the Weilun Visiting Professorship of Humanities at Tsinghua University in October. An honorary title presented to him by the Vice-President of the University.

  For more information, please contact P.vanOrmondtuva.nl

• Lorenz Demey winner of ANTW-Selexyz Essay price
  Newsitem added on 14 December 2008.

  Lorenz Demey, one of our MSc Logic student, has won the ANTW-Selexyz Essay prize for his essay titled: "Een geunificeerde theorie van bepaalde en onbepaalde beschrijvingen" (In Dutch only, I'm afraid).

  The ANTW is the Algemeen Nederlands Tijdschrift voor Wijsbegeerte, or the General Dutch Journal for Philosophy.

  We congratulate Lorenz with his award.

  For more information, please contact T.Kassenaaruva.nl

• Katrin Schultz wins LOT publieksprijs
  Newsitem added on 20 November 2008.

  Katrin Schulz has won the LOT publieksprijs for her dissertation ``Minimal Models in Semantics and Pragmatics. Free Choice, Exhaustivity and Conditionals''. The price was handed out at the Taalgala 2008, held on November 14 in Utrecht.

  Voor meer informatie, zie http://wwwlot.let.uu.nl/News&Events/Events/Taalgala%202008/Taalgala%202008.html

• The Women in FNWI network announces best publication award 2008
  Newsitem added on 21 December 2008.

  In 2007, female scientists in the UvA Science Faculty have initiated a Women in FNWI (WiF) Network. The main objectives of this network are to serve as a platform for women in the FNWI to regularly meet each other in an informal setting, and to identify realistic ways to increase the proportion of female academic staff within the FNWI over the next decade.

  For more information, see k.h.hairuva.nl

  Or see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2679.

   Funding, Grants and Competitions

• New EG-Liason/SenterNovem Newsletters 'R&D in Europa'
  Newsitem added on 26 November 2009.

  The october and november editions of the EGL newsletter "R&D in Europa" (dutch only) are available from the SenterNovem website, at http://www.senternovem.nl/egl/nieuwsbrief/.

• Grant Update 2-12 available
  Newsitem added on 26 November 2009.

  Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

  The 12th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-12.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

• Grant Update 2-11 available
  Newsitem added on 5 November 2009.

  Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

  The 11th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-11.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

• Call for Proposals KNAW Academy Colloquia
  Newsitem added on 6 December 2009.

  The Royal Netherlands Academy of Arts and Sciences offers financial and logistical support in organising a maximum of six top-flight research colloquia a year, each one attended by no more than fifty participants.

  Deadline: 1 March 2010.

  For more information, see http://www.knaw.nl/cfdata/funding/funding_detail.cfm?orgid=1

• Call for Proposals for the Second Edition of the Science and Technology Fellowship Programme China (STF2 China)
  Newsitem added on 19 November 2009.

  The Call for Proposals for the 2nd intake of the Science and Technology Fellowship Programme (STF2 China) is open now. The STF Programme offers 2-year fellowship to EU researchers in China. The programme is open to all academic and scientific disciplines.

  The deadline for submission of proposals is 04 January 2010 at 16:00 Beijing Time. For more information, see http://www.euchinastf.eu/.

• Grant Update 2-10 available
  Newsitem added on 5 October 2009.

  Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

  The 10th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-10.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

• Hong Kong PhD Fellowship Scheme
  Newsitem added on 1 November 2009.

  Established in 2009 by the Hong Kong Research Grants Council (RGC), the Hong Kong PhD Fellowship Scheme aims to attract the outstanding students in the world to pursue their PhD degree programmes in Hong Kong's institutions. The Fellowship provides a monthly stipend of HK$20,000 (approx. US$2,600) and a conference and research-related travel allowance of HK$10,000 (approx. US$1,300) per year for a period of three years. 135 PhD Fellowships will be awarded for the 2010/11 academic year. Applications related to dialogue systems or corpus/computational linguistics research are welcome.

  Application deadline: 1 December 2009. For further details, see http://www.rgc.edu.hk/hkphd or contact Raquel Fernandez at raquel.fernandezuva.nl.

• Call for Research Group proposals at the ZiF in Bielefeld (Germany)
  Newsitem added on 10 September 2009.

  The Center for Interdisciplinary Research of Bielefeld University intends to establish a new research group in the academic year 2011/2012. Research Groups are the ZiF's primary format to support long-term interdisciplinary collaboration. The fellows of the research group reside at the ZiF and work together on a broader research theme. Support by the ZiF comprises financial assistance (for a research group up to € 500.000) as well as providing its infrastructure, i. e. accommodation, workspaces, conference facilities.

  Applications for a ZiF research group may be submitted by any scientist or scholar from Germany or abroad. In the initial phase, a draft proposal for a research group (up to 5 pages) is required. Draft proposals should be received by the Managing Director of the ZiF Professor Dr. Jörg Bergmann by October 31, 2009 at the latest. For further information, see http://www.uni-bielefeld.de/ZIF/ or Dr. Britta Padberg at britta.padberguni-bielefeld.de.

• Artificial Intelligence Journal: Funding Opportunities for Promoting AI Research
  Newsitem added on 29 October 2009.

  Using funds from the royalties it receives, the AI Journal is pleased to announce a new opportunity for the AI community to benefit from these with the aim of promoting AI Research.

  In providing this funding (in the order of US$250k p.a.), AIJ aims to:
  - promote and raise awareness of AI research and practice;
  - encourage the timely and widespread dissemination of AI research results, techniques, and tools;
  - promote interaction and exchange of ideas between AI researchers, practitioners, and students;
  - promote the exploitation of AI research results, techniques, and tools.

  For further details, including the application procedure, see http://www.aijd.org/. Direct link: http://www.ida.liu.se/ext/aijd/funding-final.pdf

• Grant Update 2-9 available
  Newsitem added on 20 September 2009.

  Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

  The 9th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-09.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

• NWO Mosaic Grants
  Newsitem added on 18 October 2009.

  Ethnic minorities are currently under-represented in Dutch academic research. The Netherlands Organisation for Scientific Research (NWO) and the Ministry of Education, Culture and Science are keen to promote diversity and are concerned about the present loss of talent to the academic world.

  The closing date for submitting concise idea is 14 January 2010. For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOP_5RNBJK_Eng?open&no

• The KNAW Conference subsidy
  Newsitem added on 1 October 2009.

  The KNAW Conference subsidy fund is there to promote the organisation of international scientific conferences in the Netherlands. There are three application deadlines every year. The next upcoming deadline is 01-01-2010.

  For more information, see http://www.knaw.nl/cfdata/subsidies/subsidie_detail.cfm?orgid=2 , or contact Rachel.Basaurbureau.knaw.nl

• Call for Workshop proposals Lorentz Center
  Newsitem added on 1 October 2009.

  The Lorentz Center of the University of Leiden calls for proposals of workshops. Workshop proposals are submitted for review by the scientific program boards three times per year: 15 January, 15 May, and September 15.

  For more information, see http://www.lorentzcenter.nl/proposals.php

• Call for proposals for Marie Curie Initial Training Networks launched
  Newsitem added on 1 October 2009.

  The European Commission's Directorate-General for Research is calling for proposals for Marie Curie Initial Training Networks (ITNs). In support of training and career development for researchers, the action addresses joint research training networks in the form of either multi- or mono-partner ITNs. Multi-partner ITNs require at least three participants from three different Member States or Associated Countries. Mono-partner ITNs, on the other hand, are composed of just one single participant in a Member State or Associated Country and a network of associated partners.

  The indicative budget of this call for proposals amounts to EUR 243.79 million. Submission deadline for proposals: 22 December 2009. For more information, see http://cordis.europa.eu/fp7/dc/index.cfm?fuseaction=UserSite.FP7DetailsCallPage&call_id=247

• Association for Symbolic Logic: Call for Nominations for Sacks prize
  Newsitem added on 15 January 2009.

  The Association for Symbolic Logic is seeking nominations for the Sacks Prize. The Sacks Prize is awarded for the most outstanding doctoral dissertation in mathematical logic; it was established to honor Professor Gerald Sacks of MIT and Harvard for his unique contribution to mathematical logic, particularly as adviser to a large number of excellent Ph.D. students. The Prize became an ASL Prize in 1999; the Fund on which the Prize is based is now administered by the ASL and the selection of the recipient is made by the ASL Committee on Prizes and Awards. The Sacks Prize consists of a cash award plus five years free membership in the ASL.

  This is an international prize, with no restriction on the nationality of the candidate or the university where the doctorate is granted.

  Deadline for nominations: 30 september 2009. For more information, see http://www.aslonline.org/Sacks_nominations.html

• Lorentz Fellowships
  Newsitem added on 1 October 2009.

  The Lorentz Fellowship program is a joint venture between the Netherlands Institute for Advanced Study in the Social Sciences and Humanities in Wassenaar (NIAS) and the Lorentz Center in Leiden. The programme was (formally) launched in 2006 to promote interdisciplinary research that bridges the gap between the humanities and/or the social sciences on the one hand and the natural sciences on the other; Lorentz Fellowships are awarded by NIAS to scholars whose research reaches across this boundary. Project proposals are welcomed that approach research topics from an inherently interdisciplinary viewpoint.

  For more information, see http://www.lorentzcenter.nl/fellowships.php

• Grant Update 2-8 available
  Newsitem added on 17 August 2009.

  Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

  The 8th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-08.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

• Imperial College London Junior Research Fellowships
  Newsitem added on 17 September 2009.

  Applications are open for Imperial's second round of Junior Research Fellowships, to give the world's top early-career researchers freedom to focus on research, by providing a competitive salary and laboratory support costs; there will be no teaching or administrative duties associated with the appointments.

  Deadline for applications October 30th 2009. For more information, see http://www3.imperial.ac.uk/juniorresearchfellowships

• Sigurur Nordal Institute Fellowships
  Newsitem added on 17 September 2009.

  Annually The Árni Magnússon Institute for Icelandic Studies invites applications for the Snorri Sturluson Icelandic Fellowships. The Snorri Sturluson Fellowships are granted to writers, translators and scholars (not to university students) in the field of humanities, from outside Iceland, to enable them to stay in Iceland for a period of at least three months, in order to improve their knowledge of the Icelandic language, culture and society.

  Applications should be sent by ordinary mail (no e-mail application) no later than 31 October. For more information, see http://www.arnastofnun.is/page/a_inter_snorri_sturluson_fellowships

• New EG-Liason/SenterNovem Newsletter 'R&D in Europa'
  Newsitem added on 7 June 2009.

  The february and april editions of the EGL newsletter "R&D in Europa" (dutch only) are available from the SenterNovem website, at http://www.senternovem.nl/egl/nieuwsbrief/.

• New EG-Liason/SenterNovem Newsletter 'R&D in Europa'
  Newsitem added on 26 July 2009.

  The june edition of the EGL newsletter "R&D in Europa" (dutch only) is available from the SenterNovem website, at http://www.senternovem.nl/egl/nieuwsbrief/.

• Call for applications ESF Travel Grants
  Newsitem added on 13 August 2009.

  Research in experimental pragmatics generates data as it tests between theories of pragmatics. After having seen accelerated growth over the last ten years, experimental pragmatics is now in a better position to resolve theoretical disputes, to advance beyond armchair theory-making and to make pragmatic theories more accessible to the cognitive science community at large. As part of an effort to provide a more permanent platform, a Research Network Program known as EURO-XPRAG supported by the ESF is now kicking off through a call for proposals that will support collaborative research by means of travel grants for short visits.

  Deadline: September 15th, 2009. For more information, see http://www.euro-xprag.org/.

• Grant Update 2-7 available
  Newsitem added on 5 July 2009.

  Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

  The 7th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-07.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

• Seventh Research Framework Programme (FP7): Marie Curie
  Newsitem added on 10 July 2009.

  Within the Seventh Research Framework Programme (FP7) 3 grants have been made available:

  • Intra-European Fellowships for Career Development
  • International Incoming Fellowships
  • International Outgoing Fellowships for Career Development

  These Marie Curie grants are intended for postdocs or researchers with at least 4 years of research experience together with a research group abroad which will be the host organisation.

  Deadline: 18 August 2009. For more information, see
  http://cordis.europa.eu/fp7/dc/index.cfm?fuseaction=UserSite.FP7DetailsCallPage&call_id=198 (Intra -European)
  http://cordis.europa.eu/fp7/dc/index.cfm?fuseaction=UserSite.PeopleDetailsCallPage&call_id=200 (International Outgoing)
  http://cordis.europa.eu/fp7/dc/index.cfm?fuseaction=UserSite.PeopleDetailsCallPage&call_id=199 (International Incoming)

• Investment Subsidy NWO Medium
  Newsitem added on 10 July 2009.

  The purpose of this investment subsidy is stimulating a balanced national investment policy and a balanced investment policy of research institutes.

  This investment subsidy is meant for investments with financial contributions from NWO between 110,000 and 900,000 euro.

  For more information, see http://www.nwo.nl/NWOhome.nsf/pages/NWOP_5K4ENS_Eng

• Grant Update 2-6 available
  Newsitem added on 4 June 2009.

  Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

  The 6th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-06.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

• KNAW Heineken prizes call for nominations
  Newsitem added on 21 June 2009.

  The Heineken Prizes are international prizes awarded biannually to five internationally renowned scientists and one highly talented Dutch visual artist for their great merits to science, Dutch art and society.

  The deadline for nomination is 1 November 2009. The laureates will be announced in April 2010. For more information, see http://www.knaw.nl/heinekenprizes/

• Grant Update 2-5 available
  Newsitem added on 14 May 2009.

  Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

  The 5th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-05.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

• NWO Humanities G-programmes
  Newsitem added on 11 June 2009.

  The Humanities area of NWO will start a pilot of scientific theme programmes. So-called G-programmes focus on innovation of content. The research should have the potential to determine future research agenda's. Because this is a pilot only one proposal will be accpeted.

  For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOA_7S6KJS

• Investment Subsidy NWO Medium
  Newsitem added on 11 June 2009.

  The aim of this subsidy is to strengthen the social sciences research infrastructure. The Divisional Board of the Division for Humanities wants to realise this objective by addressing medium-sized, research-driven, thematically organised and/or discipline wide infrastructural initiatives that promote the humanities in the Netherlands in general. Such large-scale projects with a broader scientific importance can only be realised if researchers match their research agendas with each other. The Start Subsidies actively support the setting up of such coordinated large-scale collaborations.

  For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOA_4XHD5Z_Eng

• NWO programme Brain & Cognition: an integrated approach
  Newsitem added on 14 May 2009.

  The NWO programme ‘Brain & Cognition: an integrated approach’ is part of the larger National Initiative on Brain and Cognition. The programme is financed by the boards of three NWO divisions – Earth & Life Sciences, Humanities, and Behavioral & Social Sciences - as well as ZonMW, and has a budget of 7,5 M€.

  The overall and most important aim of the programme is to promote research that uses an integrative approach. Within this framework, three specific goals are set:
  - Stimulation of excellent research;
  - Formation of (inter)national networks;
  - Support for the scientific development of high potential junior investigators.

  For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOA_7BBK4H

• Grant Update 2-4 available
  Newsitem added on 9 April 2009.

  Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

  The 4th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-04.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

• Cooperation Germany - von Humboldt Stiftung
  Newsitem added on 21 April 2009.

  The Von Humboldt Stiftung (VHS) at Bonn every year offers two research prizes to Dutch senior researchers affiliated with a German research institute. NWO offers the same opportunity to two German senior researchers at Dutch research institutes.

  For more information, see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_5GPHN9?Open

• ERC Calls for Proposals
  Newsitem added on 4 December 2008.

  The European Research Council is a European funding body. ERC Grants aim to support single research leaders ('Principal Investigators') heading a research team to conduct a frontier research project on the condition that he/she is engaged by a legally established host organisation. The ERC now calls for proposals for Advanced Investigators grants. The ERC Advanced Investigator Grant (ERC Advanced Grant) funding scheme targets researchers who have already established themselves as independent research leaders in their own right.

  Deadline for submissions is March 25th, April 15th or May 6th, depending on the subject area of the research proposal. For more information, see http://erc.europa.eu/index.cfm?fuseaction=page.display&topicID=67

• Grant Update 2-3 available
  Newsitem added on 5 March 2009.

  Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

  The 3rd issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-03.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

• Marie Curie re-integration grants
  Newsitem added on 30 October 2008.

  There are two types of Reintegration Grants , the first being the European Reintegration Grant. Researchers who are from EU Member States or Associated States and who have been Marie Curie fellows for at least 2 years can apply for this award. This fellowship seeks to assist the fellow with professional reintegration after the initial Marie Curie fellowship, preferably (but not necessarily) in his or her country or region of origin.

  The second type is the International Reintegration Grant. European researchers who have carried out research outside Europe for at least 5 years (with or without a Marie Curie fellowship) who wish to return to Europe can apply.

  The program is open for continuous submission with 'cut-off dates' for evaluation of proposals received until then on 2 April 2009 and 8 October 2009, for both dates at 17.00.00 Brussels local time. For more information, see http://cordis.europa.eu/fp7/dc/index.cfm?fuseaction=UserSite.PeopleDetailsCallPage&call_id=168.

• Marie Curie International Research Staff Exchange Scheme (IRSES)
  Newsitem added on 11 December 2008.

  The Marie Curie International Research Staff Exchange Scheme aims at strengthening research partnerships through short period staff exchanges and networking activities between European research organisations and organisations from countries with which the Community has an S&T agreement or are in the process of negotiating one, and countries covered by the European Neighbourhood policy.

  Deadline for proposals: 27 March 2009. For more information, see http://cordis.europa.eu/fp7/dc/index.cfm?fuseaction=UserSite.PeopleDetailsCallPage&call_id=174

• ESF Exploratory Workshops: Call for proposals 2009
  Newsitem added on 26 March 2009.

  Each year, ESF supports approximately 50 Exploratory Workshops across all scientific domains.

  These small, interactive group sessions are aimed at opening up new directions in research to explore new fields with a potential impact on developments in science. The workshops, which usually last 1-3 days, have a wide participation from across Europe and involve mature scientists as well as young, independent researchers and scholars with leadership potential. The relatively small scale (in terms of people involved) provides an ideal platform for focus on the topic and for all participants to contribute to discussions and plan follow-up collaborative work. Interdisciplinary topics are greatly encouraged.

  Proposal submission deadline: 30 April 2009. For more information, see http://www.esf.org/activities/exploratory-workshops.html

• Van Gogh grants for French-Dutch research exchange
  Newsitem added on 18 March 2009.

  The French Dutch Academy seeks to promote and support collaboration between research institutions by offering grants for research exchanges.

  For more information, see http://www.frnl.org/fr/index.php?option=com_content&task=view&id=109&Itemid=174 [In Dutch/French only].

• Call for Nominations: Ackermann Award (EACSL outstanding dissertation award for logic in computer science)
  Newsitem added on 11 December 2008.

  Eligible for the 2009 Ackermann Award are PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2007 and 31.12. 2008. The 2009 Ackermann Award will be presented to the recipients at the annual conference of the EACSL (CSL'09).

  The deadline for submission is 15.3.2009. For more information, see http://www.dimi.uniud.it/eacsl/submissionsAck.html

• British Academy Visiting Fellowships
  Newsitem added on 11 December 2008.

  The Academy's Visiting Fellowship scheme, launched in 2005, enables early-career scholars from overseas to apply directly to the Academy, in conjunction with their UK hosts, for research visits to the UK of two to six months. The main purpose of the visit should be to enable the visitor to pursue research.

  Deadline for applications: 12 January 2009. For more information, see http://www.britac.ac.uk/funding/guide/intl/visfells.cfm

• Grant Updates 2-1 and 2-2 available
  Newsitem added on 5 February 2009.

  Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

  The 1st and 2nd issue of 2009 are now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-01.pdf and http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-02.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.

• Subsidies from De Bussy Foundation
  Newsitem added on 17 October 2008.

  De Bussy Foundation offers financial support for the publication and/or translation of dissertations in the area of philosophy.

  Deadlines: 1 March 2009 and 1 October 2009. For more information, please contact
  De Bussy Stichting
  Veenweg 62, 7416 BD Deventer
  tel. 0570 608811

• New Edition Knowledge Transfer Office "Best New Idea" competition
  Newsitem added on 26 February 2009.

  On the 12th of May there will be a new edition of Science Park Amsterdam Nieuwe Ideeën Prijsvraag'. Students and employees based at the Science Park are asked for ideas that are new, innovating and applicable.

  Deadline: 30 maart 2009, 18.00u. For more information [in Dutch only], see http://www.uva.nl/bureaukennistransfer/nieuweideeenprijsvraag.cfm.

• EAAS Travel Grants
  Newsitem added on 26 February 2009.

  The European Association for American Studies is pleased to announce the 2009 EAAS travel grants for postgraduate students in the Humanities and Social Sciences who are registered for a higher research degree at any European university. Two kinds of grants are available: the Transatlantic Grant and the Intra-European Grant. It is expected that four scholarships will be available this year. The maximum single award granted may amount to EUR 2,000.

  For more information, see http://www.eaas.eu/travel_grants.htm

• Marie Curie Co-Funding of Regional, National and International Programmes
  Newsitem added on 4 December 2008.

  The COFUND action supports existing or new regional and national fellowship programmes (to open up to and provide for trans-national mobility), as well as international programmes. COFUND will support fellowship programmes for the most promising experienced researchers, helping them in their career development. The programmes must run an open, merit-based competition for the applying researchers, founded on international peer-review. The freedom of the fellows to choose a research topic and the appropriate research organisation fitting their individual needs is a key element for the COFUND action.

  Deadline for applications: 19 February 2009 at 17:00:00 Brussels local time. For more information, see http://cordis.europa.eu/fp7/dc/index.cfm?fuseaction=UserSite.PeopleDetailsCallPage&call_id=173

• NWO: Rubicon
  Newsitem added on 12 February 2009.

  The aim of the Rubicon programme is to encourage talented researchers at Dutch universities and research institutes run by KNAW and NWO to dedicate themselves to a career in postdoctoral research. Rubicon offers researchers who have completed their doctorates in the past year the chance to gain experience at a top research institution outside the Netherlands (maximum of two years).

  The Rubicon programme also offers talented researchers from abroad the opportunity to obtain grants to spend one year conducting research in the Netherlands.

  For more information, see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_6H2G7R_Eng

• KNAW Visiting Professors Programme
  Newsitem added on 12 February 2009.

  The Royal Netherlands Academy of Arts and Sciences (KNAW) has launched its Visiting Professors Programme in the Summer of 2008. The Visiting Professors Programme is an Academy initiative to allow excellent researchers working outside the Netherlands to spend some time in the Netherlands to contribute towards strengthening Dutch science.

  Members of KNAW and of KNAW's The Young Academy, as well as researchers at all of KNAW's research institutes, are invited to submit nominations.

  For more information, see http://www.knaw.nl/visitingprofessors/

• NWO Call for Programmes for Excellence (Brain & Cognition: an Integrated Approach)
  Newsitem added on 12 February 2009.

  The overall and most important aim of the programme Brain & Cognition: an integrated approach is to promote research that uses an integrative approach. Within this framework, four specific goals are set:

  • Stimulation of excellent research;
  • Formation of (inter)national interdisciplinary networks;
  • Interdisciplinary education of high-potential junior investigators;
  • Contribution to new insights into neural substrates of human cognition.

  The programme Brain and Cognition: an integrated approach is looking for innovative, risk-taking, out of the box and unusual crosslinks between disciplines. The present Call for Programmes for Excellence offers scientists the possibility to apply for a subsidy up to 500 k€. Proposals should be dedicated to integrative interdisciplinary research on brain and cognition and should contribute to new insights in the connection between human cognition and neural substrates.

  For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOA_7NSJJD_Eng

• Call for Nominations: Influential Papers in Agents and Multiagent Systems
  Newsitem added on 18 January 2009.

  The International Foundation for Autonomous Agents and Multi-Agent Systems has established an award to recognize publications that have made influential and long-lasting contributions to the field. Candidates for this award are papers that have proved a key result, led to the development of a new subfield, demonstrated a significant new application or system, or simply presented a new way of thinking about a topic that has proved influential.

  This award is presented annually at the AAMAS Conference, in this case AAMAS-09 in Budapest in May. Winning papers must have been published at least 10 years before the award presentation, therefore this year's eligible set comprises papers published in 1999 or earlier, in any recognized forum (journal, conference, workshop).

  To nominate a publication for this award, please send the full reference plus a brief statement (150 words or fewer) about the significance of the paper to Michael Wellman (chair of the 2009 award cmte), wellmanumich.edu. Nominations are due by 4 February 2009. For more information, see http://www.conferences.hu/AAMAS2009/nominations.html#IFAAMAS

• NWO grant opportunity: Internationalisation in the Humanities
  Newsitem added on 25 January 2009.

  With this grant instrument, the Humanities Divisional Board wants to facilitate the international cooperation between Dutch research groups and their foreign colleagues, stimulate the formation of international networks within the social sciences and encourage social sciences applications to international agencies.

  Senior researchers at Dutch institutes for university education and research and/or researchers at institutes recognised by NWO can apply. Researchers not employed at an institute recognised by NWO, can submit an application in collaboration with senior university researchers. The application must be submitted by a Dutch research group that wants to work with at least two foreign research groups. A second Dutch research group may be involved in the project.

  For more information, see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOA_6JVJDY_Eng?Opendocument

• Call for Workshop proposals Lorentz Center
  Newsitem added on 2 October 2008.

  The Lorentz Center of the University of Leiden calls for proposals of Workshops. Deadlines are: 15 January, 15 May, 15 September.

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

• Annual research prizes of the Von Humboldt Stiftung (VHS)
  Newsitem added on 2 October 2008.

  The Von Humboldt Stiftung (VHS) in Bonn has made two annual research prizes available for senior researchers to work at a German research centre for at least 4 months and at most 12. NWO offers the same for German researchers to work in The Netherlands.

  For more information, see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOA_4XGLAK?Opendocument

• 15 January 2009, NWO Information Meeting VENI, VIDI & VICI
  Newsitem added on 11 December 2008.

  The Innovational Research Incentives Scheme will change in 2009: * higher grants
  * no contribution from the institute
  * no prior embedding
  * also for professors.

  Would you like to know how high the grant payments will be? Are you interested in what changes will take place in the procedures? Or are you curious about tips from successful applicants? Then make sure you attend one of NWO's morning or afternoon information meetings about the Innovational Research Incentives Scheme. There you will hear from successful applicants, coordinators and (ex) committee members about what is new, what to pay attention to when completing your grant application and which alternatives are available if your application is not successful. And in the speed date sessions of five minutes you can ask them all you ever wanted to know.

  For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOA_7HYFHV_Eng

• Marie Curie Action: Researcher's night
  Newsitem added on 30 October 2008.

  The Researchers NIGHT action will be on Friday, 26, September, and will be the next occasion for a European wide public and media event for the promotion of research careers. The aim of this action is to bring the researchers closer to the large public, with a view to enhancing their important role in society and in particular within the citizens' daily life.

  Proposals are requested for events to be part of the 'Researchers Night' action. Deadline for proposals is 14 January 2009 at 17.00.00 Brussels local time.

  For more information, see http://cordis.europa.eu/fp7/dc/index.cfm?fuseaction=UserSite.PeopleDetailsCallPage&call_id=157.

• Newton Fellowship for research in the natural or social sciences, engineering or humanities
  Newsitem added on 30 October 2008.

  The Newton International Fellowship scheme will select the very best early stage post-doctoral researchers from all over the world, and offer support for two years at UK research institutions.

  Submission period: from 15 October 2008 to 12 January 2009. For more information, see http://www.newtonfellowships.org/

• NWO programme: Mozaïek
  Newsitem added on 17 October 2008.

  Ethnic minorities are currently under-represented in Dutch academic research. The Netherlands Organisation for Scientific Research (NWO) and the Ministry of Education, Culture and Science are keen to promote diversity and are concerned about the present loss of talent to the academic world. The Mozaïek (Mosaic) programme, started in 2004, aims at helping representatives of ethnic minorities into the world of science.

  The deadline for submitting brief research proposals is 8 January 2009. For more information, see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_5RNBJK_Eng?Opendocument

• Grant Update 12 available
  Newsitem added on 4 December 2008.

  Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.

  The 12th issue of 2008 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_1-12.pdf.

• The ERCIM "Alain Bensoussan" Fellowship Programme
  Newsitem added on 21 December 2008.

  The European Research Consortium for Informatics and Mathematics (ERCIM) offers fellowships for young promoted researchers who would like to do research at two ERCIM affiliated institutes.

  Deadline: 30 april.
  For more information, see http://www.ercim.org/activity/fellows.

• International Cooperation with Mediterranean Countries
  Newsitem added on 13 November 2008.

  Subsidies are available for cooperation with mediterranean countries. Subsidies are intended for coordination and support.

  For more information, see http://cordis.europa.eu/fetch?CALLER=FP7_PROJ_EN&ACTION=D&DOC=4&CAT=PROJ&QUERY=011d8aa3daf0:6f4c:2179ccc1&RCN=86226

   Open Positions, General

• Postdoc vacancy 'Cognitive systems in interaction' in Groningen
  Newsitem added on 31 December 2009.

  A postdoc position is available in the Multi-agent Systems Group in the Institute of Artificial Intelligence (ALICE) at the University of Groningen. The candidate will join the five-year Vici project "Cognitive systems in interaction: Logical and computational models of higher-order social cognition" of prof.dr. Rineke Verbrugge, comprising six researchers.

  In the Vici project, we investigate children's development and adults' limitations in applying higher-order reasoning, using a close-knit combination of empirical research and formal modeling. Whereas first-order social cognition has been intensely investigated, higher-order social cognition is far less well-understood. This Vici project aims to apply improved understanding of higher-order social reasoning to design realistic logics, ready for implementation in systems supporting mixed human-computer teams.

  Deadline for applications: January 15th, 2010. For more information, see http://loriweb.org/?p=2113 or http://www.rug.nl/bcn/news/jobs (vacancy number 209395), or contact prof.dr. Rineke Verbrugge at L.C.Verbruggerug.nl.

• Funded Ph.D. Studentships in Computing and Mathematics
  Location: Manchester Metropolitan University
  Newsitem added on 20 December 2009.

  The Department of Computing and Mathematics at Manchester Metropolitan University has a leading reputation for research excellence. In the 2008 Research Assessment Exercise, 75% of Computer Science Informatics research was judged to be at least "internationally recognised", and 35% was deemed to be at least "internationally excellent". As a result of this, the Department has secured significant research funding, and, with the support of the MMU Dalton Research Institute, we are able to offer four fully-funded* Ph.D. studentships in the following areas:

  * Novel Computation
  * Logic and Computation
  * Intelligent Systems
  * Optimisation by Quantum Annealing

  For more information, see http://www.jobs.ac.uk/job/AAL008/funded-phd-studentships-in-computing-and-mathematics-/

• Two postdoctoral positions in "The parameterized complexity of reasoning problems", Vienna (Austria)
  Newsitem added on 10 December 2009.

  Within the ERC-funded project "The Parameterized Complexity of Reasoning Problems" lead by Prof. Stefan Szeider applications are invited for two postdoctoral positions in computer science. The aim of the project is to study computational reasoning problems in the framework of parameterized complexity theory. The positions are for the duration of two years with the possibility to extend. The earliest starting date is January 2010.

  The candidates should have a PhD degree in Computer Science or related area; research experience at postdoctoral level is of advantage. The review of applicants will begin immediately and continue until the positions are filled. Applications received by 19 December 2009 will receive full consideration.

  Further details on the requirements and information on how to apply can be found at http://www.kr.tuwien.ac.at/drm/jobs.

• CMI Postdoctoral Fellowships Program (Mathematics of Information), Pasadena CA (U.S.A.)
  Newsitem added on 27 October 2009.

  Caltech's Center for the Mathematics of Information (CMI) announces openings in the CMI Postdoctoral Fellowship Program, starting in fall 2010. The CMI is dedicated to fundamental mathematical research with an eye to the roles of information and computation throughout science and engineering. Areas of interest include algorithms, complexity, algorithmic game theory, applied combinatorics, applied probability, statistics, machine learning, information and coding theory, control, optimization, networked systems, geometry processing, multiresolution methods, and molecular programming.

  Please apply and have three reference letters sent directly as instructed at http://www.ist.caltech.edu/joinus/positions.html. All candidate materials are due by Friday, December 18, 2009 and reference letters are due by Monday, December 21, 2009.

• Visiting Fellowships at the Tilburg Center for Logic and Philosophy of Science
  Newsitem added on 1 October 2009.

  The Tilburg Center for Logic and Philosophy of Science (TiLPS) invites candidates for three- to nine-months visiting fellowships in the academic year 2010/11 intended for advanced Ph.D. students or faculty. Candidates should work in one of the areas the Center covers and have a commitment to interdisciplinary and collaborative work.

  The deadline for applications is December 15, 2009. For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/jobs/

• Researcher/Software Developer position at North Side Inc., Quebec (Canada)
  Newsitem added on 10 December 2009.

  North Side Inc. is developing software to support conversation in unrestricted English between people and machines. Initially we will focus on developing Bot Colony - a game featuring English-based dialog between the player and the characters. We are developing a full NLP pipeline, with reasoning as its central component.

  We are looking for a researcher and software developer with a background in AI and reasoning to join our team in our Montreal facility. A Ph.D. in AI or areas related to reasoning is desirable. A background developing a First Order Predicate Logic reasoner coupled with a good understanding of temporal logic, modal logic, deontics, reasoning on large knowledge-bases would be ideal.

  Application Deadline: Open until filled.
  For more information, see http://www.northsideinc.com or contact Eugene Joseph at eugenenorthsideinc.com. For more information on BotColony, see See www.botcolony.com and YouTube Bot Colony videos.

• Temporary Lectureship in Philosophy, Oxford (U.K.)
  Newsitem added on 8 November 2009.

  Applications are invited for a Departmental Lecturership in Philosophy, in association with a Non-Stipendiary Lecturership in Philosophy at New College, for the period 1 October 2010 to 30 September 2012. The post is a temporary replacement for Professor Timothy Williamson who has been awarded a Leverhulme Major Research Fellowship and who will be on special research leave during this period.

  The areas of research specialization for this post are as follows: epistemology, metaphysics, philosophical logic, and philosophy of language. The successful candidate must be able to teach one or more of these areas at graduate level.

  For more information, see http://www.philosophy.ox.ac.uk/vacancies/fixed-term_departmental_lecturership_in_philosophy or contact the Assistant Administrator at catriona.hoptonphilosophy.ox.ac.uk. The deadline for receipt of applications is 12noon on Monday 7 December 2009.

• Postdoctoral position in Logic / Theoretical Computer Science (2y), Bern (Switzerland)
  Newsitem added on 7 September 2009.

  1 Postdoc position is available in the research group "Theoretical Computer Science and Logic" at the Institute for Computer Science and Applied Mathematics of Bern University. The position is available from October 1, 2009 for a period of two years, after which time an extension may be possible.

  This position is within a research project about proof theory focussing on reflections and (non-)monotone inductive definitions, operational set theory, and feasible and subrecursive proof and type systems. An excellent background in logic and previous working experience in proof theory are required.

  Interested candidates should send an application letter and a detailed CV (including a list of courses completed and marks received) to G. Jaeger (email: jaegeriam.unibe.ch, phone: +41 31 631 85 60, fax: +41 31 631 32 60). See http://www.iam.unibe.ch/~til/ for further information about the research group.

• Five postdoctoral positions (E14) in all areas at the Zukunftskolleg, Konstanz (Germany)
  Newsitem added on 11 October 2009.

  The Zukunftskolleg is a central scientific institution of the University of Konstanz for the promotion of young scientists in the natural sciences, humanities and social sciences. It forms a platform for interdisciplinary discourse between distinguished researchers in Germany and abroad, and provides young scientists with resources for obtaining third-party funding.

  The Zukunftskolleg is offering 5 Research Positions (Salary Scale 14 TV-L) for the development and implementation of individual research projects / research groups. Each position can, in principle, be divided into two half-time positions. The initial appointments will commence on April 1, 2010 and end on September 30, 2011. An extension of the work contract for an additional 3.5 years will be financed by the Zukunftskolleg, provided that substantial external third-party funding for a research project has been granted.

  The prerequisites for acceptance are a doctoral degree and outstanding scientific qualification as documented by research activities and publications. The ideal candidate has just finished her/his dissertation or has acquired initial work experience as a postdoctoral researcher. International experience in teaching or research and a strong interest in interdisciplinary topics are desirable.

  Application deadline: November 30, 2009. Fellows will be selected on the basis of their project outlines and a two-day workshop to be held on February 22-23, 2010 at the University of Konstanz. For more information, see http://www.uni-konstanz.de/news/index.php?cont=stellausw&seite=2009/130&id=1.

• European Post-Doctoral Institute for the Mathematical Sciences, Call for Applications, Barcelona, Catalonia
  Newsitem added on 25 October 2009.

  The European Post-Doctoral Institute for the Mathematical Sciences has an open call for applications for EPDI Fellowships for 2010-2012. Each year, 7 European laureates and 1 Japanese fellow are selected by an International Jury on the basis of excellency. Deadline for applications: November 29, 2009.

  For more information, see http://www.crm.cat/CALLS/EPDIposter2009.pdf and http://www.ihes.fr/jsp/site/Portal.jsp?page_id=36

• Assistant or Associate Professorship in Formal Epistemology / Philosophical Logic, College Park MD (U.S.A.)
  Newsitem added on 8 October 2009.

  The University of Maryland is looking for an Assistant or Associate Professor (tenure track). Junior candidates are preferrred, but outstanding applicants at the Associate level will also be considered. AOS: formal epistemology or related areas of philosophical logic, decision theory, or game theory. AOC: the ability to teach logic or traditional epistemology at the graduate level would be an advantage.

  Applications will be considered until the position is filled, but for best consideration all materials should arrive by November 23, 2009. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=3031 or http://philosophy.umd.edu/.

• Full Professorship in Algorithms in Data Structures, Vienna (Austria)
  Newsitem added on 6 September 2009.

  The successful candidate is expected to lead his/her own group and to conduct research and teaching in the area of Algorithms and Data Structures. Ideally, candidates are sought, who are able to combine theoretical research with novel applications.

  Applicants are expected to have an outstanding research record, experience in project acquisition and management, and experience in university teaching. Duties include teaching mandatory and elective courses of the informatics curricula (in English or German). The professor is expected to contribute to the management of the institute and the faculty. Applicants must meet the following requirements: a doctoral degree, an outstanding track record in research and teaching, didactic skills and leadership abilities.

  Application deadline: November 20, 2009 For more information, see http://www.informatik.tuwien.ac.at/events/forschung/202.

• Associate Professorship in Computational Complexity, Aarhus (Denmark)
  Newsitem added on 8 November 2009.

  A position as associate professor in the area of Computational complexity theory is available at the Department of Computer Science (www.cs.au.dk), starting January 1, 2010.

  The Department conducts research and teaching in theoretical as well as experimental computer science. The staff is close to 200 people, including 30 full or associate professors, and 60 PhD students. The number of students is approximately 600. Applicants must document a strong record of original research and have teaching experience at both the undergraduate and graduate level.

  For more information about the job vacancy, see http://science.au.dk/stillinger-og-stipendier/videnskabelige-stillinger/. Application date: 20/11/2009

• Research fellowship (postdoctoral) in diagrammatic reasoning and formal languages, Brighton (U.K.)
  Newsitem added on 25 October 2009.

  Based within the School of Computing, Mathematical and Information Sciences, you will join the school's Visual Modelling Group which is internationally renowned in the visual languages research community. Diagrammatic reasoning was noted as a particular strength in the school's RAE 2008 Computer Science and Informatics results, with 65% of the submitted research outputs being graded as 3* (Internationally Excellent) or 4* (World Leading). Working on the EPSRC funded project Defining Regular Languages with Diagrams, you will develop a diagrammatic logic that can be used to define regular languages, including its formalization and devising inference rules. The post is fixed-term for 12 months as funding is limited to this period.

  Closing date: 10 November 2009 For more information, see http://www.jobs.ac.uk/job/AAD838/research-fellow-in-diagrammatic-reasoning-and-formal-languages or contact Dr Gem Stapleton, Senior Research Fellow at g.e.stapletonbrighton.ac.uk (please quote reference number MM4037).

• Professorship in Philosophy (Epistemology, Philosophy of Technology, Philosophy of Science), Roskilde (Denmark)
  Newsitem added on 17 September 2009.

  At the Institute for Culture and Identity, Roskilde University, a full professorship in philosophy with special emphasis on epistemology, philosophy of technology, and philosophy of science together with applications of formal methods in some of these areas is vacant. The position is connected to the Research Group in Science Studies. The position starts on 1 February 2010 or soon thereafter.

  In order to be considered for the position, the applicant must demonstrate an original and internationally recognized scientific production in epistemology, philosophy of science, Philosophy of technology, or formal logic. The applicant must document pedagogical skills and competence at a high level. Since the professor is expected to actively partake in the institute's international research and publication activity the applicant must in addition document considerable experience with research management and editorial work.

  Please send your application marked 62.01/04 together with appendices in triplicate to Rector at Roskilde University. Closing date: Monday 9 November 2009 at 12:00 noon. More information about the position may be obtained from http://www.ruc.dk/ruc_en/about/Positions/620104/ or by contacting Professor Stig Andur Pedersen, phone 4674 2265.

• Full Professorship in Economics/Game Theory & Computation, University of Liverpool
  Newsitem added on 8 November 2009.

  The Department of Computer Science at the University of Liverpool
  invites applications for a full Professorship to be attached to the newly established Economics & Computation Research Group.

  Job Ref: A-570583. Closing date for applications: 8 January 2010. For more information, see http://www.csc.liv.ac.uk/department/vacancies/profvacnov09.html or contact Professor Paul W. Goldberg at P.W.Goldbergliverpool.ac.uk.

• Doctoral and postdoctoral research positions in contstraint programming
  Location: Catholic University of Leuven, Belgium
  Newsitem added on 5 November 2009.

  The Declarative Languages and Artificial Intelligence Group at the Catholic University of Leuven is urgently looking for doctoral and postdoctoral research candidates in the area of Constraint Programming.

  For more information, see http://www.cs.kuleuven.be/~toms/MCP/ or http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=3081.

• PhD and postdoc positions in Bergen, Norway
  Newsitem added on 5 November 2009.

  Bergen University College, Faculty of Engineering, has 1-3 open positions for PhD students/research fellows (3-4 years) and 1-2 open positions for postdoctoral researchers (2-3 years) in computer science/informatics, as a part of the research project Formal Modelling and Verification of Grid Systems (FORMGRID), funded by the Research Council of Norway.

  Topics: formal methods for multi-agent systems (logic, category theory, grid computing).

  Deadline: 28 November 2009. For more information, see http://hib.easycruit.com/vacancy/347903/41311 (for the PhD student positions) or http://hib.easycruit.com/vacancy/348002/41311 (for the postdoc positions), or contact Associate professor Thomas Ågotnes at taghib.no.

• Professor of Philosophy at Umeå University, Sweden
  Newsitem added on 1 November 2009.

  A position as Professor of Philosophy has been announced at Umeå University. Deadline for application is December 18, 2009.

  For more information, see http://www8.umu.se/umu/aktuellt/arkiv/lediga_tjanster/311-991-09.html#eng

• Max Planck Scholarship for Excellent Women in Computer Science, Saarbrücken (Germany)
  Newsitem added on 10 May 2009.

  The Max Planck Institute for Informatics (MPI-INF) is inviting applications from female postgraduate computer scientists for a two-year research scholarship of up to 72,000 Euro. The MPI-INF encourages women to excel in computer science and become active role models and leaders in the field. The group of algorithms and complexity is looking for applicants from all areas of algorithmics, including related areas like computer algebra, complexity theory and discrete mathematics. We are also explicitly looking for people interested in algorithm engineering and the design and implementation of algorithm libraries.

  Applications must be received before October 31st, 2009. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2866 or http://www.mpi-inf.mpg.de/, or send an email to csscholarmpi-inf.mpg.de.

• CRM Postdoctoral Grants in Mathematics, Barcelona (Catalonia, Spain)
  Newsitem added on 1 October 2009.

  Doctoral degree holders can apply for postdoctoral stays at the CRM, provided that their doctorate has been awarded no earlier than 5 years before the application date. A certificate of doctoral award must be presented before the starting date of the stay. Applicants must have a written acceptance by a host research group, stating their conformity with the research plan of the applicant and their willingness to host him or her as a participant in the activities of the group during his or her stay at the CRM. A member of the host research group will act as responsible for liaison with the applicant and follow-up.

  The normal duration of a postdoctoral grant is one year, although shorter stays are also possible with lower priority, and extensions for a second period may be negotiated. The gross salary will amount to 24,480 euros per year. Successful applicants will be provided with office space and working facilities at the Centre, as well as house-finding assistance if necessary. They are expected to start their stay at the CRM in September 2010 under normal circumstances. Delayed arrivals are acceptable under request, provided that the starting date of the stay does not surpass February 2011.

  Applications can be submitted before October 31, 2009. For more information, see http://www.crm.es/CALLS/postdoctoral_grants_guidelines.htm

• Associate professorship in analytic philosophy at KTH (Stockholm)
  Newsitem added on 31 October 2009.

  KTH is Sweden's largest technological