Universiteit van Amsterdam

Archives

Institute for Logic, Language and Computation


News Archives 2007

These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.

Sections

Headlines Past Events

Headlines Calls for Paper

Headlines Past Conferences

Headlines MoL and PhD defenses

Headlines Projects and Awards

Headlines Funding, Grants and Competitions

Headlines Open Positions at ILLC

Headlines Open Positions, General

Headlines Past appointments

Headlines Miscellaneous

No Former Regular Events

Past Events

  • 20 December 2007, PROSE Colloquium, Cas Cremers

    Speaker: Cas Cremers
    Title: On the Protocol Composition Logic PCL.
    Date & Time: Thursday 20 December 2007, 15:30-16:30
    Location: Room 6.96, HG (Main Building), TU Eindhoven

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

  • 20 December 2007, GLoRiClass Seminar, Valentin Goranko

    Speaker: Valentin Goranko (University of the Witwatersrand)
    Title: Strategic commitment and revocability in logics for multi-agent systems
    Date & Time: Thursday 20 December 2007, 11:00-13:00
    Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
  • 17-19 December 2007, Sixteenth Amsterdam Colloquium 2007, Amsterdam

    Date: 17-19 December 2007
    Location: Amsterdam
    Deadline: 1 September 2007

    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).

    For more information, see

    http://www.illc.uva.nl/AC2007/

  • 14 December 2007, ILPS Seminar, Martin Reynaert

    Speaker: Martin Reynaert
    (TU)
    Title: Automatic post-correction of OCR'ed Cultural Heritage corpora
    Date & Time: Friday 14 December 2007, 13:30-14:30
    Location: Room H3.20 (<em>changed</em>), Informatics Institute, Kruislaan 403, Amsterdam

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

  • 14-15 December 2007, PALMYR-VI : Truth, Logic and Games, Amsterdam, the Netherlands

    Date: 14-15 December 2007
    Location: Amsterdam, the Netherlands

    Truth, one might think, is at the heart of reasoning, and of logic. But logic has moved on from bivalence. - Witness intuitionistic, quantum and paraconsistent logics. Furthermore, truth itself is a philosophically sticky subject: The jury is still out as to whether it is nothing (as the view of the deflationist can be caricatured) or everything (including the basis for a theory of meaning, as the truth-conditional semanticist might hold). This movement away from a classical reliance on the received views on truth has, in logic, come accompanied with alternative (notably game-theoretical) semantics for logical languages.

    We want to know what young researchers working on philosophical or technical issues related to contemporary theories of truth think about all this. Therefore we have decided that PALMYR VI will bring them together, along with two more experienced guest speakers, so that we can determine exactly that.

    For more information, see http://www.illc.uva.nl/PALMYR/PALMYR-6/.

  • 13 December 2007, GLoRiClass Seminar, Robin Clark

    Speaker: Robin Clark (Pennsylvania)
    Title: Equilibria, Games of Partial Information and the Evolution of Defaults
    Date & Time: Thursday 13 December 2007, 11:00-13:00
    Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
  • 12 December 2007, Logic, Language, and Reasoning Seminar, Robin Clark

    Speaker: Robin Clark (Pennsylvania)
    Title: The Neurobiology of Quantification
    Date & Time: Wednesday 12 December 2007, 17:45-19:30
    Location: Room P.016, ILLC, Euclides Building, Plantage Muidergracht 24, Amsterdam

    We examine the understanding of sentences containing a single quantifier. Subjects were asked to make truth value judgments of a sentence relative to a model (the latter presented visually), where each sentence contained a single quantifier which could be an Aristotelean (e.g., "all", "some", "no"), a cardinal determiner ("at least n", where n > 0), a parity determiner (e.g., "an even/odd number of") or a majority determiner (e.g., "more than half"). The judgment marshalled parts of the parietal lobe normally associated with number processing; furthermore, a neuroanatomical difference was noted between first order and higher order quantifiers. Based on these observations, we compared different populations---corticobasal degeneration (CBD) patients, fronto-temporal dementia (FTD) patients and Alzheimers (AZ) patients---with respect to their behavior on various types of quantifiers. The results suggest that understanding of sentences containing quantifiers crucially involves number sense.

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

  • 12 December 2007, Computational Linguistics Seminar, Philipp Koehn

    Speaker: Philipp Koehn (Edinburgh)
    Title: Linguistic Problems for Statistical Machine Translation
    Date & Time: Wednesday 12 December 2007, 14:00
    Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

    Machine translation is more relevant than ever, especially in a European Union with 23 official languages. What will happen to languages such as Dutch? Will it survive as a language of commerce, or will it be abandoned in favour of English? By lowering translation costs, we would expect to systain the viability of a commercial zone that uses so many different languages. Statistical machine translation holds the promise of instant machine translation. Given open source tools such the Moses decoder, just add a parallel corpus and you have a machine translation system. This talk will present some problems where the standard phrase-based approach fails, and where attention to the specifics of the languages involved is required. I will present methods that deal with different word order, morphology and agglutinative compounding.

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

  • 7 December 2007, GLoRiClass Seminar, Willemien Kets

    Speaker: Willemien Kets (Tilburg University and Santa Fe Institute)
    Title: Beliefs in Network Games
    Date & Time: Friday 7 December 2007, 16:00-18:00
    Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
  • 7 December 2007 2007, ILPS Seminar, Cees G.M. Snoek

    Speaker: Cees G.M. Snoek (UvA)
    Title: Substituting Experts by Amateurs for Concept-based Video Retrieval
    Date & Time: Friday 7 December 2007 2007, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

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

  • 7 December 2007, GLoRiClass Evaluation Presentations

    Date & Time: Friday 7 December 2007, 11:00-13:00
    Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Speakers:
    11:00-11:30 Cedric Degremont
    (designated supervisor: van Benthem)
    Project title: Logic for Information and Interaction
    11:30-12:00 Amelie Gheerbrant
    (designated supervisors: ten Cate, Väänänen)
    Project title: Model-theoretic properties of fragments of second-order logic on restricted classes of structures
    12:00-12:30 Marc Staudacher
    (designated supervisors: Dekker, van Rooij, Stokhof)
    Project title: Convention, Cognition and Games

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

  • 4 December 2007, ACG Colloquium, Yde Venema

    Speaker: Yde Venema
    Title: Flat modal fixpoint logics
    Date & Time: Tuesday 4 December 2007, 13:30
    Location: Room M279, CWI, Kruislaan 413, Amsterdam
  • 30 November 2007, Colloquium on Mathematical Logic, Sonja Smets

    Speaker: Sonja Smets
    Title: An Abstract Dynamic-Logical Setting for Quantum Mechanics
    Date & Time: Friday 30 November 2007, 16:00-17:00
    Location: Room P.018, 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

  • 30 November 2007, DIP Colloquium, Charlotte Wollermann

    Speaker: Charlotte Wollermann (Bonn)
    Title: The Influence of Audiovisual Prosody on the Perception and Interpretation of Multimodal Speech
    Date & Time: Friday 30 November 2007, 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/.

  • 29 November 2007, Logic Tea, Krzysztof Apt (IILC/CWI)

    Speaker: Krzysztof Apt (IILC/CWI)
    Title: How to Write an Article: Some Suggestions
    Date & Time: Thursday 29 November 2007, 16:00-17:00
    Location: <em>changed:</em> Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam

    In this talk I shall go in detail into the writing process of a scientific article. In particular, I shall provide some suggestions how to organize the article, in what order to write its parts, how to organize and break down the proofs, how to link the results together, and what pitfalls to avoid.

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

  • 23 November 2007, Colloquium on Mathematical Logic, Valentin Shehtman

    Speaker: Valentin Shehtman (was: Tatiana Yavorskaya)
    Title: More on completeness in first-order modal and intuitionistic logic
    Date & Time: Friday 23 November 2007, 16:00-17:00
    Location: Room 267, Bestuursgebouw, Heidelberglaan, Utrecht
    (Bus 11 or 12 from Utrecht Central Station, stop 'AZU').

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

  • 23 November 2007, Computational Social Choice Seminar, Andreas Witzel

    Speaker: Andreas Witzel (ILLC)
    Title: A Generic Approach to Coalition Formation
    Date & Time: Friday 23 November 2007, 16:00
    Location: P-3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

    For more information, see here or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss ().

  • 23 November 2007, ILPS Seminar, Jana Kludas

    Speaker: Jana Kludas(Geneva)
    Title: Can Feature Information Interaction help for Information Fusion in
    Multimedia Problems?
    Date & Time: Friday 23 November 2007, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

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

  • 22 November 2007, Logic Tea, Luc Segoufin

    Speaker: Luc Segoufin
    Title: Order invariance over finite structures
    Date & Time: Thursday 22 November 2007, 16:00-17:00
    Location: Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam

    In this talk I will consider <-inv-FO, order-invariant first-order, over finite structures. <-inv-FO is the class of first-order formulas that use an extra predicate interpreted as a linear order, but such that the truthness of the formula does not depend on the choice of the linear order. Over arbitrary structures, it is a simple consequence of Craig Interpolation Theorem to show that <-inv-FO and FO have the same expressive power. Over finite structures it is possible to show that <-inv-FO express strictly more than FO. I will then show that over simple strucutres, such as words or trees, <-inv-FO=FO. To achieve this I will introduce and use an algebraic characterization of FO over trees.

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

  • 22 November 2007, PROSE Colloquium, MohammadReza Mousavi

    Speaker: MohammadReza Mousavi
    Title: An Unaxiomatizability Meta-Theorem
    Date & Time: Thursday 22 November 2007, 15:30-17:00
    Location: Room 6.96, HG (Main Building), TU Eindhoven

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

  • 22 November 2007, GLoRiClass Seminar, Nicole Immorlica

    Speaker: Nicole Immorlica (CWI)
    Title: The role of compatibility in the diffusion of technologies in social networks
    Date & Time: Thursday 22 November 2007, 11:00-13:00
    Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
  • 22 november 2007, Spontaneity in Science and the Arts., KNAW, Kloveniersburgwal 29, Amsterdam, The Netherlands

    Date: Thursday 22 november 2007
    Location: KNAW, Kloveniersburgwal 29, Amsterdam, The Netherlands

    Speakers include:
    Graham Birtwistle - Lecturer History of Arts, Vrije Universiteit Amsterdam
    Jos Joosten - Professor Dutch Literature, Radboud Universiteit Nijmegen
    Robbert Dijkgraaf - universiteitshoogleraar Mathematical Physics, Universiteit van Amsterdam
    Peter Desain - Lecturer Neuroscience, Nijmeegs Institute for Cognition and Information (NICI), Radboud Universiteit Nijmegen

    For more information, see http://www.knaw.nl/cfdata/agenda/agenda_detail.cfm?agenda__id=1114 or contact .

  • 16 November 2007, DIP Colloquium, Cornelia Endriss

    Speaker: Cornelia Endriss (University of Osnabrück)
    Title: Intermediate Scope Readings as Embedded Speech Acts
    Date & Time: Friday 16 November 2007, 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/.

  • 16 November 2007, Colloquium on Mathematical Logic, Tatiana Yavorskaya

    Speaker: Tatiana Yavorskaya (was: Rostik Yavorsky)
    Title: Interacting explicit evidence systems
    Date & Time: Friday 16 November 2007, 16:00-17:00
    Location: Room 267, Bestuursgebouw, Heidelberglaan, Utrecht
    (Bus 11 or 12 from Utrecht Central Station, stop 'AZU').

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

  • 16 November 2007, ILPS Seminar, Jan van den Bussche

    Speaker: Jan van den Bussche
    Title: A crash course in database queries, and how to treat queries as data
    Date & Time: Friday 16 November 2007, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

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

  • 15 November 2007, Logic Tea, Erik Rietveld

    Speaker: Erik Rietveld
    Title: Situated and lived normativity: The normative aspect of embodied cognition in action
    Date & Time: Thursday 15 November 2007, 16:00-17:00
    Location: Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam

    Please visit the website http://www.illc.uva.nl/logic_tea/ for the abstract of the talk.

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

  • 9 November 2007 2007, ILPS Seminar, Sebastian Blohm

    Speaker: Sebastian Blohm
    (University of Karlsruhe)
    Title: Harvesting Relations from the Web
    Date & Time: Friday 9 November 2007 2007, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

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

  • 9-10 November 2007, Aesthetics and Mathematics, Utrecht, The Netherlands

    Date: 9-10 November 2007
    Location: Utrecht, The Netherlands

    "The beauty of a theorem is an objective property on a par with its truth." - Gian-Carlo Rota

    For more information, see http://www.phil.uu.nl/~iemhoff/beauty.html or contact (for practical info) or (otherwise). For reservations for the conference dinner on Friday 9 November, 7pm, please mail Jipke Detrie.

  • 8-9 November 2007, RUC-ILLC Workshop on Deontic Logic, Roskilde University, Denmark

    Date: 8-9 November 2007
    Location: Roskilde University, Denmark
    Costs: Travel Grants are available for PhD students
    Deadline: 1 August 2007

    Roskilde University (Denmark) and ILLC would like to invite researchers and students to Denmark for a two-day workshop on deontic logic. The workshop will consist of presentations by PhD students as well as lectures by leading figures in the field.

    Amongst the invited speakers are John F. Horty (University of Maryland), Kai von Fintel (MIT), Frank Veltman (ILLC) and Eric Pacuit (Stanford).

    Registration deadline: 25 October 2007. For more information, see http://akira.ruc.dk/~mamobe/deonticworkshop or contact Martin Mose Bentzen at .

  • 8 November 2007, "A Day of Mathematical Logic", ILLC, Amsterdam, The Netherlands

    Date: 8 November 2007
    Location: ILLC, Amsterdam, The Netherlands

    A Day of Mathematical Logic satellite meeting to "Aesthetics and Mathematics"

    Speakers: Wilfred Hodges (Queen Mary)
    Roman Kossak (City Unversity New York)
    Ieke Moerdijk (University Utrecht)
    Bill Tait (University of Chicago)
    Albert Visser (University Utrecht)
    Hugh Woodin (University of California, Berkeley)
    Boris Zilber (University of Oxford)

    For more information, see http://www.phil.uu.nl/~iemhoff/beauty.html

  • 7 November 2007, Varieties of deception, W. Künne (Hamburg)

    Speaker: W. Künne (Hamburg)
    Date & Time: Wednesday 7 November 2007, 17:00
    Location: Room 101, Bungehuis, Spuistraat 210

    Abstract:
    In this talk I shall present a detailed map of a conceptual landscape that contains the notions of misleading, deceiving, cheating, self-deceiving, simulating, acting hypocritically, and lying. In my attempt at throwing some light on these concepts and their interrelations I shall draw upon Bernard Bolzano's sadly neglected work in this area.

    Professor Künne is author of the book `Conceptions of Truth' (OUP 2003); see http://www.oup.com/uk/catalogue/?ci=9780199280193

    Professor Künne's visit is organised jointly with the Dept. of Philosophy of the Free University, where he will lecture on Frege. Contact Arianna Betti () if you wish to attend.

  • 7 November 2007, GLoRiClass Seminar, Ho-Fung Leung

    Speaker: Ho-Fung Leung (Hong Kong)
    Title: Risk strategies and risk
    strategy equilibrium: an initial proposal of an alternative to trigger strategy
    equilibrium in repeated games
    Date & Time: Wednesday 7 November 2007, 11:00-13:00
    Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
  • 3 November 2007, Recent Developments in the Semantics of Conditional Sentences

    Speaker: Cleo Condoravdi, Stefan Kaufmann, Nicholas Asher, Michiel van Lambalgen, Fabrice Nauze, Katrin Schulz
    Date & Time: Saturday 3 November 2007, 10:00-16:30
    Location: VOC zaal, Oost-Indischhuis, University of Amsterdam, Oude Hoogstraat 24, 1012 CE Amsterdam
  • 2 November 2007, Colloquium on Mathematical Logic, Denis Bonnay

    Speaker: Denis Bonnay (Paris)
    Title: Invariance, Definability and Monoids
    Date & Time: Friday 2 November 2007, 16:00-17:00
    Location: Room P.018, 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

  • 2 November 2007, Computational Social Choice Seminar, Vangelis Markakis

    Speaker: Vangelis Markakis (CWI)
    Title: On the Complexity of Computing Approximately Envy-free Allocations
    Date & Time: Friday 2 November 2007, 16:00
    Location: P-016 (<em>changed</em>), Euclides Building, Plantage Muidergracht 24, Amsterdam

    For more information, see here or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss ().

  • 2 November 2007, DIP Colloquium, Canceled

    Speaker: Canceled (formerly Øystein Nilsen)
    Date: Friday 2 November 2007

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

  • 1 November 2007, Logic Tea, Ramasubramanian Sharma

    Speaker: Ramasubramanian Sharma
    Title: Hetvabhasa and Theory of Negation in Indian Logic
    Date & Time: Thursday 1 November 2007, 16:00-17:00
    Location: Room 0.01, Philosophy Building, Nieuwe Doelenstraat 15, Amsterdam (<em>changed</em>)

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

  • 1 November 2007, Language Change

    Speaker: Theresa Biberauer, Hedde Zeijlstra, Cleo Condoravdi, Gertjan Postma, Suzanne Aalberse, Paul Kiparsky
    Date & Time: Thursday 1 November 2007, 10:00-17:00
    Location: Bungehuis 4.20, Spuistraat 210, Amsterdam
  • 26 October 2007, ILPS Seminar, Manos Tsagias

    Speaker: Manos Tsagias
    Title: Fast Fourier vs Symbolic representation of Time Series
    Date & Time: Friday 26 October 2007, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

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

  • 25 October 2007, Logic Tea, Simon Kramer

    Speaker: Simon Kramer (École Polytechnique)
    Title: The Intended and Actual Meaning of a Cryptographic Message and Protocol
    Date & Time: Thursday 25 October 2007, 16:00-17:00
    Location: Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam

    We propose a denotational definition for the (actual) meaning of a cryptographic message and, based on it, an equational definition for the context-sensitivity of that meaning, both via hypothetical knowledge and provability. As a result, we obtain a formalisation of the first of Abadi and Needham's principles for prudent engineering practice for - and a tentative denotational semantics of - cryptographic protocols. Building on this (published) work, we present ongoing work on the distinction between the intended and the actual meaning of a cryptographic message and protocol. Our notions are viable for general multi-agent systems.

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

  • 25 October 2007, PROSE Colloquium, Muck van Weerdenburg

    Speaker: Muck van Weerdenburg
    Title: Structural Operational Semantics with First-Order Logic
    Date & Time: Thursday 25 October 2007, 15:30-16:30
    Location: Room 6.96, HG (Main Building), TU Eindhoven

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

  • 25 October 2007, GLoRiClass Seminar, Simon Kramer

    Speaker: Simon Kramer (Lausanne)
    Title: Towards Interactive Belief, Knowledge, and Provability: Possible Application to Zero-Knowledge Proofs
    Date & Time: Thursday 25 October 2007, 11:00-13:00
    Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
  • 19 October 2007, DIP Colloquium, Ruth Millikan

    Speaker: Ruth Millikan
    Title: How children learn language without having a representational theory of mind
    Date & Time: Friday 19 October 2007, 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/.

  • 19 October 2007, Colloquium on Mathematical Logic, Canceled

    Speaker: Canceled (formerly Alexandru Baltag)
    Date: Friday 19 October 2007

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

  • 18 October 2007, GLoRiClass Seminar, Vangelis Markakis

    Speaker: Vangelis Markakis (CWI)
    Title: Algorithms for Approximate Nash Equilibria in Bi-Matrix Games
    Date & Time: Thursday 18 October 2007, 11:00-13:00
    Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
  • 12 October 2007, DIP Colloquium, Petra Hendriks

    Speaker: Petra Hendriks (Center for Language and Cognition, Groningen)
    Title: Asymmetries in grammar
    Date & Time: Friday 12 October 2007, 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/.

  • 12 October 2007, Computational Social Choice Seminar, Ulle Endriss

    Speaker: Ulle Endriss
    Title: Introduction to Cake-Cutting Procedures
    Date & Time: Friday 12 October 2007, 16:00
    Location: Room P.016 <em>(changed)</em>, Euclides Building, Plantage Muidergracht 24, Amsterdam

    For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss ().

  • 12 October 2007, Colloquium on Mathematical Logic, Valery Plisko

    Speaker: Valery Plisko
    Title: Primitive Recursive Realizabilities
    Date & Time: Friday 12 October 2007, 16:00-17:00
    Location: Room 267, Bestuursgebouw, Heidelberglaan, Utrecht
    (Bus 11 or 12 from Utrecht Central Station, stop 'AZU').

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

  • 12 October 2007, Workshop on "Learning Syntactic Structure"

    Date: Friday 12 October 2007
    Location: P3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

    On Friday, October 12th 2007, on the occasion of Yoav Seginer's PhD-defense, there will be workshop on "Learning Syntactic Structure"

    10.00, Agnietenkapel, PhD defense Yoav Seginer
    13.30, P3.27, lunch
    14h00, P3.27, Alexander Clark, What makes languages learnable?
    15h00 - 17h00, P3.27, discussion sessions (including coffee breaks)

    For more information, see here

  • 11 October 2007, Logic Tea, Wouter Koolen-Wijkstra

    Speaker: Wouter Koolen-Wijkstra
    Title: Discovering the Truth by Conducting Experiments
    Date & Time: Thursday 11 October 2007, 16:00-17:00
    Location: Room P.016, Euclides Building, Plantage Muidergracht 24, Amsterdam

    This talk is based on my MSc. Logic Thesis' research on learning from experiments. Its slogan is: Science progresses by the performing of experiments to evaluate hypotheses. I introduce a formal model of active learning in terms of information-theoretic games.

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

  • 11 October 2007, GLoRiClass Seminar, Jouko Väänänen

    Speaker: Jouko Väänänen (ILLC)
    Title: Dependence Logic
    Date & Time: Thursday 11 October 2007, 11:00-13:00
    Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
  • 10 October 2007, Logic, Language and Reasoning Seminar, Bart Geurts

    Speaker: Bart Geurts
    Title: Scalar implicature and local pragmatics
    Date & Time: Wednesday 10 October 2007, 16:00-18:00
    Location: Room 006, Institute of Linguistics OTS, Janskerkhof 13a., Utrecht

    Abstract:
    The Gricean theory of conversational implicature has always been plagued by data suggesting that what would seem to be conversational inferences may occur within the scope of operators like believe, for example - which for bona fide implicatures should be an impossibility. Concentrating my attention on scalar implicatures, I argue that, for the most part, such observations can be accounted for within a Gricean framework, and without resorting to local pragmatic inferences of any kind. However, there remains a small class of marked cases that cannot be treated as conversational implicatures, and they do require a local mode of pragmatic interpretation.

    For more information contact Jakub Szymanik at

  • 5 October 2007, Colloquium on Mathematical Logic, Shingo Saito

    Speaker: Shingo Saito
    Title: Knot points of typical continuous functions
    Date & Time: Friday 5 October 2007, 16:00-17:00
    Location: Room P.018, 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

  • 5 October 2007, ILPS Seminar, Jan Hidders and Szabolcs Mikulas

    Speaker: Jan Hidders and Szabolcs Mikulas
    Title: Axiomatizing the Relational Lattice
    Date & Time: Friday 5 October 2007, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

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

  • 1-5 October 2007, Seventh International Tbilisi Symposium on Language, Logic and Computation, Tbilisi, Georgia

    Date: 1-5 October 2007
    Location: Tbilisi, Georgia
    Deadline: 22 May 2007

    The Seventh International Tbilisi Symposium on Language, Logic and Computation will be held on 1-5 October 2007 in the vicinity of Tbilisi, the capital of Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.

    The symposium will feature three invited tutorials as well as several invited talks. Furthermore, up to 30 contributed papers can be accepted for presentation. Anybody who has attended one of the previous editions of this event can confirm that these symposia constitute an unforgettable experience.

    The event is co-located with the Third Vienna-Tbilisi Summer School in Logic and Languages, 24-28 September 2007.

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

  • 28 September, Official opening of the new Academic-Cultural center SPUI25.

    Speaker: Rens Bod, Maarten Doorman, Nelleke Noordervliet
    Date & Time: Friday 28 September, 17:00-19:00
    Location: Aula van de Universiteit van Amsterdam, Singel 411, Amsterdam

    The official opening of the new academic-cultural center SPUI25 will be held Friday September 28th, at 17.00. SPUI25 is a platform for connecting the academic culture of the University of Amsterdam and the world of culture in general. Speakers are Nelleke Noordervliet, Rens Bod and Maarten Doorman.

    For more information (dutch only), see http://www.uva.nl/actueel/object.cfm/187950C2-1321-B0BE-684777FDBB1543DC.

  • 28 September 2007, DIP Colloquium, Evangelia Vlachou

    Speaker: Evangelia Vlachou (Utrecht Institute of Linguistics)
    Date & Time: Friday 28 September 2007, 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/.

  • 28 September 2007, Games in Logic, Language and Computation (GLLC 14½)

    Date: Friday 28 September 2007
    Location: Euclides Building, Plantage Muidergracht 24, Amsterdam, P3.27

    Games are an important tool in set theory and model theory. This GLLC meeting (the 14th in the GLLC series) will focus on the current work of students from Amsterdam and Helsinki dealing with aspects of games in set theory and model theory. It is also to be seen as an encounter between Dutch and Finnish culture in mathematical logic and a great opportunity to learn about each others' research plans, goals, techniques and questions.

    Speakers include Ioanna Dimitriou, Tapio Eerola, Jokke Hasa, Daisuke Ikegami, Lauri Keskinen, Yurii Khomskii, Vadim Kulikov, Brian Semmes, Laura Sutinen and Lauri Tuomi.

    For more information, see http://www.illc.uva.nl/lgc/gllc14.5/ or contact Daisuke Ikegami <>.

  • 27 September 2007, Logic Tea, Sonja Smets

    Speaker: Sonja Smets
    Title: Dynamic-Epistemic Quantum Logic
    Date & Time: Thursday 27 September 2007, 16:00-17:00
    Location: Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam

    This talk is based on joint work with A. Baltag on the use of concepts and techniques from Dynamic Epistemic Logic (DEL) to model and interpret quantum behavior. I start by giving a brief overview of traditional Quantum Logic, as a non-classical propositional logic. Then I move on to Goldblatt's early work on Modal Quantum Logic. Next I present a dynamic-epistemic setting for quantum logic, that can overcome some of the limitations of this earlier work.

    For more information on this talk and future events please refer to the website at http://staff.science.uva.nl/~fitz/logic_tea or contact Joel Uckelmann () or Edgar Andrade ().

  • 21 September 2007, DIP Colloquium, Yurie Hara

    Speaker: Yurie Hara (Kyoto University; ILLC visiting fellow)
    Title: Questions are immediate issues
    Date & Time: Friday 21 September 2007, 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/.

  • 20 September 2007, GLoRiClass Seminar, Tadeusz Radzik

    Speaker: Tadeusz Radzik (Wrocław)
    Title: Theorems on the existence
    of almost pure Nash equilibria in games with concave and convex payoff
    functions
    Date & Time: Thursday 20 September 2007, 11:00-13:00
    Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
  • 14 September 2007, ILPS Seminar, Edgar Meij

    Speaker: Edgar Meij
    (UvA)
    Title: Thesaurus-Based Feedback to Support Mixed Search and Browsing Environments
    Date & Time: Friday 14 September 2007, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

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

  • 14 September 2007, Colloquium on Mathematical Logic, Canceled

    Speaker: Canceled (formerly Sunil Simon)
    Date: Friday 14 September 2007

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

  • 14 September 2007, Workshop Optimality Theory and Interpretation

    Date: Friday 14 September 2007
    Location: Room K04, Bungehuis, Spuistraat 210, Amsterdam

    This is the first of set of meetings researchers in the Netherlands and Germany on Optimality Theory and Interpretation are organising for keeping in touch about issues they are working on. Interested others are very welcome (please announce your attendance to henk.zeevat@uva.nl, also saying whether you are joining in for lunch).

    For more information, see here

  • 13 September 2007, Computational Social Choice Seminar, Krzysztof Apt

    Speaker: Krzysztof Apt
    Title: Sequential Groves Mechanisms for Public Project Problems
    Date & Time: Thursday 13 September 2007, 16:00
    Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

    For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss ().

  • 7 September 2007, CWI Lectures 2007, in honor of Paul Vitanyi

    Speaker: Andrew Yao (Beijing), Leonid Levin (Boston), Ming Li (Waterloo)
    Date & Time: Friday 7 September 2007, 13:30-16:30
    Location: CWI, Kruislaan 413, 1098 SJ Amsterdam, Turing Lecture Hall
    Costs: free (but registration required)

    Paul Vitányi is one of the world's most distinguished researchers in the area of Kolmogorov complexity. His research deserves broad attention. To honor Paul and his research, CWI has invited three of the world's most important researchers in theoretical computer science: Andrew Yao (Turing award 2000), Ming Li (coauthor of 'Introduction to Kolmogorov Complexity and its Applications) and Leonid Levin (co-inventor of NP-completeness). Paul's research is the central theme of this afternoon.

    For more information and registration, see http://www.cwi.nl/events/2007/cwilectures1.html/.

  • 31 August 2007, Annual Boat Trip

    Date & Time: Friday 31 August 2007, 16:15
    Location: Plantage Muidergracht 24, downstairs in the hall

    We are happy to announce that the ILLC will (as usual) welcome its new Master students by having a boat trip in which you can see the city from another point of view, followed by an informal reception where there will be something to eat and to drink. This gathering will be a nice opportunity to meet with ILLC staff members and students.

    The boat leaves at 16.30 hrs from the back of the Euclides building (Plantage Muidergracht 24), we request to gather at the front desk at 16.15 from where we will walk to the landing place of the boat. The boat will return at 18.00. Reception is from 18.00 - 19.30 at the ILLC, third floor of Euclides, Pl. Muidergracht 24

    For more information, please contact

  • 13 August 2007, Set theory meeting

    Speaker: Peter Koepke, Joel David Hamkins, Luca Motto Ros, Brian Semmes, Ali Enayat
    Date & Time: Monday 13 August 2007, 10:00-18:30
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

    We are pleased to announce a one-day set theory meeting in Amsterdam in the above schedule. Topics include Prikry forcing, too large large cardinals, Wadge reducibility and its generalization and non-standard models of set theory. Any people interested in set theory are welcome to join.

    For more information inclusing a program and abstracts, see http://staff.science.uva.nl/~ikegami/Ams_Aug_2007.html or e-mail .

  • 6-17 August 2007, ESSLLI-2007:
    19th European Summer School in Logic, Language and Information, Dublin, Ireland

    Date: 6-17 August 2007
    Location: Dublin, Ireland
    Deadline: 15 June 2007

    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.

    The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2007 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

    The ESSLLI-2007 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 19th annual Summer School on a wide range of timely topics that have demonstrated their relevance in the fields of language & computation, language & logic, or logic & computation. Submissions should be submitted before June 15th, 2006 at http://www.folli.org/submission.php

    For more information, see the ESSLLI website at https://www.cs.tcd.ie/esslli2007/.

    For more information, see here .
  • 5-9 August 2007, Workshop Logic, Rationality and Interaction

    Date: 5-9 August 2007
    Deadline: 15 April 2007

    In the past decade it has become increasingly clear that studying information, first and foremost, means studying information exchange. This acknowledgement of the inherently social character of information shows up at many places in modern logical theories. More generally, information exchange is a form of interaction where agents act together in strategic ways. This new perspective has led to contacts between logic and game theory, bringing a new set of disciplines into the scope of logic: viz., economics, and the social sciences.

    New interfaces are arising, such as epistemic studies of rational behavior in games. Another interesting development in this area is the rise of the notion of 'social software', the idea of using computational techniques for analyzing patterns of social behavior. And finally, interaction is also crucial to intelligent behavior in the field of natural language. Here pragmatics, the study of the actual use of language between different agents, has become the primary focus of research. Notions from game theory, in particular evolutionary games, are being used to-day to answer all kinds of pragmatic issues, for instance, how linguistic conventions can arise.

    This workshop aims to bring together researchers working on these and related topics in logic, philosophy, computer science, and related areas in order to arrive at an integrated perspective on knowledge acquisition, information exchange, and rational action.

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

  • 3 August 2007, Colloquium on Mathematical Logic, Joel Hamkins

    Speaker: Joel Hamkins (CUNY)
    Title: Boolean ultrapowers
    Date & Time: Friday 3 August 2007, 16:00-17:00
    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

  • 20 July 2007, Colloquium on Mathematical Logic, Jeff Paris

    Speaker: Jeff Paris (Manchester)
    Title: Rationality as conformity
    Date & Time: Friday 20 July 2007, 16:00-17:00
    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

  • 3 July 2007, CWI-DIAMANT Seminar Combinatorics and Optimization, Amin Saberi

    Speaker: Amin Saberi
    Title: Approximation Algorithms for Fair Allocation of Indivisible Goods
    Date & Time: Tuesday 3 July 2007, 10:00
    Location: CWI, Kruislaan 413, Amsterdam

    For an abstract, see here. For more information, see http://homepages.cwi.nl/~monique/acoseminar/ or contact Vangelis Markakis ().

  • 2 July 2007, Meeting of the Minds, Euclides Building, ILLC, Amsterdam

    Date & Time: 2 July 2007, 13:00 - 17:15
    Location: Euclides Building, ILLC, Amsterdam

    The meeting will be held in room P.327. Speakers include J. van Benthem, K.R. Apt, J. van Eijck and E. Pacuit.

    For more information, see http://homepages.cwi.nl/~apt/meeting07/ or contact

    For more information, see here .
  • 29 June 2007, DIP Colloquium, Paul Egré

    Speaker: Paul Egré (CNRS, Institut Jean-Nicod, Paris)
    Date & Time: Friday 29 June 2007, 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/.

  • 29 June 2007, DIP Colloquium, Jeroen Groenendijk , Paul Egré

    Speaker: Jeroen Groenendijk (ILLC), Paul Egré (CNRS)
    Title: An Afternoon of Raising Issues and Answering Questions
    Date & Time: Friday 29 June 2007, 14:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

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

  • 26 June 2007, ACG Colloquium, Kostas Chatzikokolakis

    Speaker: Kostas Chatzikokolakis
    Title: An information-theoretic framework for anonymity and the problem of non-determinism
    Date & Time: Tuesday 26 June 2007, 13:30
    Location: Room M279, CWI, Kruislaan 413, Amsterdam
  • 22 June 2007, RUC-ILLC Workshop on Formalizing Actions, Roskilde University, Denmark

    Date: Friday 22 June 2007
    Location: Roskilde University, Denmark

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

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

  • 20 June 2007, Logic, Language and Reasoning, Michiel van Lambalgen,

    Speaker: Michiel van Lambalgen,
    Title: Is probability theory useful in modelling human reasoning?
    Date & Time: Wednesday 20 June 2007, 16:00-18:00
    Location: Room P.327, Plantage Muidergracht 24, Amsterdam

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

    For more information, contact Jakub Szymanik at

  • 18 June 2007, EmCAP Workshop on modeling music cognition, Universiteitstheater, Nieuwe Doelenstraat 16-18, Amsterdam

    Date: Monday 18 June 2007
    Location: Universiteitstheater, Nieuwe Doelenstraat 16-18, Amsterdam

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

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

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

  • 15 June 2007, Colloquium on Mathematical Logic, Kamal Lodaya

    Speaker: Kamal Lodaya (Chennai, India)
    Title: Marking time
    Date & Time: Friday 15 June 2007, 15:00-16:00
    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

  • 15 June 2007, ILPS Seminar, Valentin Jijkoun

    Speaker: Valentin Jijkoun (UvA)
    Date & Time: Friday 15 June 2007, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

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

  • 14 June 2007, USCKI Incognito Symposium "P = NP, how hard can it be?", Went Blauw (Uithof), Utrecht University

    Date: Thursday 14 June 2007
    Location: Went Blauw (Uithof), Utrecht University
    Costs: none

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

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

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

  • 13 June 2007, Computational Linguistics Seminar, Reut Tsarfaty

    Speaker: Reut Tsarfaty
    Title: Three-dimensional parametrization for parsing morphologically rich languages
    Date & Time: Wednesday 13 June 2007, 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 June 2007, Colloquium on Mathematical Logic, Yuri Gurevich

    Speaker: Yuri Gurevich
    Title: Zero-one Laws of Discrete Mathematics
    Date & Time: Monday 11 June 2007, 14:00-15:00
    Location: Room P.017, 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

  • 11 June 2007, GLoRiClass Projects, Joel Uckelman, Jonathan Zvesper

    Speaker: Joel Uckelman, Jonathan Zvesper
    Date & Time: Monday 11 June 2007, 12:00-13:00
    Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 8 June 2007, DIP Colloquium, Rick Nouwen

    Speaker: Rick Nouwen (UiL-OTS, Utrecht University)
    Title: A guide to <, >, ≤, and ≥ in natural language
    Date & Time: Friday 8 June 2007, 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 June 2007, Medieval Logic Reading Group, Sara Uckelman

    Speaker: Sara Uckelman
    Title: Modes of predication and syllogistic reasoning in the Trinity
    Date & Time: Friday 8 June 2007, 15:00-17:00
    Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

    For more information, contact Sara at

  • 8 June 2007, ILPS Seminar, Krisztian Balog

    Speaker: Krisztian Balog (UvA)
    Title: People Search in the Enterprise
    Date & Time: Friday 8 June 2007, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

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

  • 6 June 2007, Presentations on "Advanced Topics in Recursion Theory"

    Date & Time: Wednesday 6 June 2007, 13:00-15:00
    Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

    For more information, see here.

  • 5 June 2007, ACG Colloquium, Helle Hvid Hansen

    Speaker: Helle Hvid Hansen (VU/CWI)
    Title: Subsequential Transducers and Coalgebra
    Date & Time: Tuesday 5 June 2007, 13:30
    Location: Room M279, CWI, Kruislaan 413, Amsterdam
  • 1 June 2007, Colloquium on Mathematical Logic, Piet Rodenburg

    Speaker: Piet Rodenburg (UvA)
    Title: Piecewise Initial Algebra Semantics
    Date & Time: Friday 1 June 2007, 16:00-17:00
    Location: Room 202, Unnikgebouw, Utrecht
    (Bus 11 or 12 from Utrecht Central Station).

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

  • 1-2 June 2007, PALMYR-V : Dynamic Perspectives on Meaning, Ecole Normale Supérieure, Paris

    Date: 1-2 June 2007
    Location: Ecole Normale Supérieure, Paris

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

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

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

  • 1 June 2007, ILPS Seminar, canceled

    Speaker: canceled (was: Loredana Afanasiev, UvA)
    Date: Friday 1 June 2007

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

  • 30 May 2007, Computational Linguistics Seminar, Reinhard Blutner

    Speaker: Reinhard Blutner
    Title: Quantum probabilities, entanglement, and computational semantics
    Date & Time: Wednesday 30 May 2007, 16:00
    Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

    Classical truth-functional semantics and almost all of its modifications have a serious problem in treating prototypes and their combination. Though some modelling variants can fit many of the puzzling empirical observation, their explanatory value is seldom noteworthy. Reinhard Blutner will argue that the explanatory inadequacy is due to the Boolean characteristic of the underlying semantics, which only allows mixing possible words but it excludes the idea of superposition crucial for geometrical models of meanings.

    For more information, see http://www.illc.uva.nl/LaCo/CLS/ or contact Jelle Zuidema ().

  • 25 May 2007, DIP Colloquium, Yoad Winter

    Speaker: Yoad Winter (Computer Science, Israel Institute of Technology)
    Title: Multiple Coordination - Recursion and the Syntax-Semantics Interface
    Date & Time: Friday 25 May 2007, 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 May 2007, ILPS Seminar, Rescheduled to June 8

    Speaker: Rescheduled to June 8 (was: Krisztian Balog and Edgar Meij)
    Date: Friday 25 May 2007

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

  • 24 May 2007, Computational Social Choice Seminar, Jouko Väänänen

    Speaker: Jouko Väänänen
    Title: Dependence Logic
    Date & Time: Thursday 24 May 2007, 16:00
    Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

    For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss ().

  • 23 May 2007, Logic Tea, Ulle Endriss

    Speaker: Ulle Endriss
    Title: Abstract models for dialogue protocols
    Date & Time: Wednesday 23 May 2007, 17:30-18:30
    Location: Room P.017, 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 Jonathan Zvesper (), Hartmut Fitz () or Joel Uckelmann ().

  • 23 May 2007, Computational Linguistics Seminar, Louis ten Bosch

    Speaker: Louis ten Bosch
    Title: the ACORNS-project: Acquisition of Recognition and Communication Skills
    Date & Time: Wednesday 23 May 2007, 16:00
    Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

    For more information, see http://www.illc.uva.nl/LaCo/CLS/ or contact Jelle Zuidema ().

  • 18 May 2007, Colloquium on Mathematical Logic, Dimitri Hendriks

    Speaker: Dimitri Hendriks (VU)
    Title: A calculus for deciding productivity of recursive stream definitions
    Date & Time: Friday 18 May 2007, 16:00-17:00
    Location: Room E.015, Faculty of Economics, Roetersstraat 11, Amsterdam

    (Tram 9 from Central Station, to Plantage Badlaan).

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

  • 16 May 2007, Seminar "Logic, Language and Reasoning", Marian Counihan (ILLC UvA)

    Speaker: Marian Counihan (ILLC UvA)
    Title: "Logical premises and everyday language"
    Date & Time: Wednesday 16 May 2007, 16:00-17:45
    Location: Room 3.27, ILLC, Plantage Muidegracht 24, Amsterdam

    This is the second meeting of the seminar "Logic, Language and Reasoning" which aims at bringing together researchers interested in human reasoning. The talk by Marian Counihan will be from 4-5: the second half of the seminar is question time and discussion.

    For more information contact Jakub Szymanik at

  • 11 May 2007, DIP Colloquium, Regine Eckardt

    Speaker: Regine Eckardt (Dept. of English Language and Literature, University of Gottingen)
    Title: Almost - A Theory
    Date & Time: Friday 11 May 2007, 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/.

  • 10-11 May 2007, Workshop on Logics for Coalgebras, Euclides Building, Plantage Muidergracht 24, Amsterdam

    Date: 10-11 May 2007
    Location: Euclides Building, Plantage Muidergracht 24, Amsterdam

    Coalgebras have been expanding and reshaping the mathematical environment of modal logic: pivoting on the crucial notion of 'bisimulation invariance', a wide range of languages based on Set-endofunctors have been recognized as modal in nature and conversely, the coalgebraic nature of modal logic is clearly recognizable by its model theory.

    This workshop aims at giving a snapshot of the advances in the resulting field of coalgebraic modal logic. The program also includes a tutorial on coalgebras for modal logicians.

    For more information, see http://staff.science.uva.nl/~gfontain/logics_for_coalgebras/home.html or contact Allesandra Palmigiano at or Gaelle Fontaine at . Early expressions of interests are very welcome: if you plan to attend the meeting, please contact Alessandra.

  • 9 May 2007, Computational Linguistics Seminar, Pieter Adriaans

    Speaker: Pieter Adriaans
    Title: The Power and Perils of MDL
    Date & Time: Wednesday 9 May 2007, 16:00
    Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

    In this lecture Pieter Adriaans will present some recent work he did with Paul Vitanyi and Ceriel Jacobs on the application of the MDL (Minimum Description Length) principle to grammar induction.

    For more information, see http://www.illc.uva.nl/LaCo/CLS/ or contact Jelle Zuidema ().

  • 8 May 2007, ACG Colloquium, Clemens Kupke and Helle Hvid Hansen

    Speaker: Clemens Kupke (CWI) and Helle Hvid Hansen (VU and CWI)
    Title: Bisimulations for neighbourhood structures (part 2)
    Date & Time: Tuesday 8 May 2007, 13:30
    Location: Room M279, CWI, Kruislaan 413, Amsterdam
  • 4 May 2007, Colloquium on Mathematical Logic, Ali Enayat

    Speaker: Ali Enayat
    Title: From fragments of arithmetic to large cardinals via Quine-Jensen set theory
    Date & Time: Friday 4 May 2007, 16:00-17:00
    Location: Room K11, 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

  • 2-5 May 2007, Foundations of the Formal Sciences VI: Reasoning about Probabilities and Probabilistic Reasoning, ILLC University of Amsterdam

    Date: 2-5 May 2007
    Location: ILLC University of Amsterdam

    Probabilistic methods are increasingly becoming an important tool in a variety of disciplines. These include computer science (probabilistic computation and automata, randomness), mathematics (probabilistic proofs), artificial intelligence (reasoning under uncertainty), epistemology (bayesian epistemology) and linguistics (probabilistic grammars). Of course, from the beginning, probabilistic and statistical methods have been heavily used in game theory and decision theory. Often separate to the discussion on applications of probabilistic methods is an important philosophical debate over the precise meaning of probabilistic and statistical statements. This debate often raises a number of issues crucial to understanding how to interpret results achieved using probabilistic methods.

    We understand this conference as an interdisciplinary venue for researchers that use probabilistic and statistical methods in their respective fields and researchers that are concerned with the philosophical interpretation of probability and statistics to exchange ideas, approaches and techniques. Such a forum will facilitate discussions about the applicability of probabilistic methods and help ground foundational debates with concerns of practitioners of probabilistic methods.

    For more information, see http://www.math.uni-bonn.de/people/fotfs/VI/

  • 27 April 2007, DIP Colloquium, Carla Umbach

    Speaker: Carla Umbach (Institute of Cognitive Science, University of Osnabrueck)
    Title: Focus in German Noun Phrases
    Date & Time: Friday 27 April 2007, 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/.

  • 27 April 2007, Computational Social Choice Seminar, Joel Uckelman

    Speaker: Joel Uckelman
    Title: Preference Representation with Weighted Goals: Some Properties and an Application to Voting
    Date & Time: Friday 27 April 2007, 16:00
    Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

    For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss ().

  • 24 April 2007, ACG Colloquium, Clemens Kupke and Helle Hvid Hansen

    Speaker: Clemens Kupke (CWI/UvA) and Helle Hvid Hansen (CWI/VU)
    Title: Bisimulations for neighbourhood structures
    Date & Time: Tuesday 24 April 2007, 13:30
    Location: Room M279, CWI, Kruislaan 413, Amsterdam
  • 20 April 2007, ILPS Seminar, Balder ten Cate

    Speaker: Balder ten Cate
    (UvA)
    Date & Time: Friday 20 April 2007, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    Moved from April 13th. For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-1.html#Apr20 .

  • 20 April 2007, Luitzen Egbertus Jan Brouwer Conference, Jaarbeurs Utrecht, Beatrixgebouw, Utrecht

    Date: Friday 20 April 2007
    Location: Jaarbeurs Utrecht, Beatrixgebouw, Utrecht

    This symposium is organized bij the OzsL, the VvL and the Heyting Foundation. Invited speakers include Prof.dr. Dirk van Dalen, Dr. Mark van Atten, Dr. Wim Veldman and Dr. John van Mill.

    Registration deadline: 16 April. For more information about programme, speakers and registration, see http://ozsl.uu.nl/brouwer/ or contact the organizers at .

  • 19 April 2007, Colloquium on Mathematical Logic, Lauri Hella

    Speaker: Lauri Hella
    Title: Constraint Satisfaction Problems and Quantifier Free Reductions
    Date & Time: Thursday 19 April 2007, 16:00-17:00
    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

  • 19 April 2007, PROSE Colloquium, Bas Luttik

    Speaker: Bas Luttik
    Title: Branching Bisimulation Equivalence with Explicit Divergence
    Date & Time: Thursday 19 April 2007, 15:30-16:30
    Location: Room 6.96, HG (Main Building), TU Eindhoven

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

  • 18 April 2007, An afternoon on intuitionistic logic, P015a, Euclides Building, Plantage Muidergracht 24, Amsterdam

    Date & Time: Wednesday 18 April 2007, 13:00-17:00
    Location: P015a, Euclides Building, Plantage Muidergracht 24, Amsterdam

    Technical results on Intuitionistic Logic and Heyting Algebra by Gaelle Fontaine, Lex Hendriks, Joost Joosten, Nick Vaporis (phil. UU), Yde Venema, Fan Yang.

    For more information, see http://staff.science.uva.nl/~gfontain/ipc/.

  • 13 April 2007, DIP Colloquium, Cecile Meier

    Speaker: Cecile Meier (Frankfurt)
    Title: The predicative analysis for PP resultatives revisited
    Date & Time: Friday 13 April 2007, 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/.

  • 13 April 2007, Colloquium on Mathematical Logic, Bas Spitters

    Speaker: Bas Spitters (RU)
    Title: Computable sets: Located and overt locales
    Date & Time: Friday 13 April 2007, 16:00-17:00
    Location: Room K11, 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

  • 11 April 2007, Logic Tea, Eva Wilhelmus

    Speaker: Eva Wilhelmus (Bonn)
    Title: Formalizability and knowledge ascriptions in mathematical practice
    Date & Time: Wednesday 11 April 2007, 17:30-18:30
    Location: Room P.017, 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 Jonathan Zvesper (), Hartmut Fitz () or Joel Uckelmann ().

  • 10 April 2007, ACG Colloquium, Dave Clarke

    Speaker: Dave Clarke
    Title: Booking Holidays with Linear Logic
    Date & Time: Tuesday 10 April 2007, 13:30
    Location: Room M279, CWI, Kruislaan 413, Amsterdam
  • 4-5 April 2007, Arithmetic Days: Models and Interpretations, Utrecht, The Netherlands

    Date & Time: 4-5 April 2007, 10:00-17:00
    Location: Utrecht, The Netherlands

    A workshop organized by the Department of Philosophy, Utrecht University and the Institute for Logic, Language and Computation, University of Amsterdam, featuring Enayat, Engstrom, Kaye, Kennedy, Kossak, Ressayre, and Visser.

    Venue Wednesday: Kromme Nieuwegracht 80
    Venue Thursday: Drift 21
    Organizers: Albert Visser (Utrecht) and Jouko Väänänen (Amsterdam)

    For more information, see http://staff.science.uva.nl/~vaananen/ami

  • 3 April 2007, Colloquium on Mathematical Logic, Yuri Gurevich

    Speaker: Yuri Gurevich (Microsoft research)
    Title: Why Sets?
    Date & Time: Tuesday 3 April 2007, 16:00-17:00
    Location: Room 211, van Unnikgebouw, Utrecht

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

  • 2 April 2007, Languages of Medicine, Prof. Barry Smith

    Speaker: Prof. Barry Smith
    Date & Time: Monday 2 April 2007, 16:00-17:30
    Location: Van Unnikgebouw room 'Groen', De Uithof, Utrecht

    Increasingly, medical science rests on biological discoveries about cells, genes and proteins. Increasingly, medical science rests on the processing by computers of large bodies of data deriving from new diagnostic techniques. But serious problems arise when biologists and clinical researchers need to communicate, and these problems are compounded wherever computers are involved. We will show how these problems overlap with some of the traditional concerns of the philosophy of language, and how philosophers are working with biomedical researchers to contribute to their solution.

    Prof. Barry Smith is Julian Park Professor of Philosophy at SUNY in Buffalo, and Director of the Institute for Formal Ontology and Medical Information Science at the University of Saarbruecken. He is also Scientific Director of the European Centre for Ontological Research.

    For more information, please contact

  • 2 April 2007, Logic, Language and Reasoning, Canceled

    Speaker: Canceled (was: Marian Counihan)
    Date: Monday 2 April 2007

    For more information, contact Fabian Battaglini at

  • 30 March 2007, DIP Colloquium, Mana Kobuchi

    Speaker: Mana Kobuchi (UiL-OTS, Utrecht University)
    Title: Semantics of Individual-Denoting Classifiers and Its Consequences
    Date & Time: Friday 30 March 2007, 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 2007, Colloquium on Mathematical Logic, Roman Kossak

    Speaker: Roman Kossak (CUNY)
    Title: Forcing in models of arithmetic
    Date & Time: Friday 30 March 2007, 16:00-17:00
    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

  • 30 March 2007, CSCA Lustrum Symposium, Felix Meritis (Teekenzaal), Amsterdam

    Date & Time: Friday 30 March 2007, 14:00-17:00
    Location: Felix Meritis (Teekenzaal), Amsterdam

    The Cognitive Science Center Amsterdam celebrates its first lustrum. Three CSCA VICI laureates will present findings that emerged from their research. Cyriel Pennartz is working in Cognitive Neuroscience, Richard Ridderinkhof in Cognitive Psychology and Rens Bod in Cognitive Systems. Together they cover the broad domain of the Brain and Cognitive Sciences.

    Address: Keizersgracht 324, Amsterdam. For more information, including a program and abstracts, see http://www.csca.uva.nl/csca/object.cfm/. If you want to participate, please send an email to .

  • 30 March 2007, ILPS Seminar, Vera Hollink

    Speaker: Vera Hollink (UvA)
    Date & Time: Friday 30 March 2007, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

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

  • 28 March 2007, Logic Tea, Dennis Bonnay

    Speaker: Dennis Bonnay (IHPST/DEC Paris)
    Title: What is a logical constant?
    Date & Time: Wednesday 28 March 2007, 17:30-18:30
    Location: Room P.017, 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 Jonathan Zvesper (), Hartmut Fitz () or Joel Uckelmann ().

  • 28 March 2007, Computational Social Choice Seminar, Steven J. Brams

    Speaker: Steven J. Brams (New York)
    Title: Divide-and-Conquer: A Proportional, Minimal-Envy Cake-Cutting Procedure
    Date & Time: Wednesday 28 March 2007, 16:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

    For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss ().

  • 27 March 2007, Schrijfclinic European Research Council Starting Grant

    Date & Time: Tuesday 27 March 2007, 9:30-17:00
    Location: Roetersstraat 11, Gebouw H, Agora, zaal Symposion

    (dutch only)
    De European Research Council heeft onlangs bekendheid gegeven aan de start van twee subsidieprogramma's voor excellente onderzoekers: ERC Starting Independent researcher Grants en ERC Advanced Investigator Grants. De oproep voor de Starting Grants sluit op 25 april, die voor Advanced Grants komt later dit jaar. De Starting Grant is vergelijkbaar met een VIDI-subsidie van NWO.

    Het College van Bestuur van de Universiteit van Amsterdam stimuleert graag de deelname aan de Starting Grant en biedt ondersteuning in de vorm van een schrijfclinic, waarin onderzoekers advies en begeleiding krijgen bij het opstellen van hun voorstel. Dr. Frans van den Beemt neemt met u de succesfactoren door en becommentarieert desgewenst uw voorstel. Hij heeft in 25 jaar een schat aan ervaring opgebouwd, heeft het fenomeen van onderzoeksbeoordeling internationaal onderzocht en is er bovendien op gepromoveerd. Op elk vakgebied analyseert hij concept- onderzoeksaanvragen op inhoud en tactiek. Met zijn analyse en advies kunt u uw scoringskans drastisch verhogen, zo bewijst zijn praktijk.

    Voor meer informatie, zie here

  • 23 March 2007, Colloquium on Mathematical Logic, Andres Villaveces

    Speaker: Andres Villaveces (Bogotá)
    Title: Generic Predicates over Hilbert Spaces - (Continuous) Model Theory of Pairs
    Date & Time: Friday 23 March 2007, 17:00-18:00
    Location: Room P.017 (<em>changed</em>), 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

  • 23 March 2007, ILPS Seminar, Leif Azzopardi

    Speaker: Leif Azzopardi
    (University of Glasgow)
    Title: Considering Incompleteness of Assessments in IR Evaluation
    Date & Time: Friday 23 March 2007, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

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

  • 21 March 2007, Computational Linguistics Seminar, Paul Boersma (joint work with Silke Hamann)

    Speaker: Paul Boersma (joint work with Silke Hamann)
    Title: The evolution of auditory contrast
    Date & Time: Wednesday 21 March 2007, 16:00
    Location: Room P3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

    This paper reconciles the standpoint that language users do not aim at improving their sound systems with the observation that languages seem to improve their sound systems. Computer simulations of sibilant inventories show that Optimality-Theoretic learners who optimize their perception grammars automatically introduce a so-called prototype effect, i.e. the phenomenon that the learner's preferred auditory realization of a certain phonological category is more peripheral than the average auditory realization of this category in her language environment. In production, however, this prototype effect is counteracted by an articulatory effect that limits the auditory form to something that is not too difficult to pronounce. If the prototype effect and the articulatory effect are of a ifferent size, the learner must end up with an auditorily different sound system from that of her language environment. The computer simulations show that, independently of the initial auditory sound system, a stable equilibrium is reached within a small number of generations. In this stable state, the dispersion of the sibilants of the language strikes an optimal balance between articulatory ease and auditory contrast. This result has been derived from a model without goal-oriented elements.

    For more information, please contact

  • 20 March 2007, ACG Colloquium, Pieter Collins

    Speaker: Pieter Collins
    Title: Formal languages and computable semantics for continuous mathematics
    Date & Time: Tuesday 20 March 2007, 13:30
    Location: Room M279, CWI, Kruislaan 413, Amsterdam
  • 16 March 2007, Colloquium on Mathematical Logic, Juliette Kennedy

    Speaker: Juliette Kennedy (Helsinki)
    Title: Square-like principles, Arithmetic and Model Theory
    Date & Time: Friday 16 March 2007, 16:00-17:00
    Location: Room K11, Wiskundegebouw, Budapestlaan 6, Utrecht
    (Bus 11 or 12 from Utrecht Central Station).

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

  • 16 March 2007, DIP Colloquium, Markus Egg

    Speaker: Markus Egg (Center for Language and Cognition, University
    of Groningen)
    Title: Rhetorical Questions
    Date & Time: Friday 16 March 2007, 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/.

  • 16 March 2007, ILPS Seminar, Bouke Huurnink and Ork de Rooij

    Speaker: Bouke Huurnink and Ork de Rooij
    Title: Exploiting Text Retrieval Methods for Video Search
    / Dynamic Browsing Through Large Video Collections
    Date & Time: Friday 16 March 2007, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    This seminar will be shared between two speakers giving two different talks of 20 minutes plus questions each.

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

  • 15 March 2007, Logics for Dynamics of Information and Preferences - Special Working sessions, François Lepage (Universite de Montreal)

    Speaker: François Lepage (Universite de Montreal)
    Title: Belief Revision, Backgrounds, and Counterfactuals
    Date & Time: Thursday 15 March 2007, 14:00
    Location: P3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

    There are two very different ways to represent the dynamics of belief. One is the well known conditionalization: An agent whose belief function is represented by a probability function Pr(X) shifts to Pr(X ∧ A)/Pr(A) after discovering that A is the case. An other kind of dynamics is associated with the evaluation of a counterfactual: Pr(A > B) = Pr_A(B) where Pr_A is obtained from Pr by some minimal change to obtain Pr _A(A) = 1. This is Imaging as introduced by David Lewis.

    After a characterization of Lewis imaging, we ask the question of the possibility of extending imaging to the general framework of conditional probability functions, i.e. of the possibility of defining - given that conditional probability function Pr(X, Γ) is the primitive notion - Pr(A > B,Γ) using imaging. We show that there is no simple and intuitive way to do so.

    For more information, see http://staff.science.uva.nl/~oroy/Working_sessions/

  • 14 March 2007, Logic Tea, Canceled

    Speaker: Canceled (was: Wouter Koolen-Wijkstra)
    Date: Wednesday 14 March 2007

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Jonathan Zvesper (), Hartmut Fitz () or Joel Uckelmann ().

  • 9 March 2007, ILLC-ACLC afternoon on "Language Evolution"

    Date & Time: 9 March 2007, 14:30-17:15
    Location: Room 105, PC Hoofthuis, Spuistraat 134, Amsterdam

    Speakers: Robert van Rooy (ILLC), Enoch Aboh & Umberto Ansaldo (ACLC), Hartmut Fitz (ILLC), Bart de Boer (ACLC).

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

  • 8 March 2007, Computational Social Choice Seminar, Hylke Buisman, Gijs Kruitbosch and Nadya Peek

    Speaker: Hylke Buisman, Gijs Kruitbosch and Nadya Peek
    Title: A Simulation Platform for Distributed Multiagent Resource Allocation
    Date & Time: Thursday 8 March 2007, 15:30
    Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

    For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss ().

  • 2 March 2007, Colloquium on Mathematical Logic, Juha Kontinen

    Speaker: Juha Kontinen (Helsinki)
    Title: Majority in logic and computation
    Date & Time: Friday 2 March 2007, 16:00-17:00
    Location: <em>changed:</em>
    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://staff.science.uva.nl/~bloewe/CML.html

  • 2 March 2007, DIP Colloquium, Tamas Biro

    Speaker: Tamas Biro (ACLC/UvA)
    Title: Finding the Right Words - Implementing Optimality Theory with Simulated Annealing
    Date & Time: Friday 2 March 2007, 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/.

  • 2 March 2007, ILPS Seminar, Victor de Boer

    Speaker: Victor de Boer (UvA)
    Title: Ontology enrichment from heterogeneous sources using redundancy
    Date & Time: Friday 2 March 2007, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

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

  • 1 March 2007, Computational Social Choice Seminar, Ulle Endriss

    Speaker: Ulle Endriss
    Title: Vote Manipulation in the Presence of Multiple Sincere Ballots
    Date & Time: Thursday 1 March 2007, 15:30
    Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

    For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss ().

  • 28 February 2007, Logic Tea, Tiago de Lima

    Speaker: Tiago de Lima (Institut de Recherche en Informatique de Toulouse (IRIT))
    Title: A tableau method for public announcement logics
    Date & Time: Wednesday 28 February 2007, 17:30-18:30
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, see here or contact Jonathan Zvesper (), Hartmut Fitz () or Joel Uckelmann ().

  • 27 February 2007, HAI-Tea, Pieter Adriaans

    Speaker: Pieter Adriaans
    Title: The Power and Perils of MDL
    Date & Time: Tuesday 27 February 2007, 15:00
    Location: Room C210, Roeterseiland, Nieuwe Achtergracht 127, Amsterdam

    In this lecture I will present some recent work I did with Paul Vitanyi and Ceriel Jacobs on the application of the MDL (Minimum Description Length) principle to grammar induction. We have studied MDL in terms of two-part code optimization and randomness deficiency. These notions will be explained in the lecture. In this framework we showed that: 1) Shorter code not necessarily leads to better theories, e.g. the randomness deficiency does not decrease monotonically with the MDL code, 2) contrary to what is suggested by the results of Gold:1967 there is no fundamental difference between positive and negative data from an MDL perspective, 3) MDL is extremely sensitive to the correct calculation of code length. Using these ideas we have implemented a MDL variant of the EDSM algorithm. The results show that although MDL works well as a global optimization criterion, it falls short of the performance of algorithms that evaluate local features of the problem space. MDL can be described as a global strategy for featureless learning.

    For more information, see http://homepages.cwi.nl/~paulv/papers/perils.pdf and http://staff.science.uva.nl/~pietera/ALS/background/lncs_icgi-mdl.pdf.
    For more information on HAI-Tea lectures, see http://www.science.uva.nl/onderwijs/studieprogramma/haitea/.

  • 23 February 2007, ILPS Seminar, Bart Brinkman

    Speaker: Bart Brinkman (iBroadcasting.nl)
    Title: How to make iBroadcasting.nl fast?
    Date & Time: Friday 23 February 2007, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

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

  • 22 February 2007, FNWI site visit

    Date & Time: Thursday 22 February 2007, 13:00-17:30
    Location: Room P.018, ILLC, Plantage Muidergracht 24, Amsterdam

    We cordially invite you to attend the plenary session of the annual site visit of the dean of the Faculty of Science. The site visit takes place Thursday February 22 from 13.00-17.30. We explicitly ask our Humanities colleagues to be present, as the directors visit the ILLC as an interfaculty institute, not only the Science part.

    The full text of this announcement can be found at here.

  • 22 February 2007, GLoRiClass Seminar, Michel Mandjes

    Speaker: Michel Mandjes
    Title: Competition for scarce resources: where queueing theory meets game theory
    Date & Time: Thursday 22 February 2007, 11:15-13:00
    Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
  • 20 February 2007, ACG Colloquium, Mehdi Dastani

    Speaker: Mehdi Dastani
    Title: 2APL: A Practical Agent Programming Language
    Date & Time: Tuesday 20 February 2007, 13:30
    Location: Room M279, CWI, Kruislaan 413, Amsterdam
  • 19 February 2007, Forum voor Europese Cultuur, Prof. dr. Dirk van Dalen

    Speaker: Prof. dr. Dirk van Dalen
    Title: L.E.J. Brouwers Revolutie - 1907, Van mystiek naar wiskunde
    Date & Time: Monday 19 February 2007, 20:00-
    Location: Felix Meritis, Amsterdam
    Costs: 10 euro; studenten 7,50 euro

    (Dutch only)
    19 February 1907 promoveerde L.E.J. Brouwer in de aula van de Universiteit van Amsterdam. Exact 100 jaar later zal Professor van Dalen een lezing houden over deze revolutionair, die tot de grootste zieners en geleerden van de twintigste eeuw behoorde.

    Voor meer informatie, zie http://www.forumeuropesecultuur.nl/. Reserveren is gewenst: of telefoon: (020)6231311.

  • 19 February 2007, Maagdenhuis op Maandag, Jan van Eijck

    Speaker: Jan van Eijck
    Title: Is collectief rationeel handelen mogelijk?
    Date & Time: Monday 19 February 2007, 19:30-
    Location: Maagdenhuis, Spui 21, Amsterdam

    (dutch only)
    Als we collectief de klimaatverandering binnen de perken willen houden, dan zullen we moeten inzien dat effectieve collectieve actie nooit de optelsom kan zijn van individueel handelen. Collectieve weet van de actiebereidheid van de hele groep is nodig voor succesvol collectief handelen, betoogt prof. dr. Jan van Eijck in deze editie van Maagdenhuis op Maandag.

    Voor meer informatie, zie here of http://www.uva.nl/maagdenhuisopmaandag/.

  • 16 February 2007, Colloquium on Mathematical Logic, Ronald de Wolf

    Speaker: Ronald de Wolf (CWI)
    Title: Quantum proofs for classical theorems
    Date & Time: Friday 16 February 2007, 16:00-17:00
    Location: Room 032, Ruppertgebouw, Leuvenlaan, entrance 'educatorium', Utrecht
    (Bus 11 or 12 from Utrecht Central Station).

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

  • 16 February 2007, ILPS Seminar, Khalid Mahboob

    Speaker: Khalid Mahboob (UvA)
    Title: Machine learning for QA from tabular data
    Date & Time: Friday 16 February 2007, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    Note that the fprmerly-announced talk by Leif Azzopardi has been moved to March 23. For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-1.html#Feb16 .

  • 15 February 2007, Computational Social Choice Seminar, Elise Bonzon

    Speaker: Elise Bonzon
    Title: Boolean Games
    Date & Time: Thursday 15 February 2007, 14:00
    Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

    For more information, see here or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss ().

  • 15 February 2007, GLoRiClass Seminar, Brian Semmes

    Speaker: Brian Semmes
    Title: Games, trees, and Borel functions
    Date & Time: Thursday 15 February 2007, 11:15-13:00
    Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
  • 14 February 2007, Logic Tea, Patrick Girard

    Speaker: Patrick Girard
    Title: Ceteris Paribus Clauses: Normal or Equal?
    Date & Time: Wednesday 14 February 2007, 17:30-18:30
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For the abstract of this talk, see here

  • 12 February 2007, Logic, Language and Reasoning, Jakub Szymanik

    Speaker: Jakub Szymanik
    Title: A comment on a neuroimaging study of natural language quantifier comprehension
    Date & Time: Monday 12 February 2007, 14:00-16:00
    Location: Room 279, Centrum voor Wiskunde en Informatica,
    Kruislaan 413, Amsterdam

    This is the first meeting of the seminar "Logic, Language and Reasoning" (this is a provisional title). This seminar aims at bringing together the Netherlands-based researchers interested in human reasoning. After the talk there will be time for discussion between the participants in order to organise the next sessions of the seminar.

    For more information, see here or contact Fabian Battaglini at

  • 8 February 2007, KNAW Master Class "New perspectives on Games and Interaction", Trippenhuis, Amsterdam, The Netherlands

    Date: Thursday 8 February 2007
    Location: Trippenhuis, Amsterdam, The Netherlands
    Target audience: PhD students and MSc/MA students

    The Royal Netherlands Academy of Arts and Sciences (KNAW) in collaboration with the Institute for Logic, Language and Computation (ILLC) is organizing a Master Class on "New perspectives on Games and Interaction". This Master Class will feature three tutorials by Alexandru Baltag (Oxford), Giacomo Bonanno (UC Davis), and Wolfgang Thomas (Aachen).

    If you are interested, please register before January 15, 2007. The registration fee is € 5,-. For more information, see http://www.illc.uva.nl/KNAW-AC/MasterClass/.

  • 7 February 2007, Workshop "Musical Structure: Expectation generation, disruption and resolution"

    Date & Time: Wednesday 7 February 2007, 14:30

    A workshop on "Musical Structure: Expectation generation, disruption and resolution", will take place on Wednesday the 7th of February following Neta Spiro's PhD defence at 12:00. The talks will begin at 2:30. Everybody is welcome to attend.

    Speakers include:
    Rens Bod, ILLC, University of Amsterdam, NL.
    Ian Cross, Centre for Music & Science, Faculty of Music, University of Cambridge, UK
    Rokus de Groot, Faculty of Music, University of Amsterdam, NL
    Pieter Adriaans, University of Amsterdam¸ N
    Henkjan Honing, ILLC, University of Amsterdam¸ N

    Since the workshop will be at a private address, please contact Neta at for further information.

  • 5-7 February 2007, KNAW Academie Colloquium "New perspectives on Games and Interaction", KNAW, Amsterdam

    Date: 5-7 February 2007
    Location: KNAW, Amsterdam
    Deadline: 29 November 2006

    Recently, the dynamic and interactive aspects of logical reasoning, communication, and information processing have become central in logic, linguistics and computer science. It is the interplay of many actors with goals and preferences, whether human or computational, which underlies their core tasks. To account for these interactive aspects, the notion of a 'game' as a mathematical model of strategic interaction between players with their own preferences on the possible outcomes has proved to be important in all those disciplines.

    The purpose of this colloquium is to encourage these incipient interactions between the various disciplines thinking about games and interaction, and clarify their common concerns and potential for fruitful collaboration. The colloquium will be organized as an Academie Colloquium of the Royal Acedemy of the Netherlands (KNAW) and will consist of fifteen invited talks by international speakers that cover various aspects of games in logic, computer science, economics, and linguistics. Each talk will be followed by a commentary and discussion.

    For more information, see http://www.illc.uva.nl/KNAW-AC/

  • 2 February 2007, Colloquium on Mathematical Logic, Rosalie Iemhoff

    Speaker: Rosalie Iemhoff (Utrecht)
    Title: Skolemization and Herbrand's theorem
    Date & Time: Friday 2 February 2007, 16:00-17:00
    Location: Room 032, Ruppertgebouw, Leuvenlaan, entrance 'educatorium', Utrecht
    (Bus 11 or 12 from Utrecht Central Station).

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

  • 2 February 2007, Diamant/Eidma Cryptography Working Group, ILLC, Amsterdam

    Date & Time: Friday 2 February 2007, 10:45-15:45
    Location: ILLC, Amsterdam

    The ILLC will host the next meeting of the Diamant/Eidma cryptography working group. The meeting will take place in Room D028, Roeterseiland, Nieuwe Achtergracht 129, Amsterdam.

    Details of the program can be found at the Eidma website at http://www.win.tue.nl/wsk/eidma/cwg.html. For more information, please contact .

  • 2 February 2007, ILPS Seminar, Canceled

    Speaker: Canceled (formerly Taco Ekkel and Boaz Leskes)
    Date: Friday 2 February 2007

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

  • 1 February 2007, GLoRiClass Seminar, Canceled

    Speaker: Canceled (formerly Michel Mandjes)
    Date: Thursday 1 February 2007
  • 31 January 2007, Logic Tea, Hans van Ditmarsch

    Speaker: Hans van Ditmarsch
    Title: Arbitrary announcement logic
    Date & Time: Wednesday 31 January 2007, 17:30-18:30
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

    The abstract of this talk can be found at here. For more information, see the Logic Tea homepage at http://www.illc.uva.nl/logic_tea/ or contact Hartmut Fitz (), Joel Uckelman () or Jonathan Zvesper ()

  • 26 January 2007, ILPS Seminar, Canceled

    Speaker: Canceled (formerly Arjé Cahn)
    Date: Friday 26 January 2007

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

  • 25 January 2007, GLoRiClass Seminar, Nicola Dimitri

    Speaker: Nicola Dimitri
    Title: Last Minute Bidding Equilibria in e-Bay Auctions
    Date & Time: Thursday 25 January 2007, 11:30-13:30
    Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
  • 19 January 2007, Colloquium on Mathematical Logic, Tim Baarslag

    Speaker: Tim Baarslag (Utrecht)
    Title: Limitations of primitive recursive algorithms
    Date & Time: Friday 19 January 2007, 16:00-17:00
    Location: Room 032, Ruppertgebouw, Leuvenlaan, entrance 'educatorium', Utrecht
    (Bus 11 or 12 from Utrecht Central Station).

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

  • 19 January 2007, ILPS Seminar, Marc van den Berg

    Speaker: Marc van den Berg(UvA)
    Title: The Digital Library: understanding it's usage, improving it's
    functionality
    Date & Time: Friday 19 January 2007, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

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

  • 18 January 2007, GLoRiClass Seminar, Tijmen Daniels

    Speaker: Tijmen Daniels
    Title: Social Choice and the Logic of Simple Games
    Date & Time: Thursday 18 January 2007, 11:15-13:00
    Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

Calls for Paper

  • 10-15 August 2008, International Joint Conference on Automated Reasoning (IJCAR 2008), Sydney, Australia

    Date: 10-15 August 2008
    Location: Sydney, Australia
    Deadline: 17 December 2007

    IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning, and is a merger of leading events CADE, FroCoS, FTP and TABLEAUX. IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions and invited talks. There will be two days of workshops and tutorials, 10th and 11th August, and the conference 12th to 15th August.

    For more information, see http://2008.IJCAR.org/

    IJCAR 2008 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited (deadline for paper registration: 22nd February 2008), as well as workshop and tutorial proposals (deadline for proposal submissions: 17th December 2007).

  • 4-15 August 2008, ESSLLI-2008:
    20th European Summer School in Logic, Language and Information, Hamburg, Germany

    Date: 4-15 August 2008
    Location: Hamburg, Germany
    Deadline: 2 July 2007

    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.

    The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals 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).

    The ESSLLI 2008 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 20th annual Summer School on a wide range of timely topics that have demonstrated their relevance in the fields of language & computation, language & logic, or logic & computation. Submissions should be submitted before July 2nd, 2007 at http://www.folli.org/submission.php

    For more information, see or the ESSLLI website at http://www.illc.uva.nl/ESSLLI2008/

    the full Call for Proposals at here or
    For more information, see here .
  • 13-18 July 2008, WCP4, The Fourth World Congress of Paraconsistency, Melbourne, Australia

    Date: 13-18 July 2008
    Location: Melbourne, Australia
    Deadline: 15 December 2007

    The conference will focus on all areas related to paraconsistency, especially
    * Systems of paraconsistent logic
    * Inconsistent mathematics
    * Paraconsistency and information processing
    * Paraconsistency and the philosophy of mathematics
    * Paraconsistency and the philosophy of science
    * Paraconsistency and the philosophy of logic

    For more information, see http://www.philosophy.unimelb.edu.au/wcp4/ or subscribe to the announcement mailing list wcp4-info by sending the message 'subscribe wp4-info' to .

    We invite submission of an abstract of no more than one page (250 words) by December 15. Email your submission to . Text or PDF are preferred formats for submission, MS Word is acceptable.

  • 10-13 July 2008, Music and Language II, Tufts University, Boston, USA

    Date: 10-13 July 2008
    Location: Tufts University, Boston, USA
    Deadline: 1 December 2007

    This conference follows the successful conference on Music and Language held at Cambridge University in summer 2007. The conference will be held at Tufts University Perry and Marty Granoff Music Center. We will be honoring Ray Jackendoff and Fred Lerdahl on the occasion of the 25th Anniversary of their seminal work, "A Generative Theory of Tonal Music".

    For more information, see http://musicandlanguage.tufts.edu/

    We invite participants and presenters from all fields (music, psychology, linguistics, cognitive science, anthropology, etc.). Paper and poster submissions will be due by December 1, 2007. Further details about the conference and the paper/poster submission form will be available shortly on our website at: go.tufts.edu/musicandlanguage

  • 18-21 June 2008, 7th Congress of the International Society for the History of Philosophy of Science (HOPOS-2008), Vancouver BC, Canada

    Date: 18-21 June 2008
    Location: Vancouver BC, Canada
    Deadline: 15 December 2007

    The International Society for the History of Philosophy of Science (HOPOS) will hold its seventh international congress in Vancouver, Canada, June 18-21, 2008. The conference is open to scholarly work on the history of philosophy of science from any disciplinary perspective.

    For more information, see http://www.hopos.org/hopos2008

    Submissions of abstracts of papers of approximately 25-30 minutes' reading length, and of symposia of three to four thematically related papers will be considered for the program. All submissions must be received by 15 December 2007.

  • 7-12 June 2008, 3rd International Computer Science Symposium (CSR 2008), Moscow, Russia

    Date: 7-12 June 2008
    Location: Moscow, Russia
    Deadline: 9 December 2007

    CSR 2008 is the third conference in a series of regular events started with CSR 2006 in St.Petersburg (see LNCS 3967) and CSR 2007 in Ekaterinburg (see LNCS 4649). It intends to reflect the broad scope of international cooperation in computer science. CSR 2008 consists of two tracks: Theory Track and Applications and Technology Track.

    For more information, see http://csr2008.ru/ or email: .

    Authors are invited to submit an extended abstract or a full paper of at most 10 pages. Papers must present original (and not previously published) research. Deadline: December 9, 2007.

  • 3-7 June 2008, 17th European Symposium for Medieval Logic and Semantics (XVII ESMLS): "Rise and Development of Supposition Theory", Leiden, The Netherlands

    Date: 3-7 June 2008
    Location: Leiden, The Netherlands
    Deadline: 1 October 2007

    After L.M. de Rijk's monumental Logica Modernorum of 1962 and 1967, many important texts and interpretations have been brought forward. It is time to look with fresh eyes at the rise and development of supposition theory, especially its early phase.

    For more information, see here or contact: .

    Call for Papers: You are kindly invited to consider your participation to the symposium, be it as speaker or non-speaker. I kindly invite all participants to send me no later than October 1st 2007 the title of their paper.

  • 12-18 May 2008, 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2008), Estoril, Portugal

    Date: 12-18 May 2008
    Location: Estoril, Portugal
    Deadline: 5 November 2007

    AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The aim of the conference is to provide a single, high-profile, internationally respected archival forum for research in all aspects of the theory and practice of autonomous agents and multi-agent systems.

    For more information, see http://gaips.inesc-id.pt/aamas2008/.

    AAMAS-2008 encourages the submission of theoretical, experimental, methodological, engineering and application papers across a broad range of agent topics. A list of topics is available at the conference website. Deadline for submissions is October 23, 2007.

  • 25-29 April 2008, Theory and Applications of Models of Computation (TAMS 2008), Xi'an, China

    Date: 25-29 April 2008
    Location: Xi'an, China
    Deadline: 10 November 2007

    The three main themes of the conference TAMC08 (the 5th in an annual series) will continue to be Computability, Complexity, and Algorithms. It aims to bring together researchers with an interest in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.

    For more information, see http://ictt.xidian.edu.cn/tamc2008/

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

  • 10-12 April 2008, Sydney-Tilburg Conference on "Reduction and the Special Sciences", Tilburg

    Date: 10-12 April 2008
    Deadline: 15 November 2007

    Science presents us with a variety of accounts of the world. While some of these accounts posit a deeper theoretical structure and fundamental entities, others do not. But which of these accounts is the right one? How should science conceptualize the world? And what is the relation between the various accounts?

    Opinions on these issues diverge wildly in philosophy of science. At one extreme are reductionists who argue that higher-level theories should, in principle, be incorporated in or eliminated by the basic level theory. Higher-level theories do not ultimately exhibit conceptual integrity or provide genuine explanations. At the other extreme are pluralists who take higher levels of description and explanation seriously and argue for their independence and indispensability. Our goal in this conference is to bring together representatives from as many viewpoints as possible in order to advance our understanding of this problem. We invite case studies from the natural, social and behavioural sciences as well as discussions of philosophical models of intertheoretic relations.

    For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/RSS2008/

    We invite submissions of papers of up to 3000 words by 15 November 2007. Decisions will be made by 15 January 2008.

  • 7-11 April 2008, 8th Latin American Theoretical Informatics (LATIN 2008), Rio de Janeiro, Brazil

    Date: 7-11 April 2008
    Location: Rio de Janeiro, Brazil
    Deadline: 21 September 2007

    LATIN was launched in 1992 to foster the interaction between the Latin-American community and computer scientists around the world. LATIN'08 will be the eighth of a series.

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

    We seek papers presenting original research on theoretical computer science. Submission deadline is September 21, 2007.

  • 13-19 March 2008, 2nd International Conference on Language and Automata Theory and Applications (LATA 2008), Tarragona, Spain

    Date: 13-19 March 2008
    Location: Tarragona, Spain
    Deadline: 23 November 2007

    LATA is a yearly conference in Computer Science and it intends to become a major yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that is being developed at the host institute since 2001, it will reserve significant room for young computer scientists at the beginning of their career. LATA will aim at attracting scholars from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

    Deadline submission of papers (extended): 23-11-2007. For more information, see http://grammars.grlmc.com/LATA2008/ or email

  • 15-17 February 2008, Conference "Because", Geneva, Switzerland

    Date: 15-17 February 2008
    Location: Geneva, Switzerland
    Deadline: 1 December 2007

    The Department of Philosophy of the University of Geneva and the Genevan centre of metaphysics EIDOS organize a conference entitled "Because", which will take place from the 15th to the 17th of February 2008 in Geneva. This three-day conference will be devoted to the topic of non-causal explanatory links.

    For more information, see http://www.unige.ch/lettres/philo/because.html or contact Fabrice Correia at .

    We welcome submissions on the topic of the conference for 60 minute talks followed by a 30 minute discussion. The language of the conference is English. Submission deadline is December 1st, 2007.

  • 22-25 January 2008, Computing: The Australasian Theory Symposium (CATS 2008), University of Wollongong, New South Wales, Australia

    Date: 22-25 January 2008
    Location: University of Wollongong, New South Wales, Australia
    Deadline: 15 August 2007

    The 14th Computing: The Australasian Theory Symposium (CATS) will be held at the University of Wollongong, New South Wales, Australia, during January 22-25, 2008. Wollongong is about an hour south of Sydney by train. CATS is one of the two premier annual conferences in theoretical computer science in the Asia-Pacific.

    For more information, see http://uob-community.ballarat.edu.au/~pmanyem/cats-08/

    Authors are invited to submit papers that present original and unpublished research on topics including (but not limited to) the following areas: Algorithms and Data Structures, Complexity Theory, Graph Theory, Graph Algorithms and Combinatorics, Semantics of Programming Languages, Algorithms on Strings, Optimisation, Formal Program Specification and Transformation, Computational Algebra and Geometry, Computational Biology, Logic and Type systems, and New Paradigms of Computation.

    The deadline for submission of papers will be sometime in August 2007. Submissions should be made electronically via http://www.easychair.org/CATS2008/ . Submitted papers will be thoroughly refereed and accepted papers will appear in the electronic proceedings at http://crpit.com.

  • 19-20 January 2008, Cambridge Graduate Conference on the Philosophy of Logic and Mathematics, Cambridge, U.K.

    Date: 19-20 January 2008
    Location: Cambridge, U.K.
    Deadline: 19 October 2007

    The Philosophy Faculty of Cambridge University is pleased to announce its first 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).

    The conference website is: http://www.phil.cam.ac.uk/news_events/camgradphilconf.html. If you have any further questions, please contact the conference organizers, Tim Button and Luca Incurvati, at: .

    We invite papers from graduate students, or those who have recently completed their PhD, on any topic in the Philosophy of Logic and Mathematics, broadly construed. Papers will have respondents, and will be followed by open discussion. The deadline for receipt of submissions is 19th October 2007.

  • 2-4 January 2008, 10th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida

    Date: 2-4 January 2008
    Location: Fort Lauderdale, Florida
    Deadline: 1 October 2007

    The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This is the tenth Symposium in the series, which is sponsored by Annals of Mathematics and Artificial Intelligence. We seek submissions of recent results with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions (including sessions on "Logic in AI" and "Computation and Social Choice").

    For more information, see http://isaim2008.unl.edu/.

    Paper Submission Deadline: Monday 1 October 2007.
  • 17-19 December 2007, 3rd Indian International Conference on Artificial Intelligence (IICAI-07), Pune, India

    Date: 17-19 December 2007
    Location: Pune, India
    Deadline: 9 April 2007

    The 3rd Indian International Conference on Artificial Intelligence (IICAI-07) will be held in Pune, INDIA during December 17-19 2007. IICAI-07 is one of the major AI events in the world. This conference focuses on all areas of AI and related fields. Please visit on the conference website for more details.

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

    We invite paper submissions. Paper submission deadline is extended to April 9 2007

  • 15-17 December 2007, The Eighth Asian Symposium on Computer Mathematics (ASCM 2007), Singapore

    Date: 15-17 December 2007
    Location: Singapore
    Deadline: 31 August 2007

    The Asian Symposium on Computer Mathematics (ASCM) is a series of conferences which serves as a forum for participants to present original research, learn of research progress and developments, and exchange ideas and views on doing mathematics using computers. ASCM 2007 will consist of invited talks, regular sessions of contributed papers, and software demonstrations.

    For more information, see http://www.comp.nus.edu.sg/~ascm2007/ or contact

    Research papers on all aspects of the interaction between computers and mathematics are solicited for the symposium. Submission deadline is August 31, 2007.

  • 2007 7-9 December 2007, IADIS International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2007), Algarve, Portugal

    Date: 2007 7-9 December 2007
    Location: Algarve, Portugal
    Deadline: 13 July 2007

    The IADIS CELDA 2007 conference aims to address the main issues concerned with evolving learning processes and supporting pedagogies and applications in the digital age. There have been advances in both cognitive psychology and computing that have affected the educational arena. The convergence of these two disciplines is increasing at a fast pace and affecting academia and professional practice in many ways. This conference aims to cover both technological as well as pedagogical issues related to these developments.

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

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 13 July 2007.
  • 5-7 December 2007, "Mathematical Aspects of Computer and Information Sciences" MACIS 2007, Paris, France

    Date: 5-7 December 2007
    Location: Paris, France
    Deadline: 1 November 2007

    Mathematical Aspects of Computer and Information Sciences (MACIS) is a new series of conferences where foundational research on theoretical and practical problems of mathematics for computing and information processing may be presented and discussed. MACIS also addresses experimental and case studies, scientific and engineering computation, design and implementation of algorithms and software systems, and applications of mathematical methods and tools to outstanding and emerging problems in applied computer and information sciences.

    Each conference focuses on two or three themes. The themes for MACIS 2007 are: Computational Geometry and Computer Aided Geometric Design, Polynomial System Solving and Algorithms and Complexity

    For more information, see http://www-spiral.lip6.fr/MACIS2007/

    Potential participants of MACIS 2007 are invited to submit extended abstracts (3-4 pages) or full papers describing their work to be presented at the conference. Deadline for extended abstract submission: November 1, 2007

  • 29-30 November 2007, 5th Workshop on "Methods for Modalities" (M4M-5), Cachan, France

    Date: 29-30 November 2007
    Location: Cachan, France
    Deadline: 7 September 2007

    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.

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

    The Programme Committee cordially invites all researchers to submit their papers for presentation. We strongly encourage young researchers and students to submit papers and posters, especially for experimental and prototypical software tools which are related to modal logics. Submission deadline is September 7th, 2007.

  • 3-5 November 2007, Infinity in Logic and Computation (ILC07), Cape Town, South Africa

    Date: 3-5 November 2007
    Location: Cape Town, South Africa
    Deadline: 6 August 2007

    The conference on Infinity in Logic & Computation is the first conference in South Africa that focuses on infinity in automata theory, logic, computability and verification. One purpose of this conference is to catalyse new interactions among local and international researchers and to expose postgraduate students to recent research trends in these fields.

    The conference will be organised at the University of Cape Town co-located with the 50th Annual Congress of the South African Mathematical Society (SAMS) that takes place from 31 October until 2 November 2007. We plan to organise a summer school on Logic & Computation directly following the conference from 6-9 November 2007. This summer school is intended for postgraduate students and other interested participants.

    For more information, see http://www.mth.uct.ac.za/FACS-Lab/ILC07/

    Authors are invited to submit abstracts of at most one page in pure text or PDF format. Since acceptance of the abstract for presentation does not constitute a publication, it is permissible to submit talks on published results, survey talks or expository talks. Deadline: 6 August 2007.

  • 1-4 November 2007, 18th Novembertagug on History, Philosophy and Didactics of Mathematics, Bonn, Germany

    Date: 1-4 November 2007
    Location: Bonn, Germany
    Deadline: 1 September 2007

    The meeting aims at bringing together young researchers in the history, philosophy and didactics of mathematics or related fields from all over Europe, especially PhD students and PostDocs, to exchange their results and discuss work in progress. This year's theme, Mathematical practice & development throughout history, offers a wide scope for contributions, providing the opportunity of interaction between historians, philosophers, and researchers in the didactics of mathematics. It allows for a variety of conceptions of mathematics, and for a combination of different research methods used in history, philosophy and didactics.

    Our invited guest speaker will be Leo Corry from the University of Tel Aviv.

    The deadline for participant registration is September 1st. For more information, see http://www.novembertagung.uni-bonn.de/.

    as well as for submission of contributed papers
  • 22 October 2007, 1st international workshop on Game theory in Communication networks (GAMECOMM'07), Nantes, France

    Date: Monday 22 October 2007
    Location: Nantes, France
    Deadline: 5 May 2007

    The Workshop on Game theory in Communication networks (GameComm) is a one-day event held in conjunction with the Second International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'07 <http://www.valuetools.org/>).

    Game theoretic approaches have been recently used to gain an understanding of the behavior of various systems in communication networks. Specifically, game theoretic models have helped understand Internet pricing, flow and congestion control, and routing. Application of game theory to communication networks has brought together researchers from a variety of disciplines, such as computer science, queueing, and optimal control.

    This workshop is aimed at bringing together researchers, who are applying game theory to analyzing, designing, and assessing the performance of networks. The objective is to generate discussion of best practices in modeling, as well as limitations of game theory as a performance assessment and design tool for networks. Both the application of game theory to networking problems and the development of new game-theoretic methodologies that can be applied in that context are of interest.

    For more information, see http://www.game-comm.org/

    The GameComm 2007 workshop seeks papers describing significant research contributions to the field of game theory applied to networks. Submission Deadline: May 5th, 2007 Selected papers will be published in a special issue of "Performance Evaluation", and others for fast track publication in "Discrete Event Dynamic Systems"

  • 19-21 October 2007, International Conference on Quotation and Meaning (ICQM), Mainz, Germany

    Date: 19-21 October 2007
    Location: Mainz, Germany
    Deadline: 15 June 2007

    Quotation is a sort of metarepresentation that is found in all natural languages. Linguistic research has made clear that in quotation, there are complex syntactic, morphological and graphematic mechanisms at work. In philosophy of language, there are long-standing debates on quotation and paradoxes, on the use-mention distinction, and the meaning of quotation marks and quotation expressions. More recently, quotation has become a topic within the debate on the semantics/pragmatics distinction.

    For more information, see http://www.zitatundbedeutung.uni-mainz.de/eng/icqm.php or contact Markus Steinbach at .

    Since the aim of the conference is to bring together philosophers and linguists, we call for papers on all aspects of the conference topic, which will be anonymously reviewed by a reading committee. Call deadline: 15-June-2007.

  • 18-20 October 2007, Intelligent and Distributed Computing (IDC 2007), Craiova, Romania

    Date: 18-20 October 2007
    Location: Craiova, Romania
    Deadline: 15 April 2007

    Intelligent computing is a quite mature field of information and communication technology covering a hybrid palette of methods and techniques derived from classical artificial intelligence, computational intelligence, multi-agent systems a.o. Intelligent computing is generally known to be computationally intensive from the point of view of resources required: time, memory, bandwidth. As this is usually thought to be a drawback, distributed computing is expected to give an impetus to its practical applications. Moreover, intelligent techniques have also proved their usefulness to core distributed computing technologies like: planning & scheduling, load balancing, replication, resource allocation and management, etc. Therefore, the emergent field of intelligent and distributed computing is expected to pose new challenges of adaptation and fruitful combination of both areas. The aim of this symposium is to bring together researchers involved in intelligent and distributed computing to allow cross-fertilization and synergy of ideas and to enable advancement of researches in the field.

    For more information, see http://software.ucv.ro/~badica_costin/idc2007/

    The symposium welcomes submissions of original papers concerning all aspects of intelligent and distributed computing ranging from concepts and theoretical developments to advanced technologies and innovative applications. Submission deadline is April 15, 2007.

  • 15-19 October 2007, 14th International Conference on Logic for Programming
    Artificial Intelligence and Reasoning (LPAR 2007), Yerevan, Armenia

    Date: 15-19 October 2007
    Location: Yerevan, Armenia
    Deadline: 4 June 2007

    Deadline for registration: 2007

    For more information, see http://www.lpar.net/2007/

    Submission of papers for presentation at the conference is now invited. Submission deadline is 4 June 2007.

  • 11-13 October 2007, Models and Simulations 2, Tilburg, the Netherlands

    Date: 11-13 October 2007
    Location: Tilburg, the Netherlands
    Deadline: 15 April 2007

    Computer simulations play an important role in many scientific contexts, and they are often based on a particular model of the phenomenon under investigation. This raises questions both about the nature and methodology of simulations themselves, as well as their relations to models. These issues have recently attracted some attention, and were also discussed at the 'Models and Simulations' conference in Paris in June 2006. The aim of the present conference is both to provide a forum to continue ongoing debates and to try to slightly shift the focus of attention. So far case studies played an important role in the debates over models and simulations and a lot has been learned from them. We are now also interested in theoretical approaches that attempt to rationalize these cases and help furthering our philosophical understanding of how models and simulations explain, how they are confirmed, how they relate to theories and other models, and how they represent.

    For more information, see http://www.tilburguniversity.nl/faculties/fww/tilps/MS2/

    We invite submissions of extended abstracts of up to 1000 words through our automatic submission system by 15 April 2007.
  • 10 October 2007, Workshop "Idealizations in Science", Tilburg, The Netherlands

    Date: Wednesday 10 October 2007
    Location: Tilburg, The Netherlands
    Deadline: 15 August 2007

    Idealization is ubiquitous in scientific practice, yet there is little consensus in the extant philosophical literature on some of the most basic questions about idealization, such as: What exactly constitutes idealization? Is idealization compatible with realism? Are idealization and abstraction distinct? Should theorists work to eliminate idealizations as science progresses? Are there rules governing the rational use of idealization, or should a theorist's intuition alone guide the process? We would like to see more sustained philosophical analysis directed at these and related questions. To help accomplish this, we will assemble a small group of philosophers from diverse backgrounds for in depth discussion about the philosophical questions related to idealization. The workshop will be organized to maximize discussion time and to ensure that novel material about idealization is given maximum time for discussion. We are especially interested to discuss the more epistemological aspects of idealization, with a lesser emphasis on the detailed case studies that have dominated much of the recent literature.

    For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/idealizations/

    The workshop is by invitation only. However, a small number of seats is reserved for researchers who would like to present a concise position paper at the workshop. If you are interested, please send an extended abstract of 1000 words by 15 August 2007 to .

  • 25-28 September 2007, IEEE Congress on Evolutionary Computation (CEC 2007), Singapore

    Date: 25-28 September 2007
    Location: Singapore
    Deadline: 31 March 2007

    The annual IEEE Congress on Evolutionary Computation is one of the leading events in the area of evolutionary computation. CEC 2007 will feature a world-class conference that aims to bring together researchers and practitioners in the field of evolutionary computation and computational intelligence from all around the globe. Technical exchanges within the research community will encompass keynote speeches, special sessions, tutorial workshops, panel discussions as well as poster presentations.

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

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline (extended) is March 31, 2007.

  • 11-15 September 2007, CSL 2007 (Computer Science Logic), Lausanne, Switzerland

    Date: 11-15 September 2007
    Location: Lausanne, Switzerland
    Deadline: 2 April 2007

    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'07, the 16th annual EACSL conference will be organized in Lausanne by the Western Swiss Center for Logic, History and Philosophy of Sciences, and the University of Lausanne. The Ackermann Award for 2007 is sponsored by Logitech and will be presented to the recipients at CSL'07. A joint session with GAMES 07, the annual meeting of the European Network will take place on 11 September, 2007.

    For more information, see http://www.unil.ch/csl07/.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline for abstracts is April 2, 2007.

  • 10-14 September 2007, Machines, Computations and Universality (MCU 2007), Orleans, France

    Date: 10-14 September 2007
    Location: Orleans, France
    Deadline: 4 March 2007

    Topics include halting problems, minimal universal codes, computational complexity, self-reproduction and decidability in areas such as Digital computation (fundamental classical models), Digital models of computation, and Analog and Hybrid Computations.

    For more information, see http://www.univ-orleans.fr/lifo/Manifestations/MCU07/

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 3 March 2007.

  • 10 September 2007, Foundations of Artificial Intelligence, Osnabrück

    Date: Monday 10 September 2007
    Location: Osnabrück
    Deadline: 8 June 2007

    Within the course of the last 50 years, Artificial Intelligence has developed into a major field of research with a multitude of facets and application areas. While, in general, Artificial Intelligence research is driven by application needs, it is nevertheless a fact that foundational questions and theoretical insights have always been one of the driving forces behind its development. This includes the quest for realising intelligent behaviour in artificial systems as envisioned in the early days of AI research. But it also comprises biological inspirations e.g. for robot design, artificial neural networks, or emergent intelligence, as well as logical underpinnings of automated deduc-tion and knowledge representation.

    Indeed, formal and foundational aspects of artificial intelligence are being studied in many sub areas in order to serve application needs. It lies in the nature of such fundamental research that a critical mass of different formal perspectives can generate a cross-fertilization of ideas and applications. We therefore intend to bring together researchers working on foundational aspects of Artificial Intelligence across different communities, in order to stimulate an exchange of ideas and methods between them.

    For more information, see http://logic.aifb.uni-karlsruhe.de/wiki/FAInt-07

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

  • 10-13 September 2007, Annual Meeting of the Games Network (GAMES 2007), Lausanne, Switzerland

    Date: 10-13 September 2007
    Location: Lausanne, Switzerland
    Deadline: 30 June 2007

    The 2007 Annual Meeting of the GAMES Network "Games and Automata for Synthesis and Validation" will be held in Lausanne from the 10th to 13th September 2007. It will be co-located with CSL 2007 (www2.unil.ch/csl07), with a joint GAMES-CSL programme on 11th September.

    As in previous years, GAMES 2007 will be an informal workshop, without proceedings, with a programme consisting of 5-6 invited tutorials (90 min), contributed talks (30 min) and short presentations (15 min).

    For more information, see http://www.games.rwth-aachen.de/.

    Contributed talks and short presentations will be selected by the programme committee on the basis of submitted abstracts. Therefore, researchers who would like to present a talk at GAMES are invited to submit an extended abstract of up to two pages to <> by 30th June 2007.

  • 6-7 September 2007, Formal Approaches to Multi-agent Systems (FAMAS'007), Durham, UK

    Date: 6-7 September 2007
    Location: Durham, UK
    Deadline: 1 June 2007

    In recent years, multi-agent systems have come to form one of the key technologies for software development. The third edition of the FAMAS workshop series, after the success of FAMAS'03 affiliated to ETAPS'03 in Warsaw and FAMAS'06 affiliated with ECAI'06 in Riva del Garda, 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

    The workshop will be part of this year's Multi-Agent Logics, Languages, and Organisations federated Workshops, MALLOW'007 hosted by the Department of Computer Science and St. Chad's College, University of Durham, U.K. Participants in the FAMAS workshop are urged to participate in the co-located workshops. For more details of MALLOW, please see http://www.dur.ac.uk/durham.agents007/MALLOW007/

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

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline: Friday 1 June, 2007.
  • 6-8 September 2007, British Logic Colloquium, London, UK

    Date: 6-8 September 2007
    Location: London, UK
    Costs: £45 / £10 (students)
    Deadline: 6 July 2007

    The British Logic Colloquium (BLC 2007) will be held in De Morgan House, Central London, 6th September to 8th September 2007.

    For more information, see here or http://www.dcs.bbk.ac.uk/~roman/blc/

    We invite contributed talks on any aspect of logic (please contact the organisers).
  • 5-7 September 2007, Combining Probability and Logic (PROGIC07), Canterbury, UK

    Date: 5-7 September 2007
    Location: Canterbury, UK
    Deadline: 1 May 2007

    There are a plethora of views as to the relationship between probability and logic and a panoply of proposals for combining the two. In particular, probabilistic logics offer formal combinations of probability and logic - often, however, at the expense of perspicuity and tractability. The question arises as to whether probabilistic networks might be used to render probabilistic logics more comprehensible and computationally feasible. In this workshop we aim to bring researchers from a variety of disciplines together to assess the prospects of applying probabilistic networks to probabilistic logics, and more generally to elucidate the relationship between probability and logic.

    For more information, see http://www.kent.ac.uk/secl/philosophy/jw/2007/progic/

    We welcome submissions of papers on the special focus of the workshop, Probabilistic Logic and Probabilistic Networks, or indeed on any aspect of combining probability and logic. Submission deadline is 1st May 2007.

  • 3-7 September 2007, Workshop on Logics for Resource-Bounded Agents (LRBA 2007), Durham, UK

    Date: 3-7 September 2007
    Location: Durham, UK
    Deadline: 1 June 2007

    Logics of knowledge and belief, as well as other attitudes such as desire or intention, have been extensively studied. However, most of the treatments of knowledge and belief make strong and idealised assumptions about the reasoners. For example, traditional epistemic logics say that agents know all logical consequences of their knowledge. Similarly, logics of action and strategic interaction are usually based on game theoretic models which assume perfect rationality. Models based on such assumptions can be used to describe ideal agents without bounds on resources such as time, memory, etc, but they fail to accurately describe non-ideal agents which are computationally bounded. The workshop aims to provide a forum for discussing possible solutions to the problem of formally capturing the properties of knowledge, belief, action, etc. of non-idealised resource-bounded agents.

    LRBA 2007 is part of Multi-Agent Logics, Languages, and Organisations: Federated Workshops (MALLOW'007)

    For more information, see http://www.agents.cs.nott.ac.uk/events/lrba07/

    Papers are invited for the Workshop on Logics for Resource-Bounded Agents. Submission deadline is 1 June 2007.
  • 3-6 September 2007, Asian Conference on Quantum Information Science (AQIS 2007), Kyoto, Japan

    Date: 3-6 September 2007
    Location: Kyoto, Japan
    Deadline: 1 July 2007

    AQIS'07 will focus on quantum information science and technology. This is a new interdisciplinary field that bridges quantum physics, computer science, mathematics, as well as computing technologies. AQIS'07 is the successor of the series EQIS'01-EQIS'05 and AQIS'06. Following tradition, AQIS'07 will consist of invited talks and selected oral communications and posters.

    For more and the latest information, please check the conference website at http://qc.naist.jp/aqis07/ or e-mail to .

    Submissions of abstracts for contributed talks and posters are sought in research areas related to quantum information science and technology, both theory and experiments. Submission deadline is July 1, 2007.

  • 29-31 August 2007, 10th Symposium on Formal Methods, Ouro preto, Brazil

    Date: 29-31 August 2007
    Location: Ouro preto, Brazil
    Deadline: 15 May 2007

    The aim of this event is to provide an opportunity for researchers with a broad range of interests in formal methods to discuss recent developments in this field.

    For more information, see http://www.sbmf2007.ufop.br/

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 15th May, 2007

  • 27-28 August 2007, Argentine Symposium on Artificial Intelligence (ASAI 2007), Mar del Plata (Argentina

    Date: 27-28 August 2007
    Location: Mar del Plata (Argentina
    Deadline: 30 April 2007

    ASAI, the Argentine Symposium on Artificial Intelligence, is an annual event intended to be the main forum of the Artificial Intelligence (AI) community in Argentina. The symposium will consist of invited talks and regular paper sessions presenting both mature work and new ideas in theoretical research and applications, and aims at providing a forum for researchers and AI community members to discuss and exchange ideas and experiences on diverse topics of AI. Previous ASAI editions stimulated presentations on both applications of AI and new tools and foundations currently under development. ASAI 2007 will be part of the 36th JAIIO, the 36th Argentine Meetings on Informatics and Operations Research.

    For more information, see http://www.exa.unicen.edu.ar/asai2007/

    ASAI 2007 seeks original contributions in a wide spectrum of Artificial Intelligence, ranging from state-of-the-art academic research to industrial and business applications having a significant impact. Submissions are due on April 30, 2007.

  • 24 - 27 August 2007, The 3rd International Conference on Natural Computation (ICNC'07), Haikou, China

    Date: 24 - 27 August 2007
    Location: Haikou, China
    Deadline: 27 August 2007

    The joint ICNC'07-FSKD'07 will be held in Haikou, China. Previously, the joint conferences in 2005 and 2006 each attracted over 3100 submissions from more than 30 countries.

    For more information, see http://www.hainu.edu.cn/htm/icnc-fskd2007

    Prospective authors are invited to submit manuscripts written in English. All accepted papers will appear in conference proceedings published by the IEEE and will be indexed by both EI (Compendex) and ISTP. Further- more, extended versions of many good papers will be published in SCI/SCI-E indexed journals and Lecture Notes in Computer Science (LNCS) / Lecture Notes in Artificial Intelligence (LNAI). Deadline for submissions is (extended) 10 april.

  • 20-24 August 2007, 2nd conference on Algebra and Coalgebra in CS (CALCO 2007), Bergen, Norway

    Date: 20-24 August 2007
    Location: Bergen, Norway
    Deadline: 10 April 2007

    CALCO brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. CALCO 2007 will be preceded by two events: 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 - and the Tools & Application Day - providing the opportunity to give system demonstrations.

    For more information, see http://www.ii.uib.no/calco07/

    We 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 practise. Submission deadline is January 28, 2007.

    The CALCO Young Researchers Workshop (CALCO-jnr) will invite submissions on the same topics as the CALCO conference. Deadline for submission of 2-page abstracts of presentations is April 10, 2007.

  • 20-24 August 2007, Conference on Modeling and Using Context (CONTEXT 07), Roskilde, Denmark

    Date: 20-24 August 2007
    Location: Roskilde, Denmark
    Deadline: 15 March 2007

    The Sixth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'07) will provide a forum for presenting and discussing high-quality research and applications on context, within a wide range of disciplines. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium.

    For more information, see http://context-07.ruc.dk/.

    The conference invites researchers and practitioners to share insights and cutting-edge results. Deadline for workshop proposal submissions is January 31, 2007; for paper submissions to the main conference it is March 15, 2007.

  • 20-22 August 2007, Concept Types and Frames in Language, Cognition and Science, Duesseldorf, Germany

    Date: 20-22 August 2007
    Location: Duesseldorf, Germany
    Deadline: 1 March 2007

    The topic of the conference is the investigation of concept types (sortal, relational, individual and functional concepts) and their respective relationships to frames (recursive attribute-value structures). The interdisciplinary conference combines approaches from linguistics, computational linguistics, neuroscience, philosophy, philosophy of science and the history of science.

    For more information, see http://phil-fak.uni-duesseldorf.de/fff/ctf/ or email to: .

    Abstract submissions of no more than 500 words are due by March 1, 2007. Please use the online submission form.

  • Special Issue of Studia Logic: 'Many valued Logic and Cognition'

    Deadline: 31 December 2007

    Further to the highly successful Studia Logica International Conference Trends in Logic V, held in Guangzhou, China, during July 6-9, 2007, we cordially invite you to submit a paper for a special issue of Studia Logica devoted to Many-valued Logic and Cognition.

    For more information, contact the Guest editors, Shier Ju () and Daniele Mundici (). To submit, please send the PDF file of your paper to both editors before December 31, 2007.

  • 16-22 August 2007, 2nd World Congress and School on Universal Logic
    (UNILOG-2007), Xi'An, China

    Date: 16-22 August 2007
    Location: Xi'An, China
    Deadline: 31 March 2007

    This event is the second in a series of events whose objective is to gather logicians from all orientations (philosophy, mathematics, computer science, linguistics, artificial intelligence etc) - people not focusing only on some specific systems of logic or some particular problems, but inquiring the fundamental concepts of logic. There will be a four days school with about 20 tutorials followed by a 3 days congress. Among the participants there will be Walter Carnielli, Hartry Field, Valentin Goranko, Vincent Hendricks, Wilfrid Hodges, Istvan Németi, Gabriel Sandu, Stan Surma, Heinrich Wansing and many others.

    For more information, see http://www.uni-log.org/

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline (extended) is 31 March 2007.

  • 13-17 August 2007, Unconventional Computing 2007 (UC 2007), Kingston ON, Canada

    Date: 13-17 August 2007
    Location: Kingston ON, Canada
    Deadline: 31 March 2007

    UC'07 is the 6th Conference in the Series Unconventional Computation. The first venue of the International Conference on Unconventional Computation (formerly called Unconventional Models of Computation) was Auckland, New Zealand in 1998; subsequent sites of the conference were Brussels, Belgium in 2000, Kobe, Japan in 2002, Sevilla, Spain in 2005, and York, U.K. in 2006. By coming to Kingston in 2007, the International Conference on Unconventional Computation makes its debut in the Americas.

    For more information, see http://www.cs.queensu.ca/uc07/.

    Original papers are solicited in all areas of unconventional computation. Papers dealing with theory as well as with experiments and applications are welcome. Typical, but not exclusive, topics are: natural computing including quantum, cellular, molecular, neural and evolutionary computing; chaos and dynamical systems based computing; and various proposals for computations that go beyond the Turing model. Submission deadline is .

  • 9-15 August 2007, 13th International Congress of Logic, Methodology and Philosophy of Science (LMPS), Beijing, China

    Date: 9-15 August 2007
    Location: Beijing, China
    Deadline: 15 May 2007

    Why not spend a week in August in bustling Beijing, listening to and meeting top scholars in logic, methodology and philosophy of science? The congress fee includes a reception, a farewell dinner, and a tour to the Great Wall.

    The congress is held for the first time in Asia, organized by the International Union for History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science (IUHPS/DLMPS), and Tsinghua University, Beijing. The congress features plenary speakers, invited speakers in 16 sections, a number of special symposia, affiliated meetings, and contributed papers in each section.

    Registration deadline is May 15. For more information, see http://www.clmps2007.org or send email to .

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is April 1, 2007.
  • 6-17 August 2007, ESSLLI 2007 Student Session, Dublin, Ireland

    Date: 6-17 August 2007
    Location: Dublin, Ireland
    Deadline: 11 February 2007

    We are pleased to announce the Student Session of the 19th European Summer School in Logic, Language and Information, which will be held in Dublin, Ireland on August 6-17, 2007. Student Session exists to bring together young researchers to present and discuss their work in progress with a possibility to get feedback from senior researchers.

    For more information, see the Student Session webpage at http://www.loria.fr/~sustreto/stus07/.

    We invite submission of papers in the areas of Logic, Language and Computation for presentation at the Student Session and for appearance in the proceedings. The submissions should be sent by email before 11 February 2007 to .

  • 6-10 August 2007, Hybrid Logics (HyLo 2007), Dublin (Ireland)

    Date: 6-10 August 2007
    Location: Dublin (Ireland)
    Deadline: 8 March 2007

    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.

    The topic of the HyLo workshop of 2007 is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power. The workshop continues a series of previous workshops on hybrid logic, most recently the LICS-affiliated HyLo 2006 (http://hylomol.ruc.dk/HyLo2006/). HyLo 2007 is organized as part of ESSLLI 2007.

    For more information, see http://hylomol.ruc.dk/HyLo2007

    We invite the contribution of papers reporting new work from researchers interested in hybrid logic. Deadline for submissions: March 8, 2007.

  • 5-11 August 2007, 30th International Wittgenstein Symposium, Kirchberg am Wechsel, Austria

    Date: 5-11 August 2007
    Location: Kirchberg am Wechsel, Austria
    Deadline: 30 April 2007

    The 30th International Wittgenstein Symposium will be held in Its general theme will be: "Philosophy of the Information Society".

    Sections
    1. Wittgenstein
    2. Wittgenstein and the digital turn
    3. Information science, text theory and hermeneutics in the digital context
    4. Philosophy of media
    5. Philosophy of the Internet
    6. Ethics and political economy of the information society

    For more information, see http://www.alws.at/.

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

  • 5-9 August 2007, Algebraic and Topological Methods in Non-Classical Logics III (TANCL'07), Oxford, England

    Date: 5-9 August 2007
    Location: Oxford, England
    Deadline: 1 May 2007

    This international conference is the third in the series Algebraic and Topological methods in Non-Classical Logics (TANCL). The topics covered by TANCL'07 lie within a well-established and active area of mathematical logic. It is hoped to attract to the meeting established researchers and also postdoctoral and graduate students, from the UK and overseas.

    The programme will focus on three interconnecting mathematical themes central to the study of non-classical logics and their applications: algebraic, categorical, and topological methods. Three more specialized satellite workshops are planned (see below).

    A conference homepage is being set up at http://www.maths.ox.ac.uk/notices/events/special/tancl07/. In the meantime, expression of interest by potential participants is welcomed; please email

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for submission of abstracts: 1 May

  • 22-27 July 2007, International Conference on Conceptual Structures (ICCS 2007): Knowledge Architectures for Smart Applications, Sheffield, UK

    Date: 22-27 July 2007
    Location: Sheffield, UK
    Deadline: 5 January 2007

    The 15th International Conference on Conceptual Structures (ICCS 2007) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. The focus of these conferences has been the representation and analysis of conceptual knowledge for research and business applications. ICCS brings together researchers in information technology, arts, humanities and social science to explore novel ways that can conceptual structures can be employed in information systems.

    ICCS 2007's theme is "Conceptual Structures: Knowledge Architectures for Smart Applications". From these architectures, smart applications arise that allow enterprises to share meaning with its interconnected computing resources, and realise transactions that would otherwise remain as lost business opportunities. Conceptual structures and smart applications integrate the creativity of individuals and organisations with the productivity of computers for a meaningful digital future.

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

    Authors are invited to submit papers describing both theoretical and practical research. Submission deadline is January 5, 2007.

  • 16 July 2007, Logical Frameworks and Meta-Languages (LFMTP07), Bremen, Germany

    Date: 16 July 2007
    Location: Bremen, Germany
    Deadline: 7 May 2007

    LFMTP'07 continues the International workshop on Logical Frameworks and Meta-languages (LFM) and the MERLIN workshop on MEchanized Reasoning about Languages with variable BIndingIN).

    Logical frameworks and meta-languages form a common substrate for representing, implementing, and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design and implementation on the one hand and their applications in for example proof-carrying code have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors, and practitioners to discuss all aspects of logical frameworks.

    For more information, see http://www.cs.mcgill.ca/~bpientka/lfmtp07

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

  • 15 July 2007, Automated Deduction: Decidability, Complexity, Tractibility (ADDCT'07), Bremen, Germany

    Date: 15 July 2007
    Location: Bremen, Germany
    Deadline: 4 May 2007

    Decidability, and especially complexity and tractability of logical theories is extremely important for a large number of applications. Although general logical formalisms (such as predicate logic or number theory) are undecidable, decidable theories or decidable fragments thereof (sometimes even with low complexity) often occur in mathematics, in program verification, in the verification of reactive, real time or hybrid systems, as well as in databases and ontologies. It is therefore important to identify such decidable fragments and design efficient decision procedures for them. It is equally important to have uniform methods (such as resolution, rewriting, tableaux, sequent calculi, ...) which can be tuned to provide algorithms with optimal complexity.

    The goal of ADDCT is to bring together researchers interested in - identifying (fragments of) logical theories which are decidable, identifying fragments thereof which have low complexity, and analyzing possibilities of obtaining optimal complexity results with uniform tools;
    - analyzing decidability in combinations of theories and possibilities of combining decision procedures;
    - efficient implementations for decidable fragments;
    - application domains where decidability resp. tractability are crucial.

    For more information, see http://www.mpi-inf.mpg.de/~sofronie/addct07.html or contact Viorica Sofronie-Stokkermans at .

    The Programme Committee cordially invites all researchers to submit their work for presentation, including original papers, presentation-only papers and work in progress. Given the informal style of the workshop, the submission of papers presenting student's work and work in progress is encouraged. Submission deadline is 4 May 2007.

  • Special issue on "Truth" in the Studia
    Philosophica Estonica

    Deadline: 1 October 2007

    Truth is one of the central subjects in philosophy. It is also one of the largest and perhaps oldest. Moreover, a huge variety of issues in philosophy relate to truth, either by relying on theses about truth, or implying theses about truth. Studia Philosophica Estonica welcomes all submission on the topic "truth", systematic discussions of conceptions of truth as well as historic discussions of theories of truth in the philosophical tradition. Studia Philosophica Estonica invites submissions for its next special issue on "Truth", due for publication in December 2007. Papers should be received through our online submission system no later than October 1st, 2007.

    Submissions must be in English and conform to the submission standards of the journal and the methodological standards of analytic philosophy. All submissions must be prepared for blind review. For more information on online submissions, please see our submission guidelines (http://www.spe.ut.ee/ojs/index.php/spe/about/submissions#authorGuidelines).

  • Winter/Summer School 2007/08 at the "Center for Junior Research Fellows" in Konstanz (Germany), Konstanz, Germany

    Location: Konstanz, Germany
    Deadline: 15 September 2007

    The Center for Junior Research Fellows (ZWN) at the University of Konstanz sponsors a winter school program at the University of Konstanz every year. The program is targeted at postdoctoral scholars who do not hold a tenured position. Running a winter/summer school offers young researchers the opportunity to popularize their own research fields and ideas, to intensive discuss their research topic with experts in their field in a calm, inspiring environment and beyond time pressure. Moreover,

    According to the multidisciplinary character of the ZWN, postdoctoral scholars of all research disciplines may apply. Alternating every other year, the program is open to members of the University of Konstanz only and to external applicants. For the winter 2007/2008 the ZWN announces the financing of a winter/summer school up to EUR 14,000. Young scholars both with and without German residency are invited to apply by 15 September 2007.

    For more information, see http://www.uni-konstanz.de/forschung/zwn/Ausschreibung/.

  • 13-19 July 2007, Logic Colloquium '07 (2007 ASL European Summer Meeting), Wroclaw, Poland

    Date: 13-19 July 2007
    Location: Wroclaw, Poland
    Deadline: 17 April 2007

    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 Nijmegen (2006) and Athens (2005). The leading researchers on logic participate in the conference, as invited speaker, tutorial speaker or as participant. It also attracts students (master and Ph.D. students) in logic from all over the world and in that way it also serves for students as an introduction into the research field of logic.

    LC'07 will be colocated with ICALP'07 and LICS'07.

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

    Abstracts - hard copy or email - should be received before the deadline of April 17, 2007.
  • 10-14 July 2007, The Twenty-Second IEEE Symposium on Logic in Computer Science (LICS 2007)

    Date: 10-14 July 2007
    Deadline: 15 January 2007

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2007 will be held in the Institute of Computer Science, University of Wroclaw, Poland, from 10th July to 14th July 2007. It will be colocated with two other meetings: the International Colloquium on Automata, Languages, and Programming (ICALP'07) July 9-13, 2007, and also the European Logic Colloquium (ELC 2007), July 14-19. Workshops are planned for July 8, 9 and July 15 (possibly the afternoon of 14th).

    For more information, see http://www2.informatik.hu-berlin.de/lics/lics07/.

    Researchers and practitioners are invited to submit their papers for presentation and/or proposals for workshops on topics relating logic - broadly construed - to computer science or related fields. Submission deadline is January 15, 2007 for papers, and November 15, 2006 for workshop proposals.

  • 9-13 July 2007, ICALP 2007: 34th International Colloquium on Automata, Languages and Programming, Wroclaw, Poland

    Date: 9-13 July 2007
    Location: Wroclaw, Poland
    Deadline: 10 February 2007

    The 33rd International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science EATCS will take place from the 9th to the 13th of July 2007 in Wroclaw, Poland. ICALP'07 will be colocated with LC'07 and LICS'07.

    For more information, see http://icalp07.ii.uni.wroc.pl/.

    Researchers and practitioners are invited to submit their papers for presentation and/or proposals for workshops on topics related to the conference tracks, namely: Algorithms, Automata, Complexity and Games (track A); Logic, Semantics, and Theory of Programming (track B); and Security and Cryptography Foundations (special track C). Submission deadline is January 25, 2007 for papers, and November 30, 2006 for workshop proposals.

  • 7-9 July 2007, Trends in Logic V: Many-Valued Logic and Cognition, Guangzhou, China

    Date: 7-9 July 2007
    Location: Guangzhou, China
    Deadline: 15 May 2007

    This Studia Logica International Conference will highlight significant recent developments in many valued-logics as well as their interaction with cognition. The conference seeks to bring together researchers working in the aforementioned areas, promote a greater degree of communication and interaction among the featured research communities, and act as a catalyst for new directions of research.

    For more information, see http://logic.sysu.edu.cn/information/TrendsInLogic.htm or http://www.ifispan.waw.pl/studialogica/TrendsV.html.

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline (extended) is May 15, 2007.

  • 5-8 July 2007, 6th Panhellenic Logic Symposium (PLS), Volos, Greece

    Date: 5-8 July 2007
    Location: Volos, Greece
    Deadline: 30 March 2007

    The Panhellenic Logic Symposium (PLS) is a biannual scientific event established in 1997. It is open to researchers from Greece, as well as from other countries, who work on logic broadly conceived. The language of the Symposium is English.

    For more information visit the site of the symposium: http://pls6.pre.uth.gr

    Original papers that fall within the scope of the symposium are solicited. Authors are invited to submit an extended abstract not exceeding five pages by March 30, 2007.

  • 2-5 July 2007,
    14th Workshop on Logic, Language, Information and Computation
    (WoLLIC'2007)
    , Rio de Janeiro, Brazil

    Date: 2-5 July 2007
    Location: Rio de Janeiro, Brazil
    Deadline: 2 March 2007

    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.

    For more information, see http://www.cin.ufpe.br/~wollic/wollic2007/

    Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Deadline is February 23, 2007.

  • 1-2 July 2007, 5th International Workshop on Satisfiability Modulo Theories (SMT '07), Berlin, Germany

    Date: 1-2 July 2007
    Location: Berlin, Germany
    Deadline: 23 April 2007

    Deciding the satisfiability of first-order formulas modulo background theories, known as the Satisfiability Modulo Theories (SMT) problem, has proved to be useful in verification, compiler optimization, scheduling, and other areas. The success of SMT techniques depends on the development of both domain-specific decision procedures for each concrete theory (e.g. linear arithmetic, the theory of arrays, or the theory of bit-vectors) and combination methods that allow one to obtain more versatile SMT tools. These two ingredients together make SMT techniques well-suited for use in larger automated reasoning and formal verification efforts.

    The aim of the workshop is to bring together researchers and users of SMT tools and techniques. Continuing with the PDPAR tradition, we especially encourage submission of papers focused on pragmatic aspects.

    For more information, see http://www.lsi.upc.edu/~oliveras/smt07

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline : 23 April

  • 28-30 June 2007, 1st GPMR Workshop on Logic & Semantics (GPMR-LS1): Medieval Logic and Modern Applied Logic, Bonn, Germany

    Date: 28-30 June 2007
    Location: Bonn, Germany
    Deadline: 30 April 2007

    The workshop GPMR-LS1 is the inaugural workshop of the working group "Logic & Semantics" of the Gesellschaft für Philosophie des Mittel-alters und der Renaissance. We aim to bring together all researchers interested in logical and semantical aspects of medieval and early modern philosophy.

    Invited Speakers include Bert Bos, Catarina Dutilh Novaes, Sten Ebbesen, Peter King, Gyula Klima, Simo Knuuttila, Peter Ohrstrom and Stephen Read

    For more information, see http://www.illc.uva.nl/GPMR-LS1/

    If you wish to submit an abstract for a 20 minute presentation at GMPR-LS1, please submit an abstract before April 30, 2007.
  • 27-30 June 2007, Calculemus 2007, RISC Institute, Castle of Hagenberg, Austria

    Date: 27-30 June 2007
    Location: RISC Institute, Castle of Hagenberg, Austria
    Deadline: 17 February 2007

    Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS) towards the development of universal mathematical assistant systems (MAS).

    Currently, symbolic computation is divided into several (more or less) independent branches, traditional ones (e.g. computer algebra and theorem proving) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.). The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated MAS that will routinely be used by mathematicians, computer scientists, and engineers in their every-day business.

    For more information, see http://www.risc.uni-linz.ac.at/about/conferences/Calculemus2007/

    For the upcoming Calculemus meeting, we seek original research papers in this context. Submission deadline is February 12, 2007.

  • 26-28 June 2007, Rewriting Techniques and Applications (RTA 07)

    Date: 26-28 June 2007
    Location: Paris, France
    Deadline: 26 January 2007

    The International Conference on Rewriting Techniques and Applications RTA is the major forum for the presentation of research on all aspects of rewriting. The 18th Conference (RTA'07) is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP'07), which comprises, in addition to RTA'07, the conference on Typed Lambda Calculi and Applications (TLCA'07) and eight workshops (HOR, PATE, RULE, SecReT, UNIF, WFLP, WRS, and WST).

    For more information, see http://www.lsv.ens-cachan.fr/rdp07/rta.html

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 26 January 2007.

  • 25-29 June 2007, 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Siedlce, Poland

    Date: June 25-29, 2007
    Location: Siedlce, Poland
    Deadline: 5 January 2007

    The 28th annual international Petri Net conference and tutorials will be organised by the Institute of Computer Science at the University of Podlasie and Institute of Computer Science of the Polish Academy of Sciences.

    For more information, see http://atpn2007.ap.siedlce.pl.

    Papers presenting original contributions in any area of application and theory of Petri nets are sought. Deadline for submission of papers is January 5, 2007. The language of the conference is English.
  • 21-23 June 2007, 33rd Workshop on Graph-Theoretic Concepts in CS (WG 2007), Dornburg, Germany

    Date: 21-23 June 2007
    Location: Dornburg, Germany
    Deadline: 2 March 2007

    WG 2007 aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in Computer Science, or by extracting new problems from applications. The goal is to present recent research results and to identify and explore directions of future research. The conference is well-balanced with respect to established researchers and young scientists.

    For more information, see http://wwwteo.informatik.uni-rostock.de/wg2007/

    Papers are solicited describing original results on all aspects of graph-theoretic concepts in Computer Science. Submission deadline is March 2, 2007.

  • 20-22 June 2007, Eleventh conference on
    Theoretical Aspects of Rationality and Knowledge (TARK XI)

    Date: 20-22 June 2007
    Location: Brussels, Belgium
    Deadline: 30 January 2007

    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.

    For more information, see http://www.info.fundp.ac.be/~pys/TARK07/.

    Submissions are now invited to TARK-XI. Strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and papers should be accessible to such an audience. Submission deadline: January 30, 2007.

  • 20-22 June 2007, Logic, Game Theory and Social Choice (LGS-5), Bilbao, Spain

    Date: 20-22 June 2007
    Location: Bilbao, Spain
    Deadline: 28 February 2007

    The 5th International Conference on Logic, Game Theory and Social Choice will be held at the Euskalduna Conference Centre in Bilbao, Spain, from 20th to 22th June 2007. Just like the four previous LGS-conferences (Tilburg 1999, Saint Petersburg 2001, Siena 2003, Caen 2005), LGS5 will focus on the theoretical connections between the three disciplines in the conference title. The conference programme will consist of three invited lectures by Robert J. Aumann, Matthew O. Jackson and Mamoru Kaneko, and contributed papers.

    For more information,, see http://www.lgs-5.com/.

    Submissions of contributed papers are invited. Deadline: 28 February 2007.
  • 18-23 June 2007, Computability in Europe (CiE 2007), Siena, Italy

    Date: 18-23 June 2007
    Location: Siena, Italy
    Deadline: 12 January 2007

    CiE is a European network of mathematicians, logicians, computer scientists, philosophers, theoretical physicists and others interested in new developments in computability and in their underlying significance for the real world.

    CiE 2007 will address various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real world issues, ranging through problems related to logic, mathematics, physical processes, real computation and learning theory. At the same time it will focus on different ways in which computability emerges from the real world, and how this affects our way of thinking about everyday computational issues.

    CiE 2007 will be co-located with the annual CCA (Computability and Complexity in Analysis) Conference

    For more information, an online registration form and a preliminary program, see http://www.mat.unisi.it/newsito/cie07.html

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is Jan 12, 2007.

  • 18-22 June 2007, Automata: from Mathematics to Applications (AutoMathA 2007), 18-22 June 2007, Palermo, Italy

    Date: 18-22 June 2007
    Location: Palermo, Italy
    Deadline: 25 January 2007

    AutoMathA 2007 is the main conference of the programme AutoMathA of the European Science Foundation. This five-year multidisciplinary programme (2005-2010), at the crossroads of mathematics, theoretical computer science and applications, gathers 14 European countries. The goal of AutoMathA is to propose a set of co-ordinated actions for advancing the theory of automata and for increasing its application to challenging scientific problems.

    For more information, see http://www.math.unipa.it/~ama07/

    Authors are invited to submit an extended abstract presenting original research concerning the topics of the conference. Notice that simultaneous submission to other conferences or journals is permitted. Presentations describing applications in compilation, natural language processing, software and system security and verification, biology, image processing, and others are welcome, provided they feature original theoretical aspects or new uses of theory. Submission deadline is January 25th, 2007.

  • 17-22 June 2007, Analysis of Algorithms (AofA'07), Juan les Pins, France

    Date: 17-22 June 2007
    Location: Juan les Pins, France
    Deadline: 19 February 2007

    Analysis of algorithms is a scientific basis for computation, providing a link between abstract algorithms and the performance characteristics of their implementations in the real world. The general effort to precisely predict the performance of algorithms has come to involve research in analytic combinatorics, the analysis of random discrete structures, asymptotic analysis, exact and limiting distributions, and other fields of inquiry in computer science, probability theory, and enumerative combinatorics.

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

    The Programme Committee invites papers in
    -analytic algorithmics and combinatorics,
    - probabilistic analysis of algorithms,
    - randomized algorithms.
    Submission deadline is February 19, 2007.

  • 16-18 June 2007, Computability and Complexity in Analysis (CCA 2007), Siena, Italy

    Date: 16-18 June 2007
    Location: Siena, Italy
    Deadline: 15 March 2007

    The conference is concerned with the theory of computability and complexity over real-valued data. Unlike the well established classical theory over discrete structures, the theory of computation over continuous data is still in early stages of development, despite remarkable progress in recent years. Many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet and exchange ideas and knowledge.

    This year CCA 2007 is co-located with the conference CiE 2007.

    For more information, see http://cca-net.de/cca2007/

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 15 March 2007.

  • 12-16 June 2007, International Conference on Order, Algebra and Logics, Nashville, USA

    Date: 12-16 June 2007
    Location: Nashville, USA
    Deadline: 31 January 2007

    Recent years have witnessed increased research activity on the interface between logic and universal algebra. In particular, the use of algebraic methods has proved to be fruitful in the study of non-classical logics -- such as modal logic, fuzzy logic, and substructural logics -- and ordered structures play a central role in this relationship. The purpose of the conference is to bring together researchers from these fields to foster collaboration and further research.

    For more information, see http://www.math.vanderbilt.edu/~oal2007/

    Researchers wishing to present a contributed talk at the conference are invited to submit a three-page abstract . Abstract submission deadline (extended): February 14, 2007.

  • 12-13 June 2007, 2007 STOC Undergraduate Student Research Competition, San Diego, USA

    Date: 12-13 June 2007
    Location: San Diego, USA
    Deadline: 23 February 2007

    SIGACT is pleased to announce the first Symposium on Theory of Computing (STOC) ACM Student Research Competition (SRC) sponsored by Microsoft Research. The STOC SRC offers an opportunity for undergraduate students conducting theoretical computer science research to present their original work at STOC 2007. Research in all areas of theoretical computer science is welcome.

    More information is available on the participation page of the ACM SRC website http://www.acm.org/src

    The STOC SRC is only open to undergraduates. It consists of a submission round followed by two rounds of judging. We expect to select 10-15 submissions for acceptance to the poster session. Submissions should be emailed directly to Brent Heeringa by 23.59 PST Friday, 23 February 2007.

  • 1-3 June 2007, The Square of Opposition, Montreux, Switzerland

    Date: 1-3 June 2007
    Location: Montreux, Switzerland
    Deadline: 1 March 2007

    This will be the first international congress dedicated entirely to the square of opposition. The square will be considered in its various aspects. There will be talks by the best specialists of the square and this will be also an interdisciplinary event gathering people from various fields : logic, philosophy, mathematics, psychology, linguistics, anthropology, semiotics. Visual and artistic representations of the square will also be presented.

    For further information, visit the website below: http://www.square-of-opposition.org/.

    The deadline for submission of contributed papers is March 1, 2007 (extended). Any contribution related to the square is welcome.
  • 18-20 May 2007, Vierde Vlaams-Nederlands Congres voor Algemene en Speciale Wetenschapsfilosofie, ISVW Leusden, the Netherlands

    Date: 18-20 May 2007
    Location: ISVW Leusden, the Netherlands
    Deadline: 1 February 2007

    (dutch only)
    Dit congres wordt georganiseerd door de Nederlandse Vereniging voor Wetenschapsfilosofie (NVWF) in overleg met een aantal Vlaamse wetenschapsfilosofen. Op het congres zullen Nederlandse en Vlaamse onderzoekers met een wetenschapsfilosofische ori~ntatie hun onderzoek presenteren met ruime gelegenheid voor discussie en informele contacten. Naast onderwerpen uit de algemene wetenschapsfilosofie, kentheorie en methodologie kunnen ook onderwerpen uit de filosofie en grondslagen van de afzonderlijke wetenschappen een wetenschapsgebieden (alfa, b~ta, gamma, medisch, technisch) aan bod komen.

    Deadline voor registratie: 1 February 2007. Voor meer informatie, zie http://www.nvwf.nl/ en http://www.isvw.nl/voorjaar2007-13.htm.

    U wordt tevens van harte uitgenodigd u aan te melden voor het presenteren van een referaat.
  • 14-16 May 2007, Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe AZ, USA

    Date: 14-16 May 2007
    Location: Tempe AZ, USA
    Deadline: 23 February 2007

    The systematic study of intertheory relations such as strong and uniform equivalence has recently become an active sub-area of research in the field of LPNMR. Various kinds of correspondence relations that may hold between logic programs or between nonmonotonic theories have been analysed and shown to be of practical relevance for theory or program transformation, optimisation and modularity. Several systems for verifying such relations have been implemented. Different types of knowledge representation and reasoning tasks have begun to be explored in this context, such as abductive and inductive reasoning, causal reasoning, preference-based reasoning or reasoning about updates.

    In the field of KRR more generally one notes an increased interest in inter-theory relations that are relevant for ontologies, eg to describe modular ontologies or equivalences between ontologies or their parts. It may therefore be of interest to combine work in this area with work on equivalences between nonmonotonic rules. We are also interested in new results on equivalences between different ontology languages proposed for the Semantic Web, particularly in combinations with (nonmonotonic) rules. Frameworks for study might therefore include e.g. DL-programs or hybrid knowledge bases that provide combinations of a classical or description logic KB with logic programming rules.

    For more information, see http://www.kr.tuwien.ac.at/cent2007/

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is February 23, 2007.

  • 14/15 May 2007, Declarative Agent Languages and Technologies (DALT 2007), Hawaii, US

    Date: 14/15 May 2007
    Location: Hawaii, US
    Deadline: 5 February 2007

    The workshop on Declarative Agent Languages and Technologies (DALT), in its fifth edition this year, is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems. Building complex agent systems calls for models and technologies that en- sure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can sat- isfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of of- fering solutions satisfying the needs for both specifying and de- veloping multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the seman- tic web, service-oriented computing, security, and electronic contracting. For instance, some convergence points between the areas of formal methods for dealing with web services and formal methods for agents are emerging and gaining more and more atten- tion.

    DALT 2007 will be held as a satellite workshop of AAMAS 2007. For more information, see http://www.di.unito.it/~baldoni/DALT-2007/

    We welcome and encourage the submission of high-quality, original papers, which are not being submitted simultaneously for publication elsewhere. Paper submission deadline is 5 February 2007.

  • 14-15 May 2007, The annual Belgian-Dutch Benelearn Conference 2007, CWI, Amsterdam

    Date: 14-15 May 2007
    Location: CWI, Amsterdam
    Deadline: 17 February 2007

    The annual Belgian-Dutch Benelearn Conference will be held in Amsterdam 14 and 15 May 2007. Benelearn serves as a forum where researchers, developers and users of Machine Learning, Data Mining, Knowledge Discovery and related areas exchange ideas and present recent work. The language of the conference is English. Benelearn 2007 will be organised by the Adaptive Information Management group of the Human-Computer Studies Laboratory of the University of Amsterdam.

    For more information, see http://staff.science.uva.nl/~katrenko/benelearn07/

    The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 17 February 2007.

  • 9-12 May 2007, 3rd Workshop on Formal Topology, Padua, Italy

    Date: 9-12 May 2007
    Location: Padua, Italy
    Deadline: 28 February 2007

    This is the third of a series of successful meetings on the development of Formal Topology and its connections with related approaches. The first two have been held in Padua, 1997, and Venice, 2002. Before the workshop, on 7-8 May 2007, two days of extensive and coordinated tutorials are planned, given by Bernhard Banaschewski and other pioneers.

    For more information, see http://www.3wftop.math.unipd.it/.

    Those who wish to contribute with a half hour talk, should submit a summary of contents (from 1 to 10 pages) to by 28 February 2007.

  • 19-20 April 2007, Automated Reasoning Workshop 2007, London

    Date: 19-20 April 2007
    Location: London
    Deadline: 16 March 2007

    Continuing the highly successful series of Workshops on Automated Reasoning, this event will provide an informal forum for the automated reasoning community. The ARW workshop series aims to bring together researchers from all areas of automated reasoning in order to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines; among researchers from academia, industry and government; and between theoreticians and practitioners.

    For more information, see http://www.doc.ic.ac.uk/crg/events/ARW07/.

    Abstract submission deadline: 16 March 2007 Deadline for student grants: 9 March 2007
  • 13-14 March 2007, Logics and Collective Decision Making (LCD07), Lille, France

    Date: 13-14 March 2007
    Location: Lille, France
    Deadline: 31 January 2007

    Group decision-making problems occur every time a collective choice has to be made from several individuals that have conflicting interests or preferences. There has been recently a growing interest on the use of logic as the basic tool for formalizing and computing those problems. This is in particular true in two close fields of research. The first one lies at the intersection of game theory and logics, especially by exploring how modal logics may be used to model and reason about games. A second one, which focuses on the logical insights into rational collective choice, has recently emerged around problems of judgment aggregation and beliefs/goals merging, on the one hand, and logical formalization of welfare distribution processes (social software), on the other. These two domains propose further formal refinements, using logical tools, of the classical theories of collective decision-making, by offering new evaluation criteria of and new ways of building social choice procedures. The workshop aims at sparking off interaction between social choice theorists, computer scientists, logicians and philosophers.

    For more information, see http://www.illc.uva.nl/LCD07/ or contact us via .

    The aim of this workshop is to promote interaction between researchers in the areas of logics and collective decision-making theories. We invite submissions of abstracts in the interface of the above or related areas that investigate common problems. Authors should send an abstract by January, 31st.

  • 4-9 March 2007, 12th Estonian Winter School in Computer Science (EWSCS'07), Palmse, Estonia

    Date: 4-9 March 2007
    Location: Palmse, Estonia
    Deadline: 19 January 2007

    EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics (IoC), a research institute of Tallinn University of Technology. EWSCS '07 is the twelfth event of the series.

    The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, and semantics, logic and programming theory. The working language of the schools is English.

    The deadline for application and submission of abstracts is 19 January 2007. Details on the application procedure and cost are available from the school webpage, http://cs.ioc.ee/yik/schools/win2007/. Questions should be sent to .

    submission of abstracts,
  • 5-7 February 2007, Universal Structures in Mathematics and Computing (USMC'07), Canberra, Australia

    Date: 5-7 February 2007
    Location: Canberra, Australia
    Deadline: 19 January 2007

    Starting from very different motivations, various groups of mathematicians and computer scientists have sought to describe abstract structures in great generality. This parallel evolutionary process has led to various groups of researchers working on highly interrelated areas, though unable to effectively communicate with each other due to vastly differing languages.

    This workshop aims to bring together researchers working in category theory, universal algebra, logic and their applications to computer science in order to highlight recent advances in these fields and to facilitate dialogue between the different camps. Of particular interest is work which spans two or more of these areas.

    Deadline for registration: 2nd February 2007 For more information, see http://usmc07.rsise.anu.edu.au/

    We solicit talks on topics related to the themes and spirit of the workshop. We aim to facilitate all those who wish to speak at the workshop. Submission of talks can be made by email to Alwen Tiu () or Jon Cohen (). Deadline for talk titles and abstracts submission: 19th January 2007.

  • Call for papers, special issue of JLC on "Belief revision, belief merging and social choice"

    Deadline: 16 February 2007

    We would like to invite submissions of full original papers in the interface of the areas of belief revision, belief merging and social choice. We will also accept submissions in related areas that investigate common problems. Selected papers will be published as a special issue of the Journal of Logic and Computation.

    Electronic submission of a postscript or PDF file with a separate covering message can be made to Odinaldo Rodrigues by February, 16th, 2007. Contributions will be acknowledged in all cases. For more information, see http://www.dcs.kcl.ac.uk/events/ADMW06/proceedings.html

  • Call for Nominations: 8th Donald E Knuth Prize for outstanding contributions to the foundations of computer science

    Deadline: 31 January 2007

    The Call for Nominations for the 8th Donald E Knuth Prize for outstanding contributions to the foundations of computer science can be found at http://sigact.acm.org/prizes/knuth/. The Deadline for nominations is January 31, 2007.

  • Call for papers, special issue of JoLLI on logics for resource-bounded agents

    Deadline: 20 January 2007

    Papers are invited to a special issue of the Journal of Logic, Language and Information, based on an ESSLLI 2006 workshop on logics for resource-bounded agents. Deadline 20/01/2007.

    For more information, see here or contact

  • Formal Ontologies for Communicating Agents, special issue for the
    journal Applied Ontology

    Deadline: 19 January 2007

    Following the workshop "Formal Ontologies for Communicating Agents" that took place within the last ESSLLI summer school in Malaga, we would like to invite contributions for a special issue of the international journal ''Applied Ontology''. We especially invite the authors of the paper presented at FOCA 2006 to submit an extended version of their contribution. However, anyone is invited to submit a relevant contribution for the topic of the special issue described below.

    Deadline (extended) is January 19, 2007. For more information, see http://www.applied-ontology.org/ or here.

Past Conferences

  • 17 December 2007, Symposium "Reflections on Type Theory, Lambda Calculus and the Mind", Celebrating Henk Barendregt's 60th birthday, Nijmegen, The Netherlands

    Date: Monday 17 December 2007
    Location: Nijmegen, The Netherlands

    Invited speakers include Corrado Böhm, Mariangiola Dezani-Ciancaglini, Jan Willem Klop, Jean-Jacques Lévy, Giuseppe Longo, Bill Phillips, Gordon Plotkin, Anne Speckens and Richard Statman.

    Please register by sending a mail to before 10 december. For more information, see http://www.cs.ru.nl/barendregt60/

  • 14-15 December 2007, Workshop on Automata and Logic, History and Perspectives, Aachen, Germany

    Date: 14-15 December 2007
    Location: Aachen, Germany

    The workshop, which is held on the occasion of Wolfgang Thomas's 60th birthday, is devoted to the theory of automata and its connection to mathematical logic, verification, and games.

    The workshop will take place in Aachen, December 14 - 15, 2007 at the premises of the Computer Science Department of the RWTH Aachen. It will start on Friday, December 14, in the early afternoon, and will finish on Saturday, December 15, around noon. There is no registration fee, but registration is mandatory via the workshop homepage.

    For more information, see http://www-i2.informatik.rwth-aachen.de/Events/WAL07/

  • 5 December 2007, Set Theory and Its Neighbours 16, London, UK

    Date: Wednesday 5 December 2007
    Location: London, UK

    A one-day conference in the series "Set theory and its neighbours" will take place on Wednesday, 5th December 2007 at the Department of Mathematics, University College London, 25 Gordon Street, London, WC1. There is no registration fee for the meeting.

    We aim to keep the meetings fairly relaxed, allowing plenty of opportunity for informal discussion. We welcome and encourage anyone to participate. Please do tell anyone about the meeting who you think may be interested in it. We are happy for you to email us to let us know if you intend to come, but you are also very welcome simply to turn up on the day if you make a late decision. And let us know if you would like to speak or have ideas for speakers at future meetings.

    For more information, see http://www.ucl.ac.uk/~ucahcjm/stn/stn16.html.

  • 3-14 December 2007, Logic Summer School, The Australian National University (ANU)

    Date: 3-14 December 2007
    Location: The Australian National University (ANU)

    The Computer Sciences Laboratory in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 3 to the 14 of December 2007, at the Physics G6 lecture theatre at the ANU. The School will consist of short courses on aspects of pure and applied logic taught by experts from Australia and overseas. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.

    "We call this, 'two weeks of wall-to-wall logic'. The Logic and Computation group at ANU believe that logic is not just about computers, or computer scientists. We say that anything that makes sense can be subjected to logical analysis, which means that this School is attractive to any IT professionals, educators in logic and undergraduate students planning to do research in logic-related fields."

    Deadline for early registration: 2 November 2007. For more information, see http://lss.rsise.anu.edu.au/.

  • 9-11 November 2007, 2007 Australasian Association for Logic Conference, Melbourne, Australia

    Date: 9-11 November 2007
    Location: Melbourne, Australia

    The 2007 Australasian Association for Logic Conference will be held at the University of Melbourne from Friday November 9 to Sunday November 11.

    For more information, see http://www.cs.otago.ac.nz/staffpriv/hans/aal/

  • 23-24 October 2007, 1st Witten Lectures in Economics and Philosophy: Kenneth Arrow, Witten, Germany

    Date: 23-24 October 2007
    Location: Witten, Germany

    Witten/Herdecke University launches in 2007 the "Witten Lectures in Economics and Philosophy" which will be delivered annually at the University. Appointment as a Witten Lecturer is a recognition for uncommon achievement and outstanding quality in the field of economics and philosophy widely interpreted to include work that has fundamentally changed the way we think of the economic, political or social order.

    Professor Kenneth Arrow, Stanford University, Nobel Laureate of Economics in 1972 will deliver the 1st Witten Lectures in Economics and Philosophy, titled "Social Values and Government Policy" (23 oktober) and "Social and Economic Values and Obligations" (24 oktober).

    For more information, see http://wga.dmz.uni-wh.de/wiwi/html/default/

  • 19-20 October 2007, PhiMSAMP-2: Philosophy of Mathematics: Sociological Aspects and Mathematical Practice, Utrecht

    Date: 19-20 October 2007
    Location: Utrecht

    PhiMSAMP-2 is a workshop of the PhiMSAMP network for its members. Part of the workshop is open for the general public, and we cordially invite all researchers and students in the vicinity of Utrecht to come. Friday evening, we will present research results of the PhiMSAMP network in short talks by Eva Wilhelmus, Dirk Schlimm, and Esther Ramharter. The whole Saturday is devoted to tutorials on methodology in the social sciences and cognitive science by leading researchers. These tutorials could be particularly interesting for graduate students who are most enthusiastically invited. Speakers include Vincent Buskens, Herbert Kalthoff, Hansjörg Neth and Keith Stenning.

    For more information, see http://www.lib.uni-bonn.de/PhiMSAMP/PhiMSAMP2.html or contact Thomas Müller at <>

  • 3-5 October 2007, Synthese Annual Conference, "Between Logic and Intuition: David Lewis and the Future of Formal Methods in Philosophy", Copenhagen, Denmark

    Date: 3-5 October 2007
    Location: Copenhagen, Denmark

    Synthese hosts its first annual conference at the Carlsberg Academy in Copenhagen, October 3- 5 , 2007. The conference is sponsored by PHIS - The Danish Research School in Philosophy, History of Ideas and History of Science and Springer. This conference serves as a tribute to Lewis and as a venue for adressing questions concerning the relationship between logic and philosophical intuition and the future of formal methods in philosophy. Invited speakers are John Collins, Alan Hajék, Hannes Leitgeb, Rohit Parikh and L.A. Paul.

    Deadline for registration: October 1, 2007. To register, please write conference manager Peter Guldborg Hansen at and include "SAC 2007" in the subject entry. A conference fee of 150 Danish Kroner/day (450 Danish Kroner total) is to be paid cash upon final registration (Wednesday, October 3, 2007). For more information, see http://www.springer.com/west/home/philosophy?SGWID=4-40385-70-35761018-0

  • 24-28 September 2007, Third Vienna-Tbilisi Summer School in Logic and Languages, Tbilisi, Georgia

    Date: 24-28 September 2007
    Location: Tbilisi, Georgia

    The Third Vienna Tbilisi Summer School in Logic and Language is held from 24-28 September in Tbilisi. The event is co-located with the Seventh International Tbilisi Symposium on Language, Logic and Computation, held October 1-5.

    For more information, see http://www.logic.at/tbilisi07/

  • 18 September 2007, ICS-SIKS Symposium on Artificial Normative Systems

    Date & Time: Tuesday 18 September 2007, 10:00-17:00
    Location: Utrecht, Universiteitsbibliotheek, Heidelberglaan 3, De Uithof

    On the one hand, computer science is now aiming at the development of more and more complex and autonomous computer systems which call for forms of meta-systems with regulating and controlling functions. On the other hand, philosophical disciplines are now trying to systematically address key notions in the understanding of social agency, e.g., "norm", "intention", "obligation".

    Aim of the symposium is to bring together leading researchers from computer-science and philosophy in order to exchange points of view and stimulate scientific cooperation on the issue of normative systems. Speakers include Johan van Benthem, Christiano Castelfranchi Davide Grossi John Horty and Marek Sergot

    Participation is free and includes lunch and coffee and tea breaks. However, advance registration is required. Please register before September 11 by sending an email to or . For more information, see http://people.cs.uu.nl/davide/ANS/home.htm

  • 16-22 September 2007, Fall school in Logic & Complexity '07, Trest, Czech Republic

    Date: 16-22 September 2007
    Location: Trest, Czech Republic

    The broad theme of the Fall schools is the interaction of Mathematical Logic and Complexity Theory, with special emphasis on Proof Complexity. The main guest speaker of this school will be Albert Atserias (Universitat Politecnica de Catalunya) who will deliver a tutorial on "Finite Model Theory and Complexity". The second tutorial series will concentrate on recent advances in Proof Complexity and will be given by members of the Prague school.

    Deadline for registration: May 1, 2007

    For more information, see http://www.math.cas.cz/~krajicek/trest07.html

  • 27-31 August 2007, EASSS-2007: 9th European Agent Systems Summer School, Durham, England

    Date: 27-31 August 2007
    Location: Durham, England

    EASSS-2007 consists of a mixture of introductory and advanced courses delivered by internationally leading experts in the multiagent systems field, and it covers the full range of theoretical and practical aspects of multiagent systems.

    For more information, see http://www.dur.ac.uk/durham.agents007/EASSS07/.

  • 19-31 August 2007, Summer School "Formal Methods in Philosophy and Linguistics", Tartu, Estonia

    Date: 19-31 August 2007
    Location: Tartu, Estonia

    The Summer School "Formal Methods in Philosophy and Linguistics" is a two week research training course in formal methods and their use in philosophy and linguistics for PhD students in the respective fields. The courses cover classical logic and its meta-theory, developments in modal and non-classical logic, as well as historical aspects in the philosophy of logic since Frege. Mathematical models that had a wider impact on philosophical model building, like probability theory and game theory, are also taken into account. The courses also introduce systematically formal semantics as it is studied by philosophers and linguists.

    After a three day recapitulation of the standard technical vocabulary and some of the central metalogical results, a philosophy of language/ linguistics branch will take a closer look at the use of formal methods in specific problem areas and at specific formal theories. This will be paralleled by courses for philosophers working in areas other than philosophy of language and linguistics, offering closer examinations of applications of formal methods in the philosophy of science, mind, and action. The courses are designed for graduate students of philosophy and linguistics who lack a background in mathematics but work in a field that requires the assessment of formal methods or results obtained by such methods.

    Student applications will be accepted until June 15, 2007. We will accept 30 students in total. For more information, see http://www.cohnitz.de/phpwcms/index.php?summerschool

  • 7-8 September 2007, Mind & Society 14: "Philosophical and Sociological Approaches to Mathematics", Manchester, UK

    Date: 7-8 September 2007
    Location: Manchester, UK

    Preliminary list of speakers: Warren Goldfarb (Harvard), Mary Leng (Liverpool), Douglas Macbeth (Ohio State), Mathieu Marion (Quebec) and Soeren Stenlund (Uppsala)

    For more information, see http://www.socialsciences.manchester.ac.uk/sociology/staff/cg/

  • 6-10 August 2007, Summerschool "Knowledge and Its Place in Nature", Cologne (Germany)

    Date: 6-10 August 2007
    Location: Cologne (Germany)

    Hilary Kornblith is one of the most important figures in epistemology and an outstanding proponent of naturalism. Mr. Kornblith will be our guest in Cologne for one week and will be discussing central theses of his philosophy along with a group of international students and philosophers. Psychologists, biologists and other interested parties are also kindly invited.

    The number of participants is relatively small, and those interested may apply through May 15 at the website. For more information, see http://www.summerschoolphilosophy.uni-koeln.de/english/index.htm

  • 8-11 July 2007, 11th World Multi-Conference on Systemics, Cybernetics and Informatics, Orlando, Florida, USA

    Date: 8-11 July 2007
    Location: Orlando, Florida, USA
    Deadline: 16 November 2006

    WMSCI 2007 is an international forum for scientists and engineers, researchers and consultants, theoreticians and practitioners in the fields of Systemics, Cybernetics and Informatics. The forum focuses into specific disciplinary research, and also in multi, inter, and trans-disciplinary studies and projects. One of its aims is to relate disciplines, fostering analogical thinking and, hence, producing input to the logical thinking.

    For more information, see http://www.iiis-cyber.org/wmsci2007/.

  • 4 July 2007, International Workshop on Combination of Logics, Neuchâtel, Switzerland

    Date: Wednesday 4 July 2007
    Location: Neuchâtel, Switzerland

    This event is the following in a list of gatherings on combination of logics, such as Logical Consequences and its Combinations held in Pune, India, December 2005, CombLog'04 held in Lisbon, July 2004 and the FroCoS (Frontiers of Combining Systems) going on since 1996.

    All the dimensions of combination of logics will be touched: from abstract general frameworks based on universal logic and category theory to applications to some philosophical problems through some typical cases related with classical and intuitionistic logics

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

  • 25 June - 1 July 2007, Fifty Years of Generalized Quantifiers, Warsaw, Poland

    Date: 25 June - 1 July 2007
    Location: Warsaw, Poland

    In 1957 Andrzej Mostowski published his paper introducing the notion of generalized quantifier. Later on wide area of logical research was opened and many papers devoted to generalized quantifiers were published. The main purpose of the meeting is to summarize current knowledge on this subject.

    For more information, see http://www.logika.uw.edu.pl/50yearsGQ/.

  • 25-27 June 2007, Alternatives to Cartography, Brussels

    Date: 25-27 June 2007
    Location: Brussels

    This is the 2nd Brussels Conference on Generative Linguistics.

    For more information, see http://www.kubrussel.ac.be/onderwijs/onderzoekscentra/crissp/bcgl/2007/index.htm or email .

  • 22-23 June 2007, Festkolloquium 65th Birthday of Helmut Schwichtenberg & Workshop "Proof and Computation II", Munich, Germany

    Date: 22-23 June 2007
    Location: Munich, Germany

    Speakers include Ulrich Berger and Stanley Wainer (Festkolloquium) and Peter Aczel, Hajime Ishihara, Gerhard Jaeger, Ralph Matthes, Erik Palmgren, Monika Seisenberger and Anton Setzer (Workshop).

    Please register no later than than June 1, 2007 by email to . For more information, see http://www.mathematik.uni-muenchen.de/~pschust/puc2.html.

  • 19-22 June 2007, Dynamic Logic Montréal, Montréal, Canada

    Date: 19-22 June 2007
    Location: Montréal, Canada
    Costs: Free

    The dynamic turn in logic opens new perspective for epistemology and action theory. Information changes and interactive situations unveil fresh and fascinating issues about fondamental concepts such as knowledge, beliefs and rationality. This workshop aims at giving these issues high priority in the philosophical agenda, by bringing together philosophers and logicians that share interest for dynamics phenomena.

    Organization: Mathieu Marion (UQAM), Patrick Girard (Stanford), Olivier Roy (Amsterdam) and Francois Lepage (UdM)

    For more information, a program and a registration form, see http://www.unites.uqam.ca/philo/dlmontreal2007/

  • 11 June 2007, EXPERIMENTS ON LANGUAGE EVOLUTION: From models to empirical observation, Nijmegen

    Speaker: Luc Steels
    Date & Time: Monday 11 June 2007, 13:00-18:00
    Location: Nijmegen

    Recently, the subject of language evolution has received more and more interest in almost all fields related to language: from anthropology and cognitive psychology to linguistics and neurobiology. A very original approach to the subject is through experimentation with robots. Considering the present state of research on Artificial Intelligence it is possible, in principle, to program autonomous (even humanoid) robots in such a way that they independently create a communication system grounded in their perceptual experience of the world.

    Monday the 11th of June, the NVP presents a masterclass in which both this approach and more classicical experiments with people are discussed. The masterclass will be of interest to PhD students in a broad range of fields. Motivated master students are also welcome. There will be opportunity to present your ideas on the subject and receive individual feedback.

    Participation is limited to 30 participants, so be quick to register. For more information, see http://www.psychonomie.nl/nvpmasterclass.

  • 11-13 June 2007, Symposium on Theory of Computing (STOC 2007), San Diego, USA

    Date: 11-13 June 2007
    Location: San Diego, USA
    Deadline: 20 November 2006

    The 39th ACM Symposium on Theory of Computing (STOC 2007), sponsored by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), will be held in San Diego, CA, June 11 to 13, 2007, as part of the FCRC. Typical but not exclusive topics of interest include: algorithms and data structures, computational complexity, cryptography, computational geometry, algorithmic graph theory and combinatorics, randomness in computing, parallel and distributed computation, machine learning, applications of logic, algorithmic algebra and coding theory, computational biology, computational game theory, quantum computing and other alternative models of computation, and theoretical aspects of areas such as databases, information retrieval, and networks.

    For more information, see http://research.microsoft.com/research/theory/feige/homepagefiles/stoc07.htm

  • 8-9 June 2007, Arche Vagueness Conference, St Andrews, Scotland

    Date: 8-9 June 2007
    Location: St Andrews, Scotland

    This international conference brings together leading figures in philosophy to discuss the nature and the logic of vagueness. Organised by Arche, The AHRC Research Centre for the Philosophy of Logic, Language, Mathematics and Mind, the conference will conclude the series of workshops hosted by the Arche Vagueness Project since January 2004.

    Confirmed Speakers: Graeme Forbes, Leon Horsten, John MacFarlane, Vann McGee, Nathan Salmon, Scott Soames, Crispin Wright

    For more information, see http://www.st-andrews.ac.uk/%7Earche/vagueness/

  • 5-12 June 2007, Conference "1907-2007: One Hundred Years of Intuitionism", Cerisy, France

    Date: 5-12 June 2007
    Location: Cerisy, France

    Speakers include Dirk van Dalen, Henk Barendregt, Alain Michel, Philippe Nabonnand & Gerhard Heinzmann, Per Martin-Löf (E.W. Beth Lecture), Marcel Guillaume, Mohammad Ardeshir, Carl Posy, Richard Tieszen, Bernd Buldt, Mathieu Marion, Dag Prawitz, Charles McCarty, Jacques Dubucs, Jean Fichot, Douglas Bridges, Erik Palmgren, Giovanni Sambin, Peter Schroeder-Heister, Anton Setzer, Mitsu Okada, Göran Sundholm & Mark van Atten and Wim Veldman.

    Further information: http://www.ccic-cerisy.asso.fr/intuitionnisme07.html (please note that although the titles and abstracts on the webpage are in French, most talks will actually be in English).

  • 4-7 June 2007, Logical Foundations of Computer Science (LFCS'07), New York, USA

    Date: 4-7 June 2007
    Location: New York, USA
    Deadline: 11 December 2006

    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.

    For more information, see http://www.cs.gc.cuny.edu/lfcs07

  • 3-7 June 2007, Fourth International Symposium on Neural Networks (ISNN 2007), Nanjing, China

    Date: 3-7 June 2007
    Location: Nanjing, China

    The Fourth International Symposium on Neural Networks (ISNN 2007) will be held in Nanjing, as a sequel of ISNN 2004/ISNN 2005/ISNN 2006. Nanjing is the old capital of China, a modern metropolitan with 2470-year history and rich cultural heritage, featuring numerous historic and scenery sites. ISNN 2007 aims to provide a high-level international forum for scientists, engineers, and educators to present the state of the art of neural network research and applications in diverse fields. The symposium will feature plenary speeches given by worldwide renowned scholars, regular sessions with broad coverage, and some special sessions focusing on popular topics.

    For more information, see http://liu.ece.uic.edu/ISNN07/

  • 1 June 2007, Symposium "Logica en Cognitie", Hampshire Hotel Plaza, Groningen

    Date & Time: Friday 1 June 2007, 10:30-17:00
    Location: Hampshire Hotel Plaza, Groningen

    (dutch only: the conference itself will be english spoken)
    De Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen (VvL) nodigt u hierbij uit voor het symposium Logica en Cognitie, georganiseerd in samenwerking met Cover (studievereniging Kunstmatige Intelligentie, Groningen). Het symposium staat onder auspiciën van het Instituut Kunstmatige Intelligentie van de Rijksuniversiteit Groningen, het Cognitieprogramma van NWO en de onderzoeksscholen BCN en SIKS.

    Alle belangstellenden zijn van harte welkom. De toegang is gratis, inclusief koffie en thee, lunch en een drankje aan het einde van de middag.

    Voor meer informatie en abstracts, zie http://www.ai.rug.nl/~sympocie/2007/

  • 30 May - June 1, 2007, 8th Conference on Information Retrieval (RIAO 2007), Pittsburgh, USA

    Date: 30 May - June 1, 2007
    Location: Pittsburgh, USA
    Deadline: 15 December 2006

    RIAO 2007 aims to present recent, substantial, original and unpublished research that has been validated to the level of the creation of a functioning prototype. We are interested in large-scale solutions to the problem of accessing the semantic content found in unstructured text, images, video and audio.

    For more information, see http://www.riao.org/index_eng.php

  • 23-27 May 2007, 2nd European Cognitive Science Conference (EuroCogSci '07), Delphi, Greece

    Date: 23-27 May 2007
    Location: Delphi, Greece
    Deadline: 15 November 2006

    The purpose of the conference is the presentation of empirical, theoretical, and analytical work from all areas of interest in cognitive science, such as artificial intelligence, education, linguistics, neuroscience, philosophy, psychology and anthropology. The focus is on interdisciplinary work that is either of interest for more than one of the mentioned research areas or integrates research methods from different fields. Furthermore, applications of cognitive science research in such domains as human-computer interaction, education, knowledge management, or engineering are equally welcome.

    For more information, see http://conferences.phs.uoa.gr/EuroCogSci07/

  • 22-25 May 2007, Theory and Applications of Models of Computation (TAMC07), Shanghai, China

    Date: 22-25 May 2007
    Location: Shanghai, China
    Deadline: 18 December 2006

    The 4th Annual Conference on Theory and Applications of Models of Computation (TAMC07) will be held in Shanghai, China, May 22 to 25, 2007. Three previous annual meetings were held in 2004, 2005 and 2006, with enthusiastic participation from researchers all around the world. The three main themes of the conference TAMC07 will continue to be Computability, Complexity, and Algorithms. It aims to bring together researchers with an interest in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.

    For more information, see http://www.tamc2007.fudan.edu.cn/

  • 14-18 May 2007, Autonomous Agents and Multi-Agent Systems (AAMAS-07), Honolulu, Hawaii, USA

    Date: 14-18 May 2007
    Location: Honolulu, Hawaii, USA
    Deadline: 20 October 2006

    The AAMAS conference series was initiated in 2002 as a merger of three highly respected individual conferences: the International Conference on Autonomous Agents, the International Workshop on Agent Theories, Architectures, and Languages, and the International Conference on Multi-Agent Systems. 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.

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

  • 13 May 2007, "Interpolations", A Conference in honour of Bill Craig, Berkeley CA, USA

    Date: Sunday 13 May 2007
    Location: Berkeley CA, USA

    Craig's interpolation theorem is part of the standard logic curriculum. This and other results of Craig's have had a profound significance in logic, philosophy of science, philosophy of logic, and computer science. Six internationally distinguished speakers will reflect on the importance and impact of Craig's work:

    Solomon Feferman (Stanford University),
    Michael Friedman (Stanford University),
    Cesare Tinelli (University of Iowa),
    Dana Scott (Carnegie Mellon University),
    Jouko Väänänen (University of Amsterdam and University of Helsinki),
    Johan van Benthem (University of Amsterdam and Stanford University).

    Further information can be found at http://philosophy.berkeley.edu/events/detail/275 .

  • 12-13 May 2007, Linguistics and Epistemology, Aberdeen, Scotland

    Date: 12-13 May 2007
    Location: Aberdeen, Scotland
    Deadline: 27 November 2006

    One of the most striking developments in recent epistemological theorizing is the use of linguistic data and arguments to defend epistemological positions. Famous epistemological positions that are motivated and disputed in this way are contextualism, subject sensitive invariantism, and contrastivism. The overall aim of this conference is to bring together outstanding researchers working in this area of epistemology to both discuss the validity of the 'linguistic method' and bring this method into actual practice.

    For more information, see http://www.abdn.ac.uk/philosophy/events/lingepist/ or contact Martijn Blaauw at .

  • 7 May 2007, Methodological Problems of the Social Sciences, Tilburg University

    Date: Monday 7 May 2007
    Location: Tilburg University

    The workshop aims to bring together philosophers of science and leading researchers in the social sciences to discuss current methodological problems in these sciences. The focus of the workshop is on the interplay between, on the one hand, the use of probability theory in modeling human agents and, on the other, the use of statistical models in dealing with data about human agents.

    There is no registration fee. However, participants have to register by 15 April 2007 by sending an email to . For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/MPSS/

  • 11-14 April 2007, Mathematical Foundations of Programming Semantics (MFPS XXIII), New Orleans, LA USA

    Date: 11-14 April 2007
    Location: New Orleans, LA USA
    Deadline: 15 December 2006

    The MFPS conferences are devoted to those areas of mathematics, logic, and computer science which are related to models of computation, in general, and to the semantics of programming languages, in particular. The series has particularly stressed providing a forum where researchers in mathematics and computer science can meet and exchange ideas about problems of common interest.

    For more information, see http://www.math.tulane.edu/~mfps/mfps23.htm

  • 29 March - 4 April 2007, Language and Automata Theoy and Applications (LATA 2007), Tarragona, Spain

    Date: 29 March - 4 April 2007
    Location: Tarragona, Spain
    Deadline: 30 November 2006

    LATA 2007 intends to become a major yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that is being developed at the host institute since 2001, it will reserve significant room for young computer scientists at the beginning of their career. LATA 2007 will aim at attracting scholars from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

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

  • 26-28 March 2007, Second Perspectives on Mathematical Practices conference, Brussels, Belgium

    Date: 26-28 March 2007
    Location: Brussels, Belgium
    Deadline: 15 November 2006

    The general philosophical theme of this meeting will be that of why and how philosophers and historians of mathematics need each other. This takes for granted the thesis, ventilated by Lakatos, that they do so. One is here referring, of course, to his famous paraphrase of Kantian dictum: "The history of mathematics, lacking the guidance of philosophy, has become blind, while the philosophy of mathematics, turning its back on the most intruiging phenomena in the history of mathematics, has become empty".

    Any serious attempt at remedying this, and thus approaching the history and philosophy of mathematics, will either have to "bring to" philosophers the historian's expertise of conducting meticulous diachronical case-studies, or else "bring to" historians the philosopher's concern with epistemological depth; preferably both. Moreover, a focus on the historical dimension of mathematical practices is not to the exclusion of contemporary themes. To the contrary: Lakatos's point pertains to the historicity of mathematical knowledge, past and present.

    For more and detailed information, visit http://www.vub.ac.be/CLWF/PMP2007/.

  • 25-27 March 2007, Boise Extravaganza in Set Theory (BEST2007), Idaho City, USA

    Date: 25-27 March 2007
    Location: Idaho City, USA

    We are pleased to announce our sixteenth annual BEST conference. There will be four talks by invited speakers:
    Andres Caicedo (Caltech)
    Tim Carlson (Ohio State University)
    Marcia Groszek (Dartmouth College)
    Peter Komjath (Eotvos University)

    The conference webpage at http://math.boisestate.edu/~best/best16/ contains the most current information including lodging, abstract submission, maps, schedule, etc. Anyone interested in participating should contact the organizers as soon as possible by sending an email to: .

  • 9 March 2007, NVTI Theory Day 2007, Hoog Brabant, Utrecht

    Date & Time: Friday 9 March 2007, 9:30-16:45
    Location: Hoog Brabant, Utrecht

    We are happy to invite you for the Theory Day 2007 of the NVTI. The Dutch Asssociation for Theoretical Computer Science (NVTI) supports the study of theoretical computer and its applications.

    Again, we managed to compose an interesting program with excellent speakers from the Netherlands and abroad, covering important streams in theoretical computer science. Lecturers include Tom Ball (Microsoft Research), Nitin Saxena (CWI) Rineke Verbrugge (RUG) and Gerhard Woeginger (TU/e).

    For more information, see http://www.nvti.nl/Theorydays.html.

  • 8-10 March 2007, Confirmation, Induction and Science, London

    Date: 8-10 March 2007
    Location: London
    Deadline: 1 October 2006

    Opinions on confirmation and induction diverge wildly in philosophy of science. At one extreme are those such as the Bayesians, who believe that the true system of inductive logic has been found and all that needs to be resolved are the details. At the other are skeptics, such as some supporters of the underdetermination thesis, who hold that no logic can vindicate the level of support scientists claim for their best, mature theories, for, they urge, the real inductive import of evidence cannot be that decisive. Between these extreme are many intermediate positions, including the view that the very nature of inductive inference remains poorly understood. Our goal in this conference is to bring together representatives from as many of these viewpoints as possible in order to advance our understanding of this problem.

    For more information, see http://www.lse.ac.uk/collections/CPNSS/events/Conferences/

  • 8-10 March 2007, Conference "Social cognition, emotion, and self-consciousness", Delmenhorst, Germany

    Date: 8-10 March 2007
    Location: Delmenhorst, Germany

    The international conference Social cognition, emotion, and self-consciousness will be held from the 8-10 March 2007 at the Hanse-Wissenschaftskolleg in Delmenhorst, Germany.

    To participate, please register before 10th of February 2006 by sending an email to Marion Daniel at the Hanse-Wissenschaftskolleg: . For further information, see here or contact Alexandra Zinck: .

  • 5-13 March 2007, ASL Annual Meeting 2007, Gainesville, Florida, USA

    Date: 5-13 March 2007
    Location: Gainesville, Florida, USA

    The 2007 Annual Meeting of the Association for Symbolic Logic will take place March 10-13, 2007 at the University of Florida. Associated with the event is the workshop "Singular Cardinal Combinatorics and Inner Model Theory", to be held March 5-11. The Eighteenth Annual Gödel Lecture will be given by Ehud Hrushovski (Hebrew University, Israel). Special Sessions will be held on "Computability Theory", "Algebraic Model Theory", "Logic Research for Undergraduates" and "Connections of Set Theory with Boolean Algebras and Topology". The ASL will make available modest travel awards to graduate students in logic (deadline for applications: December 22, 2006).

    For more information, see http://www.math.ufl.edu/~jal/logicyear/asl/

  • 22-24 February 2007, 24th International Symposium on Theoretical Aspects of Computer
    Science (STACS 2007), Aachen, Germany

    Date: 22-24 February 2007
    Location: Aachen, Germany
    Deadline: 17 September 2006

    For more information, see http://www.cs.rwth-aachen.de/stacs07/

  • 17-20 February 2007, IADIS International Conference Applied Computing 2007, Salamanca, Spain

    Date: 17-20 February 2007
    Location: Salamanca, Spain
    Deadline: 13 November 2006

    The IADIS Applied Computing 2007 conference aims to address the main issues of concern within the applied computing area and related fields. This conference covers essentially technical aspects.

    For more information, see http://www.computing-conf.org/ or contact the organizers at .

  • 15-16 February 2007, Logic and Multi-Agent Systems (LAMAS), Otago, New Zealand

    Date: 15-16 February 2007
    Location: Otago, New Zealand
    Deadline: 1 December 2006

    The workshop Logic and Multi-Agent Systems aims to provide a forum to foster lively and fruitful discussion on issues involved in logic and multiagent systems.

    Particular topics of interest are:
    1. Specification, verification, and synthesis of multiagent systems
    2. Description logics
    3. Relation between temporal and dynamic logics
    4. Automated reasoning and model checking
    5. Security protocols
    6. Models of peer-to-peer networking
    7. Intelligent databases (with multiagent aspects)
    8. Models of electronic institutions and contracts

    For more information, see http://www.cs.otago.ac.nz/staffpriv/hans/lamas2.html

  • 5-10 February 2007, Workshop on Model Theory and Computable Model Theory, Gainesville, Florida, USA

    Date: 5-10 February 2007
    Location: Gainesville, Florida, USA

    This workshop is part of the special year in logic at the University of Florida. The tutorials will take place on February 5-6, providing introductions to computable model theory and to model-theoretical applications within mathematics. The tutorials will be accessible to graduate students in logic, as well as to other interested mathematicians. The lectures on February 7-10 will present recent results in areas related to the tutorials.

    For more information, see http://www.math.ufl.edu/~jal/logicyear/mtcmt/

  • 29 January - 2 February 2007, Computing: The Australasian Theory Symposium (CATS 2007), Ballarat, Australia

    Date: 29 January - 2 February 2007
    Location: Ballarat, Australia
    Deadline: 11 August 2006

    CATS is the premier theoretical computer science conference in Australasia. It is held annually as part of Australasian Computer Science Week (ASCW) which comprises many other conferences and is overseen by the Computer Research and Education Association (CORE).

    For more information, see http://www-staff.it.uts.edu.au/~cbj/cats07/

  • 21-22 January 2007, Topics in Computability: A Meeting in Honor of Richard Shore, Cambridge, USA

    Date: 21-22 January 2007
    Location: Cambridge, USA

    Confirmed speakers include Carl Jockusch, Julia Knight, Manuel Lerman, Anil Nerode, Gerald Sacks, Stephen Simpson, Theodore Slaman and Robert Soare.

    For more information, see http://www.math.uwaterloo.ca/~csima/shore/

  • 21-25 January 2007, Bonn International Workshop on Ordinal Computability (BIWOC), Bonn, Germany

    Date: 21-25 January 2007
    Location: Bonn, Germany

    Recent years saw the emergence of Ordinal Computability - the generalization of standard computability theory to ordinal time or ordinal space. Ordinal computability theory links computability, complexity, descriptive set theory, constructibility theory and other fields in innovative and fruitful ways.

    The Bonn International Workshop on Ordinal Computability BIWOC aims at bringing together specialists, interested graduate students, and representatives from neighbouring fields. The program will consist of morning talks which will represent the current spectrum of ordinal machine models and identify relevant research questions and projects. Afternoons will be reserved for informal discussions, collaborations, and presentations. We expect that some progress may already be reported at an open session at the end of the workshop.

    For more information, see http://www.math.uni-bonn.de/people/logic/biwoc/

  • 19 January 2007, VvL Afternoon: Logics for interacting agents, Utrecht

    Date: Friday 19 January 2007
    Location: Utrecht
    Costs: -

    On Friday January 19th 2007 there will be a small workshop organized by the Dutch Logic Society on "Logics for Interacting Agents" linked to the interdisciplinairy NIAS-project 'Games, Action and Social Software' (http://www.nias.knaw.nl/en/research_group_2006_07/nucleus/).

    The meeting takes place in the Regardz Meeting Center La Vie Utrecht (Lange Viestraat 351, 3511BK Utrecht). This is a short walk from the Central Station.

    For more information, see http://www.verenigingvoorlogica.nl/activiteiten/2007/agents.html

  • 17-19 January 2007, PoPL (Principles of Programming Languages), Nice, France

    Date: 17-19 January 2007
    Location: Nice, France
    Deadline: 15 July 2006

    The annual Symposium on Principles of Programming Languages is a forum for the discussion of fundamental principles and important innovations in the design, definition, analysis, transformation, implementation and verification of programming languages, programming systems, and programming abstractions. Both experimental and theoretical papers are welcome.

    For more information, see http://www.cse.ucsd.edu/popl/07/

  • 10-13 January 2007, Conference on Logic, Computability and Randomness 2007, Buenos Aires

    Date: 10-13 January 2007
    Location: Buenos Aires
    Deadline: 1 October 2006

    The theme of the conference will be algorithmic randomness and related topics in logic, computability and complexity. The program will consist of invited talks, contributed talks and discussions. The meeting is sponsored by the Association for Symbolic Logic.

    For more information, see http://www.dc.uba.ar/people/logic2007/

  • 6-12 January 2007, 3rd international workshop in Neural-Symbolic Learning
    (NeSy07), Hyderabad, India

    Date: 6-12 January 2007
    Deadline: 22 September 2006

    Artificial Intelligence researchers continue to face huge challenges in their quest to develop truly intelligent systems. The recent developments in the field of neural-symbolic integration bring an opportunity to integrate well-founded symbolic artificial intelligence with robust neural computing machinery to help tackle some of these challenges.

    For more information, see http://www.neural-symbolic.org/NeSy07/

  • 3-6 January 2007, International Conference on Logic, Navya Nyaya and applications: a homage to Bimal Krishna Matilal, Calcutta, West Bengal, India

    Date: 3-6 January 2007
    Location: Calcutta, West Bengal, India
    Deadline: 31 August 2006

    Navya-Nyaya is an offshoot of the Nyaya system which was originally intended to be a comprehensive philosophy having an ontology of its own. The logical apparatus and the analysis of language developed by the Nyaya system were originally devised to lend support to this ontology. But the Nyaya techniques of drawing conclusions from given premises and the Nyaya way of analyzing language were borrowed by the other systems of Indian philosophy. This suggests that the Nyaya system has a formal core which is relatively, if not absolutely, independent of its ontological commitments and can be applied to entirely different contexts.

    This conference is homage to Bimal Krishna Matilal who was one of the few thinkers who devoted major part of his philosophical career to initiating meaningful dialogues between the philosophical traditions of the East and the West. The main objective of his studying an ancient Indian system such as Navya-Nyaya was to explain its significance and relevance to modern discussions in the area called "philosophical logic". Issues in philosophical logic like those of ontological commitments, existence and truth are also addressed by Navya-Nyaya. This opens up the possibility of an interface between the approaches and conclusions of the different traditions.

    For more information, see http://philosophy-ju.org/news&announce/ or contact Prof Dr Mihir Chakraborty at .

MoL and PhD defenses

  • 21 November 2007, Master of Logic defense, Federico Sangati

    Title: Towards simpler tree substitution grammars
    Date & Time: Wednesday 21 November 2007, 15:30
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Jelle Zuidema

    For more information, please contact

  • 2 November 2007, PhD defense, Katrin Schulz

    Title: Minimal Models in Semantics and Pragmatics. Free Choice, Exhaustivity, and Conditionals.
    Date & Time: Friday 2 November 2007, 12:00
    Location: de Agnietenkapel, Oudezijdse Voorburgwal 231, 1012 EZ, Amsterdam
    Supervisor: Frank Veltman and Paul Dekker
    Promotor: Frank Veltman

    For more information, see

  • 12 October 2007, PhD defense, Yoav Seginer

    Title: Learning Syntactic Structure
    Date & Time: Friday 12 October 2007, 10:00
    Location: Agnietenkapel, Ouderzijds Voorburgwal 231, Amsterdam
    Promotor: Dick de Jongh
  • 27 September 2007, Master of Logic defense, Brammert Ottens

    Title: Comparing Winner Determination Algorithms for Mixed Multi-Unit Combinatiorial Auctions
    Date & Time: Thursday 27 September 2007, 15:15
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Krzysztof Apt and Ulle Endriss

    For more information, please contact

  • 12 September 2007, Master of Logic defense, Theodora Achourioti

    Title: Logic, Normativity and the A Priori
    Date & Time: Wednesday 12 September 2007, 13:00
    Location: Room B-2.44, Nieuwe Achtergracht 166, Amsterdam (<em>changed</em>)
    Supervisor: Michiel van Lambalgen

    For more information, please contact

  • 5 September 2007, Master of Logic defense, Lena Kurzen

    Title: Logics for Cooperation, Actions and Preferences
    Date & Time: Wednesday 5 September 2007, 13:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Eric Pacuit and Ulle Endriss

    For more information, please contact

  • 31 August 2007, Master of Logic defense, Gustaaf Haan

    Title: How illiterates interpret syllogistic problems
    Date & Time: Friday 31 August 2007, 11:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Michiel van Lambalgen

    For more information, please contact

  • 30 August 2007, Master of Logic defense, Jesse Harris

    Title: Revealing Concealment: A (neuro-)logical investigation of concealed questions
    Date & Time: Thursday 30 August 2007, 11:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Paul Dekker, Liina Pylkkanen, Martin Stokhof

    For more information, please contact

  • 29 August 2007, Master of Logic defense, Petter Remen

    Title: Automata on Flows
    Date & Time: Wednesday, August 29, 2007, 15:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24,
    Amsterdam
    Supervisor: Yde Venema

    For more information, please contact

  • 29 August 2007, Master of Logic defense, Raul Leal

    Title: Expresivity of Coalgebraic Modal Languages
    Date & Time: Wednesday 29 August 2007, 13:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24,
    Amsterdam
    Supervisor: Yde Venema

    For more information, please contact

  • 29 August 2007, Master of Logic defense, Christian Kissig

    Title: Decidability of S2S
    Date & Time: Wednesday 29 August 2007, 11:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24,
    Amsterdam
    Supervisor: Yde Venema and Clemens Kupke

    For more information, please contact

  • 21 August 2007
    , Master of Logic defense, Sandeep Murthy

    Title: Group-Theoretic Methods for bounding the exponent of matrix Multiplication
    Date & Time: Tuesday 21 August 2007
    (updated!), 11:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Tom Koornwinder
    Mentor: Dick de Jongh

    This is a rectification of the previously announced date of 20th of August.

    For more information, please contact

  • 14 August 2007, Master of Logic defense, Joost Winter

    Title: Space Complexity in Infinite Time Tuning Machines
    Date & Time: Tuesday 14 August 2007, 16:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Benedikt Löwe

    For more information, please contact

  • 14 August 2007, Master of Logic defense, Yurii Khomskii

    Title: Regularity Properties and Determinacy
    Date & Time: Tuesday, August 14, 2007, 14:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Benedikt Löwe

    For more information, please contact

  • 14 August 2007, Master of Logic defense, Ansten Morch Klev

    Title: Extending Kleene's <i>O</i> Using Infinite Time Turing Machines
    Date & Time: Tuesday 14 August 2007, 11:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Joel Hamkins

    For more information, please contact

  • 25 July 2007, Master of Logic defense, Can Baskent

    Title: Topics in Subset Space Logic
    Date & Time: Wednesday, July 25, 2007, 10:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Eric Pacuit

    For more information, please contact

  • 5 July 2007, Master of Logic defense, David Chabot

    Title: Individual-Level Predicates and When-Conditionals
    Date & Time: Thursday July 5, 2007, 16:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Frank Veltman

    For more information, please contact

  • 5 July 2007, Master of Logic defense, Harald Bastiaanse

    Title: Clarity in Non-Monotonic Logic
    Date & Time: Thursday 5 July 2007, 14:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Johan van Benthem and Frank Veltman

    For more information, please contact

  • 28 June 2007, Master of Logic defense, Ori Garin

    Title: What is it talking about? A computational model of reference.
    Date & Time: Thursday June 28, 2007, 15:15
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Henk Zeevat

    For more information, please contact

  • 13 June 2007, Master of Logic defense, Marcello di Bello

    Title: Formalizing Legislation in the Event Calculus
    Date & Time: Wednesday 13 June 2007, 15:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Michiel van Lambalgen

    For more information, please contact

  • 15 May 2007, Master of Logic defense, Gerben de Vries

    Title: Formalizing Implicatures using Logic Programming
    Date & Time: Tuesday 15 May 2007, 15:30
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Robert van Rooij

    For more information, please contact

  • 24 April 2007, Master of Logic defense, Tijmen Daniëls

    Title: .Social Choice and Logic via Simple Games
    Date & Time: Tuesday 24 April 2007, 11:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Eric Pacuit

    For more information, please contact

  • 4 April 2007, Master of Logic defense, Höskuldur Hlynsson

    Title: Transfer learning Using MDL with a Decision Trees Application
    Date & Time: Wednesday 4 April 2007, 11:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Maarten van Someren

    For more information, please contact

  • 28 February 2007, PhD defense, Darrin Hindsill

    Title: It's a Process and an Event
    Date & Time: Wednesday 28 February 2007, 14:00-15:00
    Location: Agnietenkapel, Oudezijds Voorburgwal 231. Amsterdam
    Promotor: Michiel van Lambalgen
  • 23 February 2007, PhD defense, Rudi Cilibrasi

    Title: Statistical Inference through Data Compression
    Date & Time: Friday 23 February 2007, 10:00
    Location: Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotor: Prof. dr. P. Vitanyi
    Copromotor: Dr. P. Gruenwald
  • 7 February 2007, PhD defense, Neta Spiro

    Title: What contributes to the perception of musical phrases in western classical music?
    Date & Time: Wednesday 7 February 2007, 12:00
    Location: Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotor: Prof. dr. R. Bod
    Copromotor: Dr. Ian Cross

    A workshop on "Musical Structure: Expectation generation, disruption and resolution" will take place following Neta Spiro's PhD defence at 12:00. The talks will begin at 2:30. For more information, see the workshop entry.

  • 18 January 2007, Master of Logic defense, Jonathan Zvesper

    Title: A Revised Version: Belief Revision and Epistemic Acts
    Date & Time: Thursday January 18, 2007, 15:00
    Location: Room P-015b,, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Krister Segerberg and Eric Pacuit

    For more information, please contact

Projects and Awards

  • Paul Vitanyi knighted in the order of the "Nederlandse Leeuw"

    On Friday the 7th there was a special ceremony at CWI in honor of Paul Vitanyi. In a very entertaining afternoon session three famous mathematicians/computer scientists gave a talk more or less related to Paul's work. At the end of the afternoon Paul was awarded knighthood in the order of the "Nederlandse Leeuw", which is the highest ranking decoration that is not military.

    For more information, see also here and http://www.cwi.nl/pr/press-releases/2007/pb-lintje-Vitanyi0907.html

  • ESSLLI best student paper award to Thomas Icard III

    Master of Logic student Thomas Icard III won the award of the Best Student Paper in the Oral Session at the ESSLLI summer school of 2007 with his paper "Towards An Alternative Proof of Solovay's Arithmetical Completeness Theorem" based on a project advised by Joost Joosten.

  • Mosaic grant awarded to Yurii Khomskii

    The ILLC is happy to announce that Master of Logic alumnus Yurii Khomskii was awarded a NWO Mosaic grant. The Mosaic programme is developed to boost the participation of ethnic minorities in academic research and provides funds for a 4 year period of doctoral research.

    Yurii will start his PhD research as soon as possible under the supervision of Benedikt Loewe, on the project called Making Guesswork Precise: Developing a mathematical theory of rules-of-thumb in Set Theory of the Real Line"

    For more information about the Mosaic program, see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_5RNBJK_Eng

  • Rubicon award to Emar Maier

    We were happy to hear that a NWO Rubicon grant is awarded to Emar Maier from Nijmegen University (http://www.ru.nl/ncs/~emar/). The grant allows him to work for one year as a researcher at ILLC, together with Jeroen Groenendijk. The planned starting date is January 2007.

    For more information, please contact

  • Teaching Prize 2007 of FGW to the course "Logica en de Linguistic Turn"

    The Teaching Prize 2007 of the Faculty of Humanities has been granted to the course "Logica en de Linguistic Turn", which is part of the Bachelor of Philosophy.

    Almost every ILLC member working in the Philosophy Department has taught this course - some more than fifteen times. We congratulate them all. It was the first time this prize was granted to a course (instead of a teacher). On the picture Frank Veltman, who co~rdinated this course for many years, and who replaced the present co~rdinator Karen Kwast receives the prize from Amanda Kluveld, Chair of the Jury.

    You can find the picture and jury report on http://www.hum.uva.nl/.

  • Two NWO VIDI awards

    We are very proud that (again!) the NWO VIDI round has lead to two awards to ILLC members, Maria Aloni and Ulle Endriss:

    Within the Division of Humanities: Maria Aloni for her project 'Indefinites and beyond: evolutionary pragmatics and typological semantics', and
    within the Division of Exact Sciences: Ulle Endriss for his project 'Collective Decision Making in Combinatorial Domains'.

    Both will receive the sum of 600 kEURO (2/3 NWO; 1/3 UvA matching) with which they can start their own research group.

  • Two NWO VENI projects for the ILLC

    NWO has announced that two NWO VENI projects have been awarded to:

    Jelle Zuidema (now postdoc at the ILLC), for his project proposal "Discovering grammar: statistical models of sequence learning in humans, animals and machines"

    and

    Catarina Dutilh-Novaes (Master of Logic alumna), for her project: "Philosophical Foundations of Formal Languages in Logic: Formal Languages as Language Games"

    We are very happy for Jelle and Catarina (and obviously for the ILLC as well). Congratulations!!!

    Frank Veltman

  • Vrij Nederland: ILLC one of the 25 top research institutes in the Netherlands

    We were proud to see the name of ILLC mentioned as one of the 25 top research institutes in the Netherlands in last week's special issue on `Knowledge Capital' of Vrij Nederland, a weekly Dutch magazine. You can view the complete list at http://www.illc.uva.nl/NewsandEvents/Attachments/Breinmagneten.pdf.

  • ASL Institutional Membership

    A member of the Association for Symbolic Logic with a longstanding interest in the development of strong research centers in logic internationally has made a generous donation to the ASL to fund an institutional ASL memberships for the ILLC. We are very honoured to accept this donation.

    As an institutional member of the ASL, the ILLC can invite nine students for free one-year student memberships of the ASL. For the calendar year 2007, these free memberships go to Nina Gierasimczuk, Daisuke Ikegami, Tikitu de Jager, Fenrong Liu, Floris Roelofsen, Olivier Roy, Brian Semmes, Joel Uckelman, and Levan Uridia.

    Contact person for the institutional ASL membership at the ILLC is Benedikt Löwe <>. For more information on the ASL, please consult http://www.aslonline.org.

  • VICI awarded to Rens Bod

    The ILLC is very proud to announce that the VICI research proposal "Integrating Cognition" of Rens Bod has been selected by NWO Geesteswetenschappen. Rens is awarded the sum of 1.25 million EURO which will create jobs for 2 PhD students (3 years) and 2 postdocs (3 years).

