News Archives 2007

Please note that these newsitems have been archived, and may contain outdated information or links.

Past Events

• 20 December 2007, PROSE Colloquium, Cas Cremers

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

• 20 December 2007, GLoRiClass Seminar, Valentin Goranko

Date & Time: Thursday 20 December 2007, 11:00-13:00
Speaker: Valentin Goranko (University of the Witwatersrand)
Title: Strategic commitment and revocability in logics for multi-agent systems
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

Date & Time: Friday 14 December 2007, 13:30-14:30
Speaker: Martin Reynaert
(TU)
Title: Automatic post-correction of OCR'ed Cultural Heritage corpora
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

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

Date & Time: Wednesday 12 December 2007, 17:45-19:30
Speaker: Robin Clark (Pennsylvania)
Title: The Neurobiology of Quantification
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

Date & Time: Wednesday 12 December 2007, 14:00
Speaker: Philipp Koehn (Edinburgh)
Title: Linguistic Problems for Statistical Machine Translation
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

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

Date & Time: Friday 7 December 2007 2007, 13:30-14:30
Speaker: Cees G.M. Snoek (UvA)
Title: Substituting Experts by Amateurs for Concept-based Video Retrieval
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

Date & Time: Tuesday 4 December 2007, 13:30
Speaker: Yde Venema
Title: Flat modal fixpoint logics
Location: Room M279, CWI, Kruislaan 413, Amsterdam
• 30 November 2007, DIP Colloquium, Charlotte Wollermann

Date & Time: Friday 30 November 2007, 16:00-17:30
Speaker: Charlotte Wollermann (Bonn)
Title: The Influence of Audiovisual Prosody on the Perception and Interpretation of Multimodal Speech
Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

• 30 November 2007, Colloquium on Mathematical Logic, Sonja Smets

Date & Time: Friday 30 November 2007, 16:00-17:00
Speaker: Sonja Smets
Title: An Abstract Dynamic-Logical Setting for Quantum Mechanics
Location: Room P.018, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan).

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

Date & Time: Thursday 29 November 2007, 16:00-17:00
Speaker: Krzysztof Apt (IILC/CWI)
Title: How to Write an Article: Some Suggestions
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, Computational Social Choice Seminar, Andreas Witzel

Date & Time: Friday 23 November 2007, 16:00
Speaker: Andreas Witzel (ILLC)
Title: A Generic Approach to Coalition Formation
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, Colloquium on Mathematical Logic, Valentin Shehtman

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

• 23 November 2007, ILPS Seminar, Jana Kludas

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

• 22 November 2007, Logic Tea, Luc Segoufin

Date & Time: Thursday 22 November 2007, 16:00-17:00
Speaker: Luc Segoufin
Title: Order invariance over finite structures
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

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

• 22 November 2007, GLoRiClass Seminar, Nicole Immorlica

Date & Time: Thursday 22 November 2007, 11:00-13:00
Speaker: Nicole Immorlica (CWI)
Title: The role of compatibility in the diffusion of technologies in social networks
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, Colloquium on Mathematical Logic, Tatiana Yavorskaya

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

• 16 November 2007, DIP Colloquium, Cornelia Endriss

Date & Time: Friday 16 November 2007, 16:00-17:30
Speaker: Cornelia Endriss (University of Osnabrück)
Title: Intermediate Scope Readings as Embedded Speech Acts
Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

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

• 15 November 2007, Logic Tea, Erik Rietveld

Date & Time: Thursday 15 November 2007, 16:00-17:00
Speaker: Erik Rietveld
Title: Situated and lived normativity: The normative aspect of embodied cognition in action
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

Date & Time: Friday 9 November 2007 2007, 13:30-14:30
Speaker: Sebastian Blohm
(University of Karlsruhe)
Title: Harvesting Relations from the Web
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 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)

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

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

Date & Time: Wednesday 7 November 2007, 17:00
Speaker: W. Künne (Hamburg)
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

Date & Time: Wednesday 7 November 2007, 11:00-13:00
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
Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
• 3 November 2007, Recent Developments in the Semantics of Conditional Sentences

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

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

Date & Time: Friday 2 November 2007, 16:00
Speaker: Vangelis Markakis (CWI)
Title: On the Complexity of Computing Approximately Envy-free Allocations
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

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

• 1 November 2007, Logic Tea, Ramasubramanian Sharma

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

