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

### 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

• #### 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

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

• #### 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

• #### 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.

• #### 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.

• #### 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.

• #### 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

• #### 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

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

• #### 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

• #### 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.

• #### 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').

• #### 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

• #### 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.

• #### 22 November 2007, PROSE Colloquium, 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

• #### 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

• #### 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

• #### 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').

• #### 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

• #### 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.

• #### 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

• #### 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

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)

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

• #### 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

• #### 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>)

• #### 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

• #### 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.

• #### 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

• #### 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

• #### 19 October 2007, Colloquium on Mathematical Logic, Canceled

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

• #### 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

• #### 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').

• #### 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)

• #### 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.

• #### 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.

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

• #### 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

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

Date: 1-5 October 2007
Location: Tbilisi, Georgia

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.

• #### 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.

• #### 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

• #### 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.

• #### 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

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

• #### 14 September 2007, Colloquium on Mathematical Logic, Canceled

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

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

• #### 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.

• #### 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

• #### 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

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

• #### 5-9 August 2007, Workshop Logic, Rationality and Interaction

Date: 5-9 August 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.

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

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

• #### 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.

• #### 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

• #### 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"

• #### 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.

• #### 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.

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

• #### 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

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

• #### 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

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

• #### 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

• #### 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.

• #### 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

• #### 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.

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

• #### 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.

• #### 1 June 2007, ILPS Seminar, canceled

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

• #### 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.

• #### 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

• #### 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

• #### 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

• #### 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

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

• #### 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.

• #### 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

• #### 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

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.

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

• #### 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.

• #### 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

• #### 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.

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

• #### 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

• #### 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.

• #### 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

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

• #### 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

• #### 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)

• #### 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

• #### 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.

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

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

• #### 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

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

• #### 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

Date & Time: Friday 30 March 2007, 13:30-14:30
Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

• #### 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

• #### 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

• #### 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

• #### 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.

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

• #### 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

• #### 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.

• #### 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.

• #### 14 March 2007, Logic Tea, Canceled

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

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

• #### 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

• #### 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

• #### 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

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.

• #### 23 February 2007, ILPS Seminar, Bart Brinkman

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

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

• #### 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.

• #### 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

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

Date: 5-7 February 2007
Location: KNAW, Amsterdam

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.

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

• #### 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.

• #### 2 February 2007, ILPS Seminar, Canceled

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

• #### 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

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

• #### 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

• #### 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

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.

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

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

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

Date: 13-18 July 2008
Location: Melbourne, Australia

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

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

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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

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

Date: 15-17 February 2008
Location: Geneva, Switzerland

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.

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

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.

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.

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

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

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

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.

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

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.

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

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.

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

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

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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

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

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/

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)

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

• #### 5-7 September 2007, Combining Probability and Logic (PROGIC07), Canterbury, UK

Date: 5-7 September 2007
Location: Canterbury, UK

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.

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

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)

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

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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'

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

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.

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

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.

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

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.

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

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.

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)

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.

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

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

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

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

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.

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

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.

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

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.

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

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

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.

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

Date: 13-19 July 2007
Location: Wroclaw, Poland

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.

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

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

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

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.

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

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.

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

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.

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

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.

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

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.

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

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

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

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

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

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

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.

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

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.

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

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

Submissions are now invited to TARK-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

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.

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

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

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.

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

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.

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

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.

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

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.

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

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

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

(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

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.

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

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

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.

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

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.

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

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.

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

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.

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

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

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.

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"

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

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

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.

• #### Formal Ontologies for Communicating Agents, special issue for the journal Applied Ontology

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.

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

• #### 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.

• #### 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.

• #### 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."

• #### 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.

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

• #### 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.

• #### 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.

• #### 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

• #### 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.

• #### 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)

• #### 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

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.

• #### 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

• #### 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.

• #### 25-27 June 2007, Alternatives to Cartography, Brussels

Date: 25-27 June 2007
Location: Brussels

This is the 2nd Brussels Conference on Generative Linguistics.

• #### 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
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)

• #### 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

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.

• #### 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

• #### 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

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.

• #### 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.

• #### 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

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.

• #### 23-27 May 2007, 2nd European Cognitive Science Conference (EuroCogSci '07), Delphi, Greece

Date: 23-27 May 2007
Location: Delphi, Greece

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.

• #### 22-25 May 2007, Theory and Applications of Models of Computation (TAMC07), Shanghai, China

Date: 22-25 May 2007
Location: Shanghai, China

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.

• #### 14-18 May 2007, Autonomous Agents and Multi-Agent Systems (AAMAS-07), Honolulu, Hawaii, USA

Date: 14-18 May 2007
Location: Honolulu, Hawaii, USA

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.

• #### 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

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.

• #### 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

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.

• #### 29 March - 4 April 2007, Language and Automata Theoy and Applications (LATA 2007), Tarragona, Spain

Date: 29 March - 4 April 2007
Location: Tarragona, Spain

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

• #### 26-28 March 2007, Second Perspectives on Mathematical Practices conference, Brussels, Belgium

Date: 26-28 March 2007
Location: Brussels, Belgium

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

• #### 8-10 March 2007, Confirmation, Induction and Science, London

Date: 8-10 March 2007
Location: London

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.

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

• #### 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

• #### 17-20 February 2007, IADIS International Conference Applied Computing 2007, Salamanca, Spain

Date: 17-20 February 2007
Location: Salamanca, Spain

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.

• #### 15-16 February 2007, Logic and Multi-Agent Systems (LAMAS), Otago, New Zealand

Date: 15-16 February 2007
Location: Otago, New Zealand

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

• #### 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.

• #### 29 January - 2 February 2007, Computing: The Australasian Theory Symposium (CATS 2007), Ballarat, Australia

Date: 29 January - 2 February 2007
Location: Ballarat, Australia

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

• #### 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.

• #### 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.

• #### 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.

• #### 17-19 January 2007, PoPL (Principles of Programming Languages), Nice, France

Date: 17-19 January 2007
Location: Nice, France

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.

• #### 10-13 January 2007, Conference on Logic, Computability and Randomness 2007, Buenos Aires

Date: 10-13 January 2007
Location: Buenos Aires

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.

• #### 6-12 January 2007, 3rd international workshop in Neural-Symbolic Learning (NeSy07), Hyderabad, India

Date: 6-12 January 2007

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.

• #### 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

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

• #### 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

• #### 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

• #### 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

• #### 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

• #### 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

• #### 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

• #### 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

• #### 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

• #### 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

• #### 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.

• #### 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

• #### 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

• #### 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

• #### 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

• #### 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

• #### 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

• #### 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

• #### 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

• #### 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

• #### 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

• #### 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

• #### 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

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

• #### 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"

• #### 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.

• #### 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)

• #### 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.

• #### 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.

• #### 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".

• #### 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
Call Budget: € 300,000,000
Number of grants: approx. 200

• #### 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

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

• #### 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.

• #### 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

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.

• #### 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.

• #### 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.

• #### 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.

• #### 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.

• #### 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.

• #### 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.

• #### 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.

• #### 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

• #### 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.

• #### 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.

• #### 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.

• #### 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.

• #### 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.

• #### 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.

• #### 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.

• #### 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.

• #### 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.

• #### 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.

• #### PhD student positions in Algorithms and Complexity

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.

• #### 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.

• #### 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.

• #### 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.

• #### 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

• #### 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.

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

• #### Yearbook in philosophical logic: PHIBOOK

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

• #### 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.'

• #### 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.

• #### 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.