Funding, Grants and Competitions

  • 17 December 2007, Invitation to EG-Liaison ICT & Security Training

    Date: Monday 17 December 2007

    EG-Liaison offers training programmes. EG-Liaison wishes to transfer its knowledge and experience to interested parties willing to participate in a European project. To achieve this goal we frequently organise focused training programmes. As well as in the Netherlands, these take place particularly in countries in their pre-EU accession phase. Subjects specifically covered by these programmes include among others:

    • How to draft a successful proposal
    • Juridical and financial aspects of a European project
    • Project management
    • Participation of Small to Medium-sized Enterprises in European project

    Costs are 125 euro including trainingmaterial, coffee/tea and lunch. For more information, see SenterNovem / EG-Liaison, http://www.senternovem.nl/egl/english.asp, Phone: +31 70 373 52 50, Email: .

  • 11 December 2007, Schrijfclinic Vernieuwingsimpuls Veni en Vidi

    Date & Time: Tuesday 11 December 2007, 9:30-16:00

    Liaison Office organiseert een workshop waarin onderzoekers advies krijgen bij het opstellen van hun voorstel voor een Veni (pas gepromoveerd) of Vidi (aantal jaren post-doc ervaring). De eerst volgende deadline voor het indienen van een Veni of een Vidi is 8 januari 2008.

    Deelname is kosteloos, maar er is slechts een beperkt aantal plaatsen beschikbaar. Voor nadere informatie zie here, of neem contact op met Liaison Office, Carolien Zijderveld, telefoon 020 525-5417, e-mail .

  • 6 December 2007, Informative Afternoon 3rd ICT call

    Date: Thursday 6 December 2007
    Location: SenterNovem, Juliana van Stolberglaan 3, Den Haag, THe Netherlands

    The next topics will be discussed:
    Cognitive systems, Interaction & Robotics
    Digital libraries & Technology-enhanced learning
    Intelligent content & Semantics
    FET Proactive (complex systems for socially intelligent ICT, embodied intelligence, ICT forever yours)

    For the programme, more information and an application form see http://www.senternovem.nl/eglinformatiemaatschappij/agenda/

  • 20 September 2007, Workshop joint call ICT/Security (part of Seminar on European Subsidies)

    Date: Thursday 20 September 2007
    Location: Koninklijke Schouwburg, the Hague

    The ministry of the interior organizes a seminar on EU subsidy. Part of this seminar are two sessions on 'security and ICT'. The seminar is of a broad nature and all sorts of government agencies that are involved with subsidies have been invited.

    For more information, see <http://www.senternovem.nl/eglinformatiemaatschappij/agenda/.

  • Franklin Research Grants of the American Philosophical Society

    Since 1933 the American Philosophical Society has awarded small grants to scholars in order to support the cost of research leading to publication in all areas of knowledge. The Franklin program is particularly designed to help meet the costs of travel to libraries and archives for research purposes; the purchase of microfilm, photocopies, or equivalent research materials; the costs associated with fieldwork; or laboratory research expenses. Funding is offered up to a maximum of $6,000 for use in calendar year 2008. Grants are not retroactive.

    Deadline for March 2008 decistions is December 1, 2007. For more information, see http://www.amphilsoc.org/grants/franklin.htm.

  • Call for proposals SPIN postdoc programme 2007

    The Royal Netherlands Academy of Arts and Sciences (KNAW)requests proposals for the The 'Scientific Programme Netherlands - Indonesia' (SPIN). It is based on agreements between the Netherlands and Indonesian governments. The Programme adheres to the principle of mutual benefit and aims to stimulate the establishment of long-term scientific cooperation between Indonesian and Netherlands research groups. Deadline for Submission: Friday 19th of October 2007

    For more information, see or visit http://www.knaw.nl/cfdata/indonesia/introduction.cfm

  • 'Free Competition' Exact Sciences division NWO

    The exact sciences division of the Netherlands Organisation for Scientific Research (NWO) invites researchers at Dutch universities, NWO or KNAW-institutes to submit research proposals in the context of the organisation's 'Free Competition', in order to gain funding for their projects.

    Proposals need to be submitted using NWO's electronic request system found at http://www.iris.nwo.nl/. Proposals can be submitted continuously all through the year but only three times a year will these be evaluated. Exact information is to be found at http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_5U2LBW under the heading 'documentation' for a complete guide.

  • Call for nominations for the 'Descartes-Huygensprijs 2007'

    The Royal Netherlands Academy of Arts and Sciences (KNAW)annually awards the 'Descartes-Huygensprijs' to a distinguished French researcher in the Social Sciences or the Humanities in order to stimulate scientific collaboration between France and the Netherlands. Nominations can be submitted until the 15th of November 2007.

    For more information, see http://www.knaw.nl/cfdata/prijzen/prijzen_detail.cfm?orgid=626, contact or call 020- 551 08 29.

  • NWO Casimir programme

    The aim of NWO Casimir's programme is to increase the mobility of researchers and to accomplish more exchange between business and academia. A maximum of 100.000 EURO can be requested. There must always be 3 applicants: a representative of the university, a representative of the company, and a talented graduate or researcher (=the candidate).

    For more information (in Dutch only), see http://www.nwo.nl/subsidiewijzer.nsf/pages/

  • 2nd ICT call of CORDIS FP7

    On June 12th, the second call for the Information and Communication Technologies (ICT) programme of the CORDIS Seventh Research Framework Programme (FP7) was opened, with a budget of 477 million euro. The call will close on October 9th, 2007, In this call the following eight 'objectives' are taken into consideration :

    - New paradigms and experimental facilities (the future of Internet),
    - Photonic components and subsystems,
    - Micro/nanosystems,
    - Networked embedded and control systems,
    - Virtual physiological human,
    - ICT for cooperative systems,
    - ICT for environmental management and energy efficiency,
    - Accessible and inclusive ICT.

    Reference nr: FP7-ICT-2007-2. For more information, see http://cordis.europa.eu/fp7/dc/

  • FFSB 2008 - International Mathematical Research Prize

    The purpose of the Foundation Ferran Sunyer i Balaguer is to stimulate mathematical research, granting a prize and grants for studies or research in the area of the mathematical sciences. Conditions: Prize awarded for a mathematical monograph in an expository nature presenting the latest developments in an active area of research. The prize: 12.000 euro and publication of the winning monograph in Birkhäuser Verlag's series Progress in Mathematics. Deadline: December 3, 2007

    For more information, see http://ffsb.iec.cat/EN/

  • 21 June 2007, ICT- Informatiemiddag 2de ICT call / ICT-informationmeeting 2nd ICT call, Mercure Hotel, Spui 180, Den Haag

    Date & Time: Thursday 21 June 2007, 13:30
    Location: Mercure Hotel, Spui 180, Den Haag
    Costs: € 25,-

    On June 12th, the second call for the Information and Communication Technologies (ICT) programme of KP7 was opened, with a budget of 477 million euro. The call will close on October 9th, 2007. For this second call SenterNovem/EG-Liaison, together with the Ministries of the Interior and of Education and Science, will organize an informational meeting on Thursday June 21th, 2007, in the Mercure hotel in the Hague.

    For more information and registration, see http://www.senternovem.nl/eglinformatiemaatschappij/agenda/ and http://cordis.europa.eu/fp7/dc/

  • Dobrushin Prize (Information Theory, Mathematical & Computer Linguistics)

    The Dobrushin Foundation has launched the International Dobrushin Prize, awarded annually to outstanding researchers for the totality of their work in the domains of the research interests of Ronald L. Dobrushin (1929-1995), one of the founders of the Independent University of Moscow. The areas include information theory, statistical physics, probability theory, and mathematical and computer linguistics. The prize committee, formed of independent experts, is accepting nominations from any researcher or a group of researchers.

    Nominations should be sent before May 10, 2007 to , and should include a list of significant publications of the candidate, a brief summary of several of the candidate's most important publications, and a list of three experts who have agreed to endorse the nomination. The prize is awarded each year on June 20, the birthday of Dobrushin. The winner receives a diploma and the equivalent of US$3,000 and is invited to present a lecture at the Institute for Information Transmission Problems in Moscow.

  • Descartes Prizes 2007: "Science and society"

    The Descartes Prize for Research is awarded to teams having achieved outstanding scientific or technological results from European collaborative research in any field of science, including the economic, social and human sciences. This prize aims to attract experienced scientists who have made an outstanding contribution to research.

    Deadline for applications: July 17th, 2007. For more information, see http://ec.europa.eu/research/descartes/submit_en.htm or the CORDIS call text at http://cordis.europa.eu/fp7/dc/.

  • E. W. Beth Dissertation Prize 2007

    Since 2002, FoLLI (the European Association for Logic, Language, and Information, http://www.folli.org/) awards the E. W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information.

    Submissions are invited for 2007. The prize will be awarded to the best dissertation which resulted in a Ph.D. in the year 2006. The dissertations will be judged on technical depth and strength, originality, and impact made in at least two of the three fields of Logic, Language, and Computation.

    For more information, see http://folli.loria.fr/content/beth2007.html Deadline for submissions (extended) is May 6, 2007.

  • 9 April 2007- Deadline for submission, Science Park Amsterdam New Ideas Competition 2007

    Date: 9 April 2007- Deadline for submission

    Do you have an innovative or original idea for the application of knowledge gained by scientific research which is carried out at Science Park Amsterdam? Join in the Science Park Amsterdam New Ideas Competition!

    In 2006, the Science Park Amsterdam New Ideas Competition has been won by Peter Blok, Sybren Stüvel and Leen Torenvliet (Faculty of Science - UvA) for their idea 'digitale positiebepaling'. Other winners were Erika Eiser and Gadi Rothenberg (Faculty of Science - UvA) for their idea "Metal nanowires by self-assembly: A bottom-up approach to nanoelectronics", and Harry van der Graaf (Nikhef) for his idea "RasIce:een monitor voor (te) diep doorzakkende daken".

    For more information, see http://www.scienceparkamsterdam.nl/prijsvraag/ or http://www.scienceparkamsterdam.nl/background.jsp?page=11228

  • EUROCORES programme LogICCC

    The European Science Foundation is launching a Call for Outline Proposals for Collaborative Research Projects to be undertaken within the EUROCORES Programme "Modelling intelligent interaction - Logic in the Humanities, Social and Computational sciences (LogICCC)". The deadline for Outline Proposals is 11 May 2007, 12:00 PM (noon).

    For more information, see http://www.esf.org/ or contact Dr. Eva Hoogland at .

  • ERC Starting Grants

    1st Call for Proposals on ERC Starting Grants (comparable to the Dutch 'VIDI' grant)

    NEEDS:
    - An excellent scientific track record and proven potential
    - A ground breaking research idea
    - 2-9 years since completion of PhD
    - A research team to be established or consolidated
    - Working in or moving to work in an EU Member State, Associated Country, or international European Interest Organisation

    DETAILS:
    Funding per grant: up to € 500,000 - 2,000,000
    Duration: up to 5 years
    Application: online, 2-stage process
    Evaluation criterion: scientific excellence
    Submission deadline: 25 April 2007
    Call Budget: € 300,000,000
    Number of grants: approx. 200

    For more information, see http://erc.europa.eu/ See also our announcement about the special 'schrijfclinic', unfortunately in Dutch only.

  • Niels Stensen stipendium

    Professors are invited to propose candidates for the Niels Stensen stipendium. Eligible are: young *catholic* researchers who recently obtained their doctoral degree. Stipendia are awarded for a period of 9-12 months. Deadline for application: April 1, 2007

    For more information, please contact Ingrid van Loon ().

  • Huygens scholarhsips for PhD students from Croatia, Turkey, Bulgaria and Romania.

    The prestigious HSP Huygens programme is open to excellent students from all countries of the world. It is aimed at talented students who want to come to the Netherlands in the final phase of their bachelor's studies or during their master's studies. PhD applications can only be accepted from excellent students from Croatia, Turkey, Bulgaria and Romania.

    Applications for the 2007-2008 academic year must be received by Nuffic by 1 February 2007 at the latest. The starting date of the HSP scholarship is 1 September, 2007.

    When applying for the scholarship you will need a HSP nomination letter from the HSP-coordinator at the Universiteit van Amsterdam, Ms Marjan Kuiper (e-mail: ).

    For information about the application procedure, see http://www.nuffic.nl/hsp/.

  • Start of 7th Research Framework Programme (FP7)

    The EU has published the first calls for all programmes Cooperation, Ideas, People en Capacities as well Euratom, on Friday December 22. It includes 42 calls with a budget of more than 4 billion EUROs (for 2007).

    For more information, see http://cordis.europa.eu/fp7/calls

  • Kurt Gödel Centenary Research Prize Fellowship

    The Kurt Gödel Society is proud to announce the commencement of the research fellowship prize program in honor and celebration of Kurt Gödel's 100th birthday.

    The research fellowship prize program sponsored by the John Templeton Foundation will offer: two Ph.D. (pre-doctoral) fellowships of $60,000 US per annum for two years two post-doctoral fellowships of $ 80,000 US per annum for two years one senior fellowship of $120,000 US per annum for one year.

    The purpose of the fellowship is to support original research in mathematical logic, meta-mathematics, philosophy of mathematical logic, and the foundations of mathematics. This fellowship is to carry forward the legacy of Gödel, whose works exemplify deep insights and breakthrough discoveries in mathematical logic.

    Applications must be received before 30 June 2007. For more information, see http://kgs.logic.at/goedel-fellowship/.

  • Hendrik Casimir-Karl Ziegler Onderzoekstipendium 2007

    The Hendrik Casimir-Karl Ziegler Research Grant was founded in 1997 to promote cooperation between German and Dutch science through the exchange of young promising researchers. The research grant is awarded annually to both German and Dutch researchers, alternately in the fields of the natural and life sciences, including the technical sciences (2007, 2009) and the humanities and social sciences (2008, 2010). The scholarship of 50.000 EURO is awarded to a young excellent postdoc at the beginning of his/her career. The postdoc will stay for one year at a university in Noordrijn-Westfalen.

    For more information, see http://www.knaw.nl/cfdata/funding/funding_detail.cfm?orgid=4 or the original announcement (PDF, dutch only).

    For more information, see here .

Open Positions at ILLC

  • Postdoc Position in Unsupervised Data-Oriented Parsing (3 years)

    The Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam has a vacancy for a full-time Postdoc position in Computational Linguistics (3 years), on Unsupervised Data-Oriented Parsing. The position is part of the NWO-funded Vici-program 'Unsupervised Learning with the DOP Model', which will consist of 6 researchers.

    The deadline for applications is October 1st 2007. For more information, see here or http://staff.science.uva.nl/~u-dop/. For further details, please contact .

  • Postdoc Position in Computational Social Choice

    For more information, see here or http://www.illc.uva.nl/~ulle/vidi/, or contact Ulle Endriss ().

  • PhD Position in Computational Social Choice

    For more information, see here or http://www.illc.uva.nl/~ulle/vidi/, or contact Ulle Endriss ().

  • Lectureship/Research Fellowship in Computational Linguistics (4 yrs)

    The ILLC has a vacancy for a full-time combined lectureship/research fellowship (50/50) in Computational Linguistics.

    The successful candidate should have proven excellence in research in natural language processing or related areas. Experience in teaching statistical NLP subjects is a strong advantage. Candidates with expertise in statistical NLP, machine learning and/or data-oriented methods are especially encouraged to apply. Deadline for application: July 9, 2007

    For more information, see here or contact

  • PhD position at UIL-OTS (Utrecht University)

    The Utrecht Institute of Linguistics OTS offers 1 PhD position in language development (1,0 fte).

    This PhD position is part of a four-year research programme concerning first-language acquisition, funded by The Netherlands Organisation for Scientific Research NWO (project number PR-06-99). The programme involves collaboration between UiL OTS (dr. J. van Kampen, prof. dr. M. Moortgat) and the Institute for Logic Language and Computation (ILLC) in Amsterdam (prof. dr. R. Scha). The programme comprises a post-doctoral project and two PhD projects. Their relation can be described as linguistic descriptive (postdoctoral project), formal theoretical (PhD project 1) (both employed by Utrecht University) and computational (PhD project 2, employed by the University of Amsterdam). The current opening is for PhD project 1 (starting date 1-9-2007): a PhD project investigating the successive acquisition steps by means of a structured lexicon and grammars using the framework of generative grammar.

    Deadline for application is May 30th, 2007. For job requirements and work conditions, see here. For more information on the programme, see http://www.let.uu.nl/~Jacqueline.vanKampen/personal/.

  • PhD position in Logic and Language group

    The ILLC Logic & Language group has one vacant PhD position for a candidate who wants to write a dissertation on a topic falling within the interdisciplinary field between logic, philosophy of language, and cognitive science, and who has completed a master's degree in a relevant area. Candidates shortlisted for this position will be asked to write a project proposal.

    For more information, see here.

  • 2 PhD positions in VICI project Rens Bod

    The ILLC Language & Computation group is looking for two highly qualified candidates for the VICI-project 'Integrating Cognition: Unsupervised Learning with the DOP Model', supervised by Prof. dr. Rens Bod. We sollicit applications from candidates with a master degree in computational linguistics, computer science, cognitive science, logic, artificial intelligence or related areas to work in one of the following subprojects:

    Project 1) Unsupervised Data-Oriented Translation
    Project 2) Unsupervised Structural Language Models for Speech Recognition

    For more information, see here or contact . For more information about the VICI project, see http://www.science.uva.nl/~rens/vici.html.