• 1 November 2007, Language Change

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

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

• 25 October 2007, Logic Tea, Simon Kramer

Date & Time: Thursday 25 October 2007, 16:00-17:00
Speaker: Simon Kramer (École Polytechnique)
Title: The Intended and Actual Meaning of a Cryptographic Message and Protocol
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

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

• 25 October 2007, GLoRiClass Seminar, Simon Kramer

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

Date & Time: Friday 19 October 2007, 16:00-17:30
Speaker: Ruth Millikan
Title: How children learn language without having a representational theory of mind
Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

• 19 October 2007, Colloquium on Mathematical Logic, Canceled

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

• 18 October 2007, GLoRiClass Seminar, Vangelis Markakis

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

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

• 12 October 2007, DIP Colloquium, Petra Hendriks

Date & Time: Friday 12 October 2007, 16:00-17:30
Speaker: Petra Hendriks (Center for Language and Cognition, Groningen)
Title: Asymmetries in grammar
Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

Date & Time: Friday 12 October 2007, 16:00
Speaker: Ulle Endriss
Title: Introduction to Cake-Cutting Procedures
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, 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

Date & Time: Thursday 11 October 2007, 16:00-17:00
Speaker: Wouter Koolen-Wijkstra
Title: Discovering the Truth by Conducting Experiments
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

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

Date & Time: Wednesday 10 October 2007, 16:00-18:00
Speaker: Bart Geurts
Title: Scalar implicature and local pragmatics
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

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

Date & Time: Friday 5 October 2007, 13:30-14:30
Speaker: Jan Hidders and Szabolcs Mikulas
Title: Axiomatizing the Relational Lattice
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.

Date & Time: Friday 28 September, 17:00-19:00
Speaker: Rens Bod, Maarten Doorman, Nelleke Noordervliet
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

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

Date & Time: Thursday 27 September 2007, 16:00-17:00
Speaker: Sonja Smets
Title: Dynamic-Epistemic Quantum Logic
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

Date & Time: Friday 21 September 2007, 16:00-17:30
Speaker: Yurie Hara (Kyoto University; ILLC visiting fellow)
Title: Questions are immediate issues
Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

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

• 14 September 2007, Colloquium on Mathematical Logic, Canceled

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

• 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

Date & Time: Thursday 13 September 2007, 16:00
Speaker: Krzysztof Apt
Title: Sequential Groves Mechanisms for Public Project Problems
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

Date & Time: Friday 7 September 2007, 13:30-16:30
Speaker: Andrew Yao (Beijing), Leonid Levin (Boston), Ming Li (Waterloo)
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

Date & Time: Monday 13 August 2007, 10:00-18:30
Speaker: Peter Koepke, Joel David Hamkins, Luca Motto Ros, Brian Semmes, Ali Enayat
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

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

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

Date & Time: Tuesday 3 July 2007, 10:00
Speaker: Amin Saberi
Title: Approximation Algorithms for Fair Allocation of Indivisible Goods
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é

Date & Time: Friday 29 June 2007, 16:00-17:30
Speaker: Paul Egré (CNRS, Institut Jean-Nicod, Paris)
Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

Date & Time: Friday 29 June 2007, 14:00-17:30
Speaker: Jeroen Groenendijk (ILLC), Paul Egré (CNRS)
Title: An Afternoon of Raising Issues and Answering Questions
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

Date & Time: Tuesday 26 June 2007, 13:30
Speaker: Kostas Chatzikokolakis
Title: An information-theoretic framework for anonymity and the problem of non-determinism
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,

Date & Time: Wednesday 20 June 2007, 16:00-18:00
Speaker: Michiel van Lambalgen,
Title: Is probability theory useful in modelling human reasoning?
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

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

Date & Time: Friday 15 June 2007, 13:30-14:30
Speaker: Valentin Jijkoun (UvA)
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

Date & Time: Wednesday 13 June 2007, 16:00
Speaker: Reut Tsarfaty
Title: Three-dimensional parametrization for parsing morphologically rich languages
Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

• 11 June 2007, Colloquium on Mathematical Logic, Yuri Gurevich

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

Date & Time: Monday 11 June 2007, 12:00-13:00
Speaker: Joel Uckelman, Jonathan Zvesper
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

Date & Time: Friday 8 June 2007, 16:00-17:30
Speaker: Rick Nouwen (UiL-OTS, Utrecht University)
Title: A guide to <, >, ≤, and ≥ in natural language
Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

• 8 June 2007, Medieval Logic Reading Group, Sara Uckelman

Date & Time: Friday 8 June 2007, 15:00-17:00
Speaker: Sara Uckelman
Title: Modes of predication and syllogistic reasoning in the Trinity
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

Date & Time: Friday 8 June 2007, 13:30-14:30
Speaker: Krisztian Balog (UvA)
Title: People Search in the Enterprise
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

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

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

• 1 June 2007, ILPS Seminar, canceled

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

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

• 30 May 2007, Computational Linguistics Seminar, Reinhard Blutner

Date & Time: Wednesday 30 May 2007, 16:00
Speaker: Reinhard Blutner
Title: Quantum probabilities, entanglement, and computational semantics
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

Date & Time: Friday 25 May 2007, 16:00-17:30
Speaker: Yoad Winter (Computer Science, Israel Institute of Technology)
Title: Multiple Coordination - Recursion and the Syntax-Semantics Interface
Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

• 25 May 2007, ILPS Seminar, Rescheduled to June 8

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

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

Date & Time: Thursday 24 May 2007, 16:00
Speaker: Jouko Väänänen
Title: Dependence Logic
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

Date & Time: Wednesday 23 May 2007, 17:30-18:30
Speaker: Ulle Endriss
Title: Abstract models for dialogue protocols
Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

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

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

Date & Time: Friday 18 May 2007, 16:00-17:00
Speaker: Dimitri Hendriks (VU)
Title: A calculus for deciding productivity of recursive stream definitions
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)

Date & Time: Wednesday 16 May 2007, 16:00-17:45
Speaker: Marian Counihan (ILLC UvA)
Title: "Logical premises and everyday language"
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

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

Date & Time: Wednesday 9 May 2007, 16:00
Title: The Power and Perils of MDL
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

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

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

Date & Time: Friday 27 April 2007, 16:00
Speaker: Joel Uckelman
Title: Preference Representation with Weighted Goals: Some Properties and an Application to Voting
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 ().

• 27 April 2007, DIP Colloquium, Carla Umbach

Date & Time: Friday 27 April 2007, 16:00-17:30
Speaker: Carla Umbach (Institute of Cognitive Science, University of Osnabrueck)
Title: Focus in German Noun Phrases
Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

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

Date & Time: Friday 20 April 2007, 13:30-14:30
Speaker: Balder ten Cate
(UvA)
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

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

Date & Time: Thursday 19 April 2007, 15:30-16:30
Speaker: Bas Luttik
Title: Branching Bisimulation Equivalence with Explicit Divergence
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, Colloquium on Mathematical Logic, Bas Spitters

Date & Time: Friday 13 April 2007, 16:00-17:00
Speaker: Bas Spitters (RU)
Title: Computable sets: Located and overt locales
Location: Room K11, Wiskundegebouw, Budapestlaan 6, Utrecht
(Bus 11 or 12 from Utrecht Central Station).

• 13 April 2007, DIP Colloquium, Cecile Meier

Date & Time: Friday 13 April 2007, 16:00-17:30
Speaker: Cecile Meier (Frankfurt)
Title: The predicative analysis for PP resultatives revisited
Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

• 11 April 2007, Logic Tea, Eva Wilhelmus

Date & Time: Wednesday 11 April 2007, 17:30-18:30
Speaker: Eva Wilhelmus (Bonn)
Title: Formalizability and knowledge ascriptions in mathematical practice
Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

• 10 April 2007, ACG Colloquium, Dave Clarke

Date & Time: Tuesday 10 April 2007, 13:30
Speaker: Dave Clarke
Title: Booking Holidays with Linear Logic
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

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

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

Date & Time: Monday 2 April 2007, 16:00-17:30
Speaker: Prof. Barry Smith
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

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

• 30 March 2007, Colloquium on Mathematical Logic, Roman Kossak

Date & Time: Friday 30 March 2007, 16:00-17:00
Speaker: Roman Kossak (CUNY)
Title: Forcing in models of arithmetic
Location: Room P.019, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan).

• 30 March 2007, DIP Colloquium, Mana Kobuchi

Date & Time: Friday 30 March 2007, 16:00-17:30
Speaker: Mana Kobuchi (UiL-OTS, Utrecht University)
Title: Semantics of Individual-Denoting Classifiers and Its Consequences
Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