Open Positions, General

  • Postdoctoral and/or PhD student position in analytic philosophy, Utrecht (The Netherlands)

    The Philosophy department of the Faculty of Humanities, University of Utrecht invites applicants for the positions of postdoc researcher and/or PhD-researcher (both 1,0 fte) in one of the following domains: analytic philosophy, epistemology, philosophy of science, or philosophy of religion. Both positions are mainly intended for research and involve a little teaching and some management tasks.

    Deadline for applications is 18 December 2007. For more information, see http://applicaties.csc.uu.nl/uuvacature/ or contact Professor Herman Philipse at .

  • One or two postdoctoral positions in mathematical logic, UCLA, Los Angeles CA (U.S.A.)

    The Logic Center at the University of California, Los Angeles, expects to have one, and possibly two, postdoctoral positions in logic commencing in Fall 2008. Candidates in any area of mathematical logic are encouraged to apply. The positions are contingent upon the availability of funding; if funded, they extend for a period of two years, and are customarily renewed for a third year. The teaching load is 4 quarter courses per year.

    Applications should be submitted before or on December 12, 2007. For more information about the Logic Center at UCLA see http://www.logic.ucla.edu/positions.html, and for further questions contact the director of the Logic Center, Donald A. Martin (), or Matthias Aschenbrenner ().

  • Visiting Fellowships, Logic and Philosophy of Science, Tilburg (The Netherlands)

    The Tilburg Center for Logic and Philosophy of Science (TiLPS) invites applications for three- to nine-months visiting fellowships 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 for the academic year 2008/09 is December 15, 2007. For more information, see http://www.tilburguniversity.nl/aculties/humanities/tilps/jobs/. Informal enquiries may be directed to Stephan Hartmann ().

  • PhD student position on "Graphs for Abstract Interpretation of Language" (GrAIL), Twente (The Netherlands)

    To carry out the recently awarded Dutch (NWO) research project entitled "Graphs for Abstract Interpretation of Languages" (GRAIL), we are offering a position for a PhD student (fully funded) for a period of four years. The project takes place at the Formal Methods and Tools chair of the University of Twente. Project leader is Dr. Arend Rensink.

    In the project we investigate a new way of automatically verifying software on the basis of code, without assuming a predefined model. The technique used is static analysis, a general principle that encompasses typing; the new aspect is the use of graph transformations to capture the effect of the software. Graphs offer a natural model for the behaviour of dynamic software systems, and at the same time offer the basis for a generic form of static analysis, which can be driven by the properties to be verified.

    All applications must be received at or before 30 November 2007. For more information, see http://www.utwente.nl/vacatures/vacatures_externe_werving/07-183.doc/ or the project proposal at http://www.cs.utwente.nl/~rensink/projects/grail.pdf Or contact Dr.ir. Arend Rensink, at .

  • Postdoctoral fellowship in Algorithms and Complexity Theory, Vancouver BC (Canada)

    Applications are invited for postdoctoral fellowships in Theoretical Computer Science, including (but not limited to) Algorithms, Bioinformatics, Complexity Theory, Computational Geometry, and Optimization. Strong candidates in other theoretical areas are also encouraged to apply. Fellowships will be held in the School of Computing Science, Simon Fraser University, Vancouver, British Columbia. These positions are offered in conjunction with the Pacific Institute for the Mathematical Sciences (PIMS).

    The candidate may begin a position any time between April 1, 2008 and January 1, 2009. Application packages must be received by December 1, 2007 to be considered. For more information, see http://www.cs.sfu.ca/JobOpp/postdoc.html.

  • Postdoctoral position in mathematical logic, Notre Dame (USA)

    The Department of Mathematics of the University of Notre Dame invites applications from recent doctorates (since 2007) in mathematical logic for a postdoctoral position. Candidates in any area of mathematical logic compatible with the research interests of the logicians in the department will be considered. The position is contingent upon the availability of funding and, if funded, will extend for a term of three years beginning August 22, 2008.

    The evaluation of candidates will begin December 1, 2007. For more information, see http://www.nd.edu/%7Emathwww/jobs.shtml.

  • Tenure-track positions in (theoretical) computer science, USC, Los Angeles CA (U.S.A.)

    The Computer Science Department of the USC Viterbi School of Engineering seeks to hire multiple tenure-track faculty this year. We are interested in outstanding faculty candidates at all levels, with priority in the areas of: Algorithms/Theory, Machine Learning, Graphics and Interactive Game Technologies, and Networks and Network Security

    The department is primarily seeking individuals at the Assistant Professor rank. However, we are also interested in exceptional senior candidates.

    Evaluation of all dossiers will start in mid-November 2007 but later applications will also be considered. For more information, see http://www.cs.usc.edu/people/AppFaculty.htm

  • Two Research Fellowships, Arché Research Centre, University of St Andrews

    The Arché Research Centre at the University of St Andrews is seeking to appoint two research fellows for up to four and a half years. Fellows will commence on 1 April 2008, or as soon as possible thereafter and will conduct research within the scope of the AHRC funded research project 'Contextualism and Relativism'.

    You must have a PhD in Philosophy by the time of appointment and be capable of demonstrating outstanding research potential in the areas of the project. A track record of high quality publications will be an advantage. The closing date for the receipt of applications is the 29th of November 2007.

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

  • PhD students / postdoctoral position in distributed algorithms, München (Germany)

    A fully funded PhD or postdoc position is available in the research group of Christian Scheideler (Technical University of Munich, Germany), in a project supported by the German Research Foundation to design and rigorously analyze distributed algorithms for self-stabilizing overlay networks. Due to the rise of peer-to-peer systems, sensor networks, and mobile ad hoc networks, logical networks, or overlay networks, are becoming more and more wide spread. A major complication in these networks is that they can be highly dynamic, which requires fast and robust recovery mechanisms. We are particularly interested in self-stabilizing overlay networks, or more precisely, networks that can quickly recover from any state from which this is still possible. Only a few results are known so far that rigorously study self-stabilization issues for overlay networks, and those few known results only provide fast self-stabilization from certain degraded states that appear to be most relevant. The goal of the project will be to significantly extend the knowledge in this field.

    The preferred starting date for the position is January 1, 2008 (but should not be later than February 1). Applications are expected to arrive by November 26. For further information, see http://www14.in.tum.de/personen/scheideler/jobs.html or contact Christian Scheideler at .

  • Postdoctoral positions in "Computationism as a Foundation", Tokyo (Japan)

    The "Computationism as a Foundation" (Comp-View) Center at the Tokyo Institute of Technology was established in July, 2007. "Computationism" is a framework which seeks to rethink various scientific phenomena from the point of view of computation. Comp-View will develop theories and technologies in order to explore this framework.

    Term: The standard term will be 2 years (annual, renewable contract). Location: Tokyo Institute of Technology Ookayama (Tokyo) campus. Start Date: April 1, 2008, or as early as possible after April 1, 2008 (no later than October 1, 2008). Topic areas for the various positions are Theoretical Computer Science, Design and analysis of randomized algorithms, Average-case complexity and Circuit complexity

    Application Deadline: December 17, 2007. For more information, see http://compview.titech.ac.jp/office-pub/pd-recruit-en Or contact somebody at

  • Tutorial Fellowship in Philosophy (logic need), Cambridge (U.K.)

    The Faculty of Philosophy and Christ Church, Oxford, invite applications from suitably qualified candidates for a Tutorial Fellowship in Philosophy, starting 1 October 2008. The area of research for this post is open. The College has a need for first-year tutorial teaching in General Philosophy and/or Elementary Logic and for tutorial teaching, typically for second and third years, in History of Philosophy from Descartes to Kant and at least one of the following subjects: Knowledge and Reality, Philosophy of Logic and Language, Philosophy of Mind, The Philosophy of Kant, Aesthetics, Post-Kantian Philosophy; applicants who cannot offer History of Philosophy from Descartes to Kant but who are able to teach at least three of these second/third year subjects will also be considered.

    The closing date for receipt of applications is Friday 9th November 2007. For more information, see http://www.chch.ox.ac.uk/.

  • Tenure-track professorships ("free-floater") without subject specification, Göttingen (Germany)

    The University of Göttingen together with the non-university research institutions of the Göttingen Research Campus invites applications for Tenure-Track Professorships to build up Independent Research Groups. Up to 5 Tenure-Track Professorships to head a so-called Free-Floater Research Group are offered. The Free-Floater Research Groups will be established to support competitive and innovative research ideas in all areas of the University's research fields. Proposals for independent Free-Floater Research Groups can be made without constraints on their topics.

    Applications must be received by December 3, 2007. For more information, see http://www.uni-goettingen.de/positions_ff or contact the: Vice-President for Research Prof. Dr. Doris Lemmermöhle at .

  • Assistant Professorship for Metaphysics, Philosophy of Mind, or Philosophy of Language, Irvine CA (U.S.A.)

    Assistant Professor, tenure-track, beginning Fall quarter 2008. Department of Philosophy. AOS: Metaphysics, philosophy of mind and/or philosophy of language. AOC: Open. 5 courses/year/quarter system: undergraduate and graduate.

    Review of applications will begin on December 1 and will continue until the position is filled. For more information, see http://www.eod.uci.edu/ads/index_ten.php#3786 or contact Professor Margaret Gilbert at .

  • Assistant Professorship (tenure-track) in Philosophy, Atlanta GA (U.S.A.)

    Assistant Professor at Oglethorpe University, tenure-track, beginning fall 2008. AOS: Analytic philosophy broadly construed; the department has particular needs in Logic, Epistemology and Philosophy of Mind.

    Applications must be received before December 1, 2007. For more information, see http://www.oglethorpe.edu/apps/careers/. Or contact somebody at

  • Assistant Professorship (tenure-track) in philosophy (logic), Baltimore MD (U.S.A.)

    Assistant Professor, Tenure-Track, beginning Fall semester 2008. AOS: philosophy of law, law and morality, logic.

    Applications must be received before 15 November 2007. For more information, see http://www.ubalt.edu/template.cfm?page=318&posting=168.

  • Juliana Cuyler Matthews Junior Research Fellowship in Philosophy at New College, Oxford (U.K.)

    Applications are invited for the following Juliana Cuyler Matthews Junior Research Fellowship in Philosophy, for three years from 1 October 2008. The person appointed will be expected to undertake advanced research in the field of Philosophy. Applicants for this Fellowship must have completed their first degree before 1 October 2005, and may not have previously held a Junior Research Fellowship or comparable appointment.

    Application forms and further particulars are available from the College Secretary, New College, Oxford, OX1 3BN (tel. 01865-279548, email: ) and particulars are available on the web site http://www.new.ox.ac.uk/Job_Vacancies/Academic_Job_Vacancies.php?articleId=41. The closing date for receipt of applications is 26 October 2007.

  • Lecturer position (Universitair Docent) in Philosophy of Science / Formal Epistemology, Tilburg (The Netherlands)

    The Department of Philosophy invites applications for a tenure-track Assistant Professor position starting on September 1, 2008. Candidates should have their Ph.D. in hand or expect to receive it by August 2008. AOS: Philosophy of Science and/or Formal Epistemology. AOC: Philosophy of Economics and/or Philosophy of Social Science. The successful candidate will be a member of the Tilburg Center for Logic and Philosophy of Science (TiLPS).

    Applications received by November 3, 2007 will be assured full consideration. Informal enquiries may be directed to Professor Stephan Hartmann (email: ). For more information, see http://www.tilburguniversity.nl/tilps/jobs/.

  • Postdoctoral Fellowship Programme: Mathematics of Information; CalTech (Pasadena, CA; U.S.A.)

    Caltech's Center for the Mathematics of Information (CMI) announces openings in the CMI Postdoctoral Fellowship Program, starting in fall 2008. 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, applied combinatorics, applied probability, statistics, information and coding theory, geometry processing, multiresolution methods, control and optimization.

    Please apply and have three reference letters sent directly as instructed at http://www.ist.caltech.edu/joinus/positions.html. All candidates materials are due by Friday, December 14th, 2007 and reference letters are due by Monday, December 17th, 2007.

  • Postdoctoral Research Positions in Quantum Information, Pasadena CA (U.S.A.)

    The Institute for Quantum Information at the California Institute of Technology will have postdoctoral scholar positions available beginning in September 2008. Researchers interested in all aspects of quantum information science are invited to apply.

    Please apply on-line at http://www.iqi.caltech.edu. The deadline for receipt of all application materials is December 17, 2007.

  • PhD student positions in Philosophy of Economics or Social Choice Theory, Tilburg (The Netherlands)

    The Department of Philosophy and the Tilburg Center for Logic and Philosophy of Science (TiLPS, invite applications for two three-year full-time PhD positions, commencing January 1, 2008. The successful candidate is expected to work on philosophy of economics, philosophy of social science or social choice theory and complete a PhD thesis within three years.

    The deadline for applications is October 25, 2007. Informal enquiries may be directed to Professor Stephan Hartmann (email: ). For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/jobs/. In all communications, please mention the vacancy number (500.07.16).

  • Two PhD studentships

    The Faculty of Philosophy of the University of Groningen, the Netherlands, invites applications for two PhD studentships, that start January 1, 2008. The PhD studentships are linked to one of the following programmes: History of Philosophy, Practical philosophy, Theoretical philosophy or Ethics. The scholarships are each for a period of four years. The scholarships cover tuition fees and annual stipend (after-tax approximately 1390 euro per month). Primary residency in Groningen is a requisite.

    Applications should be sent by November 1, 2007. For more information, see http://www.rug.nl/filosofie/vacatures/2phdpositions

  • Postdoctoral Position in Computational Intelligence, Pretoria (South Africa)

    Postdoctoral positions are available for suitable applicants in the Computational Intelligence Research Group, Department of Computer Science, University of Pretoria. These positions are for one year contracts with the potential of being extended to two years. We invite applications within any of the following research areas: Swarm intelligence, evolutionary computation (specifically coevolution), artificial immune systems, swarm robotics, multi-objective optimization, and optimization in dynamic environments. Applicants must have a proven research record.

    Deadline for applications: 17 September 2007. For more information, please contact Andries Engelbrecht at or see http://cirg.cs.up.ac.za/.

  • Postdoc position available in project "Consequence Relations in Logics of AI"

    Research Associate,
    Field: Logic in AI and CS
    Department of Computing and Mathematics
    Manchester Metropolitan University
    Fixed term for 36 months
    Starting salary: around £26,000 per annum

    Closing date for applications: 10 September 2007. For more information, see here or contact

  • PhD student position in logical foundations of quantum mechanics at the Vrije Universiteit Brussel

    The Center for Logic and Philosophy of Science at the Vrije Universiteit Brussel invites applications for a fully-funded 4 year PhD research position, or a 80%-funded 4 year post-doctoral research position, to begin January 2008 or soon after.

    This research position is attached to the G.0152.08-project on "Reasoning about quantum information: a modal logic perspective on the foundations of quantum mechanics and its philosophical implications", funded by the Flemish Fund for Scientific Research in Belgium. Applications are welcome from applicants who have a strong interest in modal logics and/or applications of formal methods in philosophy of physics and/or logics for reasoning about quantum information and computation.

    Deadline for applications: 1st of December 2007. For more information, see http://www.vub.ac.be/CLWF/home/position.shtml or contact Dr. Sonja Smets ()

  • PhD position on Formal Argumentation for Trust Management

    Location: University of Luxembourg

    The University of Luxembourg (Computer Science and Communications Research Unit) is looking for a PhD student on the topic of reasoning and formal argumentation in the field of trust management.

    For more information, see here or http://icr.uni.lu/

  • Tenure track assistant professorship at University of Alberta, Canada

    The Department of Philosophy, University of Alberta, invites applications for a tenure-track position in Philosophy, with a specialization in Logic. Other areas of research and teaching specialization and competence are open. The appointment will be made at the rank of Assistant Professor, effective July 1, 2008. Responsibilities include undergraduate and graduate teaching and maintaining an active research programme. Tenure stream faculty normally teach four one term courses per year. Candidates should hold a PhD in Philosophy and provide evidence of scholarly and teaching excellence.

    CLOSING DATE: November 10, 2007. For more information, see http://www.uofaweb.ualberta.ca/philosophy/ or contact or

  • American Association of University Women (AAUW)
    International Fellowships

    Applications for the 2008-2009 academic year must be received before December 1, 2007. For more information, see http://www.aauw.org/fga/fellowships_grants/international.cfm

  • Michigan Society of Fellows, Postdoctoral Fellowships

    The Michigan Society of Fellows invites applications from qualified candidates who are at the beginning of their academic careers, having received the Ph.D. or comparable professional or artistic degree between June 1, 2005 and September 1, 2008. Fellows are appointed as Assistant Professors in appropriate departments at the University of Michigan and as Postdoctoral Scholars in the Michigan Society of Fellows. They are expected to be in residence during the academic years of the fellowship, to teach for the equivalent of one academic year, to participate in the informal intellectual life of the Society, and to devote time to their independent research. The annual stipend will be $50,000. Seven fellowships will be awarded.

    Applications from degree candidates and recipients of the Ph.D. from The University of Michigan will not be considered.

    Applications must be received before 1 October 2007. For more information, see http://www.rackham.umich.edu/faculty_staff/sof/.

  • Assistant or Associate Professor position, Philosophy (Metaphysics and/or Epistemology), Simon Fraser University, Burnaby BC (Canada)

    Rank: Assistant or junior Associate Professor, with a preference for more experienced candidates; beginning 1 September 2008.
    AOS: Metaphysics and/or epistemology (including philosophy of science).
    AOC: Undergraduate Logic. Ph.D. required by 1 September 2008.
    Teaching duties include undergraduate and graduate instruction as well as graduate supervision; normally two courses per semester, one semester research, on a trimester system.

    To ensure full consideration applications must be received by 1 November 2007. For more information, see http://www.sfu.ca/philosophy/job_postings.htm.

  • Group leader position (E15): Verification / Algorithm Engineering, Karlsruhe (Germany)

    The Institute for Theoretical Informatics at the der Fakulty for Informatics is seeking at the earliest possible date a Group Leader (E15) of the Research Group "Verification meets Algorithm Engineering"

    The Universität Karlsruhe (TH) and the Forschungszentrum Karlsruhe are joining forces to form the Karlsruhe Institute of Technology (KIT) and are planning to integrate their research activities both structurally and strategically. Within the framework of the Excellence Initiative distinguished future concept, several new research groups will be established. The aforementioned research group shall bridge the gap between two research fields at the Institute for Theoretical Informatics by combining methods from algorithm engineering to test and prove correctness of algorithm implementations with formal methods for verification.

    For further information please see http://i11www.iti.uni-karlsruhe.de/algo/ (Job offering/Research group) or contact Prof. Dr. Dorothea Wagner (, Tel. 0721/608- 7330). Closing date for receiving the applications is 25 August 2007.

  • Assistant / Associate Professor position in Quantum Information Processing, Montreal QC (Canada)

    The Department of Computer Science and Operations Research at the University of Montreal invites applications for a tenure-track faculty position in Quantum Information Processing at the rank of Assistant or Associate Professor.

    A complete description of the position, including a profile of the ideal candidate, can be found at http://www.fas.umontreal.ca/postes/affichage-2007/IRO-quantique-english.pdf. For more information, see also http://www.iro.umontreal.ca/?lang=en. The position is available starting in January 2008, subject to budget approval. Deadline for applications: 28 September 2007.

  • Department Chair in Computer Science

    Location: Victoria BC, Canada

    The Department of Computer Science at the University of Victoria in Victoria, British Columbia, Canada is searching for a new department chair. The job requirements are for someone with administrative experience who has a Ph.D. in Computer Science or a related field who has the qualifications and standing to be appointed as a tenured Associate Professor or tenured Professor.

    Closing date for applications is October 1, 2007. For more information, see the formal advertisement at http://www.csc.uvic.ca/career/chair_ad.htm or contact Wendy Myrvold ().

  • Postdoctoral position on "Control and Verification of Nonlinear and Hybrid Systems", Amsterdam (The Netherlands)

    The Control and System Theory group at the Centrum voor Wiskunde en Informatica (CWI), Amsterdam, has an open position for a postdoctoral researcher for two years. The researcher will perform research within the NWO funded project "Topological Methods for Systems and Control". The main aim of the research project is to devolop efficient methods for control design and verification for nonlinear and hybrid systems. The candidate is also expected to contribute to the software project "Ariadne" for rigorous analysis of dynamical and control systems.

    The position is available from September 2007. Preference will be given to applications received by 31 August 2007. For more information on this vacancy. see the full advertisement at http://homepages.cwi.nl/~collins/vacancies/vidi-postdoc.html or contact Dr. Pieter Collins, , +31 (0)20 592 4094.

  • PhD position in Description Logics in London

    A PhD position in Description Logics and related areas is available in London.

    For details see http://www.dcs.bbk.ac.uk/link/news/index.php#n632 (the deadline is moved to mid August). If interested please contact Michael Zakharyaschev ASAP. For more information, please contact

  • PhD Studentship in Logic and Automated Reasoning, Manchester

    One fully funded PhD studentship is available in the School of Computer Science at the University of Manchester. The position forms part of a EPSRC research project on the topic of "Consequence Relations for Logics in AI", conducted in collaboration with the Manchester Metropolitan University (MMU) and involving Dr Renate Schmidt, Dr Dmitry Tishkovsky and Prof Vladimir Rybakov.

    Closing date for applications: 3 August 2007. Anticipated start date: October 2007. For more information, see http://www.cs.man.ac.uk/~schmidt/phd_position.html.

  • PhD Position in Luxembourg

    The Individual and Collective Reasoning group is inviting applications for a Ph.D. studentship in Computer Science. The successful candidate is expected to work on logic, formal approaches to belief and norm change, and their relations with decision-making or social choice theory. We are looking for a highly engaged researcher with a MSc degree in computer science or related areas. Proficiency in English is required.

    Applications should include a letter of interest, a curriculum vitae, a transcript of courses taken (including grades), a copy of the MSc diploma with grades, and the names and contact details of two referees. Applications should be submitted electronically to Prof. Dr. Leon van der Torre () and to Dr. Gabriella Pigozzi () by July 15, 2007.

    For more information, see http://icr.uni.lu/. Informal enquiries may be directed to .

  • Two PhD student positions in Theoretical Computer Science, München (Germany)

    Modern computers have faster and faster CPUs, such that it is getting more and more difficult to supply them with the data bandwidth to leverage this speed. This works reasonably well if data is accessed linearly, and basically impossible if memory accesses are random. Hence, to help the design of fast algorithms, it is useful to consider the so called I/O-model, that captures the data transfer between different types of memory like cache and main memory.

    In this setting the project is concerned with the multiplication of a dense vector with a sparse matrix. This is not only an important building block of many applications, but also an abstract formulation of a data-flow problem. The focus is to understand the influence of the structure in the non-zero entries of the matrix on the I/O-complexity of the problem.

    The preferred starting time for the positions is September. Applications are expected to arrive by July 22. Further information is available at http://www14.in.tum.de/personen/jacob/group.html.en or directly from Riko Jacob,

  • Open Positions at Gent University on the Application of adaptive Logics to Topics in the Philosophy of Science

    The Centre for Logic and Philosophy of Science of Ghent University has the possibility to employ pre-doctoral and post-doctoral researchers for a project on the application of adaptive logics to topics in the philosophy of science.

    Possible research topics include:
    - The application of adaptive logics to such topics as induction, abduction, the dynamics of theories, causation, counterfactual reasoning.
    - The formulation of new adaptive logics in view of such applications.

    People interested in one of these fellowships should send their CV before 15 August 2007. For more information, see http://logica.ugent.be/centrum/jobs.html and http://logica.ugent.be/adlog/al.html.

  • PhD student position Cell Behaviour Analysis with formal verification techniques, Computer Science, Amsterdam (The Netherlands)

    At the Department of Computer Science at the Vrije Universiteit (VU) in Amsterdam, a PhD position for four years is available on a research project devoted to "Cell Behaviour Analysis with Formal, High-Performance Verification Techniques" The PhD student will investigate the requirements for a formal framework to model the biologically relevant aspects of cellular behaviour, and define a minimal set of interacting cells and cellular components.

    Starting date of this PhD position: as soon as possible. Applications must be received before 16 July 2007. For more information, see here or http://www.cs.vu.nl/~wanf/cell-project.pdf, or contact Prof.dr. Wan Fokkink () or Prof.dr. Jaap Heringa ().

  • Postdoc and PhD student positions (3y) in "Study of Mind in Nature", Oslo (Norway)

    CSMN is one of eight new Centres of excellence in the Norwegian Research Councils SFF-program, whose activities start officially on August 1st, 2007. Its principal goal is to understand the characteristic features of human minds and their place in nature. This understanding is to be gained though a comprehensive study of central mental capacities as expressed in (1) rational agency, (2) linguistic agency and (3) moral agency.

    CSMN invites applications for three-year PhD scholarships. Successful applicants have to secure admittance to the relevant PhD programs. Up to four PhD Fellows will be appointed. The PhD Fellows who are appointed will have their workplace and academic contact at CSMN in Oslo.

    Additionally, CSMN has thee Post Doctoral Research Fellow positions (duration: up to 3 years). The candidates will be expected to have their work place in Oslo and to participate in the various workshops and conferences organized as part of CSMN.

    Closing day for application: June 29, 2007. For further information, see http://www.admin.uio.no/opa/ledige-stillinger/2007/vit/ (PhD fellowships) / http://www.admin.uio.no/opa/ledige-stillinger/2007/vit/ (Postdoc) or the CSMN website at http://www.csmn.uio.no, or contact centre leader Professor Christel Fricke at .

  • Postdoctoral position in Theoretical Computer Science, München (Germany)

    The group for Foundations of Software Reliability and Theoretical Computer Science led by Professors Javier Esparza and Helmut Veith invites applications for a postdoctoral position. The group seeks candidates with a strong background in any area of Automated Verification. It particularly encourages applications concerned with theoretical foundations, implementation, and application of automated verification techniques, including model-checking and static analysis.

    The position is available starting on 01.09.07; applications will be accepted until the position is filled. For more information, see here or contact Prof. Javier Esparza at

  • Postdoctoral position (1y) in Algorithmic Game Theory, Liverpool (U.K.)

    A 1-year postdoctoral research fellowship in connection with a DFG-funded project 'Algorithmic Tools for Games with Applications to E-Commerce and Networks' within Emmy Noether Program held by Dr. Piotr Krysta is available. The position will be held at the University of Liverpool (UK). The position is for one year, and will start on 1 Oct 2007, though a later start date may be negotiable. The project may involve collaboration with other staff members in the Department of Computer Science at the University of Liverpool and the research fellow will join the active research group in algorithms and complexity at Liverpool.

    Suitable candidates will have a PhD in Algorithms and Computational Complexity. Knowledge and/or a PhD in the area of Algorithmic Game Theory will be highly appreciated.

    Further information and details on the post and on how to apply are available at the University of Liverpool webpage: http://www.liv.ac.uk/working/job_vacancies/research/565813.htm. Informal inquiries and additional information may be obtained by writing to the grant holder, Dr. Piotr Krysta, at .

  • PhD Scholarships at IIIA-CSIC, Barcelona

    The Artificial Intelligence Research Institute (IIIA) offers nine four-year PhD scholarships for students pursuing a full-time PhD degree in Artificial Intelligence in the area of multiagent systems. The students will be integrated in a Spanish large project on 'agreement technologies' involving more than 50 researchers in computer science at IIIA-CSIC (Prof. Carles Sierra), Universitat Politecnica de Valencia (Prof. Vicent Botti) and University Rey Juan Carlos I (Prof. Sascha Ossowski). Closing date for application: 31 August 2007. Start date is 1 November 2007 although it may be possible to start later depending on the candidates' circumstances.

    For more information, see http://www.iiia.csic.es/scholarship_offers.php.

  • Postdoctoral position in logic and semantics, Tallinn (Estonia)

    A postdoc position is available in the logic and semantics group of the Institute of Cybernetics (IoC), the Tallinn University of Technology, within the EU IST FP6 integrated project MOBIUS, on proof-carrying code technology. The position is for two years, the preferred start date is 1 Sept 2007.

    Applications must be received before 15 July 2007. For more information, see here or contact Dr Tarmo Uustalu at .

  • Postdoctoral position in complexity theory, Berlin (Germany)

    Applications are invited for a one year postdoc position in Theoretical Computer Science at the Humboldt-University at Berlin, starting September 1st, 2007. The position is within the research project "The complexity of constraint satisfaction problems".

    Please send applications no later than July 6th, 2007. For more information, see here or http://www.informatik.hu-berlin.de/logik/forschung/csp-en.html, or contact Prof. Dr. Martin Grohe at .

  • Postdoctoral position in computational logic (4y; possibility of tenure-track), Innsbruck (Austria)

    The University of Innsbruck invites applications for a 4 year position as postdoctoral researcher at the Computational Logic group of the Institute of Computer Science. Depending on a change in the law and performance, this position might lead to a permanent position at the associate professor level. The preferred starting date is 1 September 2007.

    The position is a so-called "Kategorie I" position (according to the Austrian salary scheme) with teaching obligations of 4 hours. The annual gross salary is approximately EUR 50,000.

    Applications must be received before 27 June 2007. For more information, see here or http://www.uibk.ac.at/personalabteilung/nuetzliches_interessantes/bewerber/ (6 June 2007, code MIP-4573), or contact .

  • PhD Student Positions in ULTRA group ('Useful Logics,
    Types, Rewriting, and their Automation'), Edinburgh, Scotland

    Several Ph.D. student positions are available in areas involving research into the theories of logics, types, and rewriting and their applications in reasoning about computer systems and mathematics. The positions are in the ULTRA (Useful Logics, Types, Rewriting, and their Automation) group at Heriot-Watt University in Edinburgh. The expected duration of Ph.D. studentships in the UK is 3 years. The Ph.D. supervisors will be Fairouz Kamareddine and/or Joe Wells.

    The positions will be expected to start around 2007-10-01; alternative start dates can be discussed. For more information, see http://www.macs.hw.ac.uk/~jbw/phd-student-ad.html.

  • W3 Professor Position, Theoretical Computer Science, Paderborn (Germany)

    The University of Paderborn (Germany) has an opening in its Computer Science Department for a Senior Professor (W3) for Theoretical Computer Science,\to succeed Prof. Monien.

    Applicants should be outstandingly qualified in research and teaching in at least one subfield of Theoretical Computer Science, and are required to be ready to cooperate in the interdisciplinary facilities of the University of Paderborn and to adequately participate in the education of students within the basic and main courses in Computer Science.

    Applications must be received before June 28, 2007. For more information, see here.

  • PhD student position (2y; 'wissenschaftliche Hilfskraft'), Osnabrück (Germany)

    We invite applications for a two-year PhD position at the Institute of Cognitive Science at the University of Osnabrueck, Germany. Candidates should be about to complete or should have completed a two-year masters programme or equivalent in philosophy or cognitive science. The successful candidate is expected to work in a research project entitled Evolutionary Anthropology Can Biology Explain Culture? and will be given the opportunity to complete a PhD thesis in Cognitive Science or Philosophy.

    The deadline for applications is July 15, 2007. For more information, see here or http://www.cogsci.uni-osnabrueck.de/ or contact Prof. Dr. Sven Walter at .

  • Assistant / Associate Professor Positions, Theoretical Computer Science, Odense (Denmark)

    The Department of Mathematics and Computer Science at the University of Southern Denmark, Odense, invites applications for positions as Assistant and Associate Professors of Computer Science. An Assistant Professorship is a three-year appointment, which is generally followed by a tenured position as Associate Professor. The appointments are expected to take effect January 1, 2008.

    The application deadline is July 2, 2007, at noon. For further details, including how to apply, please see the full announcement via the department's home page, http://www.imada.sdu.dk/Events/positions.php or contact Professor Peter Kornerup, phone: +45 6550 2357, e-mail: .

  • Six PhD student scholarships: "Methods for discrete structures", Berlin (Germany)

    The Research Training Group (Graduiertenkolleg) "Methods for Discrete Structures", will in 2007 offer six Ph.D. Scholarships. The program is a joint initiative of scientists at the three major Berlin universities, Freie Universität Berlin (FU), Humboldt-Universität zu Berlin (HU), and Technische Universität Berlin (TU). The scientific program treats combinatorics and discrete mathematics broadly, with an emphasis on methods.

    The RTG "Methods for Discrete Structures" is also a registered unit for the "Phase II" part of Berlin Mathematical School,

    Applications must be received before 15 June 2007. For more information, see http://www.math.tu-berlin.de/MDS/Ausschreibung2007-1.html or contact Prof. Günter M. Ziegler at .

  • PhD student grants in Information Science, Coimbra,
    Portugal

    The Department of Informatics Engineering of the University of Coimbra, Portugal has a Doctoral Program in Information Science and Technology, with the duration of three years, including a first year where the student must complete a set of four courses and write a thesis proposal.

    CISUC will grant 9 PhD scholarships for the year 2007/2008 for top students that join the doctoral program. Students who are granted a scholarship are expected to conduct 6 hours of weekly teaching assistance at the undergraduate level. The scholarships are for one year only and non-renewable, but further funding may be available either from on-going projects or directly from the Portuguese Foundation for Science and Technology.

    Deadline for applications is July 13th (1st phase) or September 14th (2nd phase). For more information, see http://phd.dei.uc.pt/ or contact Diana Vieira at .

  • Lecturer Position in Philosophy, Norwich, UK

    The School of Philosophy at the University of East Anglia is seeking a full time fixed-term Lecturer at Academic Grade 2 or 3 (Lecturer Grade A or B), for a period of twenty three months from 1st September 2007. The area of research specialism is open, but candidates should have teaching strengths in one or more of the following areas: Epistemology, Metaphysics, Twentieth Century and Contemporary Analytic Philosophy, History of Modern Philosophy from Descartes to Hume.

    Closing Date: 21 June 2007. For more information, see http://www.uea.ac.uk/hr/jobs/acad/atr710.htm Or contact the Human Resources Division at or +44 1603 593493 (Ref.: ATR 710).

  • Tenured position as Assistant / Associate Professor in Algorithms, Delft (The Netherlands)

    We are looking for a suitable candidate to strengthen the Algorithmics Group in the Faculty of Electrical Engineering, Mathematics and Computer Science at Delft University of Technology.

    Research in the Algorithmics Group focuses on algorithmic methods for distributed systems with nodes that have a large degree of autonomy. Research concentrates particularly on the design, evaluation and implementation of coordination methods for such systems. An important focus here is the development of robust coordination methods which can be used in environments where faults will often occur. The intended application areas for such methods include the transport sector, incident management, and healthcare.

    The Assistant Professor/Associate Professor will focus on algorithm research, and in particular on distributed coordination methods for autonomous systems. He or she will also supervise PhD candidates in the group. The Assistant Professor/Associate Professor will also provide teaching in logic for computer scientists and theoretical computer science in the Bachelor's phase. Finally, the appointee will teach advanced algorithms in the Master's phase.

    You can apply for this job until July 1, 2007. For more information, see http://vacatures.ewi.tudelft.nl/index.php?taal=&m_id=50&record=151.

  • PhD Scholarships in the "Berlin School of Mind and Brain", Berlin (Germany)

    The Berlin School of Mind and Brain, an interdisciplinary graduate school at Humboldt-Universitaet zu Berlin, is inviting students with a master's level background in a field related to mind and brain research to submit their applications.

    The application deadline is May 31, 2007 for admission in the fall. Please visit our website for more information on the structure of the Ph.D. program, participating researchers and institutions, admission requirements and the application process: http://www.mind-and-brain.de

  • PhD student positions in the graduate school "Galileo Galilei", Pisa (Italy)

    We would like to announce a number of grants reserved for candidates educated outside Italy at the Phd School Galileo Galilei.

    The Ph D courses in Chemistry, Physics, Applied Physics, Computer Science, and Mathematics will develop their teaching and scientific programmes and make them available to the School. In addition, inter-doctoral seminars and lectures, schools and intensive training periods will be organised. Graduate students from other institutions will be encouraged to attend these events. The Galileo Galilei Colloquium will be added to the traditional Fermi Lectures held at the Scuola Normale and to the other initiatives of the Pisan scientific community.

    The deadline for applications is: June 15th, 2007 For further details, visit: http://www.di.unipi.it/galilei/.

  • Research Fellowship in Theoretical Foundations of Scientific Modelling, Swansea (Wales)

    The Welsh Assembly Government and HEFCW have agreed to support the foundation of Welsh Institute for Mathematical Computational Science (WIMCS) with a grant of 35 million phased over four years, starting in October 2006. The Institute is set to boost the research base in mathematical and computational sciences, and to increase income for research in these areas in Wales. WIMCS will also play an important role in fostering collaboration with industry and commerce. For more information, please see the official web pages: http://wimcs.swan.ac.uk.

    Sponsored by WIMCS, a Research Fellowship, leading to a Lectureship in Computer Science, is available. The successful candidate will expected to work on the theoretical foundations of scientific modelling and computation, and participate in the activities of the WIMCS cluster on computational modelling. He or she will be a faculty member of the Logic and Computation Group in the Department of Computer Science at Swansea.

    Closing date: 1 June 2007. For official details of the post see: http://www.swan.ac.uk/personnel/Vacancies/Academic/PostTitle,15039,en.asp. For informal questions, contact: John V. Tucker ().

  • Stipendiary Lecturer Position, Somerville College, Oxford (United Kingdom)

    The College invites applications for a Stipendiary Lecturership in Philosophy for one year, in the first instance, starting in October 2007. The Lecturer will be required to provide either eight or six hours teaching a week in Philosophy during the three Full Terms (each lasting eight weeks) of the academic year, although the teaching may not be divided evenly among the three terms. The teaching will be in tutorials or in small classes.

    The closing date for applications is Thursday 10 May 2007. Short-listed candidates will be notified by 15 May, and asked to submit samples of written work by 18 May. Interviews are likely to be held on Monday 21 May 2007. For more information, see http://www.jobs.ac.uk/jobfiles/QH676.html or contact .

  • Postdoctoral position (3 years) in Automated Mechanism Design, Liverpool (UK)

    Applications are invited for a 3-year research position at the Department of Computer Science, University of Liverpool, in the area of Logic for Automated Mechanism Design and Analysis (LAMDA). The post will be available from 1 October 2007.

    The post is funded by an EPSRC project held by Prof Michael Wooldridge and Prof Wiebe van der Hoek, while Dr Christian List from LSE is an associated advisor. The project involves investigating the use of logic in the specification and verification of economic mechanisms, and in particular, social choice mechanisms such as voting procedures. Specifically, we aim to develop formalisms for specifying and modelling social choice mechanisms, and investigate the use and complexity of model checking techniques for mechanism verification. This is an exciting opportunity to work in an area at the intersection of computer science, social choice theory/game theory, and logic.

    Informal enquiries may be sent to the grant holders, Michael Wooldridge () and Wiebe van der Hoek (), but please note applications MUST be submitted through the university's For full details, or to request an application pack, visit http://www.liv.ac.uk/university/jobs.html (Quote Ref: B/005). Closing date for applications: 1 June 2007.

  • PhD student position in Formal Verification and Reactive Synthesis, Saarbruecken, Germany

    The Reactive Systems Group at Saarland University, Germany, invites applications for Ph.D. positions in projects on automated methods for the analysis and construction of complex reactive systems.

    Our research combines foundational topics with concrete applications and provides an excellent opportunity for dissertation projects. We are looking for Ph.D. students to join our group as research and teaching assistants. The salary is set according to the TVÖD E13 pay scale (about 2800-4300 EUR/month, depending on qualification and family status).

    The application deadline is 2007-05-02, later applications may be considered until the positions are filled. For more information see here or http://react.cs.uni-sb.de.

  • PhD Scholarship in Trustworthy Software Systems, Oldenburg, Germany

    Graduiertenkolleg Trustsoft has a PhD scholarship and two Qualification scholarships available, starting May 1, 2007. Applications should be submitted as soon as possible.

    For more information, see http://trustsoft.uni-oldenburg.de/information/admission/ or contact the chair of the school, Prof. Dr. Wilhelm Hasselbring, at .

  • Lecturer in Logic at the Department of Philosophy, University of Auckland, New Zealand

    The Department of Philosophy seeks to appoint a Lecturer in Logic. The successful applicant will be expected to undertake research, and to teach at introductory undergraduate, advanced undergraduate and postgraduate levels, and to supervise research students for the MA and PhD degrees. Applicants will be expected to have a PhD or equivalent in Philosophy, some research publications and some teaching experience.

    Deadline May 18, 2007. For more information, see http://www.vacancies.auckland.ac.nz/positiondetail.asp?p=5057

  • PhD Fellowship "Textual Criticism and the Sociology of Texts", Danmark

    The fellowship is funded by the Danish Agency for Science, Technology and Innovation and is offered jointly through the Georg Brandes School at the Department of Nordic Studies and Linguistics, Copenhagen University , and the Department of Literature, Institute for the Sociology of Literature, Uppsala University . The successful candidate will be expected to divide his or her time between Copenhagen and Uppsala , and will be allocated a supervisorfrom each institution, the principal supervisor however will be a professor or associate professor from the University of Copenhagen. It is assumed that the research project will combine a theoretical perspective with a specific body of texts.

    Deadline is May 2, 2007 at 12:00 (Noon). For more information, see http://www.hum.ku.dk/georgbrandes/English/Sub_pages/ or contact Birgit Hüttmann at .

  • Instructor position philosophy of mind/logic, Louisiana State University (USA)

    The Department of Philosophy and Religious Studies at Louisiana State University seeks applications for an Instructor position in Philosophy beginning Fall, 2007. Qualifications: MA degree in Philosophy is required; Ph.D preferred. Area of Specialization: Philosophy of Mind or Philosophy of Language; Area of Competence: Logic. The successful applicant must be capable of and interested in teaching a first course in symbolic logic (covering material found in, e.g., the first thirteen chapters of Barwise and Etchemendys 'Language, Proof, and Logic') on a regular basis. Responsibilities: teach four three-credit courses per semester. Position is for one year with the possibility of renewal.

    Review of applications will begin on April 9, 2007, and will continue until candidate is selected. For more information, see here.

  • Temporary postdoctoral position in philosophy/cognitive science, York University, Toronto (Canada)

    The Department of Philosophy, Faculty of Arts, York University invites applications for a one-year contractually limited appointment beginning July 1, 2007. The area of specialisation is in Cognitive Science.

    Deadline to apply: April 18, 2007 For further information see http://www.arts.yorku.ca/phil/employment.html or contact Prof. J. Pelham at

  • Postdoc in Philosophy and Ethics of Technology, TU Eindhoven

    In the NWO research project Moral responsibility in R&D networks, we propose to study the tension between two requirements for a desirable distribution of responsibilities in R&D networks, viz. completeness and fairness. The goal of the research is to gain insight in how to reconcile these two requirements to contribute to the solution of the problem of many hands in R&D networks. Three subprojects will be carried out to attain this goal. In the subproject of the present vacancy, Modelling of Responsibility in R&D networks, the theory of an existing formal model for responsibility will be applied and extended to investigate the influence of the organizational structure of an R&D network on the extent to which a distribution of responsibilities is complete and fair. The aim of this project is to provide a formal characterization and assessment of the various notions of responsibility developed in the other subprojects of the NWO research project.

    The position would be 0.8 fte. Applications should be received by April 13th 2007. For more information, see http://www.ethicsandtechnology.eu/.

  • Lectureship in Theoretical Computer Science, Athens (Greece)

    The Department of Informatics at Athens University of Economics and Business invites applications for a new faculty position in the area of "Theoretical Computer Science: Analysis of Algorithms" at the Assistant Professor or Lecturer level.

    Deadline: May 28, 2007. Details (in Greek): http://www.cs.aueb.gr/news/secretariat/dikaiologitikaDEP.shtml

  • PhD student position (3 years; Algorithmic Game Theory), Aarhus, Denmark

    Applications are invited for a three year PhD-position within algorithmic game theory at the BRICS International PhD School in Computer Science at the University of Aarhus. The position is offered in collaboration with the University of Uppsala.

    The successful candidate is expected to divide his time between these two institutions, working in the Center for Algorithmic Game Theory at the University of Aarhus under the supervision of Peter Bro Miltersen and in the group of Arne Andersson in Uppsala. The PhD degree will be granted by the University of Aarhus.

    The deadline for applications is March 30th. The successful applicant is expected to start August 2007. For more information, see http://www.brics.dk/study/phd-school/call-for-applications/specific-calls/induga/.

  • Two PhD student positions in Logic and Philosophy of Science, Tilburg (The Netherlands)

    The Department of Philosophy and the Tilburg Center for Logic and Philosophy of Science (TiLPS, invite applications for two three-year full-time PhD positions, commencing at the latest September 1, 2007. The successful candidates are expected to work on formal epistemology or formal philosophy of science (position 1, vacancy number 800.07.05) or on philosophy of economics, philosophy of social science or social choice theory (position 2, vacancy number 800.07.06) and complete a PhD thesis within maximally three years.

    The deadline for applications is May 15, 2007. Informal enquiries may be directed to Professor Stephan Hartmann (email: ). For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/jobs/.

  • Two PhD student positions in Formal Methods (Computer Science), Oslo (Norway)

    The Formal Methods group at the Department of Informatics, University of Oslo, has available 2 PhD positions within the research project RHYTM "High-Level Formal Modeling and Analysis of Real-Time and Hybrid Systems," funded by the Research Council of Norway. The project focuses on developing rewriting-based techniques and tools to formally model and analyze different kinds of real-time systems, such as hybrid and probabilistic real-time systems. Each position is for 3 years, and should lead to a PhD thesis at the University of Oslo. There may be opportunities for research stays abroad.

    The positions are available from July 1, 2007, or as soon as possible after this date. The candidates should preferably have backgrounds in formal methods, concurrency and distributed systems, real-time systems, probabilistic systems, or hybrid systems.

    Applications must be received no later than April 20, 2007. For more information, see here or http://www.ifi.uio.no/english/ Or contact Associate professor Peter Ölveczky, email , Professor Olaf Owe, email , or Researcher Gerardo Schneider, email

  • Postdoctoral position in Computational Linguistics, Nancy (France)

    The Lorraine Laboratory of IT Research and its Applications (Nancy, France) has a position for a Postdoctoral fellow to work on error mining in a tree adjoining grammar using both parsing and generation. The candidate will collaborate with the project members and participate in the national project Passage (http://atoll.inria.fr/passage)

    Further information and the details of the application procedure are available here or from http://www.loria.fr/~gardent.html. The official closing date is March 31, 2007, but applications will be processed until the position is filled.

  • One-year visiting position at University of Missouri, Rolla, Mathematics

    Colleagues:

    The Department of Mathematics and Statistics at the University of Missouri will have at least one opening for a one-year teaching & research visiting faculty member, beginning in the Fall 2007. Candidates should be willing to teach some course(s), but the specific arrangements for teaching load for this/these position(s) will be negotiated on an individual basis.

    For more information, see here or contact our department chairman, Leon M. Hall, by email to .

  • PhD position in logic and philosophy

    The Intelligent Systems Group, in collaboration with the research group Theoretical Philosophy, at Utrecht University has a vacancy for a PhD-researcher on the project "Logical Models for the Dynamics of Motivational Attitudes".

    The PhD-researcher will investigate and develop logical frameworks that model the dynamics of motivation (obligation, intention, desire), and address theoretical issues in terms of these models such as: Under what conditions are intentions reasonably dropped? How are obligations weighed against desires? What are conditional obligations and how should we model them? How are a person's rights and liberties affected by changes in the rights and liberties of others?

    The deadline for application is April 3rd, 2007. For more information, see http://www.cs.uu.nl/vacatures/en/62708.html , or contact dr. ir. J.M. Broersen () or dr. R.J. Mastop ().

  • Looking for Dutch Student for Internship at IBM - Germany

    Location: IBM Speech Technology Development in Böblingen, Germany.

    IBM Speech Technology Development is currently offering internships (Praktikum) at the Böblingen lab, in the area of Text-to-Speech Synthesis and Speech Recognition Development. For a customer project they are building a text-to-speech syntesis system in Dutch, and they offer 2-3 internship positions for Dutch mother tongue informatics or computer linguistics students, lasting between 3 and 6 months, starting as soon as possible.

    For more information, ask for the pdf-flyer at or contact Ludovica De Sio at

  • One-year visiting assistant professorship in philosophy of science / logic,University of Texas at Arlington

    The University of Texas at Arlington (UT Arlington) Department of Philosophy and Humanities invites applications for a one-year Visiting Assistant Professor faculty position, to begin August 2007. AOS: Philosophy of Science. AOC: Logic (including ability to teach the basic metalogical results). Service courses will include introduction to philosophy and critical thinking. ABDs who have made satisfactory progress toward degree completion will be considered, but candidates should have received Ph.D. by time of actual appointment. Duties to include undergraduate and graduate teaching (six courses per year, semester system) and possibly some undergraduate senior thesis supervision.

    Review of applications will begin immediately and will continue until the position is filled. For more information, see here.

  • Postdoc Position in Verification of Security Protocols at Imperial College London

    The Department of Computing has one position for a Research Assistant or Associate to work on the EPSRC project "Verification of Security Protocols: A multi-agent systems approach" (EP/E035655/1), to develop algorithms and tools for the automatic verification of security protocols by model checking.

    The appointed Research Assistant/Associate will be working as part of a team comprising the PI, one research student and the research group in Warsaw lead by Prof W Penczek, partner in the project. The aim of the project is to develop efficient model checking algorithms for the verification of security protocols. The appointee will also contribute to the development of a platform shell implementing the algorithms developed.

    The post is for a fixed term of up to 36 months beginning no later than 1 September 2007 and preferably before June 2007. Closing date is 18 April 2007

    For more information, see http://www.doc.ic.ac.uk/about/situationsvacant/#8 or contact Dr A Lomuscio at .

  • PhD student positions in Computing Science (automated theorem proving), Chalmers University of Technology, Sweden

    The Division has about 80 researchers, half being faculty members and half PhD students. Our focus is on algorithms, bioinformatics, distributed systems and computing, functional programming, formal methods, interaction design, language technology, language based security, parallel and high performance computing, programming logic and type theory, but research is not restricted to these topics.

    Knowledge of Swedish is not a prerequisite for application. English is our working language for research. Both Swedish and English are used in undergraduate courses. Half of our researchers and PhD students are native Swedes; the rest come from more than 20 different countries.

    The last date for your full application to arrive is March 9, 2007. For more information, see http://chalmersnyheter.chalmers.se/chalmers03/english/ or contact Philippas Tsigas at . For more information on the Division, see http://www.chalmers.se/cse/EN/research/research-groups.

  • PhD position in coalgebra, University of Leicester

    The Department of Computer Science of the University of Leicester offers three PhD studentship (GTA). The GTA scheme involves some teaching and runs for 4 years. Unfortunately, the university waives the fees only for EU nationals.

    One of the positions will be under the supervision of Alexander Kurz and the PhD thesis will be on the topic of coalgebra. Colleagues in Leicester working on related topics include Nick Bezhanishvili, Roy Crole, Reiko Heckel, Vincent Schmitt, Emilio Tuosto, and Fer-Jan de Vries. Moreover, there will be close collaboration with the logic groups at the University of Amsterdam (in particular with the VICI-project directed by Yde Venema at ILLC) and at the University of Oxford (Hilary Priestley, Alexandru Baltag).

    The official announcement and application form is available at http://www.le.ac.uk/personnel/supportjobs/s3149a.html. The applications should be submitted no later than 23 February 2007. For further information contact Alexander Kurz at .

  • PhD student position and 2-month internship in "Programming Tools Group" Oxford (Applications from Logic particularly welcome)

    The AspectBench Compiler project has an opening for a fully funded 3-year PhD studentship and numerous paid 2-months internships.

    "Refactoring" refers to the process of restructuring an existing piece of software, often prior to introducing new functionality, or to take advantage of a new technology. The AspectBench Compiler project aims to construct a framework for better refactoring tools.

    The PhD student will be concerned with the theoretical foundations of the refactoring framework, for instance proofs of correctness for refactorings, and also for the incremental evaluation mechanism. We are thus looking for someone with good mathematical skills, in particular regarding formal properties of type systems and program analyses. The 2-months positions are intended to assist with implementation work. We are thus looking for highly skilled Java programmers; familiarity with program analysis, formal type systems and so on will be an advantage.

    The deadline for applications is March 20, 2007. For more information, see here or email one or all of the project leaders: Oege de Moor () Torbjorn Ekman () Mathieu Verbaere (). For more information on the project, see http://aspectbench.org

  • 1-year visiting assistant professor position in philosophy, Davidson College, Davidson NC (U.S.A.)

    Full time position for the 2007-08 academic year only. AOS and AOC are open, but the department anticipates teaching needs in one or more of the following areas: Formal Logic, Ancient Philosophy, Metaphysics. Two-semester calendar. Five undergraduate courses/year. No committee work or summer teaching. Some undergraduate thesis supervision is possible.

    Applicants should submit on-line a cover letter, CV, and brief writing sample via https://jobs.davidson.edu/. In addition, please have three letters of recommendation sent to: David Robb, Chair, Department of Philosophy, Davidson College, Box 7020, Davidson, NC 28035-7020. Application materials should be received by February 28, 2007, in order to be assured full consideration.

  • Postdoctoral positions in Computer Science, Haifa (Israel)

    The Caesarea Edmond Benjamin de Rothschild Foundation Institute for Interdisciplinary Applications of Computer Science (CRI) at the University of Haifa has openings for post-docs positions starting from October 2007.

    We are looking for candidates with a record of excellence in CS, or in any interdisciplinary area of CS. A host in the CS department or in another related department of the University of Haifa is a strong advantage.

    The position is for 12 months. There are no teaching duties - just research. There may be some informal duties like assisting in organizing a research seminar or colloquia. It is possible to lecture a course for additional funding. Knowledge of Hebrew is not necessary.

    DEADLINE is March 31, 2007, or until position is filled. For more information, see http://www.cri.haifa.ac.il/call_post_docts.html.

  • Tenure-track and tenured faculty positions in computer sciences (algorithms), University of Texas at Arlington

    The University of Texas at Arlington (UT Arlington), Computer Science and Engineering (CSE) Department invites applications for tenure-track and tenured faculty positions in the following areas: Intelligent Systems / Robotics, Bioinformatics/Biomedical Computing, Systems (Computer Architecture/FPGA/Embedded Systems), and Theory. Exceptionally strong candidates in Algorithms, Applied and Basic Theory are encouraged to apply.

    Applicants must have an earned doctorate in computer science, computer engineering, or a closely related field and a commitment to teaching and scholarly research. Applicants are expected to have an excellent record of professional accomplishments, commensurate with their level of experience. The faculty opening is anticipated for September 2007. Screening of applications will begin immediately and will continue until all positions are filled.

    For more information, see https://cse2.uta.edu/recruiting/advertisement/.

  • Visiting assistant professorship in philosophy (logic), Wabash College (Indiana, U.S.A.)

    Visiting position, one year, starting fall 2007. Ph.D. (Assistant Professor) preferred, A.B.D. (Instructor) will be considered. Candidates should have Ph.D. completed or very near completion by the fall of 2007. AOS: open. AOC: logic, history of analytic philosophy, and other areas as appropriate to a small department. Three courses per semester, six per year. Teaching may include Cultures & Traditions, an interdisciplinary, non-departmental course for sophomores.

    For more information, see http://www.wabash.edu/aboutwabash/employment.cfm#job5

  • One or more tenure-track positions in quantum computing, University of Waterloo, Canada

    The David R. Cheriton School of Computer Science at the University of Waterloo invites applications for one or more tenure-track faculty positions in quantum computing. Successful applicants will be appointed to the David R. Cheriton School of Computer Science and will be members of the Institute for Quantum Computing. While the intention is to make appointments at the rank of Assistant Professor, applications for more senior positions will be considered. A Ph.D. degree and evidence of excellence in research and teaching are required. Successful applicants are expected to maintain an active program of research, to attract and supervise graduate students, and to participate in under-graduate and graduate teaching. Salary will depend on the candidate's qualifications. The effective date of appointment is July 1, 2007.

    Closing date for receipt of applications is February 28, 2007. For more information, see http://www.cs.uwaterloo.ca/about/facultyRecruiting/2006/quantum-computing.

  • Several postdoctoral positions in computer science (including algorithms and complexity), Aarhus, Denmark

    The Department conducts research in a broad range of areas within computer science, with particular strengths in software systems (programming languages, software development, distributed systems validation, networks and protocols, pervasive computing), human computer interaction (participatory design, CSCW, Hypermedia, graphics) and theory (software verification, cryptology, algorithms and complexity). The department also houses the BRICS PhD school.

    Applications are welcomed from researchers in all areas of computer science. The positions are for one year with possibility of extension. The deadline for applications is March 1, 2007. For more information, see http://www.daimi.au.dk/postdoc07

  • Two postdoctoral positions (Algorithmic Game Theory), Aarhus, Denmark

    Two postdoctoral positions within algorithmic game theory are available at the Department of Computer Science, University of Aarhus, Denmark. The positions are funded by a grant from the Carlsberg Foundation for establishing a Center for Algorithmic Game theory. The successful candidates should expand and broaden the present competences within the area at the department as represented by Peter Bro Miltersen, Jesper Buus Nielsen and Ivan Damgaard.

    We look for candidates with interests within algorithmic game theory in a broad sense of the word. The positions are for one year with possibility of extension. The default starting date is August 2007.

    The deadline for applications is March 1, 2007. For more information, see http://www.daimi.au.dk/frontpage/open-positions/

  • Lectureship and Readership in Algorithms & Complexity, Edinburgh

    Location: Edinburgh, Scotland

    The University of Edinburgh invites applications from candidates with research of international standing in Algorithms and/or Complexity, for appointment to a Lectureship (corresponding approximately to US Assistant Professor) or Readership (corresponding approximately to US Associate Professor). The successful candidates will become members of the Laboratory for Foundations of Computer Science within the School of Informatics.

    The ads for the two positions can be found at http://www.jobs.ed.ac.uk/vacancies/ and http://www.jobs.ed.ac.uk/vacancies/. The deadline for application is 2nd March 2007. If anyone would like any more information about the job and/or about Edinburgh, please mail Mary Cryan at .

  • Postdoctoral position in Theoretical Computer Science, Edmonton, Alberta (Canada)

    The Theory Group at the Department of Computing Science (www.cs.ualberta.ca) at University of Alberta invites applications for a postdoctoral fellowship. This will be a one-year appointment, with a possibility for extension, dependent upon funding. Successful applicant is expected to work closely with faculty members in the Theory Group in areas of: algorithms, approximation algorithms, algorithmic graph theory, probabilistic and randomized methods, or hardness of approximation. Initial one-year appointment will be offered with possible renewal for one additional year.

    Review of applications starts immediately, but the position will remain open until filled.

    For more information, see http://www.cs.ualberta.ca/~mreza/.

  • Postdoctoral Fellowship in Mathematical Logic (Computability Theory)

    Location: Greifswald, Germany

    A postdoctoral fellowship (alternatively, two positions for doctoral students) in mathematical logic (computability and complexity) is available starting from 1 April 2007 for the period of three years at the Ernst Moritz Arndt University Greifswald (Germany).

    Deadline is 09.02.2007. For details, see http://www.uni-greifswald.de/informieren/stellenausschreibung/oeffentlich/ (german only), or contact Prof. Dr. Armin Hemmerling ().

  • Postdoctoral position in Computational Logic, Simon Fraser University, Vancouver (Canada)

    Applications are invited for Post-Doctoral Fellowships supporting work on the MX Project, in the Computational Logic Laboratory at Simon Fraser University. The goal of the MX Project is to develop effective techniques for modelling and solving of search and optimization problems using logic. Between 1 and 3 fellowships will be offered, depending upon final level of funding and availability of suitable candidates.

    For more information, see the project page at http://www.cs.sfu.ca/research/groups/mxp/. To ensure full consideration, apply by February 10, 2007.

  • Postdoctoral position in theoretical computer sciences (complexity theory), Kiel (Germany)

    A line of research of the theory group are cryptographic protocols with focus on security analysis and rigorous security requirement specification, both on a formal and a complexity-theoretic level. The position is for three years with an option to extend it by three more years. Candidates should have a strong background in theoretical computer science, especially in cryptography and/or related areas.

    Deadline for applications is 18 March 2007: For more information, contact Thomas Wilke () or visit http://www.ti.informatik.uni-kiel.de/. The official job offer (in german) is located at http://www.uni-kiel.de/stellen/extern/wiss/Wilke.htm .

  • Postdoctoral researcher position in epistemology, University of Cambridge (U.K.)

    The Faculty of Philosophy intends to appoint a Research Fellow for two years from October 2007. The post arises from the appointment of Professor Quassim Cassam to the Knightbridge Chair of Philosophy. The focus of the post will be in Epistemology, broadly conceived. The primary role of the Fellow is to develop his or her own research. The Fellow will also, as part of the award, undertake some teaching and examining in the Faculty. It is also hoped that the Fellow will participate in the development of research in the area of Epistemology, by such things as assisting in the organisation of conferences and workshops. Limit of Tenure: Fixed Term Funds - renewable. Limit of tenure: Two years, renewable subject to funding

    Candidates should ask their referees to send references direct to Mrs Heather Sanderson, Faculty Administrator, e-mail: , to arrive by the closing date of 26 january 2007. Informal enquiries regarding the position may be made to Prof Jane Heal at , or see the announcement at http://www.jobs.ac.uk/jobfiles/VA425.html

  • 50 PhD student positions in computer science, Edinburgh

    FIFTY research PhD studentships are available at the School of Informatics at the University of Edinburgh. Many of these are full studentships, paying your tuition fees and a stipend of 12600 pounds to cover living expenses in your first year, rising in second and third years. The rest pay your fees and/or a contribution towards living expenses. A very wide range of research topics is available for PhD study: see http://www.inf.ed.ac.uk/postgraduate/phdprojects.html for an (incomplete!) list of project areas.

    Your application form should be returned by mid-March. Applications for an Overseas Research Student award must be completed by mid-February at the latest. Chinese applicants who are interested in funding from the China Scholarship Council should apply by 19th January at the latest.

    Applications must be received by mid-March. Earlier applications have access to a wider range of sources of financial aid. For more information, see http://www.inf.ed.ac.uk/postgraduate/phd-advert.html or contact the Graduate Secretary at

  • 8 W2-Professors ('Bonn Junior Fellows') at the Hausdorff Center for Mathematics

    The Excellence Cluster "Mathematics: Foundations, Models, Applications" at the University of Bonn brings together researchers in Theoretical and Applied Mathematics, and Mathematical Economics. The cluster looks forward to fill 8 W2-Professors ("Bonn Junior Fellows") within the next few years. These temporary positions are limited to a period of five years.

    The professorships intend to encourage independent research by outstanding young researchers. The professorships are endowed with a budget for travel and for inviting guests, and with a post-doc position. Professors are encouraged to supervise doctoral students. Teaching obligations amount to four hours per week during semesters. If desired, teaching can be limited to the graduate program. Depending on the respective research focus, candidates become members of the "Faculty of Mathematics and Natural Sciences", or of the "Faculty of Law and Economics" at the University of Bonn.

    As not all positions will be assigned at the same time, there will be several separate selection rounds. The application deadline for the first round is February 28th, 2007. Deadlines for the following rounds, and further details will be published at http://www.hausdorff-center.uni-bonn.de/.

  • Postdoctoral position in Discrete Math or Theoretical CS, Santiago (Chile)

    A postdoctoral fellowship in Discrete Mathematics or Theoretical Computer Science will be available at the University of Chile (Santiago) starting in May, 2007, or by mutual agreement from any date thereafter. The selected candidate will work closely with the discrete mathematics group involved in project "Anillo en Redes", and is expected to devote fully to research. The appointment will be made for a period between 6 and 18 months.

    Applications should be sent electronically to Jose R. Correa at by January 26, 2007. For more information, see here or the project page at http://dim.uchile.cl/~redes/.

  • 1-year assistant professor position in philosophy, Penn State Harrisburg (USA)

    One year appointment beginning August 15, 2007. 4/4 teaching load, AOS: open; AOC: ethics, logic, introduction required, aesthetics or interdisciplinary core among possibilities. M.A. required, Ph.D. preferred, plus teaching experience. Submit cover letter, three letters of reference, evidence of teaching effectiveness, and cv to: Philosophy Search, c/o Mrs. Dorothy Guy, Director of Human Resources, Penn State Capital College, Box CHE, 777 West Harrisburg Pike, Middletown, PA 17057-4898. Review of applications begins January 16, 2007.

    For more information, see http://philosophy.la.psu.edu/.

  • 3 year assistant professor position in philosophy, Warwick (U.K.)

    AOS - Philosophy of Mind/Epistemology & Metaphysics. AOC-Philosophy of Language, Philosophy of Logic. You will have an active research profile with potential for research of international reputation. You must have a willingness to contribute to post-graduate teaching and supervision.

    The closing date for applications is 26 January 2007. For more information, see http://secure.admin.warwick.ac.uk/webjobs/jobs/academic/job24127.html

  • Professor/Reader/Lecturer positions in philosophy, Manchester (U.K.)

    As part of the University of Manchester's commitment to the development of the Philosophy Discipline Area, applications are invited for up to 4 posts, from Professorships to Lectureships, depending on candidates' research profile and experience. All posts are tenable from 1 September 2007.

    You must possess a strong research and publication profile, or potential in philosophy, together with either experience of teaching at undergraduate level or good presentational skills. Applications from candidates with demonstrable research expertise in aesthetics, ethics, epistemology, metaphysics, the philosophy of psychology (including the emotions), or the history of analytical philosophy are particularly welcome. Those wishing to be considered for a professorial appointment should have a demonstrable international standing in one or more of the areas of philosophy mentioned above.

    Closing date for all posts 15 January 2007. For more information, see http://www.socialsciences.manchester.ac.uk/philosophy/jobs/.

  • Permanent researcher positions at Mostrare Project, CNRS/INRIA, Lille (France)

    Mostrare is Lille's research project in XML database theory and machine learning from semi-structured documents. It combines methods from logics and automata with techniques from grammatical inference and statistical learning. Currently, we are seeking for excellent researchers that are interested in joining the Mostrare project as a permanent full-time researcher as a member of INRIA or CNRS. The positions at CNRS have been opened recently, those of INRIA will follow very soon.

    We are particularly interested in candidates with one of the following two profiles:
    * database theory, XML, logics, trees, automata
    * machine learning, statistical learning, kernel methods, grammatical inference, structured output

    Deadline for applications is January 15, 2007 (CNRS) or February 15, 2007 (INRIA). For more information, see http://www.grappa.univ-lille3.fr/cgi-bin/twiki/view/Mostrare/Positions2007.

  • Postdoctoral Positions in Algorithms and Complexity,
    Max-Planck-Institute for Informatics, Saarbrücken, Germany

    The Max Planck Institute for Computer Science seeks several Postdocs for the Algorithms and Complexity Department directed by Kurt Mehlhorn.

    We are looking for applicants from all areas of algorithmics, 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 January 31, 2007. For more information, see http://www.mpi-inf.mpg.de/departments/d1/offers.html#postdocs.

  • PhD student positions in Algorithms and Complexity

    Location: Waterloo, Ontario, Canada

    Several PhD student positions are available in the Algorithms and Complexity group (http://algcomp.uwaterloo.ca/) at the University of Waterloo, Ontario, Canada. Applications are solicited from students with interest in the areas of algorithms and complexity as described in http://algcomp.uwaterloo.ca/fac.html.

    All successful applicants admitted to the program receive financial support that ranges between $23,500-$43,500 Cdn (approx $20,500-$38,000 US) depending on qualifications.

    Applicants for the PhD student positions should follow the procedures as described in http://www.cs.uwaterloo.ca/grad/admissions/applications. Please indicate in your application form your preference for algorithms and complexity.

  • PhD positions in "Verifying requirements for resource-bounded
    agents" at Nottingham, UK. and Trento, Italy

    Applications are invited for two 3-year PhD positions in the project `Verifying requirements for resource-bounded agents.' The aim of the project is to define epistemic logics, computational models and automated verification tools for the representation, specification and verification of resource-bounded agents (agents with limited memory and communication bandwith whose reasoning takes time). The students will be based at the School of Computer Science and IT, University of Nottingham (UK) supervised by Natasha Alechina and Brian Logan, but will also spend several months at the ITC-irst in Trento (Italy) working with Piergiorgio Bertoli, Chiara Ghidini and Luciano Serafini. Successful candidates should have a background in logic and/or planning.

    Please address preliminary inquiries to Natasha Alechina (). Application deadline is the 29th of January 2007. For more information, see http://www.cs.nott.ac.uk/~nza/trento-epsrc.html

  • Two distinguished professor positions in philosophy, Rice University, Houston (U.S.A.)

    As part of a major university commitment to enhancing the School of Humanities, the Department of Philosophy has been authorized to make appointments in two new Endowed Chairs at the level of full professor. Areas of specialization open. Normal teaching load is one graduate seminar, two upper division courses, and one introductory course per year. We seek candidates of the highest distinction, and the positions are supported accordingly.

    Applications will be accepted until the positions are filled. Applicants should send a curriculum vitae to Endowed Chair Search, Department of Philosophy (MS 14), Rice University, 6100 Main Street, Houston, TX 77005. For more information, see http://cohesion.rice.edu/humanities/phil/news.cfm?doc_id=9456.

  • Postdoctoral positions in algorithms & complexity (including quantum), Paris (France)

    The Laboratory for Research in Computer Science (LRI) affiliated with the CNRS and the Universite Paris-Sud at Orsay, France offers one, possibly two one-year postdoc position(s) in algorithms and complexity, including quantum computation. Starting date (in 2007) and duration negotiable. The successful candidate will join the Algorithms and Complexity team of the LRI (http://www.lri.fr/algo) which includes the quantum group of the laboratory (http://www.lri.fr/quantum/).

    Applications should be sent by January 8th, 2006. Late applications will also be accepted until the position is filled. For more information, see here or email to .

  • Postdoctoral position in graph theory and applications of graph theory, University of Southern Denmark

    Expressions of interest are being sought for a post-doctoral fellowship in graph theory and or applications of graph theory. We are seeking a candidate with excellent research potential and preferably also an interest in working with problems that are related to practical applications. It is an essential requirement that the candidate must be fluent in both written and spoken English. The post doc will be working at the Department of Mathematics and Computer Science at University of Southern Denmark in Odense within the group of professors J. Bang-Jensen and B. Toft.

    There is no official deadline, but we wish to fill the position as early as possible after January 1st 2007 so immediate expressions of interest are encouraged. For more information, see here or http://www.imada.sdu.dk/, or contact Professor J. Bang-Jensen () or Professor J. Clausen ().

  • Tenure-track faculty positions in Computer Science, University of Virginia

    The University of Virginia Department of Computer Science has openings for tenure-track faculty positions at all levels and in all areas of computer science.

    Outstanding candidates in any area will be considered. We are particularly interested in candidates working in theory and those who are developing the theoretical foundations of data analysis, machine learning, and networking. We give higher priority to a candidate's originality and promise than to the candidate's specific research area.

    We will begin to consider applications in December 2006 and will continue to accept applications until the positions are filled. For more information, see http://www.cs.virginia.edu/jobs/facultysearch.html.

    For more information, see here .
  • Open Positions at Tilburg Center for Logic and Philosophy of Science

    Tilburg University, the Netherlands, has established the new Tilburg Center for Logic and Philosophy of Science, headed by Prof. Stephan Hartmann, which will commence its work on 1 May 2007. The members of the Center work on a wide variety of topics in logic and general philosophy of science as well as on philosophical problems of the special sciences, especially psychology and economics. Some are also interested in social choice theory, formal methods in philosophy and the logic of language and information. As part of our plan to further expand our strengths in philosophy of social science and philosophy of economics we are currently looking for an Assistant Professor in one of these fields. We are also advertising several visiting fellowships for advanced PhD students and visiting faculty, a PhD position and two PhD studentships.

    For more information, see http://www.tilburguniversity.nl/faculties/fww/tilps/jobs/ or contact .

  • Assistant Professor Position: George Washington University (Mathematics, including logic)

    In an effort to increase its research stature and expand its undergraduate and doctoral programs, the Mathematics Department of The George Washington University is recruiting a tenure-track assistant professor in an area where the department has strength: applied mathematics, combinatorics, dynamical systems, logic, and topology. The successful applicant is expected to teach at all undergraduate and graduate levels, excel in research, interact with researchers in mathematics or other disciplines, and become actively involved in the life of the department and the university. Applicants must possess a PhD and good teaching credentials as demonstrated by your teaching approach and either teaching evaluations or letters from peers or supervisors. Applicants with postdoctoral experience will be given preference.

    Review of applications will begin January 1, 2007 and continue until the position is filled. For more information, see http://www2.gwu.edu/~math/facultysearch.html

  • Postdoctoral Position (algorithms and randomness), Georgia Tech

    The Georgia Tech Algorithms and Randomness Center/ThinkTank is looking for a postdoctoral fellow to participate in ongoing investigations. Candidates with a PhD in Computer Science, Mathematics, Operations Research or related fields are encouraged to apply. The selected candidate will work on algorithms and models for problems and phenomena from within computer science as well as the natural sciences, and will collaborate closely with the faculty associated with the center. Candidates should have substantial experience with algorithms and complexity, as well as probability.

    The start date is flexible between February 1 and September 1. For more information, see here or http://www.cc.gatech.edu/component/option,com_jobline/Itemid,514/task,view/id,69/. Information on the center will be available at: http://www.cc.gatech.edu/arc/.

  • SISL Postdoc at CalTech "Information Flow in networks"

    Caltech's Social and Information Sciences Laboratory is seeking applications for the SISL Postdoctoral Fellowship Program. SISL is an interdisciplinary effort comprising engineers, computer scientists, and economists at Caltech.

    SISL is dedicated to the study of information flow and aggregation in (large) distributed systems, such as social networks, markets, computer networks, voting systems, and other mechanisms. We are particularly interested among other things, in game theory or economic theory applied to information networks, combinatorial or algorithmic mechanism design, and dynamics.

    Applications must be received before January 15, 2007. For more information and an online application form, see http://www.ist.caltech.edu/joinus/positions.html#postdoc

    For more information, see here .
  • Tenure-track position Computer Sciences / Mathematics, Haifa, Israel

    The department of Math-Physics-Computer Science in the University of Haifa at Oranim would like to announce an opening of an academic (tenure track) position for a Computer Scientist, starting October 2007. Suitable candidates for the present position should have a credible research record in any field of Computer Science. However, preference will be given to candidates who are capable of teaching math courses as part of their teaching duties. In addition, fluency in Hebrew is a requirement.

    For more information, see here or contact Prof. Efrat Shimshoni at .

  • Professorship "Formal Methods and Tools", Twente (Netherlands)

    The University of Twente offers a full time tenured position as Professor in the largest and most quickly developing academic organisation in the Netherlands in the field of embedded systems, with a competitive salary (maximum EUR 8161,- gross per month) and benefits commensurate with your position, experience and qualifications. The successful candidate will head the Formal Methods and Tools (FMT) group. He/she is expected to develop the above research agenda further, extend and maintain collaboration at departmental, national and international level, and be engaged in the group's teaching activities. Candidates must have an outstanding publication record, excellent leadership and management qualities, a strong vision on future development of the field and very good teaching skills. Applicants must have a PhD in a relevant area.

    The Formal Methods and Tools group (FMT) develops rigorous techniques and tools that are needed for the systematic design and analysis of hardware and software systems. For more information, see the FTM website (http://fmt.cs.utwente.nl/). For more information on the vacancy, see \ here or the full announcement at http://www.utwente.nl/vacatures/vacatures_externe_werving/06-088-eng.doc, or contact Professor Pieter Hartel (). Applications must be received before January 12th, 2007.

  • Postdoctoral Position in Quantum Information,
    California Institute of Technology

    The Institute for Quantum Information at the California Institute of Technology will have postdoctoral scholar positions available beginning in September 2007. Researchers interested in all aspects of quantum information science are invited to apply.

    Please apply on-line at http://www.iqi.caltech.edu/. Electronic copies of your curriculum vitae, publication list, statement of research interests, and three letters of recommendation are required. The deadline for receipt of all application materials is January 12, 2007.

Past appointments

  • ILLC Staff and Students changes

    Next Friday, February 2, it will be the last working day of Jessica Pogorzelski at the ILLC Office. She has accepted a new job at the teaching institute. We will organize a little farewell party for her on Thursday February 1, from 16-17.30 at the third floor of Euclides, and you are all cordially invited to be present.

    I take this opportunity to announce her successor, whose name is Karin Gigengack. Karin is selected after a thorough recruitment and selection procedure (with 65 job applications). Her first working day will be February 2, and she will be working Mondays, Fridays, and Wednesday afternoon. On Monday February 5, during our weekly Euclides coffee meeting at 11, you will have the chance to get to know her better.

    We have also invited the big group of new PhD students and guests that will start working here in February. We hope that most of them will be able to come. These are:
    1. Jarmo Kontinen (Finland), PhD student
    2. Lauri Keskinen (Finland), PhD student
    3. Amelie Gheerbrant (France, PhD student (Gloriclass)
    4. Cedric Degremont (France), PhD student (Gloriclass)
    5. Katherina Rybalko (Russia), guest PhD student, Feb 1 - Sep 1
    6. Anouk Perquin (Netherlands), parttime PhD student
    7. Juliette Kennedy (Finland), guest
    8. Juha Kontinen (Finland), guest researcher, Feb 1-May 1
    9. Elise Bonzon (France), guest, Feb 1-March 15

    Please also note the change of location of our present Gloriclass students. Both present and new Gloriclass students are now working in the J/K building, which is located opposite of Euclides at Valckenierstraat 65, 1018 XE, Amsterdam

    Details about their research topics, room numbers and e-mail addresses can be found at here

  • New ILLC Staff and Students in November

    One postdoc and three PhD-students will start working at our institute. Alessandra Palmigiano (postdoc), Gaëlle Fontaine (PhD student) and Jacob Vosmaer (PhD student) will participate in the VICI-project directed by Yde Venema. Alessandra, Gaëlle and Jacob are former Master of Logic Students.
    Fernando Velazquez-Quesada (PhD student) will work under the supervision of Johan van Benthem.

    You can find Alessandra in room P 3.12 (phonenumber 5360). Gaëlle and Jacob will be staying in room P 3.18(phonenumber 6508). Fernando has his office in room P 1.16 (phonenumber 6438).

    Guests in November:
    Dr. Junwei Yu will leave the ILLC. He has been our guest for the academic year 2005-2006. Dr. Nick Bezhanishvili will visit the institute from October 27 till November 15.

    For more information, please contact

Miscellaneous

  • New journal: Journal of Formalized Reasoning

    The journal encourages submission of papers describing significant formalization efforts in any area, including classical math, constructive math, formal algorithms, and program verification. The emphasis of the journal is on proof techniques and methodologies and their impact on the formalization process. In particular, the journal provides a forum for comparing alternative approaches, enhancing reusability of solutions and offering a clear view of the current state of the field.

    The Journal of Formalized Reasoning is a purely electronic publication. The Journal provides immediate open access to its content on the principle that making research freely available to the public supports a greater global exchange of knowledge.

    The Journal encourages the submission of interesting, insightful, and informative papers, preferably accompanied by formal scripts. Although the journal is not meant to become a repository for proof scripts, an effort will be made to ensure that the "experimental data" backing formalisation papers will remain accessible. Each new contribution must be original, and not submitted before different journals for consideration.

    For more information, see the journal home page at http://jfr.cib.unibo.it/

  • Yearbook in philosophical logic: PHIBOOK

    Deadline: 1 March 2008

    PHIBOOK is an annual volume devoted to philosophical logic and its relation to philosophy and science with particular emphasis on multi- agent and modal systems, active agency and social software. The yearbook is intended to inform the community of current and future directions of research and activity in philosophical logic, major events, books and important papers of the past year but also leaves extensive room for discussion in terms of columns, opinion pieces, and critical reports.

    The yearbook will be published by Automatic Press / VIP, around 250 pages coming out in November every year - $25-7 a copy. The first yearbook covering 2007 will be coming out in May 2008 and the 2008 volume will appear in December 2008.

    SUBMISSIONS

    For more information, see http://www.formalphilosophy.com/phibook

  • New book bij Jouko Väänänen: "Dependence Logic"

    From the Cambridge University Press' website:

    'Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving on the way a precise mathematical treatment of Hintikka's independence friendly logic. Dependence logic adds the concept of dependence to first order logic. Here the syntax and semantics of dependence logic are studied, dependence logic is given an alternative game theoretic semantics, and results about its complexity are proven. This is a graduate textbook suitable for a special course in logic in mathematics, philosophy and computer science departments, and contains over 200 exercises, many of which have a full solution at the end of the book. It is also accessible to readers, with a basic knowledge of logic, interested in new phenomena in logic.'

    For more information, see http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521876599

  • 14 March 2007, How to Write a Competitive Proposal for Framework

    Date & Time: Wednesday 14 March 2007, 09:00-17:00
    Location: VU main building, room 6A-05
    Costs: € 180,- (incl. coffee, , tea, lunch, documentation)

    The Liaison Offices of the VU and UvA are organising a special seminar for everybody who intents to participate in the new Seventh Framework Programme Kaderprogramma of the EU and who wants to be prepared.

    For more information, see here (dutch only) or contact the Liaison Office at or tel 525 5417

  • Launch of Virtual Knowledge Studio (KNAW)

    Recent transformations in communication and information exchange have created new opportunities for researchers in the humanities and social sciences. It is not self-evident, however, in what ways scholars can best use these possibilities while maintaining and further developing their specific roles in academia and society.

    The new KNAW programme, The Virtual Knowledge Studio for the Humanities and Social Sciences, aims to support researchers in the humanities and social sciences in the Netherlands in the creation of new scholarly practices, termed here e-research, as well as in their reflection on e-research in relation to the development of their fields.

    For more information, see http://www.virtualknowledgestudio.nl/ and http://www.hum.uva.nl/mmm/fun/VKS-KNAW.html

  • Formation of "Association for Logic in India"

    The basic aim of the Association is to build a logic community in India, promote research and education in logic. A number of efforts have been made in this regard. Two conferences in IIT-Bombay (Jan 2005, 2007), a conference in Kolkata (Jan 2007)and a winter school in IIT-Bombay (Jan 2006), as well as the annual meetings of the Calcutta Logic Circle for several years have established a strong foundation for such community building efforts, and the Association can seek to build on this foundation. It will consciously seek to bring together researchers from Mathematics, Philosophy, Artificial Intelligence studies and Computer Science with common interests in Logic.

    In addition, concerted efforts are being made to develop a Logic Base at IIT-Bombay. Clearly, such a Centre will greatly aid promotion of logic studies in the country, and the Association will seek to utilize such a resource.

    Comments and suggestions are welcome. For more information, see http://ali.cmi.ac.in/. Email:

  • New journal: Logica Universalis (Birkhaeuser)

    A new journal is now being launched by Birkhäuser. The first issue will be on-line at the beginning of December and in print by beginning of 2007. The journal will publish papers related to universal features of logics. Topics include general tools and techniques for studying already existing logics and building new ones, the study of classes of logics, the scope of validity and the domain of application of fundamental theorems, and also the philosophical and historical aspects of general concepts of logic.

    For further information, visit the website below: http://www.birkhauser.ch/LU.

The websites of the UvA make use of cookies. More information Hide this message X
xx