• 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

Date & Time: Wednesday 28 March 2007, 17:30-18:30
Speaker: Dennis Bonnay (IHPST/DEC Paris)
Title: What is a logical constant?
Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

Date & Time: Wednesday 28 March 2007, 16:00
Speaker: Steven J. Brams (New York)
Title: Divide-and-Conquer: A Proportional, Minimal-Envy Cake-Cutting Procedure
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

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

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

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

Date & Time: Wednesday 21 March 2007, 16:00
Speaker: Paul Boersma (joint work with Silke Hamann)
Title: The evolution of auditory contrast
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

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

Date & Time: Friday 16 March 2007, 16:00-17:30
Speaker: Markus Egg (Center for Language and Cognition, University
of Groningen)
Title: Rhetorical Questions
Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

• 16 March 2007, Colloquium on Mathematical Logic, Juliette Kennedy

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

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

Date & Time: Friday 16 March 2007, 13:30-14:30
Speaker: Bouke Huurnink and Ork de Rooij
Title: Exploiting Text Retrieval Methods for Video Search
/ Dynamic Browsing Through Large Video Collections
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)

Date & Time: Thursday 15 March 2007, 14:00
Speaker: François Lepage (Universite de Montreal)
Title: Belief Revision, Backgrounds, and Counterfactuals
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

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

• 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

Date & Time: Thursday 8 March 2007, 15:30
Speaker: Hylke Buisman, Gijs Kruitbosch and Nadya Peek
Title: A Simulation Platform for Distributed Multiagent Resource Allocation
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, DIP Colloquium, Tamas Biro

Date & Time: Friday 2 March 2007, 16:00-17:30
Speaker: Tamas Biro (ACLC/UvA)
Title: Finding the Right Words - Implementing Optimality Theory with Simulated Annealing
Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

Date & Time: Friday 2 March 2007, 16:00-17:00
Speaker: Juha Kontinen (Helsinki)
Title: Majority in logic and computation
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, ILPS Seminar, Victor de Boer

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

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

Date & Time: Thursday 1 March 2007, 15:30
Speaker: Ulle Endriss
Title: Vote Manipulation in the Presence of Multiple Sincere Ballots
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

Date & Time: Wednesday 28 February 2007, 17:30-18:30
Speaker: Tiago de Lima (Institut de Recherche en Informatique de Toulouse (IRIT))
Title: A tableau method for public announcement logics
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

Date & Time: Tuesday 27 February 2007, 15:00
Title: The Power and Perils of MDL
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

Date & Time: Friday 23 February 2007, 13:30-14:30
Title: How to make iBroadcasting.nl fast?
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

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

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

Date & Time: Monday 19 February 2007, 20:00-
Speaker: Prof. dr. Dirk van Dalen
Title: L.E.J. Brouwers Revolutie - 1907, Van mystiek naar wiskunde
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

Date & Time: Monday 19 February 2007, 19:30-
Speaker: Jan van Eijck
Title: Is collectief rationeel handelen mogelijk?
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

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

• 16 February 2007, ILPS Seminar, Khalid Mahboob

Date & Time: Friday 16 February 2007, 13:30-14:30
Speaker: Khalid Mahboob (UvA)
Title: Machine learning for QA from tabular data
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

Date & Time: Thursday 15 February 2007, 14:00
Speaker: Elise Bonzon
Title: Boolean Games
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

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

Date & Time: Wednesday 14 February 2007, 17:30-18:30
Speaker: Patrick Girard
Title: Ceteris Paribus Clauses: Normal or Equal?
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

Date & Time: Monday 12 February 2007, 14:00-16:00
Speaker: Jakub Szymanik
Title: A comment on a neuroimaging study of natural language quantifier comprehension
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

Date & Time: Friday 2 February 2007, 16:00-17:00
Speaker: Rosalie Iemhoff (Utrecht)
Title: Skolemization and Herbrand's theorem
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

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

• 1 February 2007, GLoRiClass Seminar, Canceled

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

Date & Time: Wednesday 31 January 2007, 17:30-18:30
Speaker: Hans van Ditmarsch
Title: Arbitrary announcement logic
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

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

• 25 January 2007, GLoRiClass Seminar, Nicola Dimitri

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

Date & Time: Friday 19 January 2007, 16:00-17:00
Speaker: Tim Baarslag (Utrecht)
Title: Limitations of primitive recursive algorithms
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

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

• 18 January 2007, GLoRiClass Seminar, Tijmen Daniels

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

Calls for Paper

• 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.
• Special Issue of JoLLI on Hybrid Logic

This special issue has its origin in the International Workshop on Hybrid Logic (HyLo 2007), which was held 6-10 August in Dublin, Ireland as part of the European Summer School in Logic, Language, and Information (ESSLLI 2007). Topics of interest include 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.

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

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

• Call for proposals SPIN postdoc programme 2007

The Royal Netherlands Academy of Arts and Sciences (KNAW)requests proposals for the The 'Scientific Programme Netherlands - Indonesia' (SPIN). It is based on agreements between the Netherlands and Indonesian governments. The Programme adheres to the principle of mutual benefit and aims to stimulate the establishment of long-term scientific cooperation between Indonesian and Netherlands research groups. Deadline for Submission: Friday 19th of October 2007

• 'Free Competition' Exact Sciences division NWO

The exact sciences division of the Netherlands Organisation for Scientific Research (NWO) invites researchers at Dutch universities, NWO or KNAW-institutes to submit research proposals in the context of the organisation's 'Free Competition', in order to gain funding for their projects.

Proposals need to be submitted using NWO's electronic request system found at http://www.iris.nwo.nl/. Proposals can be submitted continuously all through the year but only three times a year will these be evaluated. Exact information is to be found at http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_5U2LBW under the heading 'documentation' for a complete guide.

• Call for nominations for the 'Descartes-Huygensprijs 2007'

The Royal Netherlands Academy of Arts and Sciences (KNAW)annually awards the 'Descartes-Huygensprijs' to a distinguished French researcher in the Social Sciences or the Humanities in order to stimulate scientific collaboration between France and the Netherlands. Nominations can be submitted until the 15th of November 2007.

For more information, see http://www.knaw.nl/cfdata/prijzen/prijzen_detail.cfm?orgid=626, contact or call 020- 551 08 29.

• NWO Casimir programme

The aim of NWO Casimir's programme is to increase the mobility of researchers and to accomplish more exchange between business and academia. A maximum of 100.000 EURO can be requested. There must always be 3 applicants: a representative of the university, a representative of the company, and a talented graduate or researcher (=the candidate).

• 2nd ICT call of CORDIS FP7

On June 12th, the second call for the Information and Communication Technologies (ICT) programme of the CORDIS Seventh Research Framework Programme (FP7) was opened, with a budget of 477 million euro. The call will close on October 9th, 2007, In this call the following eight 'objectives' are taken into consideration :

- New paradigms and experimental facilities (the future of Internet),
- Photonic components and subsystems,
- Micro/nanosystems,
- Networked embedded and control systems,
- Virtual physiological human,
- ICT for cooperative systems,
- ICT for environmental management and energy efficiency,
- Accessible and inclusive ICT.

• FFSB 2008 - International Mathematical Research Prize

The purpose of the Foundation Ferran Sunyer i Balaguer is to stimulate mathematical research, granting a prize and grants for studies or research in the area of the mathematical sciences. Conditions: Prize awarded for a mathematical monograph in an expository nature presenting the latest developments in an active area of research. The prize: 12.000 euro and publication of the winning monograph in Birkhäuser Verlag's series Progress in Mathematics. Deadline: December 3, 2007

• 21 June 2007, ICT- Informatiemiddag 2de ICT call / ICT-informationmeeting 2nd ICT call, Mercure Hotel, Spui 180, Den Haag

Date & Time: Thursday 21 June 2007, 13:30
Location: Mercure Hotel, Spui 180, Den Haag
Costs: € 25,-

On June 12th, the second call for the Information and Communication Technologies (ICT) programme of KP7 was opened, with a budget of 477 million euro. The call will close on October 9th, 2007. For this second call SenterNovem/EG-Liaison, together with the Ministries of the Interior and of Education and Science, will organize an informational meeting on Thursday June 21th, 2007, in the Mercure hotel in the Hague.

• Dobrushin Prize (Information Theory, Mathematical & Computer Linguistics)

The Dobrushin Foundation has launched the International Dobrushin Prize, awarded annually to outstanding researchers for the totality of their work in the domains of the research interests of Ronald L. Dobrushin (1929-1995), one of the founders of the Independent University of Moscow. The areas include information theory, statistical physics, probability theory, and mathematical and computer linguistics. The prize committee, formed of independent experts, is accepting nominations from any researcher or a group of researchers.

Nominations should be sent before May 10, 2007 to , and should include a list of significant publications of the candidate, a brief summary of several of the candidate's most important publications, and a list of three experts who have agreed to endorse the nomination. The prize is awarded each year on June 20, the birthday of Dobrushin. The winner receives a diploma and the equivalent of US3,000 and is invited to present a lecture at the Institute for Information Transmission Problems in Moscow. • E. W. Beth Dissertation Prize 2007 Since 2002, FoLLI (the European Association for Logic, Language, and Information, http://www.folli.org/) awards the E. W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. Submissions are invited for 2007. The prize will be awarded to the best dissertation which resulted in a Ph.D. in the year 2006. The dissertations will be judged on technical depth and strength, originality, and impact made in at least two of the three fields of Logic, Language, and Computation. For more information, see http://folli.loria.fr/content/beth2007.html Deadline for submissions (extended) is May 6, 2007. • 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/. • 9 April 2007- Deadline for submission, Science Park Amsterdam New Ideas Competition 2007 Date: 9 April 2007- Deadline for submission Do you have an innovative or original idea for the application of knowledge gained by scientific research which is carried out at Science Park Amsterdam? Join in the Science Park Amsterdam New Ideas Competition! In 2006, the Science Park Amsterdam New Ideas Competition has been won by Peter Blok, Sybren Stüvel and Leen Torenvliet (Faculty of Science - UvA) for their idea 'digitale positiebepaling'. Other winners were Erika Eiser and Gadi Rothenberg (Faculty of Science - UvA) for their idea "Metal nanowires by self-assembly: A bottom-up approach to nanoelectronics", and Harry van der Graaf (Nikhef) for his idea "RasIce:een monitor voor (te) diep doorzakkende daken". For more information, see http://www.scienceparkamsterdam.nl/prijsvraag/ or http://www.scienceparkamsterdam.nl/background.jsp?page=11228 • EUROCORES programme LogICCC The European Science Foundation is launching a Call for Outline Proposals for Collaborative Research Projects to be undertaken within the EUROCORES Programme "Modelling intelligent interaction - Logic in the Humanities, Social and Computational sciences (LogICCC)". The deadline for Outline Proposals is 11 May 2007, 12:00 PM (noon). For more information, see http://www.esf.org/ or contact Dr. Eva Hoogland at . • Niels Stensen stipendium Professors are invited to propose candidates for the Niels Stensen stipendium. Eligible are: young *catholic* researchers who recently obtained their doctoral degree. Stipendia are awarded for a period of 9-12 months. Deadline for application: April 1, 2007 For more information, please contact Ingrid van Loon (). • ERC Starting Grants 1st Call for Proposals on ERC Starting Grants (comparable to the Dutch 'VIDI' grant) NEEDS: - An excellent scientific track record and proven potential - A ground breaking research idea - 2-9 years since completion of PhD - A research team to be established or consolidated - Working in or moving to work in an EU Member State, Associated Country, or international European Interest Organisation DETAILS: Funding per grant: up to € 500,000 - 2,000,000 Duration: up to 5 years Application: online, 2-stage process Evaluation criterion: scientific excellence Submission deadline: 25 April 2007 Call Budget: € 300,000,000 Number of grants: approx. 200 For more information, see http://erc.europa.eu/ See also our announcement about the special 'schrijfclinic', unfortunately in Dutch only. Open Positions at ILLC • The ILLC is looking for a PhD candidate within a Vidi research project The project studies how inferences based on language use (pragmatic implicatures) can become part of literal meaning in historical processes of conventionalizations (grammaticalization). The aim of the PhD project is to study the gradual grammaticalization of various pragmatic implicatures in words with indefinite reference (e.g. English 'someone', 'anyone', 'whatever'). Tasks: The PhD candidate needs to carry out a number of diachronic studies of indefinite words in various languages and develop formal models of their changes in meaning and use and needs to write a dissertation within three years. Requirements: The candidate must have a Research Master degree or equivalent qualification in linguistics or in a related discipline obtained no longer than five years ago. The ideal candidate will have the proven ability to collect and analyze primary data, but also a solid background in formal semantics and pragmatics. For more information, see Dr. M.D. Aloni, Leerstoelgroep Taalfilosofie, University of Amsterdam, Nieuwe Doelenstraat 15, 1012 CP, Amsterdam, +31 20 525 4537, , or the managing director of the Institute for Logic, Language and Computation, drs. I.M. van Loon, +31 20 525 6090, • 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 . • PhD Position in Computational Social Choice For more information, see here or http://www.illc.uva.nl/~ulle/vidi/, or contact Ulle Endriss (). • Postdoc 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/. • 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. • 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. Open Positions, General • Postdoctoral position (Computability Theory / Complexity Theory; 3y), Greifswald (Germany) A postdoctoral fellowship (alternatively, two positions for doctoral students) in mathematical logic (computability and complexity) is available starting from 1 April 2008 for the period of three years at the Ernst Moritz Arndt University Greifswald (Germany). Applications must be received before 31 January 2008. For details, see http://www.uni-greifswald.de/informieren/stellenausschreibung/oeffentlich/ (written in German; candidates must be fluent in German) or contact Prof. Dr. Armin Hemmerling (). • 2 Assistant professorships at KdV institute for Mathematics (UvA) The Korteweg-de-Vries Institute for Mathematics has positions available for Two Assistant Professors (universitair docenten) in the field of Pure, Applied and Numerical Analysis. Job description: - Contributing to the research of the Korteweg - de Vries Institute. - Assisting in research related activities (e.g. organization of seminars). - Participation in the supervision of MSc and PhD projects. - Teaching courses in the Bachelor (in Dutch), and Master Mathematics (in English) program (teaching-load on average 2 courses per semester). - Acquisition of research projects through government agencies or the private sector. Application deadline: February 1st, 2008. For more information, see http://www.science.uva.nl/math/object.cfm/D43E8D2E-1321-B0BE-6809902E5C2C1F9B • 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 . • Lecturer position in Multi-Agent Systems, Liverpool (U.K.) The Agent Applications, Research and Technology (Agent ART) group in the Computer Science Department at the University of Liverpool (UK) invites applications for a lectureship in the group. The Agent ART group has high international visibility, with key strengths in the areas of Theoretical Foundations of Multi-Agent Systems, Computational models of argument and dialogue and Ontologies and the Semantic Web. We particularly encourage applications from researchers with interests in these areas. The closing date for applications is 9 January 2008. For more information, see http://www.liv.ac.uk/working/job_vacancies/academic/A-566808.htm or contact: Trevor Bench Capon (), Michael Wooldridge () or Wiebe van der Hoek (), quoting reference: A-566808/WWW. More information about the group can be found at http://www.csc.liv.ac.uk/research/agents/. • 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 for its interdisciplinary three-year doctoral program. The focus of the program is on the interface of traditional humanities and behavioral sciences with neurosciences. The application deadline is 15 January 2008. Please visit our website for more information on the structure of the Ph.D. program, participating researchers and institutions, admission requirements and the application process: http://www.mind-and-brain.de/ • Faculty positions at the University of Hong Kong, China Applications are invited for the tenurable appointments as (1) Chair/Professor (Ref.: RF-2007/2008-20) and as (2) Associate Professor/Assistant Professor (Ref.: RF-2007/2008-21) in the Department of Computer Science, from September 1, 2008. The posts will initially be made on a three-year fixed-term basis. Appointees who have demonstrated performance will be considered for tenure during the second three-year contract. For post (1), applicants should have an exceptional record of research that aligns with the University initiatives in information technology and bioinformatics. The Chair/Professor will be expected to maintain innovative research activities that will attract outstanding students and faculty; to provide leadership for Department research; and to acquire external funding. For post (2), applicants should be active and committed to research in theoretical computer science, bioinformatics, database, graphics, systems or computer security. Exceptional applicants in other research areas will also be considered. Review of applications will begin from end of December 2007 and continue until the positions are filled. Further enquiries regarding the positions can be sent to . Further details regarding the positions can be found on the department web page at http://www.cs.hku.hk/people/vacancies/. • Postdoctoral Research Fellow positions at DIMAP (University of Warwick) The Centre for Discrete Mathematics and its Applications (DIMAP), partly funded in the first five years by a major EPSRC initiative to strengthen discrete mathematics in the UK, has currently three postdoctoral research fellowships and a number of PhD studentships. We seek applications from individuals who wish to develop their research interests within the multidisciplinary environment of the Centre in the general areas of Discrete Mathematics, Theoretical Computer Science, and Mathematics of Operational Research. A separate postdoctoral research fellowship is available within ORMS of Warwick Business School, which has a more application orientation The fellowships are for £25,134 - £32,796 pa, with a fixed-term contract for up to 2 years. The closing date for applications is Friday 11 January 2008. For more information, see https://secure.admin.warwick.ac.uk/webjobs/jobs/research/job15644.html • Vacancies for PhD Research positions in computer science at UCL, Belgium Location: Université catholique de Louvain (UCL), Belgium The Université catholique de Louvain (UCL) invites applications for several open PhD research positions in the Department of Computing Science & Engineering (INGI), in the context of different research projects. A detailed list of all open positions, including research themes, sought profiles and expected durations, is available on the following web-site: <http://www.uclouvain.be/3996.html>. For more information on these applications, please contact Kim Mens () or the contact person mentioned for each position. • 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 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. • 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. • 1+1 year postdoctoral fellowship in algorithms, Georgia Tech (USA) 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 position is for one year and renewable for a second year. The teaching load will be at most 1 course per academic year. Interested candidates should send a CV, research statement, and request 3 letters of recommendation be sent to: Information on the center is available at: http://www.cc.gatech.edu/arc/. • 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/ • 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 • PhD student position in theoretical computer science, Kyoto (Japan) Eight funded PhD student positions are available in School of Informatics, Kyoto University, Kyoto, Japan. See http://www.i.kyoto-u.ac.jp/en/education/program.html. The eight positions are for all the informatics fields, but one or two are likely to be reserved for theoretical computer science. Succesful candidates will receive 220,000 yen per month scholarship, Economy-class round trip tickets and a Full tuition fee waiver. The dead line for application is Jan 10, 2008. For more information, see http://www.i.kyoto-u.ac.jp/en/education/program.html, or contact Professor Kazuo Iwama at (homepage http://www.lab2.kuis.kyoto-u.ac.jp/~iwama). • 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/. • 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 . • 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 . • 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 • Tenure Track position in Set Theory, Boise ID (U.S.A.) The Mathematics Department at Boise State University invites applications for a tenure-track position at the Assistant Professor level starting in August 2008. The position being filled is in the general area of Set Theory; workers in closely related areas may be considered. In order to support the Master's Program in Mathematics, preference may be given to people with strengths in other fields of Pure Mathematics, such as Algebra, Analysis, or Finite Combinatorics. Candidates must have an earned Ph.D. by the starting date, and strong evidence of both research potential and teaching ability. The department currently offers degrees in Mathematics, Applied Mathematics, and Mathematics Secondary Education as well as an MS in Education, Mathematics Emphasis, and an MS in Mathematics. Screening will begin January 15, 2008. For more information, see http://diamond.boisestate.edu/settheory07.html. • 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 (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. • 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), Ithaca NY (U.S.A.) The Ithaca College Department of Philosophy & Religion invites applications for a tenure-eligible Assistant Professor position, beginning August 16, 2008. AOS: logic or metaphysics; AOC: logic, history of philosophy, philosophy of language (the department also has an interest in candidates who are able to teach philosophy in film). Review of applications will begin on immediately and will continue until the position is filled. Preliminary interviews will take place at the APA Eastern Division meeting in Baltimore, MD, December 27-30, 2007. For more information, see http://www.icjobs.org/ or http://www.ithaca.edu/hs/depts/philrel/. • 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 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. • 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. • 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 • 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 • 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/ • 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 be50,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.

• 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

• 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

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

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

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

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

• 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

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

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

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

• 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

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

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

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

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

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

• 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

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

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

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

Miscellaneous

• New Books in the Library of Euclides

Location: Plantage Muidergracht 24, 1018 TV, Amsterdam

These new books are available in the library:

1. Handbook of spatial logics, (ed. Aiello, Van Benthem, Pratt-Hartmann), Springer, 2007.
2. Väänänen, Dependence logic, A new approach to independence friendly logic, Cambridge, 2007.

• New books in the Library

The following new books are available in the Library in the Euclides building:
1. Andretta, Set theory, recent trends and applications, 2005 (2006)
2. Ferreirós, Labyrinth of thought, a history of set theory and its role in modern mathematics, 2007 (2 ed)

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

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