News Archives 2007
These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Headlines Past Events
Headlines Calls for Paper
Headlines Past Conferences
Headlines MoL and PhD defenses
Headlines Projects and Awards
Headlines Funding, Grants and Competitions
Headlines Open Positions at ILLC
Headlines Open Positions, General
Headlines Past appointments
No Former Regular Events
20 December 2007, PROSE Colloquium, Cas CremersSpeaker: Cas CremersTitle: On the Protocol Composition Logic PCL.Location: Room 6.96, HG (Main Building), TU Eindhoven
20 December 2007, GLoRiClass Seminar, Valentin GorankoSpeaker: Valentin Goranko (University of the Witwatersrand)Title: Strategic commitment and revocability in logics for multi-agent systemsLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
17-19 December 2007, Sixteenth Amsterdam Colloquium 2007, AmsterdamLocation: AmsterdamDeadline: 1 September 2007
The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The spectrum of topics covered ranges from descriptive (syntactic and semantic analyses of all kinds of expressions) to theoretical (logical and computational properties of semantic theories, philosophical foundations, evolution and learning of language).
For more information, see
14 December 2007, ILPS Seminar, Martin ReynaertSpeaker: Martin Reynaert
(TU)Title: Automatic post-correction of OCR'ed Cultural Heritage corporaLocation: Room H3.20 (<em>changed</em>), Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-2.html#Dec14 .
14-15 December 2007, PALMYR-VI : Truth, Logic and Games, Amsterdam, the NetherlandsLocation: Amsterdam, the Netherlands
Truth, one might think, is at the heart of reasoning, and of logic. But logic has moved on from bivalence. - Witness intuitionistic, quantum and paraconsistent logics. Furthermore, truth itself is a philosophically sticky subject: The jury is still out as to whether it is nothing (as the view of the deflationist can be caricatured) or everything (including the basis for a theory of meaning, as the truth-conditional semanticist might hold). This movement away from a classical reliance on the received views on truth has, in logic, come accompanied with alternative (notably game-theoretical) semantics for logical languages.
We want to know what young researchers working on philosophical or technical issues related to contemporary theories of truth think about all this. Therefore we have decided that PALMYR VI will bring them together, along with two more experienced guest speakers, so that we can determine exactly that.
For more information, see http://www.illc.uva.nl/PALMYR/PALMYR-6/.
13 December 2007, GLoRiClass Seminar, Robin ClarkSpeaker: Robin Clark (Pennsylvania)Title: Equilibria, Games of Partial Information and the Evolution of DefaultsLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
12 December 2007, Logic, Language, and Reasoning Seminar, Robin ClarkSpeaker: Robin Clark (Pennsylvania)Title: The Neurobiology of QuantificationLocation: Room P.016, ILLC, Euclides Building, Plantage Muidergracht 24, Amsterdam
We examine the understanding of sentences containing a single quantifier. Subjects were asked to make truth value judgments of a sentence relative to a model (the latter presented visually), where each sentence contained a single quantifier which could be an Aristotelean (e.g., "all", "some", "no"), a cardinal determiner ("at least n", where n > 0), a parity determiner (e.g., "an even/odd number of") or a majority determiner (e.g., "more than half"). The judgment marshalled parts of the parietal lobe normally associated with number processing; furthermore, a neuroanatomical difference was noted between first order and higher order quantifiers. Based on these observations, we compared different populations---corticobasal degeneration (CBD) patients, fronto-temporal dementia (FTD) patients and Alzheimers (AZ) patients---with respect to their behavior on various types of quantifiers. The results suggest that understanding of sentences containing quantifiers crucially involves number sense.
For more information, see http://staff.science.uva.nl/~szymanik/LLR.html
12 December 2007, Computational Linguistics Seminar, Philipp KoehnSpeaker: Philipp Koehn (Edinburgh)Title: Linguistic Problems for Statistical Machine TranslationLocation: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam
Machine translation is more relevant than ever, especially in a European Union with 23 official languages. What will happen to languages such as Dutch? Will it survive as a language of commerce, or will it be abandoned in favour of English? By lowering translation costs, we would expect to systain the viability of a commercial zone that uses so many different languages. Statistical machine translation holds the promise of instant machine translation. Given open source tools such the Moses decoder, just add a parallel corpus and you have a machine translation system. This talk will present some problems where the standard phrase-based approach fails, and where attention to the specifics of the languages involved is required. I will present methods that deal with different word order, morphology and agglutinative compounding.
For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/
7 December 2007, GLoRiClass Seminar, Willemien KetsSpeaker: Willemien Kets (Tilburg University and Santa Fe Institute)Title: Beliefs in Network GamesLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
7 December 2007 2007, ILPS Seminar, Cees G.M. SnoekSpeaker: Cees G.M. Snoek (UvA)Title: Substituting Experts by Amateurs for Concept-based Video RetrievalLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-2.html#Dec7 .
7 December 2007, GLoRiClass Evaluation PresentationsLocation: P.327, Euclides Building, Plantage Muidergracht 24, AmsterdamSpeakers:
- 11:00-11:30 Cedric Degremont
- (designated supervisor: van Benthem)
Project title: Logic for Information and Interaction
- 11:30-12:00 Amelie Gheerbrant
- (designated supervisors: ten Cate, Väänänen)
Project title: Model-theoretic properties of fragments of second-order logic on restricted classes of structures
- 12:00-12:30 Marc Staudacher
- (designated supervisors: Dekker, van Rooij, Stokhof)
Project title: Convention, Cognition and Games
For more information, see http://www.illc.uva.nl/GLoRiClass/
4 December 2007, ACG Colloquium, Yde VenemaSpeaker: Yde VenemaTitle: Flat modal fixpoint logicsLocation: Room M279, CWI, Kruislaan 413, Amsterdam
30 November 2007, Colloquium on Mathematical Logic, Sonja SmetsSpeaker: Sonja SmetsTitle: An Abstract Dynamic-Logical Setting for Quantum MechanicsLocation: Room P.018, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan).
30 November 2007, DIP Colloquium, Charlotte WollermannSpeaker: Charlotte Wollermann (Bonn)Title: The Influence of Audiovisual Prosody on the Perception and Interpretation of Multimodal SpeechLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
29 November 2007, Logic Tea, Krzysztof Apt (IILC/CWI)Speaker: Krzysztof Apt (IILC/CWI)Title: How to Write an Article: Some SuggestionsLocation: <em>changed:</em> Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam
In this talk I shall go in detail into the writing process of a scientific article. In particular, I shall provide some suggestions how to organize the article, in what order to write its parts, how to organize and break down the proofs, how to link the results together, and what pitfalls to avoid.
The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).
23 November 2007, Colloquium on Mathematical Logic, Valentin ShehtmanSpeaker: Valentin Shehtman (was: Tatiana Yavorskaya)Title: More on completeness in first-order modal and intuitionistic logicLocation: Room 267, Bestuursgebouw, Heidelberglaan, Utrecht
(Bus 11 or 12 from Utrecht Central Station, stop 'AZU').
23 November 2007, Computational Social Choice Seminar, Andreas WitzelSpeaker: Andreas Witzel (ILLC)Title: A Generic Approach to Coalition FormationLocation: P-3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
23 November 2007, ILPS Seminar, Jana KludasSpeaker: Jana Kludas(Geneva)Title: Can Feature Information Interaction help for Information Fusion in
Multimedia Problems?Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-2.html#Nov23 .
22 November 2007, Logic Tea, Luc SegoufinSpeaker: Luc SegoufinTitle: Order invariance over finite structuresLocation: Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam
In this talk I will consider <-inv-FO, order-invariant first-order, over finite structures. <-inv-FO is the class of first-order formulas that use an extra predicate interpreted as a linear order, but such that the truthness of the formula does not depend on the choice of the linear order. Over arbitrary structures, it is a simple consequence of Craig Interpolation Theorem to show that <-inv-FO and FO have the same expressive power. Over finite structures it is possible to show that <-inv-FO express strictly more than FO. I will then show that over simple strucutres, such as words or trees, <-inv-FO=FO. To achieve this I will introduce and use an algebraic characterization of FO over trees.
The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).
22 November 2007, PROSE Colloquium, MohammadReza MousaviSpeaker: MohammadReza MousaviTitle: An Unaxiomatizability Meta-TheoremLocation: Room 6.96, HG (Main Building), TU Eindhoven
22 November 2007, GLoRiClass Seminar, Nicole ImmorlicaSpeaker: Nicole Immorlica (CWI)Title: The role of compatibility in the diffusion of technologies in social networksLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
22 november 2007, Spontaneity in Science and the Arts., KNAW, Kloveniersburgwal 29, Amsterdam, The NetherlandsLocation: KNAW, Kloveniersburgwal 29, Amsterdam, The Netherlands
Graham Birtwistle - Lecturer History of Arts, Vrije Universiteit Amsterdam
Jos Joosten - Professor Dutch Literature, Radboud Universiteit Nijmegen
Robbert Dijkgraaf - universiteitshoogleraar Mathematical Physics, Universiteit van Amsterdam
Peter Desain - Lecturer Neuroscience, Nijmeegs Institute for Cognition and Information (NICI), Radboud Universiteit Nijmegen
For more information, see http://www.knaw.nl/cfdata/agenda/agenda_detail.cfm?agenda__id=1114 or contact suzanne.wagenaar at bureau.knaw.nl.
16 November 2007, DIP Colloquium, Cornelia EndrissSpeaker: Cornelia Endriss (University of Osnabrück)Title: Intermediate Scope Readings as Embedded Speech ActsLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
16 November 2007, Colloquium on Mathematical Logic, Tatiana YavorskayaSpeaker: Tatiana Yavorskaya (was: Rostik Yavorsky)Title: Interacting explicit evidence systemsLocation: Room 267, Bestuursgebouw, Heidelberglaan, Utrecht
(Bus 11 or 12 from Utrecht Central Station, stop 'AZU').
16 November 2007, ILPS Seminar, Jan van den BusscheSpeaker: Jan van den BusscheTitle: A crash course in database queries, and how to treat queries as dataLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-2.html#Nov16 .
15 November 2007, Logic Tea, Erik RietveldSpeaker: Erik RietveldTitle: Situated and lived normativity: The normative aspect of embodied cognition in actionLocation: Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam
9 November 2007 2007, ILPS Seminar, Sebastian BlohmSpeaker: Sebastian Blohm
(University of Karlsruhe)Title: Harvesting Relations from the WebLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-2.html#Sep27 .
9-10 November 2007, Aesthetics and Mathematics, Utrecht, The NetherlandsLocation: 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 Jipke.Detrie at phil.uu.nl (for practical info) or Juliette.Kennedy at phil.uu.nl (otherwise). For reservations for the conference dinner on Friday 9 November, 7pm, please mail Jipke Detrie.
8-9 November 2007, RUC-ILLC Workshop on Deontic Logic, Roskilde University, DenmarkLocation: Roskilde University, DenmarkCosts: Travel Grants are available for PhD studentsDeadline: 1 August 2007
Roskilde University (Denmark) and ILLC would like to invite researchers and students to Denmark for a two-day workshop on deontic logic. The workshop will consist of presentations by PhD students as well as lectures by leading figures in the field.
Amongst the invited speakers are John F. Horty (University of Maryland), Kai von Fintel (MIT), Frank Veltman (ILLC) and Eric Pacuit (Stanford).
8 November 2007, "A Day of Mathematical Logic", ILLC, Amsterdam, The NetherlandsLocation: ILLC, Amsterdam, The Netherlands
A Day of Mathematical Logic satellite meeting to "Aesthetics and Mathematics"
Speakers: Wilfred Hodges (Queen Mary)
Roman Kossak (City Unversity New York)
Ieke Moerdijk (University Utrecht)
Bill Tait (University of Chicago)
Albert Visser (University Utrecht)
Hugh Woodin (University of California, Berkeley)
Boris Zilber (University of Oxford)
For more information, see http://www.phil.uu.nl/~iemhoff/beauty.html
7 November 2007, Varieties of deception, W. Künne (Hamburg)Speaker: W. Künne (Hamburg)Location: Room 101, Bungehuis, Spuistraat 210
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 (A.Betti at ph.vu.nl) if you wish to attend.
7 November 2007, GLoRiClass Seminar, Ho-Fung LeungSpeaker: Ho-Fung Leung (Hong Kong)Title: Risk strategies and risk
strategy equilibrium: an initial proposal of an alternative to trigger strategy
equilibrium in repeated gamesLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
3 November 2007, Recent Developments in the Semantics of Conditional SentencesSpeaker: Cleo Condoravdi, Stefan Kaufmann, Nicholas Asher, Michiel van Lambalgen, Fabrice Nauze, Katrin SchulzLocation: VOC zaal, Oost-Indischhuis, University of Amsterdam, Oude Hoogstraat 24, 1012 CE Amsterdam
For more information, see http://www.illc.uva.nl/dip/events.html#katrin-workshop or contact k.schulz at uva.nl
2 November 2007, Colloquium on Mathematical Logic, Denis BonnaySpeaker: Denis Bonnay (Paris)Title: Invariance, Definability and MonoidsLocation: 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 MarkakisSpeaker: Vangelis Markakis (CWI)Title: On the Complexity of Computing Approximately Envy-free AllocationsLocation: P-016 (<em>changed</em>), Euclides Building, Plantage Muidergracht 24, Amsterdam
2 November 2007, DIP Colloquium, CanceledSpeaker: Canceled (formerly Øystein Nilsen)
1 November 2007, Logic Tea, Ramasubramanian SharmaSpeaker: Ramasubramanian SharmaTitle: Hetvabhasa and Theory of Negation in Indian LogicLocation: Room 0.01, Philosophy Building, Nieuwe Doelenstraat 15, Amsterdam (<em>changed</em>)
1 November 2007, Language ChangeSpeaker: Theresa Biberauer, Hedde Zeijlstra, Cleo Condoravdi, Gertjan Postma, Suzanne Aalberse, Paul KiparskyLocation: Bungehuis 4.20, Spuistraat 210, Amsterdam
For more information, see http://www.illc.uva.nl/dip/events.html#hedde-workshop or contact Zeijlstra at uva.nl
26 October 2007, ILPS Seminar, Manos TsagiasSpeaker: Manos TsagiasTitle: Fast Fourier vs Symbolic representation of Time SeriesLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-2.html#Oct26 .
25 October 2007, Logic Tea, Simon KramerSpeaker: Simon Kramer (École Polytechnique)Title: The Intended and Actual Meaning of a Cryptographic Message and ProtocolLocation: 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 WeerdenburgSpeaker: Muck van WeerdenburgTitle: Structural Operational Semantics with First-Order LogicLocation: Room 6.96, HG (Main Building), TU Eindhoven
25 October 2007, GLoRiClass Seminar, Simon KramerSpeaker: Simon Kramer (Lausanne)Title: Towards Interactive Belief, Knowledge, and Provability: Possible Application to Zero-Knowledge ProofsLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
19 October 2007, DIP Colloquium, Ruth MillikanSpeaker: Ruth MillikanTitle: How children learn language without having a representational theory of mindLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
19 October 2007, Colloquium on Mathematical Logic, CanceledSpeaker: Canceled (formerly Alexandru Baltag)
18 October 2007, GLoRiClass Seminar, Vangelis MarkakisSpeaker: Vangelis Markakis (CWI)Title: Algorithms for Approximate Nash Equilibria in Bi-Matrix GamesLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
12 October 2007, DIP Colloquium, Petra HendriksSpeaker: Petra Hendriks (Center for Language and Cognition, Groningen)Title: Asymmetries in grammarLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
12 October 2007, Computational Social Choice Seminar, Ulle EndrissSpeaker: Ulle EndrissTitle: Introduction to Cake-Cutting ProceduresLocation: Room P.016 <em>(changed)</em>, Euclides Building, Plantage Muidergracht 24, Amsterdam
12 October 2007, Colloquium on Mathematical Logic, Valery PliskoSpeaker: Valery PliskoTitle: Primitive Recursive RealizabilitiesLocation: Room 267, Bestuursgebouw, Heidelberglaan, Utrecht
(Bus 11 or 12 from Utrecht Central Station, stop 'AZU').
12 October 2007, Workshop on "Learning Syntactic Structure"Location: P3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
On Friday, October 12th 2007, on the occasion of Yoav Seginer's PhD-defense, there will be workshop on "Learning Syntactic Structure"
10.00, Agnietenkapel, PhD defense Yoav Seginer
13.30, P3.27, lunch
14h00, P3.27, Alexander Clark, What makes languages learnable?
15h00 - 17h00, P3.27, discussion sessions (including coffee breaks)
For more information, see here
11 October 2007, Logic Tea, Wouter Koolen-WijkstraSpeaker: Wouter Koolen-WijkstraTitle: Discovering the Truth by Conducting ExperimentsLocation: Room P.016, Euclides Building, Plantage Muidergracht 24, Amsterdam
This talk is based on my MSc. Logic Thesis' research on learning from experiments. Its slogan is: Science progresses by the performing of experiments to evaluate hypotheses. I introduce a formal model of active learning in terms of information-theoretic games.
The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).
11 October 2007, GLoRiClass Seminar, Jouko VäänänenSpeaker: Jouko Väänänen (ILLC)Title: Dependence LogicLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
10 October 2007, Logic, Language and Reasoning Seminar, Bart GeurtsSpeaker: Bart GeurtsTitle: Scalar implicature and local pragmaticsLocation: Room 006, Institute of Linguistics OTS, Janskerkhof 13a., Utrecht
The Gricean theory of conversational implicature has always been plagued by data suggesting that what would seem to be conversational inferences may occur within the scope of operators like believe, for example - which for bona fide implicatures should be an impossibility. Concentrating my attention on scalar implicatures, I argue that, for the most part, such observations can be accounted for within a Gricean framework, and without resorting to local pragmatic inferences of any kind. However, there remains a small class of marked cases that cannot be treated as conversational implicatures, and they do require a local mode of pragmatic interpretation.
For more information contact Jakub Szymanik at szymanik at illc.uva.nl
5 October 2007, Colloquium on Mathematical Logic, Shingo SaitoSpeaker: Shingo SaitoTitle: Knot points of typical continuous functionsLocation: 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 MikulasSpeaker: Jan Hidders and Szabolcs MikulasTitle: Axiomatizing the Relational LatticeLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-2.html#Oct5 .
1-5 October 2007, Seventh International Tbilisi Symposium on Language, Logic and Computation, Tbilisi, GeorgiaLocation: Tbilisi, GeorgiaDeadline: 22 May 2007
The Seventh International Tbilisi Symposium on Language, Logic and Computation will be held on 1-5 October 2007 in the vicinity of Tbilisi, the capital of Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.
The symposium will feature three invited tutorials as well as several invited talks. Furthermore, up to 30 contributed papers can be accepted for presentation. Anybody who has attended one of the previous editions of this event can confirm that these symposia constitute an unforgettable experience.
The event is co-located with the Third Vienna-Tbilisi Summer School in Logic and Languages, 24-28 September 2007.
For more information, see http://www.illc.uva.nl/Tbilisi2007/.
28 September, Official opening of the new Academic-Cultural center SPUI25.Speaker: Rens Bod, Maarten Doorman, Nelleke NoordervlietLocation: Aula van de Universiteit van Amsterdam, Singel 411, Amsterdam
The official opening of the new academic-cultural center SPUI25 will be held Friday September 28th, at 17.00. SPUI25 is a platform for connecting the academic culture of the University of Amsterdam and the world of culture in general. Speakers are Nelleke Noordervliet, Rens Bod and Maarten Doorman.
For more information (dutch only), see http://www.uva.nl/actueel/object.cfm/187950C2-1321-B0BE-684777FDBB1543DC.
28 September 2007, DIP Colloquium, Evangelia VlachouSpeaker: 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½)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 SmetsSpeaker: Sonja SmetsTitle: Dynamic-Epistemic Quantum LogicLocation: 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 (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).
21 September 2007, DIP Colloquium, Yurie HaraSpeaker: Yurie Hara (Kyoto University; ILLC visiting fellow)Title: Questions are immediate issuesLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
20 September 2007, GLoRiClass Seminar, Tadeusz RadzikSpeaker: Tadeusz Radzik (Wrocław)Title: Theorems on the existence
of almost pure Nash equilibria in games with concave and convex payoff
functionsLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
14 September 2007, ILPS Seminar, Edgar MeijSpeaker: Edgar Meij
(UvA)Title: Thesaurus-Based Feedback to Support Mixed Search and Browsing EnvironmentsLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-2.html#Sep14 .
14 September 2007, Colloquium on Mathematical Logic, CanceledSpeaker: Canceled (formerly Sunil Simon)
14 September 2007, Workshop Optimality Theory and InterpretationLocation: 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 firstname.lastname@example.org, also saying whether you are joining in for lunch).
For more information, see here
13 September 2007, Computational Social Choice Seminar, Krzysztof AptSpeaker: Krzysztof AptTitle: Sequential Groves Mechanisms for Public Project ProblemsLocation: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
7 September 2007, CWI Lectures 2007, in honor of Paul VitanyiSpeaker: Andrew Yao (Beijing), Leonid Levin (Boston), Ming Li (Waterloo)Location: CWI, Kruislaan 413, 1098 SJ Amsterdam, Turing Lecture HallCosts: free (but registration required)
Paul Vitányi is one of the world's most distinguished researchers in the area of Kolmogorov complexity. His research deserves broad attention. To honor Paul and his research, CWI has invited three of the world's most important researchers in theoretical computer science: Andrew Yao (Turing award 2000), Ming Li (coauthor of 'Introduction to Kolmogorov Complexity and its Applications) and Leonid Levin (co-inventor of NP-completeness). Paul's research is the central theme of this afternoon.
For more information and registration, see http://www.cwi.nl/events/2007/cwilectures1.html/.
31 August 2007, Annual Boat TripLocation: Plantage Muidergracht 24, downstairs in the hall
We are happy to announce that the ILLC will (as usual) welcome its new Master students by having a boat trip in which you can see the city from another point of view, followed by an informal reception where there will be something to eat and to drink. This gathering will be a nice opportunity to meet with ILLC staff members and students.
The boat leaves at 16.30 hrs from the back of the Euclides building (Plantage Muidergracht 24), we request to gather at the front desk at 16.15 from where we will walk to the landing place of the boat. The boat will return at 18.00. Reception is from 18.00 - 19.30 at the ILLC, third floor of Euclides, Pl. Muidergracht 24
For more information, please contact tkassena at science.uva.nl
13 August 2007, Set theory meetingSpeaker: Peter Koepke, Joel David Hamkins, Luca Motto Ros, Brian Semmes, Ali EnayatLocation: 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 ikegami at science.uva.nl.
6-17 August 2007, ESSLLI-2007:
19th European Summer School in Logic, Language and Information, Dublin, IrelandLocation: Dublin, IrelandDeadline: 15 June 2007
The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.
The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2007 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).
The ESSLLI-2007 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 19th annual Summer School on a wide range of timely topics that have demonstrated their relevance in the fields of language & computation, language & logic, or logic & computation. Submissions should be submitted before June 15th, 2006 at http://www.folli.org/submission.php
For more information, see the ESSLLI website at https://www.cs.tcd.ie/esslli2007/.
5-9 August 2007, Workshop Logic, Rationality and InteractionDeadline: 15 April 2007
In the past decade it has become increasingly clear that studying information, first and foremost, means studying information exchange. This acknowledgement of the inherently social character of information shows up at many places in modern logical theories. More generally, information exchange is a form of interaction where agents act together in strategic ways. This new perspective has led to contacts between logic and game theory, bringing a new set of disciplines into the scope of logic: viz., economics, and the social sciences.
New interfaces are arising, such as epistemic studies of rational behavior in games. Another interesting development in this area is the rise of the notion of 'social software', the idea of using computational techniques for analyzing patterns of social behavior. And finally, interaction is also crucial to intelligent behavior in the field of natural language. Here pragmatics, the study of the actual use of language between different agents, has become the primary focus of research. Notions from game theory, in particular evolutionary games, are being used to-day to answer all kinds of pragmatic issues, for instance, how linguistic conventions can arise.
This workshop aims to bring together researchers working on these and related topics in logic, philosophy, computer science, and related areas in order to arrive at an integrated perspective on knowledge acquisition, information exchange, and rational action.
For more information, see http://www.illc.uva.nl/LORI/
3 August 2007, Colloquium on Mathematical Logic, Joel HamkinsSpeaker: Joel Hamkins (CUNY)Title: Boolean ultrapowersLocation: 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 ParisSpeaker: Jeff Paris (Manchester)Title: Rationality as conformityLocation: 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 SaberiSpeaker: Amin SaberiTitle: Approximation Algorithms for Fair Allocation of Indivisible GoodsLocation: CWI, Kruislaan 413, Amsterdam
2 July 2007, Meeting of the Minds, Euclides Building, ILLC, AmsterdamLocation: Euclides Building, ILLC, Amsterdam
29 June 2007, DIP Colloquium, Paul Egré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éSpeaker: Jeroen Groenendijk (ILLC), Paul Egré (CNRS)Title: An Afternoon of Raising Issues and Answering QuestionsLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
14.00-15.30: Jeroen Groenendijk, "Alternative Logical Semantics"
16.00-17.30: Paul Egré, "Embedded Questions Revisited: An Answer, not Necessarily"
For abstracts and more information, see http://www.illc.uva.nl/dip/.
26 June 2007, ACG Colloquium, Kostas ChatzikokolakisSpeaker: Kostas ChatzikokolakisTitle: An information-theoretic framework for anonymity and the problem of non-determinismLocation: Room M279, CWI, Kruislaan 413, Amsterdam
22 June 2007, RUC-ILLC Workshop on Formalizing Actions, Roskilde University, DenmarkLocation: Roskilde University, Denmark
In recent years formalizing actions has become a common theme in formal philosophy and philosophical logic. Understanding actions and agency is important for e.g. dynamic logic, deontic logic and epistemic logic. Actions might be seen as unique or as part of a more general theory of dynamic processes. In this workshop we bring together top researchers who formalize actions within dynamic logic, deontic logic, epistemic logic, formal decision theory, temporal logic - and any combination of these.
For more information, see http://akira.ruc.dk/~mamobe/actionworkshop.html.
20 June 2007, Logic, Language and Reasoning, Michiel van Lambalgen,Speaker: Michiel van Lambalgen,Title: Is probability theory useful in modelling human reasoning?Location: Room P.327, Plantage Muidergracht 24, Amsterdam
This seminar aims at bringing together researchers interested in human reasoning and language processing.
For more information, contact Jakub Szymanik at szymanik at science.uva.nl
18 June 2007, EmCAP Workshop on modeling music cognition, Universiteitstheater, Nieuwe Doelenstraat 16-18, AmsterdamLocation: 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 lsmith at science.uva.nl before Monday 11 June 2007.
15 June 2007, Colloquium on Mathematical Logic, Kamal LodayaSpeaker: Kamal Lodaya (Chennai, India)Title: Marking timeLocation: Room P.019, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan).
15 June 2007, ILPS Seminar, Valentin JijkounSpeaker: Valentin Jijkoun (UvA)Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-1.html#Jun15 .
14 June 2007, USCKI Incognito Symposium "P = NP, how hard can it be?", Went Blauw (Uithof), Utrecht UniversityLocation: Went Blauw (Uithof), Utrecht UniversityCosts: 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 TsarfatySpeaker: Reut TsarfatyTitle: Three-dimensional parametrization for parsing morphologically rich languagesLocation: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam
For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/
11 June 2007, Colloquium on Mathematical Logic, Yuri GurevichSpeaker: Yuri GurevichTitle: Zero-one Laws of Discrete MathematicsLocation: 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 ZvesperSpeaker: Joel Uckelman, Jonathan ZvesperLocation: 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 NouwenSpeaker: Rick Nouwen (UiL-OTS, Utrecht University)Title: A guide to <, >, ≤, and ≥ in natural languageLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
8 June 2007, Medieval Logic Reading Group, Sara UckelmanSpeaker: Sara UckelmanTitle: Modes of predication and syllogistic reasoning in the TrinityLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
For the final meeting of the Friday morning Latin reading group we're meeting on a Friday afternoon to have a presentation of the material that we've translated since last fall. Everyone is invited to attend this informal report on work in progress.
For more information, contact Sara at suckelma at illc.uva.nl
8 June 2007, ILPS Seminar, Krisztian BalogSpeaker: Krisztian Balog (UvA)Title: People Search in the EnterpriseLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-1.html#Jun8 .
6 June 2007, Presentations on "Advanced Topics in Recursion Theory"Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
The participants of Joel Hamkins' course "Advanced Topics in Recursion Theory" will be presenting their results on various interesting topics involving computability theory. There will be five short student presentations. All ILLC members and students are cordially invited.
For more information, see here.
5 June 2007, ACG Colloquium, Helle Hvid HansenSpeaker: Helle Hvid Hansen (VU/CWI)Title: Subsequential Transducers and CoalgebraLocation: Room M279, CWI, Kruislaan 413, Amsterdam
1 June 2007, Colloquium on Mathematical Logic, Piet RodenburgSpeaker: Piet Rodenburg (UvA)Title: Piecewise Initial Algebra SemanticsLocation: Room 202, Unnikgebouw, Utrecht
(Bus 11 or 12 from Utrecht Central Station).
1-2 June 2007, PALMYR-V : Dynamic Perspectives on Meaning, Ecole Normale Supérieure, ParisLocation: Ecole Normale Supérieure, Paris
Since the inception of linguistics, the mainstream of researchers considered language as a static system. The situation has changed dramatically over the last few decades as the interests of the scientific community shifted from studying meaning to studying the processes behind the production and comprehension of utterances. This dynamic turn gave a much wider perspective on meaning in the framework of formal semantics and opened the door for new mathematical tools in the conceptual foundations of linguistics. Modal logic, computability theory, game theory and many others have become standard tools for formal semanticists.
PALMYR V will bring together young researchers interested in these dynamic perspectives on language and meaning.
For more information, see http://www.illc.uva.nl/PALMYR/PALMYR-5/
1 June 2007, ILPS Seminar, canceledSpeaker: canceled (was: Loredana Afanasiev, UvA)
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-1.html#Jun1 .
30 May 2007, Computational Linguistics Seminar, Reinhard BlutnerSpeaker: Reinhard BlutnerTitle: Quantum probabilities, entanglement, and computational semanticsLocation: 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 WinterSpeaker: Yoad Winter (Computer Science, Israel Institute of Technology)Title: Multiple Coordination - Recursion and the Syntax-Semantics InterfaceLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
25 May 2007, ILPS Seminar, Rescheduled to June 8Speaker: Rescheduled to June 8 (was: Krisztian Balog and Edgar Meij)
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-1.html#May25 .
24 May 2007, Computational Social Choice Seminar, Jouko VäänänenSpeaker: Jouko VäänänenTitle: Dependence LogicLocation: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
23 May 2007, Logic Tea, Ulle EndrissSpeaker: Ulle EndrissTitle: Abstract models for dialogue protocolsLocation: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
23 May 2007, Computational Linguistics Seminar, Louis ten BoschSpeaker: Louis ten BoschTitle: the ACORNS-project: Acquisition of Recognition and Communication SkillsLocation: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
18 May 2007, Colloquium on Mathematical Logic, Dimitri HendriksSpeaker: Dimitri Hendriks (VU)Title: A calculus for deciding productivity of recursive stream definitionsLocation: Room E.015, Faculty of Economics, Roetersstraat 11, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan).
16 May 2007, Seminar "Logic, Language and Reasoning", Marian Counihan (ILLC UvA)Speaker: Marian Counihan (ILLC UvA)Title: "Logical premises and everyday language"Location: Room 3.27, ILLC, Plantage Muidegracht 24, Amsterdam
This is the second meeting of the seminar "Logic, Language and Reasoning" which aims at bringing together researchers interested in human reasoning. The talk by Marian Counihan will be from 4-5: the second half of the seminar is question time and discussion.
For more information contact Jakub Szymanik at szymanik at illc.uva.nl
11 May 2007, DIP Colloquium, Regine EckardtSpeaker: Regine Eckardt (Dept. of English Language and Literature, University of Gottingen)Title: Almost - A TheoryLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
10-11 May 2007, Workshop on Logics for Coalgebras, Euclides Building, Plantage Muidergracht 24, AmsterdamLocation: 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 apalmigi at science.uva.nl or Gaelle Fontaine at gfontain at science.uva.nl. Early expressions of interests are very welcome: if you plan to attend the meeting, please contact Alessandra.
9 May 2007, Computational Linguistics Seminar, Pieter AdriaansSpeaker: Pieter AdriaansTitle: The Power and Perils of MDLLocation: 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 HansenSpeaker: 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 EnayatSpeaker: Ali EnayatTitle: From fragments of arithmetic to large cardinals via Quine-Jensen set theoryLocation: 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 AmsterdamLocation: ILLC University of Amsterdam
Probabilistic methods are increasingly becoming an important tool in a variety of disciplines. These include computer science (probabilistic computation and automata, randomness), mathematics (probabilistic proofs), artificial intelligence (reasoning under uncertainty), epistemology (bayesian epistemology) and linguistics (probabilistic grammars). Of course, from the beginning, probabilistic and statistical methods have been heavily used in game theory and decision theory. Often separate to the discussion on applications of probabilistic methods is an important philosophical debate over the precise meaning of probabilistic and statistical statements. This debate often raises a number of issues crucial to understanding how to interpret results achieved using probabilistic methods.
We understand this conference as an interdisciplinary venue for researchers that use probabilistic and statistical methods in their respective fields and researchers that are concerned with the philosophical interpretation of probability and statistics to exchange ideas, approaches and techniques. Such a forum will facilitate discussions about the applicability of probabilistic methods and help ground foundational debates with concerns of practitioners of probabilistic methods.
For more information, see http://www.math.uni-bonn.de/people/fotfs/VI/
27 April 2007, DIP Colloquium, Carla UmbachSpeaker: Carla Umbach (Institute of Cognitive Science, University of Osnabrueck)Title: Focus in German Noun PhrasesLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
27 April 2007, Computational Social Choice Seminar, Joel UckelmanSpeaker: Joel UckelmanTitle: Preference Representation with Weighted Goals: Some Properties and an Application to VotingLocation: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
24 April 2007, ACG Colloquium, Clemens Kupke and Helle Hvid HansenSpeaker: Clemens Kupke (CWI/UvA) and Helle Hvid Hansen (CWI/VU)Title: Bisimulations for neighbourhood structuresLocation: Room M279, CWI, Kruislaan 413, Amsterdam
20 April 2007, ILPS Seminar, Balder ten CateSpeaker: 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, UtrechtLocation: 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 HellaSpeaker: Lauri HellaTitle: Constraint Satisfaction Problems and Quantifier Free Reductions
(Tram 9 from Central Station, to Plantage Badlaan).
19 April 2007, PROSE Colloquium, Bas LuttikSpeaker: Bas LuttikTitle: Branching Bisimulation Equivalence with Explicit DivergenceLocation: Room 6.96, HG (Main Building), TU Eindhoven
18 April 2007, An afternoon on intuitionistic logic, P015a, Euclides Building, Plantage Muidergracht 24, AmsterdamLocation: P015a, Euclides Building, Plantage Muidergracht 24, Amsterdam
Technical results on Intuitionistic Logic and Heyting Algebra by Gaelle Fontaine, Lex Hendriks, Joost Joosten, Nick Vaporis (phil. UU), Yde Venema, Fan Yang.
For more information, see http://staff.science.uva.nl/~gfontain/ipc/.
13 April 2007, DIP Colloquium, Cecile MeierSpeaker: Cecile Meier (Frankfurt)Title: The predicative analysis for PP resultatives revisitedLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
13 April 2007, Colloquium on Mathematical Logic, Bas SpittersSpeaker: Bas Spitters (RU)Title: Computable sets: Located and overt localesLocation: Room K11, Wiskundegebouw, Budapestlaan 6, Utrecht
(Bus 11 or 12 from Utrecht Central Station).
11 April 2007, Logic Tea, Eva WilhelmusSpeaker: Eva Wilhelmus (Bonn)Title: Formalizability and knowledge ascriptions in mathematical practiceLocation: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
10 April 2007, ACG Colloquium, Dave ClarkeSpeaker: Dave ClarkeTitle: Booking Holidays with Linear LogicLocation: Room M279, CWI, Kruislaan 413, Amsterdam
4-5 April 2007, Arithmetic Days: Models and Interpretations, Utrecht, The NetherlandsLocation: Utrecht, The Netherlands
A workshop organized by the Department of Philosophy, Utrecht University and the Institute for Logic, Language and Computation, University of Amsterdam, featuring Enayat, Engstrom, Kaye, Kennedy, Kossak, Ressayre, and Visser.
Venue Wednesday: Kromme Nieuwegracht 80
Venue Thursday: Drift 21
Organizers: Albert Visser (Utrecht) and Jouko Väänänen (Amsterdam)
For more information, see http://staff.science.uva.nl/~vaananen/ami
3 April 2007, Colloquium on Mathematical Logic, Yuri GurevichSpeaker: Yuri Gurevich (Microsoft research)Title: Why Sets?Location: Room 211, van Unnikgebouw, Utrecht
2 April 2007, Languages of Medicine, Prof. Barry SmithSpeaker: Prof. Barry SmithLocation: Van Unnikgebouw room 'Groen', De Uithof, Utrecht
Increasingly, medical science rests on biological discoveries about cells, genes and proteins. Increasingly, medical science rests on the processing by computers of large bodies of data deriving from new diagnostic techniques. But serious problems arise when biologists and clinical researchers need to communicate, and these problems are compounded wherever computers are involved. We will show how these problems overlap with some of the traditional concerns of the philosophy of language, and how philosophers are working with biomedical researchers to contribute to their solution.
Prof. Barry Smith is Julian Park Professor of Philosophy at SUNY in Buffalo, and Director of the Institute for Formal Ontology and Medical Information Science at the University of Saarbruecken. He is also Scientific Director of the European Centre for Ontological Research.
For more information, please contact rosja.mastop at phil.uu.nl
2 April 2007, Logic, Language and Reasoning, CanceledSpeaker: Canceled (was: Marian Counihan)
For more information, contact Fabian Battaglini at Fabian.Battaglini at let.uu.nl
30 March 2007, DIP Colloquium, Mana KobuchiSpeaker: Mana Kobuchi (UiL-OTS, Utrecht University)Title: Semantics of Individual-Denoting Classifiers and Its ConsequencesLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
30 March 2007, Colloquium on Mathematical Logic, Roman KossakSpeaker: Roman Kossak (CUNY)Title: Forcing in models of arithmetic
(Tram 9 from Central Station, to Plantage Badlaan).
30 March 2007, CSCA Lustrum Symposium, Felix Meritis (Teekenzaal), AmsterdamLocation: 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 info-mcs at uva.nl.
30 March 2007, ILPS Seminar, Vera HollinkSpeaker: Vera Hollink (UvA)Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-1.html#Mar30 .
28 March 2007, Logic Tea, Dennis BonnaySpeaker: 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. BramsSpeaker: Steven J. Brams (New York)Title: Divide-and-Conquer: A Proportional, Minimal-Envy Cake-Cutting ProcedureLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
27 March 2007, Schrijfclinic European Research Council Starting GrantLocation: Roetersstraat 11, Gebouw H, Agora, zaal Symposion
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 VillavecesSpeaker: Andres Villaveces (Bogotá)Title: Generic Predicates over Hilbert Spaces - (Continuous) Model Theory of PairsLocation: 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 AzzopardiSpeaker: Leif Azzopardi
(University of Glasgow)Title: Considering Incompleteness of Assessments in IR EvaluationLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-1.html#Mar23 .
21 March 2007, Computational Linguistics Seminar, Paul Boersma (joint work with Silke Hamann)Speaker: Paul Boersma (joint work with Silke Hamann)Title: The evolution of auditory contrastLocation: Room P3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
This paper reconciles the standpoint that language users do not aim at improving their sound systems with the observation that languages seem to improve their sound systems. Computer simulations of sibilant inventories show that Optimality-Theoretic learners who optimize their perception grammars automatically introduce a so-called prototype effect, i.e. the phenomenon that the learner's preferred auditory realization of a certain phonological category is more peripheral than the average auditory realization of this category in her language environment. In production, however, this prototype effect is counteracted by an articulatory effect that limits the auditory form to something that is not too difficult to pronounce. If the prototype effect and the articulatory effect are of a ifferent size, the learner must end up with an auditorily different sound system from that of her language environment. The computer simulations show that, independently of the initial auditory sound system, a stable equilibrium is reached within a small number of generations. In this stable state, the dispersion of the sibilants of the language strikes an optimal balance between articulatory ease and auditory contrast. This result has been derived from a model without goal-oriented elements.
For more information, please contact jzuidema at science.uva.nl
20 March 2007, ACG Colloquium, Pieter CollinsSpeaker: Pieter CollinsTitle: Formal languages and computable semantics for continuous mathematicsLocation: Room M279, CWI, Kruislaan 413, Amsterdam
16 March 2007, Colloquium on Mathematical Logic, Juliette KennedySpeaker: Juliette Kennedy (Helsinki)Title: Square-like principles, Arithmetic and Model TheoryLocation: Room K11, Wiskundegebouw, Budapestlaan 6, Utrecht
(Bus 11 or 12 from Utrecht Central Station).
16 March 2007, DIP Colloquium, Markus EggSpeaker: Markus Egg (Center for Language and Cognition, University
of Groningen)Title: Rhetorical QuestionsLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
16 March 2007, ILPS Seminar, Bouke Huurnink and Ork de RooijSpeaker: Bouke Huurnink and Ork de RooijTitle: Exploiting Text Retrieval Methods for Video Search
/ Dynamic Browsing Through Large Video CollectionsLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
This seminar will be shared between two speakers giving two different talks of 20 minutes plus questions each.
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-1.html#Mar16 .
15 March 2007, Logics for Dynamics of Information and Preferences - Special Working sessions, François Lepage (Universite de Montreal)Speaker: François Lepage (Universite de Montreal)Title: Belief Revision, Backgrounds, and CounterfactualsLocation: P3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
There are two very different ways to represent the dynamics of belief. One is the well known conditionalization: An agent whose belief function is represented by a probability function Pr(X) shifts to Pr(X ∧ A)/Pr(A) after discovering that A is the case. An other kind of dynamics is associated with the evaluation of a counterfactual: Pr(A > B) = Pr_A(B) where Pr_A is obtained from Pr by some minimal change to obtain Pr _A(A) = 1. This is Imaging as introduced by David Lewis.
After a characterization of Lewis imaging, we ask the question of the possibility of extending imaging to the general framework of conditional probability functions, i.e. of the possibility of defining - given that conditional probability function Pr(X, Γ) is the primitive notion - Pr(A > B,Γ) using imaging. We show that there is no simple and intuitive way to do so.
For more information, see http://staff.science.uva.nl/~oroy/Working_sessions/
14 March 2007, Logic Tea, CanceledSpeaker: Canceled (was: Wouter Koolen-Wijkstra)
9 March 2007, ILLC-ACLC afternoon on "Language Evolution"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 PeekSpeaker: Hylke Buisman, Gijs Kruitbosch and Nadya PeekTitle: A Simulation Platform for Distributed Multiagent Resource AllocationLocation: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
2 March 2007, Colloquium on Mathematical Logic, Juha KontinenSpeaker: Juha Kontinen (Helsinki)Title: Majority in logic and computationLocation: <em>changed:</em>
Room P.019, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan).
2 March 2007, DIP Colloquium, Tamas BiroSpeaker: Tamas Biro (ACLC/UvA)Title: Finding the Right Words - Implementing Optimality Theory with Simulated AnnealingLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
2 March 2007, ILPS Seminar, Victor de BoerSpeaker: Victor de Boer (UvA)Title: Ontology enrichment from heterogeneous sources using redundancyLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-1.html#Mar2 .
1 March 2007, Computational Social Choice Seminar, Ulle EndrissSpeaker: Ulle EndrissTitle: Vote Manipulation in the Presence of Multiple Sincere BallotsLocation: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
28 February 2007, Logic Tea, Tiago de LimaSpeaker: Tiago de Lima (Institut de Recherche en Informatique de Toulouse (IRIT))Title: A tableau method for public announcement logicsLocation: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
27 February 2007, HAI-Tea, Pieter AdriaansSpeaker: Pieter AdriaansTitle: The Power and Perils of MDLLocation: Room C210, Roeterseiland, Nieuwe Achtergracht 127, Amsterdam
In this lecture I will present some recent work I did with Paul Vitanyi and Ceriel Jacobs on the application of the MDL (Minimum Description Length) principle to grammar induction. We have studied MDL in terms of two-part code optimization and randomness deficiency. These notions will be explained in the lecture. In this framework we showed that: 1) Shorter code not necessarily leads to better theories, e.g. the randomness deficiency does not decrease monotonically with the MDL code, 2) contrary to what is suggested by the results of Gold:1967 there is no fundamental difference between positive and negative data from an MDL perspective, 3) MDL is extremely sensitive to the correct calculation of code length. Using these ideas we have implemented a MDL variant of the EDSM algorithm. The results show that although MDL works well as a global optimization criterion, it falls short of the performance of algorithms that evaluate local features of the problem space. MDL can be described as a global strategy for featureless learning.
For more information, see http://homepages.cwi.nl/~paulv/papers/perils.pdf and http://staff.science.uva.nl/~pietera/ALS/background/lncs_icgi-mdl.pdf.
For more information on HAI-Tea lectures, see http://www.science.uva.nl/onderwijs/studieprogramma/haitea/.
23 February 2007, ILPS Seminar, Bart BrinkmanSpeaker: Bart Brinkman (iBroadcasting.nl)Title: How to make iBroadcasting.nl fast?Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-1.html#Feb23 .
22 February 2007, FNWI site visitLocation: 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 MandjesSpeaker: Michel MandjesTitle: Competition for scarce resources: where queueing theory meets game theoryLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
20 February 2007, ACG Colloquium, Mehdi DastaniSpeaker: Mehdi DastaniTitle: 2APL: A Practical Agent Programming LanguageLocation: Room M279, CWI, Kruislaan 413, Amsterdam
19 February 2007, Forum voor Europese Cultuur, Prof. dr. Dirk van DalenSpeaker: Prof. dr. Dirk van DalenTitle: L.E.J. Brouwers Revolutie - 1907, Van mystiek naar wiskundeLocation: Felix Meritis, AmsterdamCosts: 10 euro; studenten 7,50 euro
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.
19 February 2007, Maagdenhuis op Maandag, Jan van EijckSpeaker: Jan van EijckTitle: Is collectief rationeel handelen mogelijk?Location: Maagdenhuis, Spui 21, Amsterdam
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.
16 February 2007, Colloquium on Mathematical Logic, Ronald de WolfSpeaker: Ronald de Wolf (CWI)Title: Quantum proofs for classical theoremsLocation: Room 032, Ruppertgebouw, Leuvenlaan, entrance 'educatorium', Utrecht
(Bus 11 or 12 from Utrecht Central Station).
16 February 2007, ILPS Seminar, Khalid MahboobSpeaker: Khalid Mahboob (UvA)Title: Machine learning for QA from tabular dataLocation: 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 BonzonSpeaker: Elise BonzonTitle: Boolean GamesLocation: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
15 February 2007, GLoRiClass Seminar, Brian SemmesSpeaker: Brian SemmesTitle: Games, trees, and Borel functionsLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
14 February 2007, Logic Tea, Patrick GirardSpeaker: Patrick GirardTitle: Ceteris Paribus Clauses: Normal or Equal?Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
12 February 2007, Logic, Language and Reasoning, Jakub SzymanikSpeaker: Jakub SzymanikTitle: A comment on a neuroimaging study of natural language quantifier comprehensionLocation: 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 NetherlandsLocation: Trippenhuis, Amsterdam, The NetherlandsTarget 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"
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.
Rens Bod, ILLC, University of Amsterdam, NL.
Ian Cross, Centre for Music & Science, Faculty of Music, University of Cambridge, UK
Rokus de Groot, Faculty of Music, University of Amsterdam, NL
Pieter Adriaans, University of AmsterdamÂ¸ N
Henkjan Honing, ILLC, University of AmsterdamÂ¸ N
Since the workshop will be at a private address, please contact Neta at ns319 at cam.ac.uk for further information.
5-7 February 2007, KNAW Academie Colloquium "New perspectives on Games and Interaction", KNAW, AmsterdamLocation: KNAW, AmsterdamDeadline: 29 November 2006
Recently, the dynamic and interactive aspects of logical reasoning, communication, and information processing have become central in logic, linguistics and computer science. It is the interplay of many actors with goals and preferences, whether human or computational, which underlies their core tasks. To account for these interactive aspects, the notion of a 'game' as a mathematical model of strategic interaction between players with their own preferences on the possible outcomes has proved to be important in all those disciplines.
The purpose of this colloquium is to encourage these incipient interactions between the various disciplines thinking about games and interaction, and clarify their common concerns and potential for fruitful collaboration. The colloquium will be organized as an Academie Colloquium of the Royal Acedemy of the Netherlands (KNAW) and will consist of fifteen invited talks by international speakers that cover various aspects of games in logic, computer science, economics, and linguistics. Each talk will be followed by a commentary and discussion.
For more information, see http://www.illc.uva.nl/KNAW-AC/
2 February 2007, Colloquium on Mathematical Logic, Rosalie IemhoffSpeaker: Rosalie Iemhoff (Utrecht)Title: Skolemization and Herbrand's theoremLocation: Room 032, Ruppertgebouw, Leuvenlaan, entrance 'educatorium', Utrecht
(Bus 11 or 12 from Utrecht Central Station).
2 February 2007, Diamant/Eidma Cryptography Working Group, ILLC, AmsterdamLocation: 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, CanceledSpeaker: Canceled (formerly Taco Ekkel and Boaz Leskes)
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-1.html#Feb2 .
1 February 2007, GLoRiClass Seminar, CanceledSpeaker: Canceled (formerly Michel Mandjes)
31 January 2007, Logic Tea, Hans van DitmarschSpeaker: Hans van DitmarschTitle: Arbitrary announcement logicLocation: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
26 January 2007, ILPS Seminar, CanceledSpeaker: Canceled (formerly Arjé Cahn)
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-1.html#Jan26 .
25 January 2007, GLoRiClass Seminar, Nicola DimitriSpeaker: Nicola DimitriTitle: Last Minute Bidding Equilibria in e-Bay AuctionsLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
19 January 2007, Colloquium on Mathematical Logic, Tim BaarslagSpeaker: Tim Baarslag (Utrecht)Title: Limitations of primitive recursive algorithmsLocation: Room 032, Ruppertgebouw, Leuvenlaan, entrance 'educatorium', Utrecht
(Bus 11 or 12 from Utrecht Central Station).
19 January 2007, ILPS Seminar, Marc van den BergSpeaker: Marc van den Berg(UvA)Title: The Digital Library: understanding it's usage, improving it's
functionalityLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar07-1.html#Jan19 .
18 January 2007, GLoRiClass Seminar, Tijmen DanielsSpeaker: Tijmen DanielsTitle: Social Choice and the Logic of Simple GamesLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
Calls for Paper
10-15 August 2008, International Joint Conference on Automated Reasoning (IJCAR 2008), Sydney, AustraliaLocation: Sydney, AustraliaDeadline: 17 December 2007
IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning, and is a merger of leading events CADE, FroCoS, FTP and TABLEAUX. IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions and invited talks. There will be two days of workshops and tutorials, 10th and 11th August, and the conference 12th to 15th August.
For more information, see http://2008.IJCAR.org/
IJCAR 2008 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited (deadline for paper registration: 22nd February 2008), as well as workshop and tutorial proposals (deadline for proposal submissions: 17th December 2007).
4-15 August 2008, ESSLLI-2008:
20th European Summer School in Logic, Language and Information, Hamburg, GermanyLocation: Hamburg, GermanyDeadline: 2 July 2007
The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.
The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2008 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).
The ESSLLI 2008 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 20th annual Summer School on a wide range of timely topics that have demonstrated their relevance in the fields of language & computation, language & logic, or logic & computation. Submissions should be submitted before July 2nd, 2007 at http://www.folli.org/submission.php
For more information, see or the ESSLLI website at http://www.illc.uva.nl/ESSLLI2008/the full Call for Proposals at here or
13-18 July 2008, WCP4, The Fourth World Congress of Paraconsistency, Melbourne, AustraliaLocation: Melbourne, AustraliaDeadline: 15 December 2007
The conference will focus on all areas related to paraconsistency, especially
* Systems of paraconsistent logic
* Inconsistent mathematics
* Paraconsistency and information processing
* Paraconsistency and the philosophy of mathematics
* Paraconsistency and the philosophy of science
* Paraconsistency and the philosophy of logic
We invite submission of an abstract of no more than one page (250 words) by December 15. Email your submission to wcp4-submission at unimelb.edu.au. Text or PDF are preferred formats for submission, MS Word is acceptable.
10-13 July 2008, Music and Language II, Tufts University, Boston, USALocation: Tufts University, Boston, USADeadline: 1 December 2007
This conference follows the successful conference on Music and Language held at Cambridge University in summer 2007. The conference will be held at Tufts University Perry and Marty Granoff Music Center. We will be honoring Ray Jackendoff and Fred Lerdahl on the occasion of the 25th Anniversary of their seminal work, "A Generative Theory of Tonal Music".
For more information, see http://musicandlanguage.tufts.edu/
We invite participants and presenters from all fields (music, psychology, linguistics, cognitive science, anthropology, etc.). Paper and poster submissions will be due by December 1, 2007. Further details about the conference and the paper/poster submission form will be available shortly on our website at: go.tufts.edu/musicandlanguage
18-21 June 2008, 7th Congress of the International Society for the History of Philosophy of Science (HOPOS-2008), Vancouver BC, CanadaLocation: Vancouver BC, CanadaDeadline: 15 December 2007
The International Society for the History of Philosophy of Science (HOPOS) will hold its seventh international congress in Vancouver, Canada, June 18-21, 2008. The conference is open to scholarly work on the history of philosophy of science from any disciplinary perspective.
For more information, see http://www.hopos.org/hopos2008
Submissions of abstracts of papers of approximately 25-30 minutes' reading length, and of symposia of three to four thematically related papers will be considered for the program. All submissions must be received by 15 December 2007.
7-12 June 2008, 3rd International Computer Science Symposium (CSR 2008), Moscow, RussiaLocation: Moscow, RussiaDeadline: 9 December 2007
CSR 2008 is the third conference in a series of regular events started with CSR 2006 in St.Petersburg (see LNCS 3967) and CSR 2007 in Ekaterinburg (see LNCS 4649). It intends to reflect the broad scope of international cooperation in computer science. CSR 2008 consists of two tracks: Theory Track and Applications and Technology Track.
Authors are invited to submit an extended abstract or a full paper of at most 10 pages. Papers must present original (and not previously published) research. Deadline: December 9, 2007.
3-7 June 2008, 17th European Symposium for Medieval Logic and Semantics (XVII ESMLS): "Rise and Development of Supposition Theory", Leiden, The NetherlandsLocation: Leiden, The NetherlandsDeadline: 1 October 2007
After L.M. de Rijk's monumental Logica Modernorum of 1962 and 1967, many important texts and interpretations have been brought forward. It is time to look with fresh eyes at the rise and development of supposition theory, especially its early phase.
Call for Papers: You are kindly invited to consider your participation to the symposium, be it as speaker or non-speaker. I kindly invite all participants to send me no later than October 1st 2007 the title of their paper.
12-18 May 2008, 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2008), Estoril, PortugalLocation: Estoril, PortugalDeadline: 5 November 2007
AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The aim of the conference is to provide a single, high-profile, internationally respected archival forum for research in all aspects of the theory and practice of autonomous agents and multi-agent systems.
For more information, see http://gaips.inesc-id.pt/aamas2008/.
AAMAS-2008 encourages the submission of theoretical, experimental, methodological, engineering and application papers across a broad range of agent topics. A list of topics is available at the conference website. Deadline for submissions is October 23, 2007.
25-29 April 2008, Theory and Applications of Models of Computation (TAMS 2008), Xi'an, ChinaLocation: Xi'an, ChinaDeadline: 10 November 2007
The three main themes of the conference TAMC08 (the 5th in an annual series) will continue to be Computability, Complexity, and Algorithms. It aims to bring together researchers with an interest in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.
For more information, see http://ictt.xidian.edu.cn/tamc2008/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is Nov. 10, 2007.
10-12 April 2008, Sydney-Tilburg Conference on "Reduction and the Special Sciences", TilburgDeadline: 15 November 2007
Science presents us with a variety of accounts of the world. While some of these accounts posit a deeper theoretical structure and fundamental entities, others do not. But which of these accounts is the right one? How should science conceptualize the world? And what is the relation between the various accounts?
Opinions on these issues diverge wildly in philosophy of science. At one extreme are reductionists who argue that higher-level theories should, in principle, be incorporated in or eliminated by the basic level theory. Higher-level theories do not ultimately exhibit conceptual integrity or provide genuine explanations. At the other extreme are pluralists who take higher levels of description and explanation seriously and argue for their independence and indispensability. Our goal in this conference is to bring together representatives from as many viewpoints as possible in order to advance our understanding of this problem. We invite case studies from the natural, social and behavioural sciences as well as discussions of philosophical models of intertheoretic relations.
For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/RSS2008/
We invite submissions of papers of up to 3000 words by 15 November 2007. Decisions will be made by 15 January 2008.
7-11 April 2008, 8th Latin American Theoretical Informatics (LATIN 2008), Rio de Janeiro, BrazilLocation: Rio de Janeiro, BrazilDeadline: 21 September 2007
LATIN was launched in 1992 to foster the interaction between the Latin-American community and computer scientists around the world. LATIN'08 will be the eighth of a series.
For more information, see http://www.latin08.org/
We seek papers presenting original research on theoretical computer science. Submission deadline is September 21, 2007.
13-19 March 2008, 2nd International Conference on Language and Automata Theory and Applications (LATA 2008), Tarragona, SpainLocation: Tarragona, SpainDeadline: 23 November 2007
LATA is a yearly conference in Computer Science and it intends to become a major yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that is being developed at the host institute since 2001, it will reserve significant room for young computer scientists at the beginning of their career. LATA will aim at attracting scholars from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).
15-17 February 2008, Conference "Because", Geneva, SwitzerlandLocation: Geneva, SwitzerlandDeadline: 1 December 2007
The Department of Philosophy of the University of Geneva and the Genevan centre of metaphysics EIDOS organize a conference entitled "Because", which will take place from the 15th to the 17th of February 2008 in Geneva. This three-day conference will be devoted to the topic of non-causal explanatory links.
We welcome submissions on the topic of the conference for 60 minute talks followed by a 30 minute discussion. The language of the conference is English. Submission deadline is December 1st, 2007.
22-25 January 2008, Computing: The Australasian Theory Symposium (CATS 2008), University of Wollongong, New South Wales, AustraliaLocation: University of Wollongong, New South Wales, AustraliaDeadline: 15 August 2007
The 14th Computing: The Australasian Theory Symposium (CATS) will be held at the University of Wollongong, New South Wales, Australia, during January 22-25, 2008. Wollongong is about an hour south of Sydney by train. CATS is one of the two premier annual conferences in theoretical computer science in the Asia-Pacific.
For more information, see http://uob-community.ballarat.edu.au/~pmanyem/cats-08/
Authors are invited to submit papers that present original and unpublished research on topics including (but not limited to) the following areas: Algorithms and Data Structures, Complexity Theory, Graph Theory, Graph Algorithms and Combinatorics, Semantics of Programming Languages, Algorithms on Strings, Optimisation, Formal Program Specification and Transformation, Computational Algebra and Geometry, Computational Biology, Logic and Type systems, and New Paradigms of Computation.
The deadline for submission of papers will be sometime in August 2007. Submissions should be made electronically via http://www.easychair.org/CATS2008/ . Submitted papers will be thoroughly refereed and accepted papers will appear in the electronic proceedings at http://crpit.com.
19-20 January 2008, Cambridge Graduate Conference on the Philosophy of Logic and Mathematics, Cambridge, U.K.Location: Cambridge, U.K.Deadline: 19 October 2007
The Philosophy Faculty of Cambridge University is pleased to announce its first graduate conference on the Philosophy of Logic and Mathematics. The conference will be held in The Fisher Building of St. John's College, Cambridge (CB2 1TP).
The conference website is: http://www.phil.cam.ac.uk/news_events/camgradphilconf.html. If you have any further questions, please contact the conference organizers, Tim Button and Luca Incurvati, at: cam.phil.grad.conf at googlemail.com.
We invite papers from graduate students, or those who have recently completed their PhD, on any topic in the Philosophy of Logic and Mathematics, broadly construed. Papers will have respondents, and will be followed by open discussion. The deadline for receipt of submissions is 19th October 2007.
2-4 January 2008, 10th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, FloridaLocation: Fort Lauderdale, FloridaDeadline: 1 October 2007
The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This is the tenth Symposium in the series, which is sponsored by Annals of Mathematics and Artificial Intelligence. We seek submissions of recent results with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions (including sessions on "Logic in AI" and "Computation and Social Choice").
For more information, see http://isaim2008.unl.edu/.Paper Submission Deadline: Monday 1 October 2007.
17-19 December 2007, 3rd Indian International Conference on Artificial Intelligence (IICAI-07), Pune, IndiaLocation: Pune, IndiaDeadline: 9 April 2007
The 3rd Indian International Conference on Artificial Intelligence (IICAI-07) will be held in Pune, INDIA during December 17-19 2007. IICAI-07 is one of the major AI events in the world. This conference focuses on all areas of AI and related fields. Please visit on the conference website for more details.
For more information, see http://www.iiconference.org/
We invite paper submissions. Paper submission deadline is extended to April 9 2007
15-17 December 2007, The Eighth Asian Symposium on Computer Mathematics (ASCM 2007), SingaporeLocation: SingaporeDeadline: 31 August 2007
The Asian Symposium on Computer Mathematics (ASCM) is a series of conferences which serves as a forum for participants to present original research, learn of research progress and developments, and exchange ideas and views on doing mathematics using computers. ASCM 2007 will consist of invited talks, regular sessions of contributed papers, and software demonstrations.
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, PortugalLocation: Algarve, PortugalDeadline: 13 July 2007
The IADIS CELDA 2007 conference aims to address the main issues concerned with evolving learning processes and supporting pedagogies and applications in the digital age. There have been advances in both cognitive psychology and computing that have affected the educational arena. The convergence of these two disciplines is increasing at a fast pace and affecting academia and professional practice in many ways. This conference aims to cover both technological as well as pedagogical issues related to these developments.
For more information, see http://www.celda-conf.org/The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 13 July 2007.
5-7 December 2007, "Mathematical Aspects of Computer and Information Sciences" MACIS 2007, Paris, FranceLocation: Paris, FranceDeadline: 1 November 2007
Mathematical Aspects of Computer and Information Sciences (MACIS) is a new series of conferences where foundational research on theoretical and practical problems of mathematics for computing and information processing may be presented and discussed. MACIS also addresses experimental and case studies, scientific and engineering computation, design and implementation of algorithms and software systems, and applications of mathematical methods and tools to outstanding and emerging problems in applied computer and information sciences.
Each conference focuses on two or three themes. The themes for MACIS 2007 are: Computational Geometry and Computer Aided Geometric Design, Polynomial System Solving and Algorithms and Complexity
For more information, see http://www-spiral.lip6.fr/MACIS2007/
Potential participants of MACIS 2007 are invited to submit extended abstracts (3-4 pages) or full papers describing their work to be presented at the conference. Deadline for extended abstract submission: November 1, 2007
29-30 November 2007, 5th Workshop on "Methods for Modalities" (M4M-5), Cachan, FranceLocation: Cachan, FranceDeadline: 7 September 2007
The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.
To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations.
For more information, see http://m4m.loria.fr/M4M5
The Programme Committee cordially invites all researchers to submit their papers for presentation. We strongly encourage young researchers and students to submit papers and posters, especially for experimental and prototypical software tools which are related to modal logics. Submission deadline is September 7th, 2007.
3-5 November 2007, Infinity in Logic and Computation (ILC07), Cape Town, South AfricaLocation: Cape Town, South AfricaDeadline: 6 August 2007
The conference on Infinity in Logic & Computation is the first conference in South Africa that focuses on infinity in automata theory, logic, computability and verification. One purpose of this conference is to catalyse new interactions among local and international researchers and to expose postgraduate students to recent research trends in these fields.
The conference will be organised at the University of Cape Town co-located with the 50th Annual Congress of the South African Mathematical Society (SAMS) that takes place from 31 October until 2 November 2007. We plan to organise a summer school on Logic & Computation directly following the conference from 6-9 November 2007. This summer school is intended for postgraduate students and other interested participants.
For more information, see http://www.mth.uct.ac.za/FACS-Lab/ILC07/
Authors are invited to submit abstracts of at most one page in pure text or PDF format. Since acceptance of the abstract for presentation does not constitute a publication, it is permissible to submit talks on published results, survey talks or expository talks. Deadline: 6 August 2007.
1-4 November 2007, 18th Novembertagug on History, Philosophy and Didactics of Mathematics, Bonn, GermanyLocation: Bonn, GermanyDeadline: 1 September 2007
The meeting aims at bringing together young researchers in the history, philosophy and didactics of mathematics or related fields from all over Europe, especially PhD students and PostDocs, to exchange their results and discuss work in progress. This year's theme, Mathematical practice & development throughout history, offers a wide scope for contributions, providing the opportunity of interaction between historians, philosophers, and researchers in the didactics of mathematics. It allows for a variety of conceptions of mathematics, and for a combination of different research methods used in history, philosophy and didactics.
Our invited guest speaker will be Leo Corry from the University of Tel Aviv.
The deadline for participant registration is September 1st. For more information, see http://www.novembertagung.uni-bonn.de/.as well as for submission of contributed papers
22 October 2007, 1st international workshop on Game theory in Communication networks (GAMECOMM'07), Nantes, FranceLocation: Nantes, FranceDeadline: 5 May 2007
The Workshop on Game theory in Communication networks (GameComm) is a one-day event held in conjunction with the Second International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'07 <http://www.valuetools.org/>).
Game theoretic approaches have been recently used to gain an understanding of the behavior of various systems in communication networks. Specifically, game theoretic models have helped understand Internet pricing, flow and congestion control, and routing. Application of game theory to communication networks has brought together researchers from a variety of disciplines, such as computer science, queueing, and optimal control.
This workshop is aimed at bringing together researchers, who are applying game theory to analyzing, designing, and assessing the performance of networks. The objective is to generate discussion of best practices in modeling, as well as limitations of game theory as a performance assessment and design tool for networks. Both the application of game theory to networking problems and the development of new game-theoretic methodologies that can be applied in that context are of interest.
For more information, see http://www.game-comm.org/
The GameComm 2007 workshop seeks papers describing significant research contributions to the field of game theory applied to networks. Submission Deadline: May 5th, 2007 Selected papers will be published in a special issue of "Performance Evaluation", and others for fast track publication in "Discrete Event Dynamic Systems"
19-21 October 2007, International Conference on Quotation and Meaning (ICQM), Mainz, GermanyLocation: Mainz, GermanyDeadline: 15 June 2007
Quotation is a sort of metarepresentation that is found in all natural languages. Linguistic research has made clear that in quotation, there are complex syntactic, morphological and graphematic mechanisms at work. In philosophy of language, there are long-standing debates on quotation and paradoxes, on the use-mention distinction, and the meaning of quotation marks and quotation expressions. More recently, quotation has become a topic within the debate on the semantics/pragmatics distinction.
For more information, see http://www.zitatundbedeutung.uni-mainz.de/eng/icqm.php or contact Markus Steinbach at steinbac at uni-mainz.de.
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, RomaniaLocation: Craiova, RomaniaDeadline: 15 April 2007
Intelligent computing is a quite mature field of information and communication technology covering a hybrid palette of methods and techniques derived from classical artificial intelligence, computational intelligence, multi-agent systems a.o. Intelligent computing is generally known to be computationally intensive from the point of view of resources required: time, memory, bandwidth. As this is usually thought to be a drawback, distributed computing is expected to give an impetus to its practical applications. Moreover, intelligent techniques have also proved their usefulness to core distributed computing technologies like: planning & scheduling, load balancing, replication, resource allocation and management, etc. Therefore, the emergent field of intelligent and distributed computing is expected to pose new challenges of adaptation and fruitful combination of both areas. The aim of this symposium is to bring together researchers involved in intelligent and distributed computing to allow cross-fertilization and synergy of ideas and to enable advancement of researches in the field.
For more information, see http://software.ucv.ro/~badica_costin/idc2007/
The symposium welcomes submissions of original papers concerning all aspects of intelligent and distributed computing ranging from concepts and theoretical developments to advanced technologies and innovative applications. Submission deadline is April 15, 2007.
15-19 October 2007, 14th International Conference on Logic for Programming
Artificial Intelligence and Reasoning (LPAR 2007), Yerevan, ArmeniaLocation: Yerevan, ArmeniaDeadline: 4 June 2007
Deadline for registration: 2007
For more information, see http://www.lpar.net/2007/
Submission of papers for presentation at the conference is now invited. Submission deadline is 4 June 2007.
11-13 October 2007, Models and Simulations 2, Tilburg, the NetherlandsLocation: Tilburg, the NetherlandsDeadline: 15 April 2007
Computer simulations play an important role in many scientific contexts, and they are often based on a particular model of the phenomenon under investigation. This raises questions both about the nature and methodology of simulations themselves, as well as their relations to models. These issues have recently attracted some attention, and were also discussed at the 'Models and Simulations' conference in Paris in June 2006. The aim of the present conference is both to provide a forum to continue ongoing debates and to try to slightly shift the focus of attention. So far case studies played an important role in the debates over models and simulations and a lot has been learned from them. We are now also interested in theoretical approaches that attempt to rationalize these cases and help furthering our philosophical understanding of how models and simulations explain, how they are confirmed, how they relate to theories and other models, and how they represent.
For more information, see http://www.tilburguniversity.nl/faculties/fww/tilps/MS2/We invite submissions of extended abstracts of up to 1000 words through our automatic submission system by 15 April 2007.
10 October 2007, Workshop "Idealizations in Science", Tilburg, The NetherlandsLocation: Tilburg, The NetherlandsDeadline: 15 August 2007
Idealization is ubiquitous in scientific practice, yet there is little consensus in the extant philosophical literature on some of the most basic questions about idealization, such as: What exactly constitutes idealization? Is idealization compatible with realism? Are idealization and abstraction distinct? Should theorists work to eliminate idealizations as science progresses? Are there rules governing the rational use of idealization, or should a theorist's intuition alone guide the process? We would like to see more sustained philosophical analysis directed at these and related questions. To help accomplish this, we will assemble a small group of philosophers from diverse backgrounds for in depth discussion about the philosophical questions related to idealization. The workshop will be organized to maximize discussion time and to ensure that novel material about idealization is given maximum time for discussion. We are especially interested to discuss the more epistemological aspects of idealization, with a lesser emphasis on the detailed case studies that have dominated much of the recent literature.
For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/idealizations/
The workshop is by invitation only. However, a small number of seats is reserved for researchers who would like to present a concise position paper at the workshop. If you are interested, please send an extended abstract of 1000 words by 15 August 2007 to idealizations2007 at gmail.com.
25-28 September 2007, IEEE Congress on Evolutionary Computation (CEC 2007), SingaporeLocation: SingaporeDeadline: 31 March 2007
The annual IEEE Congress on Evolutionary Computation is one of the leading events in the area of evolutionary computation. CEC 2007 will feature a world-class conference that aims to bring together researchers and practitioners in the field of evolutionary computation and computational intelligence from all around the globe. Technical exchanges within the research community will encompass keynote speeches, special sessions, tutorial workshops, panel discussions as well as poster presentations.
For more information, see http://www.cec2007.org/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline (extended) is March 31, 2007.
11-15 September 2007, CSL 2007 (Computer Science Logic), Lausanne, SwitzerlandLocation: Lausanne, SwitzerlandDeadline: 2 April 2007
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. CSL'07, the 16th annual EACSL conference will be organized in Lausanne by the Western Swiss Center for Logic, History and Philosophy of Sciences, and the University of Lausanne. The Ackermann Award for 2007 is sponsored by Logitech and will be presented to the recipients at CSL'07. A joint session with GAMES 07, the annual meeting of the European Network will take place on 11 September, 2007.
For more information, see http://www.unil.ch/csl07/.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline for abstracts is April 2, 2007.
10-14 September 2007, Machines, Computations and Universality (MCU 2007), Orleans, FranceLocation: Orleans, FranceDeadline: 4 March 2007
Topics include halting problems, minimal universal codes, computational complexity, self-reproduction and decidability in areas such as Digital computation (fundamental classical models), Digital models of computation, and Analog and Hybrid Computations.
For more information, see http://www.univ-orleans.fr/lifo/Manifestations/MCU07/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 3 March 2007.
10 September 2007, Foundations of Artificial Intelligence, OsnabrückLocation: OsnabrückDeadline: 8 June 2007
Within the course of the last 50 years, Artificial Intelligence has developed into a major field of research with a multitude of facets and application areas. While, in general, Artificial Intelligence research is driven by application needs, it is nevertheless a fact that foundational questions and theoretical insights have always been one of the driving forces behind its development. This includes the quest for realising intelligent behaviour in artificial systems as envisioned in the early days of AI research. But it also comprises biological inspirations e.g. for robot design, artificial neural networks, or emergent intelligence, as well as logical underpinnings of automated deduc-tion and knowledge representation.
Indeed, formal and foundational aspects of artificial intelligence are being studied in many sub areas in order to serve application needs. It lies in the nature of such fundamental research that a critical mass of different formal perspectives can generate a cross-fertilization of ideas and applications. We therefore intend to bring together researchers working on foundational aspects of Artificial Intelligence across different communities, in order to stimulate an exchange of ideas and methods between them.
For more information, see http://logic.aifb.uni-karlsruhe.de/wiki/FAInt-07
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is June 8, 2007.
10-13 September 2007, Annual Meeting of the Games Network (GAMES 2007), Lausanne, SwitzerlandLocation: Lausanne, SwitzerlandDeadline: 30 June 2007
The 2007 Annual Meeting of the GAMES Network "Games and Automata for Synthesis and Validation" will be held in Lausanne from the 10th to 13th September 2007. It will be co-located with CSL 2007 (www2.unil.ch/csl07), with a joint GAMES-CSL programme on 11th September.
As in previous years, GAMES 2007 will be an informal workshop, without proceedings, with a programme consisting of 5-6 invited tutorials (90 min), contributed talks (30 min) and short presentations (15 min).
For more information, see http://www.games.rwth-aachen.de/.
Contributed talks and short presentations will be selected by the programme committee on the basis of submitted abstracts. Therefore, researchers who would like to present a talk at GAMES are invited to submit an extended abstract of up to two pages to <games07 at mimuw.edu.pl> by 30th June 2007.
6-7 September 2007, Formal Approaches to Multi-agent Systems (FAMAS'007), Durham, UKLocation: Durham, UKDeadline: 1 June 2007
In recent years, multi-agent systems have come to form one of the key technologies for software development. The third edition of the FAMAS workshop series, after the success of FAMAS'03 affiliated to ETAPS'03 in Warsaw and FAMAS'06 affiliated with ECAI'06 in Riva del Garda, aims at bringing together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems
The workshop will be part of this year's Multi-Agent Logics, Languages, and Organisations federated Workshops, MALLOW'007 hosted by the Department of Computer Science and St. Chad's College, University of Durham, U.K. Participants in the FAMAS workshop are urged to participate in the co-located workshops. For more details of MALLOW, please see http://www.dur.ac.uk/durham.agents007/MALLOW007/
For more information, see http://www.mimuw.edu.pl/MAS/FAMAS007/The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline: Friday 1 June, 2007.
6-8 September 2007, British Logic Colloquium, London, UKLocation: London, UKCosts: £45 / £10 (students)Deadline: 6 July 2007
5-7 September 2007, Combining Probability and Logic (PROGIC07), Canterbury, UKLocation: Canterbury, UKDeadline: 1 May 2007
There are a plethora of views as to the relationship between probability and logic and a panoply of proposals for combining the two. In particular, probabilistic logics offer formal combinations of probability and logic - often, however, at the expense of perspicuity and tractability. The question arises as to whether probabilistic networks might be used to render probabilistic logics more comprehensible and computationally feasible. In this workshop we aim to bring researchers from a variety of disciplines together to assess the prospects of applying probabilistic networks to probabilistic logics, and more generally to elucidate the relationship between probability and logic.
For more information, see http://www.kent.ac.uk/secl/philosophy/jw/2007/progic/
We welcome submissions of papers on the special focus of the workshop, Probabilistic Logic and Probabilistic Networks, or indeed on any aspect of combining probability and logic. Submission deadline is 1st May 2007.
3-7 September 2007, Workshop on Logics for Resource-Bounded Agents (LRBA 2007), Durham, UKLocation: Durham, UKDeadline: 1 June 2007
Logics of knowledge and belief, as well as other attitudes such as desire or intention, have been extensively studied. However, most of the treatments of knowledge and belief make strong and idealised assumptions about the reasoners. For example, traditional epistemic logics say that agents know all logical consequences of their knowledge. Similarly, logics of action and strategic interaction are usually based on game theoretic models which assume perfect rationality. Models based on such assumptions can be used to describe ideal agents without bounds on resources such as time, memory, etc, but they fail to accurately describe non-ideal agents which are computationally bounded. The workshop aims to provide a forum for discussing possible solutions to the problem of formally capturing the properties of knowledge, belief, action, etc. of non-idealised resource-bounded agents.
LRBA 2007 is part of Multi-Agent Logics, Languages, and Organisations: Federated Workshops (MALLOW'007)
For more information, see http://www.agents.cs.nott.ac.uk/events/lrba07/Papers are invited for the Workshop on Logics for Resource-Bounded Agents. Submission deadline is 1 June 2007.
3-6 September 2007, Asian Conference on Quantum Information Science (AQIS 2007), Kyoto, JapanLocation: Kyoto, JapanDeadline: 1 July 2007
AQIS'07 will focus on quantum information science and technology. This is a new interdisciplinary field that bridges quantum physics, computer science, mathematics, as well as computing technologies. AQIS'07 is the successor of the series EQIS'01-EQIS'05 and AQIS'06. Following tradition, AQIS'07 will consist of invited talks and selected oral communications and posters.
Submissions of abstracts for contributed talks and posters are sought in research areas related to quantum information science and technology, both theory and experiments. Submission deadline is July 1, 2007.
29-31 August 2007, 10th Symposium on Formal Methods, Ouro preto, BrazilLocation: Ouro preto, BrazilDeadline: 15 May 2007
The aim of this event is to provide an opportunity for researchers with a broad range of interests in formal methods to discuss recent developments in this field.
For more information, see http://www.sbmf2007.ufop.br/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 15th May, 2007
27-28 August 2007, Argentine Symposium on Artificial Intelligence (ASAI 2007), Mar del Plata (ArgentinaLocation: Mar del Plata (ArgentinaDeadline: 30 April 2007
ASAI, the Argentine Symposium on Artificial Intelligence, is an annual event intended to be the main forum of the Artificial Intelligence (AI) community in Argentina. The symposium will consist of invited talks and regular paper sessions presenting both mature work and new ideas in theoretical research and applications, and aims at providing a forum for researchers and AI community members to discuss and exchange ideas and experiences on diverse topics of AI. Previous ASAI editions stimulated presentations on both applications of AI and new tools and foundations currently under development. ASAI 2007 will be part of the 36th JAIIO, the 36th Argentine Meetings on Informatics and Operations Research.
For more information, see http://www.exa.unicen.edu.ar/asai2007/
ASAI 2007 seeks original contributions in a wide spectrum of Artificial Intelligence, ranging from state-of-the-art academic research to industrial and business applications having a significant impact. Submissions are due on April 30, 2007.
24 - 27 August 2007, The 3rd International Conference on Natural Computation (ICNC'07), Haikou, ChinaLocation: Haikou, ChinaDeadline: 27 August 2007
The joint ICNC'07-FSKD'07 will be held in Haikou, China. Previously, the joint conferences in 2005 and 2006 each attracted over 3100 submissions from more than 30 countries.
For more information, see http://www.hainu.edu.cn/htm/icnc-fskd2007
Prospective authors are invited to submit manuscripts written in English. All accepted papers will appear in conference proceedings published by the IEEE and will be indexed by both EI (Compendex) and ISTP. Further- more, extended versions of many good papers will be published in SCI/SCI-E indexed journals and Lecture Notes in Computer Science (LNCS) / Lecture Notes in Artificial Intelligence (LNAI). Deadline for submissions is (extended) 10 april.
20-24 August 2007, 2nd conference on Algebra and Coalgebra in CS (CALCO 2007), Bergen, NorwayLocation: Bergen, NorwayDeadline: 10 April 2007
CALCO brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. CALCO 2007 will be preceded by two events: CALCO-jnr - a CALCO Young Researchers Workshop dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years - and the Tools & Application Day - providing the opportunity to give system demonstrations.
For more information, see http://www.ii.uib.no/calco07/
We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of resulting technologies into industrial practise. Submission deadline is January 28, 2007.
The CALCO Young Researchers Workshop (CALCO-jnr) will invite submissions on the same topics as the CALCO conference. Deadline for submission of 2-page abstracts of presentations is April 10, 2007.
20-24 August 2007, Conference on Modeling and Using Context (CONTEXT 07), Roskilde, DenmarkLocation: Roskilde, DenmarkDeadline: 15 March 2007
The Sixth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'07) will provide a forum for presenting and discussing high-quality research and applications on context, within a wide range of disciplines. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium.
For more information, see http://context-07.ruc.dk/.
The conference invites researchers and practitioners to share insights and cutting-edge results. Deadline for workshop proposal submissions is January 31, 2007; for paper submissions to the main conference it is March 15, 2007.
20-22 August 2007, Concept Types and Frames in Language, Cognition and Science, Duesseldorf, GermanyLocation: Duesseldorf, GermanyDeadline: 1 March 2007
The topic of the conference is the investigation of concept types (sortal, relational, individual and functional concepts) and their respective relationships to frames (recursive attribute-value structures). The interdisciplinary conference combines approaches from linguistics, computational linguistics, neuroscience, philosophy, philosophy of science and the history of science.
Abstract submissions of no more than 500 words are due by March 1, 2007. Please use the online submission form.
Special Issue of Studia Logic: 'Many valued Logic and Cognition'Deadline: 31 December 2007
Further to the highly successful Studia Logica International Conference Trends in Logic V, held in Guangzhou, China, during July 6-9, 2007, we cordially invite you to submit a paper for a special issue of Studia Logica devoted to Many-valued Logic and Cognition.
For more information, contact the Guest editors, Shier Ju (hssjse at mail.sysu.edu.cn) and Daniele Mundici (mundici at math.unifi.it). To submit, please send the PDF file of your paper to both editors before December 31, 2007.
16-22 August 2007, 2nd World Congress and School on Universal Logic
(UNILOG-2007), Xi'An, ChinaLocation: Xi'An, ChinaDeadline: 31 March 2007
This event is the second in a series of events whose objective is to gather logicians from all orientations (philosophy, mathematics, computer science, linguistics, artificial intelligence etc) - people not focusing only on some specific systems of logic or some particular problems, but inquiring the fundamental concepts of logic. There will be a four days school with about 20 tutorials followed by a 3 days congress. Among the participants there will be Walter Carnielli, Hartry Field, Valentin Goranko, Vincent Hendricks, Wilfrid Hodges, Istvan Németi, Gabriel Sandu, Stan Surma, Heinrich Wansing and many others.
For more information, see http://www.uni-log.org/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline (extended) is 31 March 2007.
13-17 August 2007, Unconventional Computing 2007 (UC 2007), Kingston ON, CanadaLocation: Kingston ON, CanadaDeadline: 31 March 2007
UC'07 is the 6th Conference in the Series Unconventional Computation. The first venue of the International Conference on Unconventional Computation (formerly called Unconventional Models of Computation) was Auckland, New Zealand in 1998; subsequent sites of the conference were Brussels, Belgium in 2000, Kobe, Japan in 2002, Sevilla, Spain in 2005, and York, U.K. in 2006. By coming to Kingston in 2007, the International Conference on Unconventional Computation makes its debut in the Americas.
For more information, see http://www.cs.queensu.ca/uc07/.
Original papers are solicited in all areas of unconventional computation. Papers dealing with theory as well as with experiments and applications are welcome. Typical, but not exclusive, topics are: natural computing including quantum, cellular, molecular, neural and evolutionary computing; chaos and dynamical systems based computing; and various proposals for computations that go beyond the Turing model. Submission deadline is .
9-15 August 2007, 13th International Congress of Logic, Methodology and Philosophy of Science (LMPS), Beijing, ChinaLocation: Beijing, ChinaDeadline: 15 May 2007
Why not spend a week in August in bustling Beijing, listening to and meeting top scholars in logic, methodology and philosophy of science? The congress fee includes a reception, a farewell dinner, and a tour to the Great Wall.
The congress is held for the first time in Asia, organized by the International Union for History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science (IUHPS/DLMPS), and Tsinghua University, Beijing. The congress features plenary speakers, invited speakers in 16 sections, a number of special symposia, affiliated meetings, and contributed papers in each section.The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is April 1, 2007.
6-17 August 2007, ESSLLI 2007 Student Session, Dublin, IrelandLocation: Dublin, IrelandDeadline: 11 February 2007
We are pleased to announce the Student Session of the 19th European Summer School in Logic, Language and Information, which will be held in Dublin, Ireland on August 6-17, 2007. Student Session exists to bring together young researchers to present and discuss their work in progress with a possibility to get feedback from senior researchers.
For more information, see the Student Session webpage at http://www.loria.fr/~sustreto/stus07/.
We invite submission of papers in the areas of Logic, Language and Computation for presentation at the Student Session and for appearance in the proceedings. The submissions should be sent by email before 11 February 2007 to dmitry.sustretov at loria.fr.
6-10 August 2007, Hybrid Logics (HyLo 2007), Dublin (Ireland)Location: Dublin (Ireland)Deadline: 8 March 2007
Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic.
The topic of the HyLo workshop of 2007 is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power. The workshop continues a series of previous workshops on hybrid logic, most recently the LICS-affiliated HyLo 2006 (http://hylomol.ruc.dk/HyLo2006/). HyLo 2007 is organized as part of ESSLLI 2007.
For more information, see http://hylomol.ruc.dk/HyLo2007
We invite the contribution of papers reporting new work from researchers interested in hybrid logic. Deadline for submissions: March 8, 2007.
5-11 August 2007, 30th International Wittgenstein Symposium, Kirchberg am Wechsel, AustriaLocation: Kirchberg am Wechsel, AustriaDeadline: 30 April 2007
The 30th International Wittgenstein Symposium will be held in Its general theme will be: "Philosophy of the Information Society".
2. Wittgenstein and the digital turn
3. Information science, text theory and hermeneutics in the digital context
4. Philosophy of media
5. Philosophy of the Internet
6. Ethics and political economy of the information society
For more information, see http://www.alws.at/.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 30 April 2007.
5-9 August 2007, Algebraic and Topological Methods in Non-Classical Logics III (TANCL'07), Oxford, EnglandLocation: Oxford, EnglandDeadline: 1 May 2007
This international conference is the third in the series Algebraic and Topological methods in Non-Classical Logics (TANCL). The topics covered by TANCL'07 lie within a well-established and active area of mathematical logic. It is hoped to attract to the meeting established researchers and also postdoctoral and graduate students, from the UK and overseas.
The programme will focus on three interconnecting mathematical themes central to the study of non-classical logics and their applications: algebraic, categorical, and topological methods. Three more specialized satellite workshops are planned (see below).
A conference homepage is being set up at http://www.maths.ox.ac.uk/notices/events/special/tancl07/. In the meantime, expression of interest by potential participants is welcomed; please email tancl07 at maths.ox.ac.uk
The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for submission of abstracts: 1 May
22-27 July 2007, International Conference on Conceptual Structures (ICCS 2007): Knowledge Architectures for Smart Applications, Sheffield, UKLocation: Sheffield, UKDeadline: 5 January 2007
The 15th International Conference on Conceptual Structures (ICCS 2007) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. The focus of these conferences has been the representation and analysis of conceptual knowledge for research and business applications. ICCS brings together researchers in information technology, arts, humanities and social science to explore novel ways that can conceptual structures can be employed in information systems.
ICCS 2007's theme is "Conceptual Structures: Knowledge Architectures for Smart Applications". From these architectures, smart applications arise that allow enterprises to share meaning with its interconnected computing resources, and realise transactions that would otherwise remain as lost business opportunities. Conceptual structures and smart applications integrate the creativity of individuals and organisations with the productivity of computers for a meaningful digital future.
For more information, see http://www.iccs.info/
Authors are invited to submit papers describing both theoretical and practical research. Submission deadline is January 5, 2007.
16 July 2007, Logical Frameworks and Meta-Languages (LFMTP07), Bremen, GermanyLocation: Bremen, GermanyDeadline: 7 May 2007
LFMTP'07 continues the International workshop on Logical Frameworks and Meta-languages (LFM) and the MERLIN workshop on MEchanized Reasoning about Languages with variable BIndingIN).
Logical frameworks and meta-languages form a common substrate for representing, implementing, and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design and implementation on the one hand and their applications in for example proof-carrying code have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors, and practitioners to discuss all aspects of logical frameworks.
For more information, see http://www.cs.mcgill.ca/~bpientka/lfmtp07
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 7 May 2007.
15 July 2007, Automated Deduction: Decidability, Complexity, Tractibility (ADDCT'07), Bremen, GermanyLocation: Bremen, GermanyDeadline: 4 May 2007
Decidability, and especially complexity and tractability of logical theories is extremely important for a large number of applications. Although general logical formalisms (such as predicate logic or number theory) are undecidable, decidable theories or decidable fragments thereof (sometimes even with low complexity) often occur in mathematics, in program verification, in the verification of reactive, real time or hybrid systems, as well as in databases and ontologies. It is therefore important to identify such decidable fragments and design efficient decision procedures for them. It is equally important to have uniform methods (such as resolution, rewriting, tableaux, sequent calculi, ...) which can be tuned to provide algorithms with optimal complexity.
The goal of ADDCT is to bring together researchers interested in - identifying (fragments of) logical theories which are decidable, identifying fragments thereof which have low complexity, and analyzing possibilities of obtaining optimal complexity results with uniform tools;
- analyzing decidability in combinations of theories and possibilities of combining decision procedures;
- efficient implementations for decidable fragments;
- application domains where decidability resp. tractability are crucial.
The Programme Committee cordially invites all researchers to submit their work for presentation, including original papers, presentation-only papers and work in progress. Given the informal style of the workshop, the submission of papers presenting student's work and work in progress is encouraged. Submission deadline is 4 May 2007.
Special issue on "Truth" in the Studia
Philosophica EstonicaDeadline: 1 October 2007
Truth is one of the central subjects in philosophy. It is also one of the largest and perhaps oldest. Moreover, a huge variety of issues in philosophy relate to truth, either by relying on theses about truth, or implying theses about truth. Studia Philosophica Estonica welcomes all submission on the topic "truth", systematic discussions of conceptions of truth as well as historic discussions of theories of truth in the philosophical tradition. Studia Philosophica Estonica invites submissions for its next special issue on "Truth", due for publication in December 2007. Papers should be received through our online submission system no later than October 1st, 2007.
Submissions must be in English and conform to the submission standards of the journal and the methodological standards of analytic philosophy. All submissions must be prepared for blind review. For more information on online submissions, please see our submission guidelines (http://www.spe.ut.ee/ojs/index.php/spe/about/submissions#authorGuidelines).
Winter/Summer School 2007/08 at the "Center for Junior Research Fellows" in Konstanz (Germany), Konstanz, GermanyLocation: Konstanz, GermanyDeadline: 15 September 2007
The Center for Junior Research Fellows (ZWN) at the University of Konstanz sponsors a winter school program at the University of Konstanz every year. The program is targeted at postdoctoral scholars who do not hold a tenured position. Running a winter/summer school offers young researchers the opportunity to popularize their own research fields and ideas, to intensive discuss their research topic with experts in their field in a calm, inspiring environment and beyond time pressure. Moreover,
According to the multidisciplinary character of the ZWN, postdoctoral scholars of all research disciplines may apply. Alternating every other year, the program is open to members of the University of Konstanz only and to external applicants. For the winter 2007/2008 the ZWN announces the financing of a winter/summer school up to EUR 14,000. Young scholars both with and without German residency are invited to apply by 15 September 2007.
For more information, see http://www.uni-konstanz.de/forschung/zwn/Ausschreibung/.
13-19 July 2007, Logic Colloquium '07 (2007 ASL European Summer Meeting), Wroclaw, PolandLocation: Wroclaw, PolandDeadline: 17 April 2007
The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic. In previous years, the Logic Colloquium has been organised in Nijmegen (2006) and Athens (2005). The leading researchers on logic participate in the conference, as invited speaker, tutorial speaker or as participant. It also attracts students (master and Ph.D. students) in logic from all over the world and in that way it also serves for students as an introduction into the research field of logic.
LC'07 will be colocated with ICALP'07 and LICS'07.
For more information, see http://www.aslonline.org/.Abstracts - hard copy or email - should be received before the deadline of April 17, 2007.
10-14 July 2007, The Twenty-Second IEEE Symposium on Logic in Computer Science (LICS 2007)Deadline: 15 January 2007
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2007 will be held in the Institute of Computer Science, University of Wroclaw, Poland, from 10th July to 14th July 2007. It will be colocated with two other meetings: the International Colloquium on Automata, Languages, and Programming (ICALP'07) July 9-13, 2007, and also the European Logic Colloquium (ELC 2007), July 14-19. Workshops are planned for July 8, 9 and July 15 (possibly the afternoon of 14th).
For more information, see http://www2.informatik.hu-berlin.de/lics/lics07/.
Researchers and practitioners are invited to submit their papers for presentation and/or proposals for workshops on topics relating logic - broadly construed - to computer science or related fields. Submission deadline is January 15, 2007 for papers, and November 15, 2006 for workshop proposals.
9-13 July 2007, ICALP 2007: 34th International Colloquium on Automata, Languages and Programming, Wroclaw, PolandLocation: Wroclaw, PolandDeadline: 10 February 2007
The 33rd International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science EATCS will take place from the 9th to the 13th of July 2007 in Wroclaw, Poland. ICALP'07 will be colocated with LC'07 and LICS'07.
For more information, see http://icalp07.ii.uni.wroc.pl/.
Researchers and practitioners are invited to submit their papers for presentation and/or proposals for workshops on topics related to the conference tracks, namely: Algorithms, Automata, Complexity and Games (track A); Logic, Semantics, and Theory of Programming (track B); and Security and Cryptography Foundations (special track C). Submission deadline is January 25, 2007 for papers, and November 30, 2006 for workshop proposals.
7-9 July 2007, Trends in Logic V: Many-Valued Logic and Cognition, Guangzhou, ChinaLocation: Guangzhou, ChinaDeadline: 15 May 2007
This Studia Logica International Conference will highlight significant recent developments in many valued-logics as well as their interaction with cognition. The conference seeks to bring together researchers working in the aforementioned areas, promote a greater degree of communication and interaction among the featured research communities, and act as a catalyst for new directions of research.
For more information, see http://logic.sysu.edu.cn/information/TrendsInLogic.htm or http://www.ifispan.waw.pl/studialogica/TrendsV.html.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline (extended) is May 15, 2007.
5-8 July 2007, 6th Panhellenic Logic Symposium (PLS), Volos, GreeceLocation: Volos, GreeceDeadline: 30 March 2007
The Panhellenic Logic Symposium (PLS) is a biannual scientific event established in 1997. It is open to researchers from Greece, as well as from other countries, who work on logic broadly conceived. The language of the Symposium is English.
For more information visit the site of the symposium: http://pls6.pre.uth.gr
Original papers that fall within the scope of the symposium are solicited. Authors are invited to submit an extended abstract not exceeding five pages by March 30, 2007.
2-5 July 2007,
14th Workshop on Logic, Language, Information and Computation
, Rio de Janeiro, BrazilLocation: Rio de Janeiro, BrazilDeadline: 2 March 2007
WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers.
For more information, see http://www.cin.ufpe.br/~wollic/wollic2007/
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Deadline is February 23, 2007.
1-2 July 2007, 5th International Workshop on Satisfiability Modulo Theories (SMT '07), Berlin, GermanyLocation: Berlin, GermanyDeadline: 23 April 2007
Deciding the satisfiability of first-order formulas modulo background theories, known as the Satisfiability Modulo Theories (SMT) problem, has proved to be useful in verification, compiler optimization, scheduling, and other areas. The success of SMT techniques depends on the development of both domain-specific decision procedures for each concrete theory (e.g. linear arithmetic, the theory of arrays, or the theory of bit-vectors) and combination methods that allow one to obtain more versatile SMT tools. These two ingredients together make SMT techniques well-suited for use in larger automated reasoning and formal verification efforts.
The aim of the workshop is to bring together researchers and users of SMT tools and techniques. Continuing with the PDPAR tradition, we especially encourage submission of papers focused on pragmatic aspects.
For more information, see http://www.lsi.upc.edu/~oliveras/smt07
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline : 23 April
28-30 June 2007, 1st GPMR Workshop on Logic & Semantics (GPMR-LS1): Medieval Logic and Modern Applied Logic, Bonn, GermanyLocation: Bonn, GermanyDeadline: 30 April 2007
The workshop GPMR-LS1 is the inaugural workshop of the working group "Logic & Semantics" of the Gesellschaft für Philosophie des Mittel-alters und der Renaissance. We aim to bring together all researchers interested in logical and semantical aspects of medieval and early modern philosophy.
Invited Speakers include Bert Bos, Catarina Dutilh Novaes, Sten Ebbesen, Peter King, Gyula Klima, Simo Knuuttila, Peter Ohrstrom and Stephen Read
For more information, see http://www.illc.uva.nl/GPMR-LS1/If you wish to submit an abstract for a 20 minute presentation at GMPR-LS1, please submit an abstract before April 30, 2007.
27-30 June 2007, Calculemus 2007, RISC Institute, Castle of Hagenberg, AustriaLocation: RISC Institute, Castle of Hagenberg, AustriaDeadline: 17 February 2007
Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS) towards the development of universal mathematical assistant systems (MAS).
Currently, symbolic computation is divided into several (more or less) independent branches, traditional ones (e.g. computer algebra and theorem proving) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.). The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated MAS that will routinely be used by mathematicians, computer scientists, and engineers in their every-day business.
For more information, see http://www.risc.uni-linz.ac.at/about/conferences/Calculemus2007/
For the upcoming Calculemus meeting, we seek original research papers in this context. Submission deadline is February 12, 2007.
26-28 June 2007, Rewriting Techniques and Applications (RTA 07)Location: Paris, FranceDeadline: 26 January 2007
The International Conference on Rewriting Techniques and Applications RTA is the major forum for the presentation of research on all aspects of rewriting. The 18th Conference (RTA'07) is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP'07), which comprises, in addition to RTA'07, the conference on Typed Lambda Calculi and Applications (TLCA'07) and eight workshops (HOR, PATE, RULE, SecReT, UNIF, WFLP, WRS, and WST).
For more information, see http://www.lsv.ens-cachan.fr/rdp07/rta.html
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 26 January 2007.
25-29 June 2007, 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Siedlce, PolandLocation: Siedlce, PolandDeadline: 5 January 2007
The 28th annual international Petri Net conference and tutorials will be organised by the Institute of Computer Science at the University of Podlasie and Institute of Computer Science of the Polish Academy of Sciences.
For more information, see http://atpn2007.ap.siedlce.pl.Papers presenting original contributions in any area of application and theory of Petri nets are sought. Deadline for submission of papers is January 5, 2007. The language of the conference is English.
21-23 June 2007, 33rd Workshop on Graph-Theoretic Concepts in CS (WG 2007), Dornburg, GermanyLocation: Dornburg, GermanyDeadline: 2 March 2007
WG 2007 aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in Computer Science, or by extracting new problems from applications. The goal is to present recent research results and to identify and explore directions of future research. The conference is well-balanced with respect to established researchers and young scientists.
For more information, see http://wwwteo.informatik.uni-rostock.de/wg2007/
Papers are solicited describing original results on all aspects of graph-theoretic concepts in Computer Science. Submission deadline is March 2, 2007.
20-22 June 2007, Eleventh conference on
Theoretical Aspects of Rationality and Knowledge (TARK XI)Location: Brussels, BelgiumDeadline: 30 January 2007
The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems.
For more information, see http://www.info.fundp.ac.be/~pys/TARK07/.
Submissions are now invited to TARK-XI. Strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and papers should be accessible to such an audience. Submission deadline: January 30, 2007.
20-22 June 2007, Logic, Game Theory and Social Choice (LGS-5), Bilbao, SpainLocation: Bilbao, SpainDeadline: 28 February 2007
The 5th International Conference on Logic, Game Theory and Social Choice will be held at the Euskalduna Conference Centre in Bilbao, Spain, from 20th to 22th June 2007. Just like the four previous LGS-conferences (Tilburg 1999, Saint Petersburg 2001, Siena 2003, Caen 2005), LGS5 will focus on the theoretical connections between the three disciplines in the conference title. The conference programme will consist of three invited lectures by Robert J. Aumann, Matthew O. Jackson and Mamoru Kaneko, and contributed papers.
For more information,, see http://www.lgs-5.com/.Submissions of contributed papers are invited. Deadline: 28 February 2007.
18-23 June 2007, Computability in Europe (CiE 2007), Siena, ItalyLocation: Siena, ItalyDeadline: 12 January 2007
CiE is a European network of mathematicians, logicians, computer scientists, philosophers, theoretical physicists and others interested in new developments in computability and in their underlying significance for the real world.
CiE 2007 will address various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real world issues, ranging through problems related to logic, mathematics, physical processes, real computation and learning theory. At the same time it will focus on different ways in which computability emerges from the real world, and how this affects our way of thinking about everyday computational issues.
CiE 2007 will be co-located with the annual CCA (Computability and Complexity in Analysis) Conference
For more information, an online registration form and a preliminary program, see http://www.mat.unisi.it/newsito/cie07.html
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is Jan 12, 2007.
18-22 June 2007, Automata: from Mathematics to Applications (AutoMathA 2007), 18-22 June 2007, Palermo, ItalyLocation: Palermo, ItalyDeadline: 25 January 2007
AutoMathA 2007 is the main conference of the programme AutoMathA of the European Science Foundation. This five-year multidisciplinary programme (2005-2010), at the crossroads of mathematics, theoretical computer science and applications, gathers 14 European countries. The goal of AutoMathA is to propose a set of co-ordinated actions for advancing the theory of automata and for increasing its application to challenging scientific problems.
For more information, see http://www.math.unipa.it/~ama07/
Authors are invited to submit an extended abstract presenting original research concerning the topics of the conference. Notice that simultaneous submission to other conferences or journals is permitted. Presentations describing applications in compilation, natural language processing, software and system security and verification, biology, image processing, and others are welcome, provided they feature original theoretical aspects or new uses of theory. Submission deadline is January 25th, 2007.
17-22 June 2007, Analysis of Algorithms (AofA'07), Juan les Pins, FranceLocation: Juan les Pins, FranceDeadline: 19 February 2007
Analysis of algorithms is a scientific basis for computation, providing a link between abstract algorithms and the performance characteristics of their implementations in the real world. The general effort to precisely predict the performance of algorithms has come to involve research in analytic combinatorics, the analysis of random discrete structures, asymptotic analysis, exact and limiting distributions, and other fields of inquiry in computer science, probability theory, and enumerative combinatorics.
For more information, see http://www.aofa2007.org/.
The Programme Committee invites papers in
-analytic algorithmics and combinatorics,
- probabilistic analysis of algorithms,
- randomized algorithms.
Submission deadline is February 19, 2007.
16-18 June 2007, Computability and Complexity in Analysis (CCA 2007), Siena, ItalyLocation: Siena, ItalyDeadline: 15 March 2007
The conference is concerned with the theory of computability and complexity over real-valued data. Unlike the well established classical theory over discrete structures, the theory of computation over continuous data is still in early stages of development, despite remarkable progress in recent years. Many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet and exchange ideas and knowledge.
This year CCA 2007 is co-located with the conference CiE 2007.
For more information, see http://cca-net.de/cca2007/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 15 March 2007.
12-16 June 2007, International Conference on Order, Algebra and Logics, Nashville, USALocation: Nashville, USADeadline: 31 January 2007
Recent years have witnessed increased research activity on the interface between logic and universal algebra. In particular, the use of algebraic methods has proved to be fruitful in the study of non-classical logics -- such as modal logic, fuzzy logic, and substructural logics -- and ordered structures play a central role in this relationship. The purpose of the conference is to bring together researchers from these fields to foster collaboration and further research.
For more information, see http://www.math.vanderbilt.edu/~oal2007/
Researchers wishing to present a contributed talk at the conference are invited to submit a three-page abstract . Abstract submission deadline (extended): February 14, 2007.
12-13 June 2007, 2007 STOC Undergraduate Student Research Competition, San Diego, USALocation: San Diego, USADeadline: 23 February 2007
SIGACT is pleased to announce the first Symposium on Theory of Computing (STOC) ACM Student Research Competition (SRC) sponsored by Microsoft Research. The STOC SRC offers an opportunity for undergraduate students conducting theoretical computer science research to present their original work at STOC 2007. Research in all areas of theoretical computer science is welcome.
More information is available on the participation page of the ACM SRC website http://www.acm.org/src
The STOC SRC is only open to undergraduates. It consists of a submission round followed by two rounds of judging. We expect to select 10-15 submissions for acceptance to the poster session. Submissions should be emailed directly to Brent Heeringa heeringa at cs.williams.edu by 23.59 PST Friday, 23 February 2007.
1-3 June 2007, The Square of Opposition, Montreux, SwitzerlandLocation: Montreux, SwitzerlandDeadline: 1 March 2007
This will be the first international congress dedicated entirely to the square of opposition. The square will be considered in its various aspects. There will be talks by the best specialists of the square and this will be also an interdisciplinary event gathering people from various fields : logic, philosophy, mathematics, psychology, linguistics, anthropology, semiotics. Visual and artistic representations of the square will also be presented.
For further information, visit the website below: http://www.square-of-opposition.org/.The deadline for submission of contributed papers is March 1, 2007 (extended). Any contribution related to the square is welcome.
18-20 May 2007, Vierde Vlaams-Nederlands Congres voor Algemene en Speciale Wetenschapsfilosofie, ISVW Leusden, the NetherlandsLocation: ISVW Leusden, the NetherlandsDeadline: 1 February 2007
Dit congres wordt georganiseerd door de Nederlandse Vereniging voor Wetenschapsfilosofie (NVWF) in overleg met een aantal Vlaamse wetenschapsfilosofen. Op het congres zullen Nederlandse en Vlaamse onderzoekers met een wetenschapsfilosofische ori~ntatie hun onderzoek presenteren met ruime gelegenheid voor discussie en informele contacten. Naast onderwerpen uit de algemene wetenschapsfilosofie, kentheorie en methodologie kunnen ook onderwerpen uit de filosofie en grondslagen van de afzonderlijke wetenschappen een wetenschapsgebieden (alfa, b~ta, gamma, medisch, technisch) aan bod komen.U wordt tevens van harte uitgenodigd u aan te melden voor het presenteren van een referaat.
14-16 May 2007, Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe AZ, USALocation: Tempe AZ, USADeadline: 23 February 2007
The systematic study of intertheory relations such as strong and uniform equivalence has recently become an active sub-area of research in the field of LPNMR. Various kinds of correspondence relations that may hold between logic programs or between nonmonotonic theories have been analysed and shown to be of practical relevance for theory or program transformation, optimisation and modularity. Several systems for verifying such relations have been implemented. Different types of knowledge representation and reasoning tasks have begun to be explored in this context, such as abductive and inductive reasoning, causal reasoning, preference-based reasoning or reasoning about updates.
In the field of KRR more generally one notes an increased interest in inter-theory relations that are relevant for ontologies, eg to describe modular ontologies or equivalences between ontologies or their parts. It may therefore be of interest to combine work in this area with work on equivalences between nonmonotonic rules. We are also interested in new results on equivalences between different ontology languages proposed for the Semantic Web, particularly in combinations with (nonmonotonic) rules. Frameworks for study might therefore include e.g. DL-programs or hybrid knowledge bases that provide combinations of a classical or description logic KB with logic programming rules.
For more information, see http://www.kr.tuwien.ac.at/cent2007/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is February 23, 2007.
14/15 May 2007, Declarative Agent Languages and Technologies (DALT 2007), Hawaii, USLocation: Hawaii, USDeadline: 5 February 2007
The workshop on Declarative Agent Languages and Technologies (DALT), in its fifth edition this year, is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems. Building complex agent systems calls for models and technologies that en- sure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can sat- isfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of of- fering solutions satisfying the needs for both specifying and de- veloping multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the seman- tic web, service-oriented computing, security, and electronic contracting. For instance, some convergence points between the areas of formal methods for dealing with web services and formal methods for agents are emerging and gaining more and more atten- tion.
DALT 2007 will be held as a satellite workshop of AAMAS 2007. For more information, see http://www.di.unito.it/~baldoni/DALT-2007/
We welcome and encourage the submission of high-quality, original papers, which are not being submitted simultaneously for publication elsewhere. Paper submission deadline is 5 February 2007.
14-15 May 2007, The annual Belgian-Dutch Benelearn Conference 2007, CWI, AmsterdamLocation: CWI, AmsterdamDeadline: 17 February 2007
The annual Belgian-Dutch Benelearn Conference will be held in Amsterdam 14 and 15 May 2007. Benelearn serves as a forum where researchers, developers and users of Machine Learning, Data Mining, Knowledge Discovery and related areas exchange ideas and present recent work. The language of the conference is English. Benelearn 2007 will be organised by the Adaptive Information Management group of the Human-Computer Studies Laboratory of the University of Amsterdam.
For more information, see http://staff.science.uva.nl/~katrenko/benelearn07/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 17 February 2007.
9-12 May 2007, 3rd Workshop on Formal Topology, Padua, ItalyLocation: Padua, ItalyDeadline: 28 February 2007
This is the third of a series of successful meetings on the development of Formal Topology and its connections with related approaches. The first two have been held in Padua, 1997, and Venice, 2002. Before the workshop, on 7-8 May 2007, two days of extensive and coordinated tutorials are planned, given by Bernhard Banaschewski and other pioneers.
For more information, see http://www.3wftop.math.unipd.it/.
Those who wish to contribute with a half hour talk, should submit a summary of contents (from 1 to 10 pages) to fortop at math.lmu.de by 28 February 2007.
19-20 April 2007, Automated Reasoning Workshop 2007, LondonLocation: LondonDeadline: 16 March 2007
Continuing the highly successful series of Workshops on Automated Reasoning, this event will provide an informal forum for the automated reasoning community. The ARW workshop series aims to bring together researchers from all areas of automated reasoning in order to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines; among researchers from academia, industry and government; and between theoreticians and practitioners.
For more information, see http://www.doc.ic.ac.uk/crg/events/ARW07/.Abstract submission deadline: 16 March 2007 Deadline for student grants: 9 March 2007
13-14 March 2007, Logics and Collective Decision Making (LCD07), Lille, FranceLocation: Lille, FranceDeadline: 31 January 2007
Group decision-making problems occur every time a collective choice has to be made from several individuals that have conflicting interests or preferences. There has been recently a growing interest on the use of logic as the basic tool for formalizing and computing those problems. This is in particular true in two close fields of research. The first one lies at the intersection of game theory and logics, especially by exploring how modal logics may be used to model and reason about games. A second one, which focuses on the logical insights into rational collective choice, has recently emerged around problems of judgment aggregation and beliefs/goals merging, on the one hand, and logical formalization of welfare distribution processes (social software), on the other. These two domains propose further formal refinements, using logical tools, of the classical theories of collective decision-making, by offering new evaluation criteria of and new ways of building social choice procedures. The workshop aims at sparking off interaction between social choice theorists, computer scientists, logicians and philosophers.
The aim of this workshop is to promote interaction between researchers in the areas of logics and collective decision-making theories. We invite submissions of abstracts in the interface of the above or related areas that investigate common problems. Authors should send an abstract by January, 31st.
4-9 March 2007, 12th Estonian Winter School in Computer Science (EWSCS'07), Palmse, EstoniaLocation: Palmse, EstoniaDeadline: 19 January 2007
EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics (IoC), a research institute of Tallinn University of Technology. EWSCS '07 is the twelfth event of the series.
The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, and semantics, logic and programming theory. The working language of the schools is English.
The deadline for application
and submission of abstractsis 19 January 2007. Details on the application procedure and cost are available from the school webpage, http://cs.ioc.ee/yik/schools/win2007/. Questions should be sent to ewscs07 at cs.ioc.ee.submission of abstracts,
5-7 February 2007, Universal Structures in Mathematics and Computing (USMC'07), Canberra, AustraliaLocation: Canberra, AustraliaDeadline: 19 January 2007
Starting from very different motivations, various groups of mathematicians and computer scientists have sought to describe abstract structures in great generality. This parallel evolutionary process has led to various groups of researchers working on highly interrelated areas, though unable to effectively communicate with each other due to vastly differing languages.
This workshop aims to bring together researchers working in category theory, universal algebra, logic and their applications to computer science in order to highlight recent advances in these fields and to facilitate dialogue between the different camps. Of particular interest is work which spans two or more of these areas.
Deadline for registration: 2nd February 2007 For more information, see http://usmc07.rsise.anu.edu.au/
We solicit talks on topics related to the themes and spirit of the workshop. We aim to facilitate all those who wish to speak at the workshop. Submission of talks can be made by email to Alwen Tiu (Alwen.Tiu at rsise.anu.edu.au) or Jon Cohen (Jonathan.Cohen at rsise.anu.edu.au). Deadline for talk titles and abstracts submission: 19th January 2007.
Call for papers, special issue of JLC on "Belief revision, belief merging and social choice"Deadline: 16 February 2007
We would like to invite submissions of full original papers in the interface of the areas of belief revision, belief merging and social choice. We will also accept submissions in related areas that investigate common problems. Selected papers will be published as a special issue of the Journal of Logic and Computation.
Electronic submission of a postscript or PDF file with a separate covering message can be made to Odinaldo Rodrigues by February, 16th, 2007. Contributions will be acknowledged in all cases. For more information, see http://www.dcs.kcl.ac.uk/events/ADMW06/proceedings.html
Call for Nominations: 8th Donald E Knuth Prize for outstanding contributions to the foundations of computer scienceDeadline: 31 January 2007
The Call for Nominations for the 8th Donald E Knuth Prize for outstanding contributions to the foundations of computer science can be found at http://sigact.acm.org/prizes/knuth/. The Deadline for nominations is January 31, 2007.
Call for papers, special issue of JoLLI on logics for resource-bounded agentsDeadline: 20 January 2007
Formal Ontologies for Communicating Agents, special issue for the
journal Applied OntologyDeadline: 19 January 2007
Following the workshop "Formal Ontologies for Communicating Agents" that took place within the last ESSLLI summer school in Malaga, we would like to invite contributions for a special issue of the international journal ''Applied Ontology''. We especially invite the authors of the paper presented at FOCA 2006 to submit an extended version of their contribution. However, anyone is invited to submit a relevant contribution for the topic of the special issue described below.
17 December 2007, Symposium "Reflections on Type Theory, Lambda Calculus and the Mind", Celebrating Henk Barendregt's 60th birthday, Nijmegen, The NetherlandsLocation: Nijmegen, The Netherlands
Invited speakers include Corrado Böhm, Mariangiola Dezani-Ciancaglini, Jan Willem Klop, Jean-Jacques Lévy, Giuseppe Longo, Bill Phillips, Gordon Plotkin, Anne Speckens and Richard Statman.
14-15 December 2007, Workshop on Automata and Logic, History and Perspectives, Aachen, GermanyLocation: Aachen, Germany
The workshop, which is held on the occasion of Wolfgang Thomas's 60th birthday, is devoted to the theory of automata and its connection to mathematical logic, verification, and games.
The workshop will take place in Aachen, December 14 - 15, 2007 at the premises of the Computer Science Department of the RWTH Aachen. It will start on Friday, December 14, in the early afternoon, and will finish on Saturday, December 15, around noon. There is no registration fee, but registration is mandatory via the workshop homepage.
For more information, see http://www-i2.informatik.rwth-aachen.de/Events/WAL07/
5 December 2007, Set Theory and Its Neighbours 16, London, UKLocation: London, UK
A one-day conference in the series "Set theory and its neighbours" will take place on Wednesday, 5th December 2007 at the Department of Mathematics, University College London, 25 Gordon Street, London, WC1. There is no registration fee for the meeting.
We aim to keep the meetings fairly relaxed, allowing plenty of opportunity for informal discussion. We welcome and encourage anyone to participate. Please do tell anyone about the meeting who you think may be interested in it. We are happy for you to email us to let us know if you intend to come, but you are also very welcome simply to turn up on the day if you make a late decision. And let us know if you would like to speak or have ideas for speakers at future meetings.
For more information, see http://www.ucl.ac.uk/~ucahcjm/stn/stn16.html.
3-14 December 2007, Logic Summer School, The Australian National University (ANU)Location: The Australian National University (ANU)
The Computer Sciences Laboratory in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 3 to the 14 of December 2007, at the Physics G6 lecture theatre at the ANU. The School will consist of short courses on aspects of pure and applied logic taught by experts from Australia and overseas. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.
"We call this, 'two weeks of wall-to-wall logic'. The Logic and Computation group at ANU believe that logic is not just about computers, or computer scientists. We say that anything that makes sense can be subjected to logical analysis, which means that this School is attractive to any IT professionals, educators in logic and undergraduate students planning to do research in logic-related fields."
Deadline for early registration: 2 November 2007. For more information, see http://lss.rsise.anu.edu.au/.
9-11 November 2007, 2007 Australasian Association for Logic Conference, Melbourne, AustraliaLocation: Melbourne, Australia
The 2007 Australasian Association for Logic Conference will be held at the University of Melbourne from Friday November 9 to Sunday November 11.
For more information, see http://www.cs.otago.ac.nz/staffpriv/hans/aal/
23-24 October 2007, 1st Witten Lectures in Economics and Philosophy: Kenneth Arrow, Witten, GermanyLocation: Witten, Germany
Witten/Herdecke University launches in 2007 the "Witten Lectures in Economics and Philosophy" which will be delivered annually at the University. Appointment as a Witten Lecturer is a recognition for uncommon achievement and outstanding quality in the field of economics and philosophy widely interpreted to include work that has fundamentally changed the way we think of the economic, political or social order.
Professor Kenneth Arrow, Stanford University, Nobel Laureate of Economics in 1972 will deliver the 1st Witten Lectures in Economics and Philosophy, titled "Social Values and Government Policy" (23 oktober) and "Social and Economic Values and Obligations" (24 oktober).
For more information, see http://wga.dmz.uni-wh.de/wiwi/html/default/
19-20 October 2007, PhiMSAMP-2: Philosophy of Mathematics: Sociological Aspects and Mathematical Practice, UtrechtLocation: Utrecht
PhiMSAMP-2 is a workshop of the PhiMSAMP network for its members. Part of the workshop is open for the general public, and we cordially invite all researchers and students in the vicinity of Utrecht to come. Friday evening, we will present research results of the PhiMSAMP network in short talks by Eva Wilhelmus, Dirk Schlimm, and Esther Ramharter. The whole Saturday is devoted to tutorials on methodology in the social sciences and cognitive science by leading researchers. These tutorials could be particularly interesting for graduate students who are most enthusiastically invited. Speakers include Vincent Buskens, Herbert Kalthoff, Hansjörg Neth and Keith Stenning.
For more information, see http://www.lib.uni-bonn.de/PhiMSAMP/PhiMSAMP2.html or contact Thomas Müller at <Thomas.Mueller at phil.uu.nl>
3-5 October 2007, Synthese Annual Conference, "Between Logic and Intuition: David Lewis and the Future of Formal Methods in Philosophy", Copenhagen, DenmarkLocation: Copenhagen, Denmark
Synthese hosts its first annual conference at the Carlsberg Academy in Copenhagen, October 3- 5 , 2007. The conference is sponsored by PHIS - The Danish Research School in Philosophy, History of Ideas and History of Science and Springer. This conference serves as a tribute to Lewis and as a venue for adressing questions concerning the relationship between logic and philosophical intuition and the future of formal methods in philosophy. Invited speakers are John Collins, Alan Hajék, Hannes Leitgeb, Rohit Parikh and L.A. Paul.
Deadline for registration: October 1, 2007. To register, please write conference manager Peter Guldborg Hansen at pgh at ruc.dk and include "SAC 2007" in the subject entry. A conference fee of 150 Danish Kroner/day (450 Danish Kroner total) is to be paid cash upon final registration (Wednesday, October 3, 2007). For more information, see http://www.springer.com/west/home/philosophy?SGWID=4-40385-70-35761018-0
24-28 September 2007, Third Vienna-Tbilisi Summer School in Logic and Languages, Tbilisi, GeorgiaLocation: Tbilisi, Georgia
The Third Vienna Tbilisi Summer School in Logic and Language is held from 24-28 September in Tbilisi. The event is co-located with the Seventh International Tbilisi Symposium on Language, Logic and Computation, held October 1-5.
For more information, see http://www.logic.at/tbilisi07/
18 September 2007, ICS-SIKS Symposium on Artificial Normative SystemsLocation: Utrecht, Universiteitsbibliotheek, Heidelberglaan 3, De Uithof
On the one hand, computer science is now aiming at the development of more and more complex and autonomous computer systems which call for forms of meta-systems with regulating and controlling functions. On the other hand, philosophical disciplines are now trying to systematically address key notions in the understanding of social agency, e.g., "norm", "intention", "obligation".
Aim of the symposium is to bring together leading researchers from computer-science and philosophy in order to exchange points of view and stimulate scientific cooperation on the issue of normative systems. Speakers include Johan van Benthem, Christiano Castelfranchi Davide Grossi John Horty and Marek Sergot
Participation is free and includes lunch and coffee and tea breaks. However, advance registration is required. Please register before September 11 by sending an email to henry at cs.uu.nl or broersen at cs.uu.nl. For more information, see http://people.cs.uu.nl/davide/ANS/home.htm
16-22 September 2007, Fall school in Logic & Complexity '07, Trest, Czech RepublicLocation: Trest, Czech Republic
The broad theme of the Fall schools is the interaction of Mathematical Logic and Complexity Theory, with special emphasis on Proof Complexity. The main guest speaker of this school will be Albert Atserias (Universitat Politecnica de Catalunya) who will deliver a tutorial on "Finite Model Theory and Complexity". The second tutorial series will concentrate on recent advances in Proof Complexity and will be given by members of the Prague school.
Deadline for registration: May 1, 2007
For more information, see http://www.math.cas.cz/~krajicek/trest07.html
27-31 August 2007, EASSS-2007: 9th European Agent Systems Summer School, Durham, EnglandLocation: Durham, England
EASSS-2007 consists of a mixture of introductory and advanced courses delivered by internationally leading experts in the multiagent systems field, and it covers the full range of theoretical and practical aspects of multiagent systems.
For more information, see http://www.dur.ac.uk/durham.agents007/EASSS07/.
19-31 August 2007, Summer School "Formal Methods in Philosophy and Linguistics", Tartu, EstoniaLocation: Tartu, Estonia
The Summer School "Formal Methods in Philosophy and Linguistics" is a two week research training course in formal methods and their use in philosophy and linguistics for PhD students in the respective fields. The courses cover classical logic and its meta-theory, developments in modal and non-classical logic, as well as historical aspects in the philosophy of logic since Frege. Mathematical models that had a wider impact on philosophical model building, like probability theory and game theory, are also taken into account. The courses also introduce systematically formal semantics as it is studied by philosophers and linguists.
After a three day recapitulation of the standard technical vocabulary and some of the central metalogical results, a philosophy of language/ linguistics branch will take a closer look at the use of formal methods in specific problem areas and at specific formal theories. This will be paralleled by courses for philosophers working in areas other than philosophy of language and linguistics, offering closer examinations of applications of formal methods in the philosophy of science, mind, and action. The courses are designed for graduate students of philosophy and linguistics who lack a background in mathematics but work in a field that requires the assessment of formal methods or results obtained by such methods.
Student applications will be accepted until June 15, 2007. We will accept 30 students in total. For more information, see http://www.cohnitz.de/phpwcms/index.php?summerschool
7-8 September 2007, Mind & Society 14: "Philosophical and Sociological Approaches to Mathematics", Manchester, UKLocation: Manchester, UK
Preliminary list of speakers: Warren Goldfarb (Harvard), Mary Leng (Liverpool), Douglas Macbeth (Ohio State), Mathieu Marion (Quebec) and Soeren Stenlund (Uppsala)
For more information, see http://www.socialsciences.manchester.ac.uk/sociology/staff/cg/
6-10 August 2007, Summerschool "Knowledge and Its Place in Nature", Cologne (Germany)Location: Cologne (Germany)
Hilary Kornblith is one of the most important figures in epistemology and an outstanding proponent of naturalism. Mr. Kornblith will be our guest in Cologne for one week and will be discussing central theses of his philosophy along with a group of international students and philosophers. Psychologists, biologists and other interested parties are also kindly invited.
The number of participants is relatively small, and those interested may apply through May 15 at the website. For more information, see http://www.summerschoolphilosophy.uni-koeln.de/english/index.htm
8-11 July 2007, 11th World Multi-Conference on Systemics, Cybernetics and Informatics, Orlando, Florida, USALocation: Orlando, Florida, USA
WMSCI 2007 is an international forum for scientists and engineers, researchers and consultants, theoreticians and practitioners in the fields of Systemics, Cybernetics and Informatics. The forum focuses into specific disciplinary research, and also in multi, inter, and trans-disciplinary studies and projects. One of its aims is to relate disciplines, fostering analogical thinking and, hence, producing input to the logical thinking.
For more information, see http://www.iiis-cyber.org/wmsci2007/.
4 July 2007, International Workshop on Combination of Logics, Neuchâtel, SwitzerlandLocation: Neuchâtel, Switzerland
This event is the following in a list of gatherings on combination of logics, such as Logical Consequences and its Combinations held in Pune, India, December 2005, CombLog'04 held in Lisbon, July 2004 and the FroCoS (Frontiers of Combining Systems) going on since 1996.
All the dimensions of combination of logics will be touched: from abstract general frameworks based on universal logic and category theory to applications to some philosophical problems through some typical cases related with classical and intuitionistic logics
For more information, see http://www.comblog.org/.
25 June - 1 July 2007, Fifty Years of Generalized Quantifiers, Warsaw, PolandLocation: Warsaw, Poland
In 1957 Andrzej Mostowski published his paper introducing the notion of generalized quantifier. Later on wide area of logical research was opened and many papers devoted to generalized quantifiers were published. The main purpose of the meeting is to summarize current knowledge on this subject.
For more information, see http://www.logika.uw.edu.pl/50yearsGQ/.
25-27 June 2007, Alternatives to Cartography, BrusselsLocation: Brussels
This is the 2nd Brussels Conference on Generative Linguistics.
For more information, see http://www.kubrussel.ac.be/onderwijs/onderzoekscentra/crissp/bcgl/2007/index.htm or email info at crissp.be.
22-23 June 2007, Festkolloquium 65th Birthday of Helmut Schwichtenberg & Workshop "Proof and Computation II", Munich, GermanyLocation: Munich, Germany
Speakers include Ulrich Berger and Stanley Wainer (Festkolloquium) and Peter Aczel, Hajime Ishihara, Gerhard Jaeger, Ralph Matthes, Erik Palmgren, Monika Seisenberger and Anton Setzer (Workshop).
Please register no later than than June 1, 2007 by email to ratiu at math.lmu.de. For more information, see http://www.mathematik.uni-muenchen.de/~pschust/puc2.html.
19-22 June 2007, Dynamic Logic Montréal, Montréal, CanadaLocation: Montréal, CanadaCosts: Free
The dynamic turn in logic opens new perspective for epistemology and action theory. Information changes and interactive situations unveil fresh and fascinating issues about fondamental concepts such as knowledge, beliefs and rationality. This workshop aims at giving these issues high priority in the philosophical agenda, by bringing together philosophers and logicians that share interest for dynamics phenomena.
Organization: Mathieu Marion (UQAM), Patrick Girard (Stanford), Olivier Roy (Amsterdam) and Francois Lepage (UdM)
For more information, a program and a registration form, see http://www.unites.uqam.ca/philo/dlmontreal2007/
11 June 2007, EXPERIMENTS ON LANGUAGE EVOLUTION: From models to empirical observation, NijmegenSpeaker: Luc SteelsLocation: Nijmegen
Recently, the subject of language evolution has received more and more interest in almost all fields related to language: from anthropology and cognitive psychology to linguistics and neurobiology. A very original approach to the subject is through experimentation with robots. Considering the present state of research on Artificial Intelligence it is possible, in principle, to program autonomous (even humanoid) robots in such a way that they independently create a communication system grounded in their perceptual experience of the world.
Monday the 11th of June, the NVP presents a masterclass in which both this approach and more classicical experiments with people are discussed. The masterclass will be of interest to PhD students in a broad range of fields. Motivated master students are also welcome. There will be opportunity to present your ideas on the subject and receive individual feedback.
Participation is limited to 30 participants, so be quick to register. For more information, see http://www.psychonomie.nl/nvpmasterclass.
11-13 June 2007, Symposium on Theory of Computing (STOC 2007), San Diego, USALocation: San Diego, USA
The 39th ACM Symposium on Theory of Computing (STOC 2007), sponsored by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), will be held in San Diego, CA, June 11 to 13, 2007, as part of the FCRC. Typical but not exclusive topics of interest include: algorithms and data structures, computational complexity, cryptography, computational geometry, algorithmic graph theory and combinatorics, randomness in computing, parallel and distributed computation, machine learning, applications of logic, algorithmic algebra and coding theory, computational biology, computational game theory, quantum computing and other alternative models of computation, and theoretical aspects of areas such as databases, information retrieval, and networks.
For more information, see http://research.microsoft.com/research/theory/feige/homepagefiles/stoc07.htm
8-9 June 2007, Arche Vagueness Conference, St Andrews, ScotlandLocation: St Andrews, Scotland
This international conference brings together leading figures in philosophy to discuss the nature and the logic of vagueness. Organised by Arche, The AHRC Research Centre for the Philosophy of Logic, Language, Mathematics and Mind, the conference will conclude the series of workshops hosted by the Arche Vagueness Project since January 2004.
Confirmed Speakers: Graeme Forbes, Leon Horsten, John MacFarlane, Vann McGee, Nathan Salmon, Scott Soames, Crispin Wright
For more information, see http://www.st-andrews.ac.uk/%7Earche/vagueness/
5-12 June 2007, Conference "1907-2007: One Hundred Years of Intuitionism", Cerisy, FranceLocation: Cerisy, France
Speakers include Dirk van Dalen, Henk Barendregt, Alain Michel, Philippe Nabonnand & Gerhard Heinzmann, Per Martin-Löf (E.W. Beth Lecture), Marcel Guillaume, Mohammad Ardeshir, Carl Posy, Richard Tieszen, Bernd Buldt, Mathieu Marion, Dag Prawitz, Charles McCarty, Jacques Dubucs, Jean Fichot, Douglas Bridges, Erik Palmgren, Giovanni Sambin, Peter Schroeder-Heister, Anton Setzer, Mitsu Okada, Göran Sundholm & Mark van Atten and Wim Veldman.
Further information: http://www.ccic-cerisy.asso.fr/intuitionnisme07.html (please note that although the titles and abstracts on the webpage are in French, most talks will actually be in English).
4-7 June 2007, Logical Foundations of Computer Science (LFCS'07), New York, USALocation: New York, USA
The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science.
For more information, see http://www.cs.gc.cuny.edu/lfcs07
3-7 June 2007, Fourth International Symposium on Neural Networks (ISNN 2007), Nanjing, ChinaLocation: Nanjing, China
The Fourth International Symposium on Neural Networks (ISNN 2007) will be held in Nanjing, as a sequel of ISNN 2004/ISNN 2005/ISNN 2006. Nanjing is the old capital of China, a modern metropolitan with 2470-year history and rich cultural heritage, featuring numerous historic and scenery sites. ISNN 2007 aims to provide a high-level international forum for scientists, engineers, and educators to present the state of the art of neural network research and applications in diverse fields. The symposium will feature plenary speeches given by worldwide renowned scholars, regular sessions with broad coverage, and some special sessions focusing on popular topics.
For more information, see http://liu.ece.uic.edu/ISNN07/
1 June 2007, Symposium "Logica en Cognitie", Hampshire Hotel Plaza, GroningenLocation: Hampshire Hotel Plaza, Groningen
(dutch only: the conference itself will be english spoken)
De Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen (VvL) nodigt u hierbij uit voor het symposium Logica en Cognitie, georganiseerd in samenwerking met Cover (studievereniging Kunstmatige Intelligentie, Groningen). Het symposium staat onder auspiciën van het Instituut Kunstmatige Intelligentie van de Rijksuniversiteit Groningen, het Cognitieprogramma van NWO en de onderzoeksscholen BCN en SIKS.
Alle belangstellenden zijn van harte welkom. De toegang is gratis, inclusief koffie en thee, lunch en een drankje aan het einde van de middag.
Voor meer informatie en abstracts, zie http://www.ai.rug.nl/~sympocie/2007/
30 May - June 1, 2007, 8th Conference on Information Retrieval (RIAO 2007), Pittsburgh, USALocation: Pittsburgh, USA
RIAO 2007 aims to present recent, substantial, original and unpublished research that has been validated to the level of the creation of a functioning prototype. We are interested in large-scale solutions to the problem of accessing the semantic content found in unstructured text, images, video and audio.
For more information, see http://www.riao.org/index_eng.php
23-27 May 2007, 2nd European Cognitive Science Conference (EuroCogSci '07), Delphi, GreeceLocation: Delphi, Greece
The purpose of the conference is the presentation of empirical, theoretical, and analytical work from all areas of interest in cognitive science, such as artificial intelligence, education, linguistics, neuroscience, philosophy, psychology and anthropology. The focus is on interdisciplinary work that is either of interest for more than one of the mentioned research areas or integrates research methods from different fields. Furthermore, applications of cognitive science research in such domains as human-computer interaction, education, knowledge management, or engineering are equally welcome.
For more information, see http://conferences.phs.uoa.gr/EuroCogSci07/
22-25 May 2007, Theory and Applications of Models of Computation (TAMC07), Shanghai, ChinaLocation: Shanghai, China
The 4th Annual Conference on Theory and Applications of Models of Computation (TAMC07) will be held in Shanghai, China, May 22 to 25, 2007. Three previous annual meetings were held in 2004, 2005 and 2006, with enthusiastic participation from researchers all around the world. The three main themes of the conference TAMC07 will continue to be Computability, Complexity, and Algorithms. It aims to bring together researchers with an interest in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.
For more information, see http://www.tamc2007.fudan.edu.cn/
14-18 May 2007, Autonomous Agents and Multi-Agent Systems (AAMAS-07), Honolulu, Hawaii, USALocation: Honolulu, Hawaii, USA
The AAMAS conference series was initiated in 2002 as a merger of three highly respected individual conferences: the International Conference on Autonomous Agents, the International Workshop on Agent Theories, Architectures, and Languages, and the International Conference on Multi-Agent Systems. The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.
For more information, see http://www.aamas2007.org/
13 May 2007, "Interpolations", A Conference in honour of Bill Craig, Berkeley CA, USALocation: Berkeley CA, USA
Craig's interpolation theorem is part of the standard logic curriculum. This and other results of Craig's have had a profound significance in logic, philosophy of science, philosophy of logic, and computer science. Six internationally distinguished speakers will reflect on the importance and impact of Craig's work:
Solomon Feferman (Stanford University),
Michael Friedman (Stanford University),
Cesare Tinelli (University of Iowa),
Dana Scott (Carnegie Mellon University),
Jouko Väänänen (University of Amsterdam and University of Helsinki),
Johan van Benthem (University of Amsterdam and Stanford University).
Further information can be found at http://philosophy.berkeley.edu/events/detail/275 .
12-13 May 2007, Linguistics and Epistemology, Aberdeen, ScotlandLocation: Aberdeen, Scotland
One of the most striking developments in recent epistemological theorizing is the use of linguistic data and arguments to defend epistemological positions. Famous epistemological positions that are motivated and disputed in this way are contextualism, subject sensitive invariantism, and contrastivism. The overall aim of this conference is to bring together outstanding researchers working in this area of epistemology to both discuss the validity of the 'linguistic method' and bring this method into actual practice.
For more information, see http://www.abdn.ac.uk/philosophy/events/lingepist/ or contact Martijn Blaauw at m.blaauw at abdn.ac.uk.
7 May 2007, Methodological Problems of the Social Sciences, Tilburg UniversityLocation: Tilburg University
The workshop aims to bring together philosophers of science and leading researchers in the social sciences to discuss current methodological problems in these sciences. The focus of the workshop is on the interplay between, on the one hand, the use of probability theory in modeling human agents and, on the other, the use of statistical models in dealing with data about human agents.
There is no registration fee. However, participants have to register by 15 April 2007 by sending an email to MPSS2007 at gmail.com. For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/MPSS/
11-14 April 2007, Mathematical Foundations of Programming Semantics (MFPS XXIII), New Orleans, LA USALocation: New Orleans, LA USA
The MFPS conferences are devoted to those areas of mathematics, logic, and computer science which are related to models of computation, in general, and to the semantics of programming languages, in particular. The series has particularly stressed providing a forum where researchers in mathematics and computer science can meet and exchange ideas about problems of common interest.
For more information, see http://www.math.tulane.edu/~mfps/mfps23.htm
29 March - 4 April 2007, Language and Automata Theoy and Applications (LATA 2007), Tarragona, SpainLocation: Tarragona, Spain
LATA 2007 intends to become a major yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that is being developed at the host institute since 2001, it will reserve significant room for young computer scientists at the beginning of their career. LATA 2007 will aim at attracting scholars from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).
For more information, see http://www.grlmc.com/
26-28 March 2007, Second Perspectives on Mathematical Practices conference, Brussels, BelgiumLocation: Brussels, Belgium
The general philosophical theme of this meeting will be that of why and how philosophers and historians of mathematics need each other. This takes for granted the thesis, ventilated by Lakatos, that they do so. One is here referring, of course, to his famous paraphrase of Kantian dictum: "The history of mathematics, lacking the guidance of philosophy, has become blind, while the philosophy of mathematics, turning its back on the most intruiging phenomena in the history of mathematics, has become empty".
Any serious attempt at remedying this, and thus approaching the history and philosophy of mathematics, will either have to "bring to" philosophers the historian's expertise of conducting meticulous diachronical case-studies, or else "bring to" historians the philosopher's concern with epistemological depth; preferably both. Moreover, a focus on the historical dimension of mathematical practices is not to the exclusion of contemporary themes. To the contrary: Lakatos's point pertains to the historicity of mathematical knowledge, past and present.
For more and detailed information, visit http://www.vub.ac.be/CLWF/PMP2007/.
25-27 March 2007, Boise Extravaganza in Set Theory (BEST2007), Idaho City, USALocation: Idaho City, USA
We are pleased to announce our sixteenth annual BEST conference. There will be four talks by invited speakers:
Andres Caicedo (Caltech)
Tim Carlson (Ohio State University)
Marcia Groszek (Dartmouth College)
Peter Komjath (Eotvos University)
The conference webpage at http://math.boisestate.edu/~best/best16/ contains the most current information including lodging, abstract submission, maps, schedule, etc. Anyone interested in participating should contact the organizers as soon as possible by sending an email to: best at math.boisestate.edu.
9 March 2007, NVTI Theory Day 2007, Hoog Brabant, UtrechtLocation: Hoog Brabant, Utrecht
We are happy to invite you for the Theory Day 2007 of the NVTI. The Dutch Asssociation for Theoretical Computer Science (NVTI) supports the study of theoretical computer and its applications.
Again, we managed to compose an interesting program with excellent speakers from the Netherlands and abroad, covering important streams in theoretical computer science. Lecturers include Tom Ball (Microsoft Research), Nitin Saxena (CWI) Rineke Verbrugge (RUG) and Gerhard Woeginger (TU/e).
For more information, see http://www.nvti.nl/Theorydays.html.
8-10 March 2007, Confirmation, Induction and Science, LondonLocation: London
Opinions on confirmation and induction diverge wildly in philosophy of science. At one extreme are those such as the Bayesians, who believe that the true system of inductive logic has been found and all that needs to be resolved are the details. At the other are skeptics, such as some supporters of the underdetermination thesis, who hold that no logic can vindicate the level of support scientists claim for their best, mature theories, for, they urge, the real inductive import of evidence cannot be that decisive. Between these extreme are many intermediate positions, including the view that the very nature of inductive inference remains poorly understood. Our goal in this conference is to bring together representatives from as many of these viewpoints as possible in order to advance our understanding of this problem.
For more information, see http://www.lse.ac.uk/collections/CPNSS/events/Conferences/
8-10 March 2007, Conference "Social cognition, emotion, and self-consciousness", Delmenhorst, GermanyLocation: Delmenhorst, Germany
The international conference Social cognition, emotion, and self-consciousness will be held from the 8-10 March 2007 at the Hanse-Wissenschaftskolleg in Delmenhorst, Germany.
To participate, please register before 10th of February 2006 by sending an email to Marion Daniel at the Hanse-Wissenschaftskolleg: mdaniel at h-w-k.de. For further information, see here or contact Alexandra Zinck: alexandra.zinck at uni-tuebingen.de.
5-13 March 2007, ASL Annual Meeting 2007, Gainesville, Florida, USALocation: Gainesville, Florida, USA
The 2007 Annual Meeting of the Association for Symbolic Logic will take place March 10-13, 2007 at the University of Florida. Associated with the event is the workshop "Singular Cardinal Combinatorics and Inner Model Theory", to be held March 5-11. The Eighteenth Annual Gödel Lecture will be given by Ehud Hrushovski (Hebrew University, Israel). Special Sessions will be held on "Computability Theory", "Algebraic Model Theory", "Logic Research for Undergraduates" and "Connections of Set Theory with Boolean Algebras and Topology". The ASL will make available modest travel awards to graduate students in logic (deadline for applications: December 22, 2006).
For more information, see http://www.math.ufl.edu/~jal/logicyear/asl/
22-24 February 2007, 24th International Symposium on Theoretical Aspects of Computer
Science (STACS 2007), Aachen, GermanyLocation: Aachen, Germany
For more information, see http://www.cs.rwth-aachen.de/stacs07/
17-20 February 2007, IADIS International Conference Applied Computing 2007, Salamanca, SpainLocation: Salamanca, Spain
The IADIS Applied Computing 2007 conference aims to address the main issues of concern within the applied computing area and related fields. This conference covers essentially technical aspects.
15-16 February 2007, Logic and Multi-Agent Systems (LAMAS), Otago, New ZealandLocation: Otago, New Zealand
The workshop Logic and Multi-Agent Systems aims to provide a forum to foster lively and fruitful discussion on issues involved in logic and multiagent systems.
Particular topics of interest are:
1. Specification, verification, and synthesis of multiagent systems
2. Description logics
3. Relation between temporal and dynamic logics
4. Automated reasoning and model checking
5. Security protocols
6. Models of peer-to-peer networking
7. Intelligent databases (with multiagent aspects)
8. Models of electronic institutions and contracts
For more information, see http://www.cs.otago.ac.nz/staffpriv/hans/lamas2.html
5-10 February 2007, Workshop on Model Theory and Computable Model Theory, Gainesville, Florida, USALocation: Gainesville, Florida, USA
This workshop is part of the special year in logic at the University of Florida. The tutorials will take place on February 5-6, providing introductions to computable model theory and to model-theoretical applications within mathematics. The tutorials will be accessible to graduate students in logic, as well as to other interested mathematicians. The lectures on February 7-10 will present recent results in areas related to the tutorials.
For more information, see http://www.math.ufl.edu/~jal/logicyear/mtcmt/
29 January - 2 February 2007, Computing: The Australasian Theory Symposium (CATS 2007), Ballarat, AustraliaLocation: Ballarat, Australia
CATS is the premier theoretical computer science conference in Australasia. It is held annually as part of Australasian Computer Science Week (ASCW) which comprises many other conferences and is overseen by the Computer Research and Education Association (CORE).
For more information, see http://www-staff.it.uts.edu.au/~cbj/cats07/
21-22 January 2007, Topics in Computability: A Meeting in Honor of Richard Shore, Cambridge, USALocation: Cambridge, USA
Confirmed speakers include Carl Jockusch, Julia Knight, Manuel Lerman, Anil Nerode, Gerald Sacks, Stephen Simpson, Theodore Slaman and Robert Soare.
For more information, see http://www.math.uwaterloo.ca/~csima/shore/
21-25 January 2007, Bonn International Workshop on Ordinal Computability (BIWOC), Bonn, GermanyLocation: Bonn, Germany
Recent years saw the emergence of Ordinal Computability - the generalization of standard computability theory to ordinal time or ordinal space. Ordinal computability theory links computability, complexity, descriptive set theory, constructibility theory and other fields in innovative and fruitful ways.
The Bonn International Workshop on Ordinal Computability BIWOC aims at bringing together specialists, interested graduate students, and representatives from neighbouring fields. The program will consist of morning talks which will represent the current spectrum of ordinal machine models and identify relevant research questions and projects. Afternoons will be reserved for informal discussions, collaborations, and presentations. We expect that some progress may already be reported at an open session at the end of the workshop.
For more information, see http://www.math.uni-bonn.de/people/logic/biwoc/
19 January 2007, VvL Afternoon: Logics for interacting agents, UtrechtLocation: UtrechtCosts: -
On Friday January 19th 2007 there will be a small workshop organized by the Dutch Logic Society on "Logics for Interacting Agents" linked to the interdisciplinairy NIAS-project 'Games, Action and Social Software' (http://www.nias.knaw.nl/en/research_group_2006_07/nucleus/).
The meeting takes place in the Regardz Meeting Center La Vie Utrecht (Lange Viestraat 351, 3511BK Utrecht). This is a short walk from the Central Station.
For more information, see http://www.verenigingvoorlogica.nl/activiteiten/2007/agents.html
17-19 January 2007, PoPL (Principles of Programming Languages), Nice, FranceLocation: Nice, France
The annual Symposium on Principles of Programming Languages is a forum for the discussion of fundamental principles and important innovations in the design, definition, analysis, transformation, implementation and verification of programming languages, programming systems, and programming abstractions. Both experimental and theoretical papers are welcome.
For more information, see http://www.cse.ucsd.edu/popl/07/
10-13 January 2007, Conference on Logic, Computability and Randomness 2007, Buenos AiresLocation: Buenos Aires
The theme of the conference will be algorithmic randomness and related topics in logic, computability and complexity. The program will consist of invited talks, contributed talks and discussions. The meeting is sponsored by the Association for Symbolic Logic.
For more information, see http://www.dc.uba.ar/people/logic2007/
6-12 January 2007, 3rd international workshop in Neural-Symbolic Learning
(NeSy07), Hyderabad, India
Artificial Intelligence researchers continue to face huge challenges in their quest to develop truly intelligent systems. The recent developments in the field of neural-symbolic integration bring an opportunity to integrate well-founded symbolic artificial intelligence with robust neural computing machinery to help tackle some of these challenges.
For more information, see http://www.neural-symbolic.org/NeSy07/
3-6 January 2007, International Conference on Logic, Navya Nyaya and applications: a homage to Bimal Krishna Matilal, Calcutta, West Bengal, IndiaLocation: Calcutta, West Bengal, India
Navya-Nyaya is an offshoot of the Nyaya system which was originally intended to be a comprehensive philosophy having an ontology of its own. The logical apparatus and the analysis of language developed by the Nyaya system were originally devised to lend support to this ontology. But the Nyaya techniques of drawing conclusions from given premises and the Nyaya way of analyzing language were borrowed by the other systems of Indian philosophy. This suggests that the Nyaya system has a formal core which is relatively, if not absolutely, independent of its ontological commitments and can be applied to entirely different contexts.
This conference is homage to Bimal Krishna Matilal who was one of the few thinkers who devoted major part of his philosophical career to initiating meaningful dialogues between the philosophical traditions of the East and the West. The main objective of his studying an ancient Indian system such as Navya-Nyaya was to explain its significance and relevance to modern discussions in the area called "philosophical logic". Issues in philosophical logic like those of ontological commitments, existence and truth are also addressed by Navya-Nyaya. This opens up the possibility of an interface between the approaches and conclusions of the different traditions.
MoL and PhD defenses
21 November 2007, Master of Logic defense, Federico SangatiTitle: Towards simpler tree substitution grammarsLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Jelle Zuidema
2 November 2007, PhD defense, Katrin SchulzTitle: Minimal Models in Semantics and Pragmatics. Free Choice, Exhaustivity, and Conditionals.Location: de Agnietenkapel, Oudezijdse Voorburgwal 231, 1012 EZ, AmsterdamSupervisor: Frank Veltman and Paul DekkerPromotor: Frank Veltman
For more information, see pormondt at science.uva.nl
12 October 2007, PhD defense, Yoav SeginerTitle: Learning Syntactic StructureLocation: Agnietenkapel, Ouderzijds Voorburgwal 231, AmsterdamPromotor: Dick de Jongh
27 September 2007, Master of Logic defense, Brammert OttensTitle: Comparing Winner Determination Algorithms for Mixed Multi-Unit Combinatiorial AuctionsLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Krzysztof Apt and Ulle Endriss
12 September 2007, Master of Logic defense, Theodora AchouriotiTitle: Logic, Normativity and the A PrioriLocation: Room B-2.44, Nieuwe Achtergracht 166, Amsterdam (<em>changed</em>)Supervisor: Michiel van Lambalgen
5 September 2007, Master of Logic defense, Lena KurzenTitle: Logics for Cooperation, Actions and PreferencesLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Eric Pacuit and Ulle Endriss
31 August 2007, Master of Logic defense, Gustaaf HaanTitle: How illiterates interpret syllogistic problemsLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Michiel van Lambalgen
30 August 2007, Master of Logic defense, Jesse HarrisTitle: Revealing Concealment: A (neuro-)logical investigation of concealed questionsLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Paul Dekker, Liina Pylkkanen, Martin Stokhof
29 August 2007, Master of Logic defense, Petter RemenTitle: Automata on FlowsLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24,
AmsterdamSupervisor: Yde Venema
29 August 2007, Master of Logic defense, Raul LealTitle: Expresivity of Coalgebraic Modal LanguagesLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24,
AmsterdamSupervisor: Yde Venema
29 August 2007, Master of Logic defense, Christian KissigTitle: Decidability of S2SLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24,
AmsterdamSupervisor: Yde Venema and Clemens Kupke
21 August 2007
, Master of Logic defense, Sandeep MurthyTitle: Group-Theoretic Methods for bounding the exponent of matrix MultiplicationLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Tom KoornwinderMentor: Dick de Jongh
This is a rectification of the previously announced date of 20th of August.
For more information, please contact pormondt at science.uva.nl
14 August 2007, Master of Logic defense, Joost WinterTitle: Space Complexity in Infinite Time Tuning MachinesLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Benedikt Löwe
14 August 2007, Master of Logic defense, Yurii KhomskiiTitle: Regularity Properties and DeterminacyLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Benedikt Löwe
14 August 2007, Master of Logic defense, Ansten Morch KlevTitle: Extending Kleene's <i>O</i> Using Infinite Time Turing MachinesLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Joel Hamkins
25 July 2007, Master of Logic defense, Can BaskentTitle: Topics in Subset Space LogicLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Eric Pacuit
5 July 2007, Master of Logic defense, David ChabotTitle: Individual-Level Predicates and When-ConditionalsLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Frank Veltman
5 July 2007, Master of Logic defense, Harald BastiaanseTitle: Clarity in Non-Monotonic LogicLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Johan van Benthem and Frank Veltman
28 June 2007, Master of Logic defense, Ori GarinTitle: What is it talking about? A computational model of reference.Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Henk Zeevat
13 June 2007, Master of Logic defense, Marcello di BelloTitle: Formalizing Legislation in the Event CalculusLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Michiel van Lambalgen
15 May 2007, Master of Logic defense, Gerben de VriesTitle: Formalizing Implicatures using Logic ProgrammingLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Robert van Rooij
24 April 2007, Master of Logic defense, Tijmen DaniëlsTitle: .Social Choice and Logic via Simple GamesLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Eric Pacuit
4 April 2007, Master of Logic defense, Höskuldur HlynssonTitle: Transfer learning Using MDL with a Decision Trees ApplicationLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Maarten van Someren
28 February 2007, PhD defense, Darrin HindsillTitle: It's a Process and an EventLocation: Agnietenkapel, Oudezijds Voorburgwal 231. AmsterdamPromotor: Michiel van Lambalgen
23 February 2007, PhD defense, Rudi CilibrasiTitle: Statistical Inference through Data CompressionLocation: Oude Lutherse Kerk, Singel 411, AmsterdamPromotor: Prof. dr. P. VitanyiCopromotor: Dr. P. Gruenwald
7 February 2007, PhD defense, Neta SpiroTitle: What contributes to the perception of musical phrases in western classical music?Location: Oude Lutherse Kerk, Singel 411, AmsterdamPromotor: Prof. dr. R. BodCopromotor: Dr. Ian Cross
A workshop on "Musical Structure: Expectation generation, disruption and resolution" will take place following Neta Spiro's PhD defence at 12:00. The talks will begin at 2:30. For more information, see the workshop entry.
18 January 2007, Master of Logic defense, Jonathan ZvesperTitle: A Revised Version: Belief Revision and Epistemic ActsLocation: Room P-015b,, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Krister Segerberg and Eric Pacuit
Projects and Awards
Paul Vitanyi knighted in the order of the "Nederlandse Leeuw"
On Friday the 7th there was a special ceremony at CWI in honor of Paul Vitanyi. In a very entertaining afternoon session three famous mathematicians/computer scientists gave a talk more or less related to Paul's work. At the end of the afternoon Paul was awarded knighthood in the order of the "Nederlandse Leeuw", which is the highest ranking decoration that is not military.
For more information, see also here and http://www.cwi.nl/pr/press-releases/2007/pb-lintje-Vitanyi0907.html
ESSLLI best student paper award to Thomas Icard III
Master of Logic student Thomas Icard III won the award of the Best Student Paper in the Oral Session at the ESSLLI summer school of 2007 with his paper "Towards An Alternative Proof of Solovay's Arithmetical Completeness Theorem" based on a project advised by Joost Joosten.
Mosaic grant awarded to Yurii Khomskii
The ILLC is happy to announce that Master of Logic alumnus Yurii Khomskii was awarded a NWO Mosaic grant. The Mosaic programme is developed to boost the participation of ethnic minorities in academic research and provides funds for a 4 year period of doctoral research.
Yurii will start his PhD research as soon as possible under the supervision of Benedikt Loewe, on the project called Making Guesswork Precise: Developing a mathematical theory of rules-of-thumb in Set Theory of the Real Line"
For more information about the Mosaic program, see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_5RNBJK_Eng
Rubicon award to Emar Maier
We were happy to hear that a NWO Rubicon grant is awarded to Emar Maier from Nijmegen University (http://www.ru.nl/ncs/~emar/). The grant allows him to work for one year as a researcher at ILLC, together with Jeroen Groenendijk. The planned starting date is January 2007.
For more information, please contact ingrid at science.uva.nl
Teaching Prize 2007 of FGW to the course "Logica en de Linguistic Turn"
The Teaching Prize 2007 of the Faculty of Humanities has been granted to the course "Logica en de Linguistic Turn", which is part of the Bachelor of Philosophy.
Almost every ILLC member working in the Philosophy Department has taught this course - some more than fifteen times. We congratulate them all. It was the first time this prize was granted to a course (instead of a teacher). On the picture Frank Veltman, who co~rdinated this course for many years, and who replaced the present co~rdinator Karen Kwast receives the prize from Amanda Kluveld, Chair of the Jury.
You can find the picture and jury report on http://www.hum.uva.nl/.
Two NWO VIDI awards
We are very proud that (again!) the NWO VIDI round has lead to two awards to ILLC members, Maria Aloni and Ulle Endriss:
Within the Division of Humanities: Maria Aloni for her project 'Indefinites and beyond: evolutionary pragmatics and typological semantics', and
within the Division of Exact Sciences: Ulle Endriss for his project 'Collective Decision Making in Combinatorial Domains'.
Both will receive the sum of 600 kEURO (2/3 NWO; 1/3 UvA matching) with which they can start their own research group.
Two NWO VENI projects for the ILLC
NWO has announced that two NWO VENI projects have been awarded to:
Jelle Zuidema (now postdoc at the ILLC), for his project proposal "Discovering grammar: statistical models of sequence learning in humans, animals and machines"
Catarina Dutilh-Novaes (Master of Logic alumna), for her project: "Philosophical Foundations of Formal Languages in Logic: Formal Languages as Language Games"
We are very happy for Jelle and Catarina (and obviously for the ILLC as well). Congratulations!!!
Vrij Nederland: ILLC one of the 25 top research institutes in the Netherlands
We were proud to see the name of ILLC mentioned as one of the 25 top research institutes in the Netherlands in last week's special issue on `Knowledge Capital' of Vrij Nederland, a weekly Dutch magazine. You can view the complete list at http://www.illc.uva.nl/NewsandEvents/Attachments/Breinmagneten.pdf.
ASL Institutional Membership
A member of the Association for Symbolic Logic with a longstanding interest in the development of strong research centers in logic internationally has made a generous donation to the ASL to fund an institutional ASL memberships for the ILLC. We are very honoured to accept this donation.
As an institutional member of the ASL, the ILLC can invite nine students for free one-year student memberships of the ASL. For the calendar year 2007, these free memberships go to Nina Gierasimczuk, Daisuke Ikegami, Tikitu de Jager, Fenrong Liu, Floris Roelofsen, Olivier Roy, Brian Semmes, Joel Uckelman, and Levan Uridia.
VICI awarded to Rens Bod
The ILLC is very proud to announce that the VICI research proposal "Integrating Cognition" of Rens Bod has been selected by NWO Geesteswetenschappen. Rens is awarded the sum of 1.25 million EURO which will create jobs for 2 PhD students (3 years) and 2 postdocs (3 years).
Funding, Grants and Competitions
17 December 2007, Invitation to EG-Liaison ICT & Security Training
EG-Liaison offers training programmes. EG-Liaison wishes to transfer its knowledge and experience to interested parties willing to participate in a European project. To achieve this goal we frequently organise focused training programmes. As well as in the Netherlands, these take place particularly in countries in their pre-EU accession phase. Subjects specifically covered by these programmes include among others:
- How to draft a successful proposal
- Juridical and financial aspects of a European project
- Project management
- Participation of Small to Medium-sized Enterprises in European project
Costs are 125 euro including trainingmaterial, coffee/tea and lunch. For more information, see SenterNovem / EG-Liaison, http://www.senternovem.nl/egl/english.asp, Phone: +31 70 373 52 50, Email: info at egl.nl.
11 December 2007, Schrijfclinic Vernieuwingsimpuls Veni en Vidi
Liaison Office organiseert een workshop waarin onderzoekers advies krijgen bij het opstellen van hun voorstel voor een Veni (pas gepromoveerd) of Vidi (aantal jaren post-doc ervaring). De eerst volgende deadline voor het indienen van een Veni of een Vidi is 8 januari 2008.
Deelname is kosteloos, maar er is slechts een beperkt aantal plaatsen beschikbaar. Voor nadere informatie zie here, of neem contact op met Liaison Office, Carolien Zijderveld, telefoon 020 525-5417, e-mail c.a.l.zijderveld at uva.nl .
6 December 2007, Informative Afternoon 3rd ICT callLocation: SenterNovem, Juliana van Stolberglaan 3, Den Haag, THe Netherlands
The next topics will be discussed:
Cognitive systems, Interaction & Robotics
Digital libraries & Technology-enhanced learning
Intelligent content & Semantics
FET Proactive (complex systems for socially intelligent ICT, embodied intelligence, ICT forever yours)
For the programme, more information and an application form see http://www.senternovem.nl/eglinformatiemaatschappij/agenda/
20 September 2007, Workshop joint call ICT/Security (part of Seminar on European Subsidies)Location: Koninklijke Schouwburg, the Hague
The ministry of the interior organizes a seminar on EU subsidy. Part of this seminar are two sessions on 'security and ICT'. The seminar is of a broad nature and all sorts of government agencies that are involved with subsidies have been invited.
For more information, see <http://www.senternovem.nl/eglinformatiemaatschappij/agenda/.
Franklin Research Grants of the American Philosophical Society
Since 1933 the American Philosophical Society has awarded small grants to scholars in order to support the cost of research leading to publication in all areas of knowledge. The Franklin program is particularly designed to help meet the costs of travel to libraries and archives for research purposes; the purchase of microfilm, photocopies, or equivalent research materials; the costs associated with fieldwork; or laboratory research expenses. Funding is offered up to a maximum of $6,000 for use in calendar year 2008. Grants are not retroactive.
Deadline for March 2008 decistions is December 1, 2007. For more information, see http://www.amphilsoc.org/grants/franklin.htm.
Call for proposals SPIN postdoc programme 2007
The Royal Netherlands Academy of Arts and Sciences (KNAW)requests proposals for the The 'Scientific Programme Netherlands - Indonesia' (SPIN). It is based on agreements between the Netherlands and Indonesian governments. The Programme adheres to the principle of mutual benefit and aims to stimulate the establishment of long-term scientific cooperation between Indonesian and Netherlands research groups. Deadline for Submission: Friday 19th of October 2007
For more information, see jeroen.frietman at burea.knaw.nl or visit http://www.knaw.nl/cfdata/indonesia/introduction.cfm
'Free Competition' Exact Sciences division NWO
The exact sciences division of the Netherlands Organisation for Scientific Research (NWO) invites researchers at Dutch universities, NWO or KNAW-institutes to submit research proposals in the context of the organisation's 'Free Competition', in order to gain funding for their projects.
Proposals need to be submitted using NWO's electronic request system found at http://www.iris.nwo.nl/. Proposals can be submitted continuously all through the year but only three times a year will these be evaluated. Exact information is to be found at http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_5U2LBW under the heading 'documentation' for a complete guide.
Call for nominations for the 'Descartes-Huygensprijs 2007'
The Royal Netherlands Academy of Arts and Sciences (KNAW)annually awards the 'Descartes-Huygensprijs' to a distinguished French researcher in the Social Sciences or the Humanities in order to stimulate scientific collaboration between France and the Netherlands. Nominations can be submitted until the 15th of November 2007.
For more information, see http://www.knaw.nl/cfdata/prijzen/prijzen_detail.cfm?orgid=626, contact jeffrey.muskiet at bureau.knaw.nl or call 020- 551 08 29.
NWO Casimir programme
The aim of NWO Casimir's programme is to increase the mobility of researchers and to accomplish more exchange between business and academia. A maximum of 100.000 EURO can be requested. There must always be 3 applicants: a representative of the university, a representative of the company, and a talented graduate or researcher (=the candidate).
For more information (in Dutch only), see http://www.nwo.nl/subsidiewijzer.nsf/pages/
2nd ICT call of CORDIS FP7
On June 12th, the second call for the Information and Communication Technologies (ICT) programme of the CORDIS Seventh Research Framework Programme (FP7) was opened, with a budget of 477 million euro. The call will close on October 9th, 2007, In this call the following eight 'objectives' are taken into consideration :
- New paradigms and experimental facilities (the future of Internet),
- Photonic components and subsystems,
- Networked embedded and control systems,
- Virtual physiological human,
- ICT for cooperative systems,
- ICT for environmental management and energy efficiency,
- Accessible and inclusive ICT.
Reference nr: FP7-ICT-2007-2. For more information, see http://cordis.europa.eu/fp7/dc/
FFSB 2008 - International Mathematical Research Prize
The purpose of the Foundation Ferran Sunyer i Balaguer is to stimulate mathematical research, granting a prize and grants for studies or research in the area of the mathematical sciences. Conditions: Prize awarded for a mathematical monograph in an expository nature presenting the latest developments in an active area of research. The prize: 12.000 euro and publication of the winning monograph in Birkhäuser Verlag's series Progress in Mathematics. Deadline: December 3, 2007
For more information, see http://ffsb.iec.cat/EN/
21 June 2007, ICT- Informatiemiddag 2de ICT call / ICT-informationmeeting 2nd ICT call, Mercure Hotel, Spui 180, Den HaagLocation: Mercure Hotel, Spui 180, Den HaagCosts: € 25,-
On June 12th, the second call for the Information and Communication Technologies (ICT) programme of KP7 was opened, with a budget of 477 million euro. The call will close on October 9th, 2007. For this second call SenterNovem/EG-Liaison, together with the Ministries of the Interior and of Education and Science, will organize an informational meeting on Thursday June 21th, 2007, in the Mercure hotel in the Hague.
For more information and registration, see http://www.senternovem.nl/eglinformatiemaatschappij/agenda/ and http://cordis.europa.eu/fp7/dc/
Dobrushin Prize (Information Theory, Mathematical & Computer Linguistics)
The Dobrushin Foundation has launched the International Dobrushin Prize, awarded annually to outstanding researchers for the totality of their work in the domains of the research interests of Ronald L. Dobrushin (1929-1995), one of the founders of the Independent University of Moscow. The areas include information theory, statistical physics, probability theory, and mathematical and computer linguistics. The prize committee, formed of independent experts, is accepting nominations from any researcher or a group of researchers.
Nominations should be sent before May 10, 2007 to dobrushinawards at yahoo.com, and should include a list of significant publications of the candidate, a brief summary of several of the candidate's most important publications, and a list of three experts who have agreed to endorse the nomination. The prize is awarded each year on June 20, the birthday of Dobrushin. The winner receives a diploma and the equivalent of US$3,000 and is invited to present a lecture at the Institute for Information Transmission Problems in Moscow.
Descartes Prizes 2007: "Science and society"
The Descartes Prize for Research is awarded to teams having achieved outstanding scientific or technological results from European collaborative research in any field of science, including the economic, social and human sciences. This prize aims to attract experienced scientists who have made an outstanding contribution to research.
Deadline for applications: July 17th, 2007. For more information, see http://ec.europa.eu/research/descartes/submit_en.htm or the CORDIS call text at http://cordis.europa.eu/fp7/dc/.
E. W. Beth Dissertation Prize 2007
Since 2002, FoLLI (the European Association for Logic, Language, and Information, http://www.folli.org/) awards the E. W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information.
Submissions are invited for 2007. The prize will be awarded to the best dissertation which resulted in a Ph.D. in the year 2006. The dissertations will be judged on technical depth and strength, originality, and impact made in at least two of the three fields of Logic, Language, and Computation.
For more information, see http://folli.loria.fr/content/beth2007.html Deadline for submissions (extended) is May 6, 2007.
9 April 2007- Deadline for submission, Science Park Amsterdam New Ideas Competition 2007
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).
ERC Starting Grants
1st Call for Proposals on ERC Starting Grants (comparable to the Dutch 'VIDI' grant)
- 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
Funding per grant: up to € 500,000 - 2,000,000
Duration: up to 5 years
Application: online, 2-stage process
Evaluation criterion: scientific excellence
Submission deadline: 25 April 2007
Call Budget: € 300,000,000
Number of grants: approx. 200
For more information, see http://erc.europa.eu/ See also our announcement about the special 'schrijfclinic', unfortunately in Dutch only.
Niels Stensen stipendium
Professors are invited to propose candidates for the Niels Stensen stipendium. Eligible are: young *catholic* researchers who recently obtained their doctoral degree. Stipendia are awarded for a period of 9-12 months. Deadline for application: April 1, 2007
For more information, please contact Ingrid van Loon (ingrid at science.uva.nl).
Huygens scholarhsips for PhD students from Croatia, Turkey, Bulgaria and Romania.
The prestigious HSP Huygens programme is open to excellent students from all countries of the world. It is aimed at talented students who want to come to the Netherlands in the final phase of their bachelor's studies or during their master's studies. PhD applications can only be accepted from excellent students from Croatia, Turkey, Bulgaria and Romania.
Applications for the 2007-2008 academic year must be received by Nuffic by 1 February 2007 at the latest. The starting date of the HSP scholarship is 1 September, 2007.
When applying for the scholarship you will need a HSP nomination letter from the HSP-coordinator at the Universiteit van Amsterdam, Ms Marjan Kuiper (e-mail: J.M.Kuiper at uva.nl).
For information about the application procedure, see http://www.nuffic.nl/hsp/.
Start of 7th Research Framework Programme (FP7)
The EU has published the first calls for all programmes Cooperation, Ideas, People en Capacities as well Euratom, on Friday December 22. It includes 42 calls with a budget of more than 4 billion EUROs (for 2007).
For more information, see http://cordis.europa.eu/fp7/calls
Kurt Gödel Centenary Research Prize Fellowship
The Kurt Gödel Society is proud to announce the commencement of the research fellowship prize program in honor and celebration of Kurt Gödel's 100th birthday.
The research fellowship prize program sponsored by the John Templeton Foundation will offer: two Ph.D. (pre-doctoral) fellowships of $60,000 US per annum for two years two post-doctoral fellowships of $ 80,000 US per annum for two years one senior fellowship of $120,000 US per annum for one year.
The purpose of the fellowship is to support original research in mathematical logic, meta-mathematics, philosophy of mathematical logic, and the foundations of mathematics. This fellowship is to carry forward the legacy of Gödel, whose works exemplify deep insights and breakthrough discoveries in mathematical logic.
Applications must be received before 30 June 2007. For more information, see http://kgs.logic.at/goedel-fellowship/.
Hendrik Casimir-Karl Ziegler Onderzoekstipendium 2007
The Hendrik Casimir-Karl Ziegler Research Grant was founded in 1997 to promote cooperation between German and Dutch science through the exchange of young promising researchers. The research grant is awarded annually to both German and Dutch researchers, alternately in the fields of the natural and life sciences, including the technical sciences (2007, 2009) and the humanities and social sciences (2008, 2010). The scholarship of 50.000 EURO is awarded to a young excellent postdoc at the beginning of his/her career. The postdoc will stay for one year at a university in Noordrijn-Westfalen.
For more information, see http://www.knaw.nl/cfdata/funding/funding_detail.cfm?orgid=4 or the original announcement (PDF, dutch only).
Open Positions at ILLC
Postdoc Position in Unsupervised Data-Oriented Parsing (3 years)
The Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam has a vacancy for a full-time Postdoc position in Computational Linguistics (3 years), on Unsupervised Data-Oriented Parsing. The position is part of the NWO-funded Vici-program 'Unsupervised Learning with the DOP Model', which will consist of 6 researchers.
Postdoc Position in Computational Social Choice
PhD Position in Computational Social Choice
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
PhD position at UIL-OTS (Utrecht University)
The Utrecht Institute of Linguistics OTS offers 1 PhD position in language development (1,0 fte).
This PhD position is part of a four-year research programme concerning first-language acquisition, funded by The Netherlands Organisation for Scientific Research NWO (project number PR-06-99). The programme involves collaboration between UiL OTS (dr. J. van Kampen, prof. dr. M. Moortgat) and the Institute for Logic Language and Computation (ILLC) in Amsterdam (prof. dr. R. Scha). The programme comprises a post-doctoral project and two PhD projects. Their relation can be described as linguistic descriptive (postdoctoral project), formal theoretical (PhD project 1) (both employed by Utrecht University) and computational (PhD project 2, employed by the University of Amsterdam). The current opening is for PhD project 1 (starting date 1-9-2007): a PhD project investigating the successive acquisition steps by means of a structured lexicon and grammars using the framework of generative grammar.
Deadline for application is May 30th, 2007. For job requirements and work conditions, see here. For more information on the programme, see http://www.let.uu.nl/~Jacqueline.vanKampen/personal/.
PhD position in Logic and Language group
The ILLC Logic & Language group has one vacant PhD position for a candidate who wants to write a dissertation on a topic falling within the interdisciplinary field between logic, philosophy of language, and cognitive science, and who has completed a master's degree in a relevant area. Candidates shortlisted for this position will be asked to write a project proposal.
For more information, see here.
2 PhD positions in VICI project Rens Bod
The ILLC Language & Computation group is looking for two highly qualified candidates for the VICI-project 'Integrating Cognition: Unsupervised Learning with the DOP Model', supervised by Prof. dr. Rens Bod. We sollicit applications from candidates with a master degree in computational linguistics, computer science, cognitive science, logic, artificial intelligence or related areas to work in one of the following subprojects:
Project 1) Unsupervised Data-Oriented Translation
Project 2) Unsupervised Structural Language Models for Speech Recognition
Open Positions, General
Postdoctoral and/or PhD student position in analytic philosophy, Utrecht (The Netherlands)
The Philosophy department of the Faculty of Humanities, University of Utrecht invites applicants for the positions of postdoc researcher and/or PhD-researcher (both 1,0 fte) in one of the following domains: analytic philosophy, epistemology, philosophy of science, or philosophy of religion. Both positions are mainly intended for research and involve a little teaching and some management tasks.
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 (dam at math.ucla.edu), or Matthias Aschenbrenner (matthias at math.ucla.edu).
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 (S.Hartmann at uvt.nl).
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 rensink at cs.utwente.nl.
Postdoctoral fellowship in Algorithms and Complexity Theory, Vancouver BC (Canada)
Applications are invited for postdoctoral fellowships in Theoretical Computer Science, including (but not limited to) Algorithms, Bioinformatics, Complexity Theory, Computational Geometry, and Optimization. Strong candidates in other theoretical areas are also encouraged to apply. Fellowships will be held in the School of Computing Science, Simon Fraser University, Vancouver, British Columbia. These positions are offered in conjunction with the Pacific Institute for the Mathematical Sciences (PIMS).
The candidate may begin a position any time between April 1, 2008 and January 1, 2009. Application packages must be received by December 1, 2007 to be considered. For more information, see http://www.cs.sfu.ca/JobOpp/postdoc.html.
Postdoctoral position in mathematical logic, Notre Dame (USA)
The Department of Mathematics of the University of Notre Dame invites applications from recent doctorates (since 2007) in mathematical logic for a postdoctoral position. Candidates in any area of mathematical logic compatible with the research interests of the logicians in the department will be considered. The position is contingent upon the availability of funding and, if funded, will extend for a term of three years beginning August 22, 2008.
The evaluation of candidates will begin December 1, 2007. For more information, see http://www.nd.edu/%7Emathwww/jobs.shtml.
Tenure-track positions in (theoretical) computer science, USC, Los Angeles CA (U.S.A.)
The Computer Science Department of the USC Viterbi School of Engineering seeks to hire multiple tenure-track faculty this year. We are interested in outstanding faculty candidates at all levels, with priority in the areas of: Algorithms/Theory, Machine Learning, Graphics and Interactive Game Technologies, and Networks and Network Security
The department is primarily seeking individuals at the Assistant Professor rank. However, we are also interested in exceptional senior candidates.
Evaluation of all dossiers will start in mid-November 2007 but later applications will also be considered. For more information, see http://www.cs.usc.edu/people/AppFaculty.htm
Two Research Fellowships, Arché Research Centre, University of St Andrews
The Arché Research Centre at the University of St Andrews is seeking to appoint two research fellows for up to four and a half years. Fellows will commence on 1 April 2008, or as soon as possible thereafter and will conduct research within the scope of the AHRC funded research project 'Contextualism and Relativism'.
You must have a PhD in Philosophy by the time of appointment and be capable of demonstrating outstanding research potential in the areas of the project. A track record of high quality publications will be an advantage. The closing date for the receipt of applications is the 29th of November 2007.
For more information, see http://www.st-andrews.ac.uk/~arche/news/2007/09/
PhD students / postdoctoral position in distributed algorithms, München (Germany)
A fully funded PhD or postdoc position is available in the research group of Christian Scheideler (Technical University of Munich, Germany), in a project supported by the German Research Foundation to design and rigorously analyze distributed algorithms for self-stabilizing overlay networks. Due to the rise of peer-to-peer systems, sensor networks, and mobile ad hoc networks, logical networks, or overlay networks, are becoming more and more wide spread. A major complication in these networks is that they can be highly dynamic, which requires fast and robust recovery mechanisms. We are particularly interested in self-stabilizing overlay networks, or more precisely, networks that can quickly recover from any state from which this is still possible. Only a few results are known so far that rigorously study self-stabilization issues for overlay networks, and those few known results only provide fast self-stabilization from certain degraded states that appear to be most relevant. The goal of the project will be to significantly extend the knowledge in this field.
The preferred starting date for the position is January 1, 2008 (but should not be later than February 1). Applications are expected to arrive by November 26. For further information, see http://www14.in.tum.de/personen/scheideler/jobs.html or contact Christian Scheideler at scheideler at in.tum.de.
Postdoctoral positions in "Computationism as a Foundation", Tokyo (Japan)
The "Computationism as a Foundation" (Comp-View) Center at the Tokyo Institute of Technology was established in July, 2007. "Computationism" is a framework which seeks to rethink various scientific phenomena from the point of view of computation. Comp-View will develop theories and technologies in order to explore this framework.
Term: The standard term will be 2 years (annual, renewable contract). Location: Tokyo Institute of Technology Ookayama (Tokyo) campus. Start Date: April 1, 2008, or as early as possible after April 1, 2008 (no later than October 1, 2008). Topic areas for the various positions are Theoretical Computer Science, Design and analysis of randomized algorithms, Average-case complexity and Circuit complexity
Application Deadline: December 17, 2007. For more information, see http://compview.titech.ac.jp/office-pub/pd-recruit-en Or contact somebody at
Tutorial Fellowship in Philosophy (logic need), Cambridge (U.K.)
The Faculty of Philosophy and Christ Church, Oxford, invite applications from suitably qualified candidates for a Tutorial Fellowship in Philosophy, starting 1 October 2008. The area of research for this post is open. The College has a need for first-year tutorial teaching in General Philosophy and/or Elementary Logic and for tutorial teaching, typically for second and third years, in History of Philosophy from Descartes to Kant and at least one of the following subjects: Knowledge and Reality, Philosophy of Logic and Language, Philosophy of Mind, The Philosophy of Kant, Aesthetics, Post-Kantian Philosophy; applicants who cannot offer History of Philosophy from Descartes to Kant but who are able to teach at least three of these second/third year subjects will also be considered.
The closing date for receipt of applications is Friday 9th November 2007. For more information, see http://www.chch.ox.ac.uk/.
Tenure-track professorships ("free-floater") without subject specification, Göttingen (Germany)
The University of Göttingen together with the non-university research institutions of the Göttingen Research Campus invites applications for Tenure-Track Professorships to build up Independent Research Groups. Up to 5 Tenure-Track Professorships to head a so-called Free-Floater Research Group are offered. The Free-Floater Research Groups will be established to support competitive and innovative research ideas in all areas of the University's research fields. Proposals for independent Free-Floater Research Groups can be made without constraints on their topics.
Applications must be received by December 3, 2007. For more information, see http://www.uni-goettingen.de/positions_ff or contact the: Vice-President for Research Prof. Dr. Doris Lemmermöhle at doris.lemmermoehle at zvw.uni-goettingen.de.
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 mpgilber at uci.edu.
Assistant Professorship (tenure-track) in Philosophy, Atlanta GA (U.S.A.)
Assistant Professor at Oglethorpe University, tenure-track, beginning fall 2008. AOS: Analytic philosophy broadly construed; the department has particular needs in Logic, Epistemology and Philosophy of Mind.
Applications must be received before December 1, 2007. For more information, see http://www.oglethorpe.edu/apps/careers/. Or contact somebody at
Assistant Professorship (tenure-track) in philosophy (logic), Baltimore MD (U.S.A.)
Assistant Professor, Tenure-Track, beginning Fall semester 2008. AOS: philosophy of law, law and morality, logic.
Applications must be received before 15 November 2007. For more information, see http://www.ubalt.edu/template.cfm?page=318&posting=168.
Juliana Cuyler Matthews Junior Research Fellowship in Philosophy at New College, Oxford (U.K.)
Applications are invited for the following Juliana Cuyler Matthews Junior Research Fellowship in Philosophy, for three years from 1 October 2008. The person appointed will be expected to undertake advanced research in the field of Philosophy. Applicants for this Fellowship must have completed their first degree before 1 October 2005, and may not have previously held a Junior Research Fellowship or comparable appointment.
Application forms and further particulars are available from the College Secretary, New College, Oxford, OX1 3BN (tel. 01865-279548, email: barbara.vardag at new.ox.ac.uk) 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: S.Hartmann at uvt.nl). For more information, see http://www.tilburguniversity.nl/tilps/jobs/.
Postdoctoral Fellowship Programme: Mathematics of Information; CalTech (Pasadena, CA; U.S.A.)
Caltech's Center for the Mathematics of Information (CMI) announces openings in the CMI Postdoctoral Fellowship Program, starting in fall 2008. The CMI is dedicated to fundamental mathematical research with an eye to the roles of information and computation throughout science and engineering. Areas of interest include algorithms, complexity, applied combinatorics, applied probability, statistics, information and coding theory, geometry processing, multiresolution methods, control and optimization.
Please apply and have three reference letters sent directly as instructed at http://www.ist.caltech.edu/joinus/positions.html. All candidates materials are due by Friday, December 14th, 2007 and reference letters are due by Monday, December 17th, 2007.
Postdoctoral Research Positions in Quantum Information, Pasadena CA (U.S.A.)
The Institute for Quantum Information at the California Institute of Technology will have postdoctoral scholar positions available beginning in September 2008. Researchers interested in all aspects of quantum information science are invited to apply.
Please apply on-line at http://www.iqi.caltech.edu. The deadline for receipt of all application materials is December 17, 2007.
PhD student positions in Philosophy of Economics or Social Choice Theory, Tilburg (The Netherlands)
The Department of Philosophy and the Tilburg Center for Logic and Philosophy of Science (TiLPS, invite applications for two three-year full-time PhD positions, commencing January 1, 2008. The successful candidate is expected to work on philosophy of economics, philosophy of social science or social choice theory and complete a PhD thesis within three years.
The deadline for applications is October 25, 2007. Informal enquiries may be directed to Professor Stephan Hartmann (email: S.Hartmann at lse.ac.uk). 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.
Postdoc position available in project "Consequence Relations in Logics of AI"
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
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.
PhD position on Formal Argumentation for Trust ManagementLocation: University of Luxembourg
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.
American Association of University Women (AAUW)
Applications for the 2008-2009 academic year must be received before December 1, 2007. For more information, see http://www.aauw.org/fga/fellowships_grants/international.cfm
Michigan Society of Fellows, Postdoctoral Fellowships
The Michigan Society of Fellows invites applications from qualified candidates who are at the beginning of their academic careers, having received the Ph.D. or comparable professional or artistic degree between June 1, 2005 and September 1, 2008. Fellows are appointed as Assistant Professors in appropriate departments at the University of Michigan and as Postdoctoral Scholars in the Michigan Society of Fellows. They are expected to be in residence during the academic years of the fellowship, to teach for the equivalent of one academic year, to participate in the informal intellectual life of the Society, and to devote time to their independent research. The annual stipend will be $50,000. Seven fellowships will be awarded.
Applications from degree candidates and recipients of the Ph.D. from The University of Michigan will not be considered.
Applications must be received before 1 October 2007. For more information, see http://www.rackham.umich.edu/faculty_staff/sof/.
Assistant or Associate Professor position, Philosophy (Metaphysics and/or Epistemology), Simon Fraser University, Burnaby BC (Canada)
Rank: Assistant or junior Associate Professor, with a preference for more experienced candidates; beginning 1 September 2008.
AOS: Metaphysics and/or epistemology (including philosophy of science).
AOC: Undergraduate Logic. Ph.D. required by 1 September 2008.
Teaching duties include undergraduate and graduate instruction as well as graduate supervision; normally two courses per semester, one semester research, on a trimester system.
To ensure full consideration applications must be received by 1 November 2007. For more information, see http://www.sfu.ca/philosophy/job_postings.htm.
Group leader position (E15): Verification / Algorithm Engineering, Karlsruhe (Germany)
The Institute for Theoretical Informatics at the der Fakulty for Informatics is seeking at the earliest possible date a Group Leader (E15) of the Research Group "Verification meets Algorithm Engineering"
The Universität Karlsruhe (TH) and the Forschungszentrum Karlsruhe are joining forces to form the Karlsruhe Institute of Technology (KIT) and are planning to integrate their research activities both structurally and strategically. Within the framework of the Excellence Initiative distinguished future concept, several new research groups will be established. The aforementioned research group shall bridge the gap between two research fields at the Institute for Theoretical Informatics by combining methods from algorithm engineering to test and prove correctness of algorithm implementations with formal methods for verification.
For further information please see http://i11www.iti.uni-karlsruhe.de/algo/ (Job offering/Research group) or contact Prof. Dr. Dorothea Wagner (wagner at ira.uka.de, Tel. 0721/608- 7330). Closing date for receiving the applications is 25 August 2007.
Assistant / Associate Professor position in Quantum Information Processing, Montreal QC (Canada)
The Department of Computer Science and Operations Research at the University of Montreal invites applications for a tenure-track faculty position in Quantum Information Processing at the rank of Assistant or Associate Professor.
A complete description of the position, including a profile of the ideal candidate, can be found at http://www.fas.umontreal.ca/postes/affichage-2007/IRO-quantique-english.pdf. For more information, see also http://www.iro.umontreal.ca/?lang=en. The position is available starting in January 2008, subject to budget approval. Deadline for applications: 28 September 2007.
Department Chair in Computer ScienceLocation: Victoria BC, Canada
The Department of Computer Science at the University of Victoria in Victoria, British Columbia, Canada is searching for a new department chair. The job requirements are for someone with administrative experience who has a Ph.D. in Computer Science or a related field who has the qualifications and standing to be appointed as a tenured Associate Professor or tenured Professor.
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, Pieter.Collins at cwi.nl, +31 (0)20 592 4094.
PhD position in Description Logics 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 (leon.vandertorre at uni.lu) and to Dr. Gabriella Pigozzi (gabriella.pigozzi at uni.lu) by July 15, 2007.
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, jacob at in.tum.de
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.
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 (wanf at cs.vu.nl) or Prof.dr. Jaap Heringa (heringa at cs.vu.nl).
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 christel.fricke at ifikk.uio.no.
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.
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 P.Krysta at csc.liv.ac.uk.
PhD Scholarships at IIIA-CSIC, Barcelona
The Artificial Intelligence Research Institute (IIIA) offers nine four-year PhD scholarships for students pursuing a full-time PhD degree in Artificial Intelligence in the area of multiagent systems. The students will be integrated in a Spanish large project on 'agreement technologies' involving more than 50 researchers in computer science at IIIA-CSIC (Prof. Carles Sierra), Universitat Politecnica de Valencia (Prof. Vicent Botti) and University Rey Juan Carlos I (Prof. Sascha Ossowski). Closing date for application: 31 August 2007. Start date is 1 November 2007 although it may be possible to start later depending on the candidates' circumstances.
For more information, see http://www.iiia.csic.es/scholarship_offers.php.
Postdoctoral position in logic and semantics, Tallinn (Estonia)
A postdoc position is available in the logic and semantics group of the Institute of Cybernetics (IoC), the Tallinn University of Technology, within the EU IST FP6 integrated project MOBIUS, on proof-carrying code technology. The position is for two years, the preferred start date is 1 Sept 2007.
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 grohe at informatik.hu-berlin.de.
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 aart.middeldorp at uibk.ac.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.
W3 Professor Position, Theoretical Computer Science, Paderborn (Germany)
The University of Paderborn (Germany) has an opening in its Computer Science Department for a Senior Professor (W3) for Theoretical Computer Science,\to succeed Prof. Monien.
Applicants should be outstandingly qualified in research and teaching in at least one subfield of Theoretical Computer Science, and are required to be ready to cooperate in the interdisciplinary facilities of the University of Paderborn and to adequately participate in the education of students within the basic and main courses in Computer Science.
Applications must be received before June 28, 2007. For more information, see here.
PhD student position (2y; 'wissenschaftliche Hilfskraft'), Osnabrück (Germany)
We invite applications for a two-year PhD position at the Institute of Cognitive Science at the University of Osnabrueck, Germany. Candidates should be about to complete or should have completed a two-year masters programme or equivalent in philosophy or cognitive science. The successful candidate is expected to work in a research project entitled Evolutionary Anthropology Can Biology Explain Culture? and will be given the opportunity to complete a PhD thesis in Cognitive Science or Philosophy.
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: kornerup at imada.sdu.dk.
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 ziegler at math.tu-berlin.de.
PhD student grants in Information Science, Coimbra,
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.
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.
Tenured position as Assistant / Associate Professor in Algorithms, Delft (The Netherlands)
We are looking for a suitable candidate to strengthen the Algorithmics Group in the Faculty of Electrical Engineering, Mathematics and Computer Science at Delft University of Technology.
Research in the Algorithmics Group focuses on algorithmic methods for distributed systems with nodes that have a large degree of autonomy. Research concentrates particularly on the design, evaluation and implementation of coordination methods for such systems. An important focus here is the development of robust coordination methods which can be used in environments where faults will often occur. The intended application areas for such methods include the transport sector, incident management, and healthcare.
The Assistant Professor/Associate Professor will focus on algorithm research, and in particular on distributed coordination methods for autonomous systems. He or she will also supervise PhD candidates in the group. The Assistant Professor/Associate Professor will also provide teaching in logic for computer scientists and theoretical computer science in the Bachelor's phase. Finally, the appointee will teach advanced algorithms in the Master's phase.
You can apply for this job until July 1, 2007. For more information, see http://vacatures.ewi.tudelft.nl/index.php?taal=&m_id=50&record=151.
PhD Scholarships in the "Berlin School of Mind and Brain", Berlin (Germany)
The Berlin School of Mind and Brain, an interdisciplinary graduate school at Humboldt-Universitaet zu Berlin, is inviting students with a master's level background in a field related to mind and brain research to submit their applications.
The application deadline is May 31, 2007 for admission in the fall. Please visit our website for more information on the structure of the Ph.D. program, participating researchers and institutions, admission requirements and the application process: http://www.mind-and-brain.de
PhD student positions in the graduate school "Galileo Galilei", Pisa (Italy)
We would like to announce a number of grants reserved for candidates educated outside Italy at the Phd School Galileo Galilei.
The Ph D courses in Chemistry, Physics, Applied Physics, Computer Science, and Mathematics will develop their teaching and scientific programmes and make them available to the School. In addition, inter-doctoral seminars and lectures, schools and intensive training periods will be organised. Graduate students from other institutions will be encouraged to attend these events. The Galileo Galilei Colloquium will be added to the traditional Fermi Lectures held at the Scuola Normale and to the other initiatives of the Pisan scientific community.
The deadline for applications is: June 15th, 2007 For further details, visit: http://www.di.unipi.it/galilei/.
Research Fellowship in Theoretical Foundations of Scientific Modelling, Swansea (Wales)
The Welsh Assembly Government and HEFCW have agreed to support the foundation of Welsh Institute for Mathematical Computational Science (WIMCS) with a grant of 35 million phased over four years, starting in October 2006. The Institute is set to boost the research base in mathematical and computational sciences, and to increase income for research in these areas in Wales. WIMCS will also play an important role in fostering collaboration with industry and commerce. For more information, please see the official web pages: http://wimcs.swan.ac.uk.
Sponsored by WIMCS, a Research Fellowship, leading to a Lectureship in Computer Science, is available. The successful candidate will expected to work on the theoretical foundations of scientific modelling and computation, and participate in the activities of the WIMCS cluster on computational modelling. He or she will be a faculty member of the Logic and Computation Group in the Department of Computer Science at Swansea.
Closing date: 1 June 2007. For official details of the post see: http://www.swan.ac.uk/personnel/Vacancies/Academic/PostTitle,15039,en.asp. For informal questions, contact: John V. Tucker (j.v.tucker at swansea.ac.uk).
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 sophie.stevens at some.ox.ac.uk.
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 (mjw at csc.liv.ac.uk) and Wiebe van der Hoek (wiebe at csc.liv.ac.uk), but please note applications MUST be submitted through the university's For full details, or to request an application pack, visit http://www.liv.ac.uk/university/jobs.html (Quote Ref: B/005). Closing date for applications: 1 June 2007.
PhD student position in Formal Verification and Reactive Synthesis, Saarbruecken, Germany
The Reactive Systems Group at Saarland University, Germany, invites applications for Ph.D. positions in projects on automated methods for the analysis and construction of complex reactive systems.
Our research combines foundational topics with concrete applications and provides an excellent opportunity for dissertation projects. We are looking for Ph.D. students to join our group as research and teaching assistants. The salary is set according to the TVÖD E13 pay scale (about 2800-4300 EUR/month, depending on qualification and family status).
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 hasselbring at informatik.uni-oldenburg.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.
Deadline May 18, 2007. For more information, see http://www.vacancies.auckland.ac.nz/positiondetail.asp?p=5057
PhD Fellowship "Textual Criticism and the Sociology of Texts", Danmark
The fellowship is funded by the Danish Agency for Science, Technology and Innovation and is offered jointly through the Georg Brandes School at the Department of Nordic Studies and Linguistics, Copenhagen University , and the Department of Literature, Institute for the Sociology of Literature, Uppsala University . The successful candidate will be expected to divide his or her time between Copenhagen and Uppsala , and will be allocated a supervisorfrom each institution, the principal supervisor however will be a professor or associate professor from the University of Copenhagen. It is assumed that the research project will combine a theoretical perspective with a specific body of texts.
Deadline is May 2, 2007 at 12:00 (Noon). For more information, see http://www.hum.ku.dk/georgbrandes/English/Sub_pages/ or contact Birgit Hüttmann at bhu at hum.ku.dk.
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.
Postdoc in Philosophy and Ethics of Technology, TU Eindhoven
In the NWO research project Moral responsibility in R&D networks, we propose to study the tension between two requirements for a desirable distribution of responsibilities in R&D networks, viz. completeness and fairness. The goal of the research is to gain insight in how to reconcile these two requirements to contribute to the solution of the problem of many hands in R&D networks. Three subprojects will be carried out to attain this goal. In the subproject of the present vacancy, Modelling of Responsibility in R&D networks, the theory of an existing formal model for responsibility will be applied and extended to investigate the influence of the organizational structure of an R&D network on the extent to which a distribution of responsibilities is complete and fair. The aim of this project is to provide a formal characterization and assessment of the various notions of responsibility developed in the other subprojects of the NWO research project.
The position would be 0.8 fte. Applications should be received by April 13th 2007. For more information, see http://www.ethicsandtechnology.eu/.
Lectureship in Theoretical Computer Science, Athens (Greece)
The Department of Informatics at Athens University of Economics and Business invites applications for a new faculty position in the area of "Theoretical Computer Science: Analysis of Algorithms" at the Assistant Professor or Lecturer level.
Deadline: May 28, 2007. Details (in Greek): http://www.cs.aueb.gr/news/secretariat/dikaiologitikaDEP.shtml
PhD student position (3 years; Algorithmic Game Theory), Aarhus, Denmark
Applications are invited for a three year PhD-position within algorithmic game theory at the BRICS International PhD School in Computer Science at the University of Aarhus. The position is offered in collaboration with the University of Uppsala.
The successful candidate is expected to divide his time between these two institutions, working in the Center for Algorithmic Game Theory at the University of Aarhus under the supervision of Peter Bro Miltersen and in the group of Arne Andersson in Uppsala. The PhD degree will be granted by the University of Aarhus.
The deadline for applications is March 30th. The successful applicant is expected to start August 2007. For more information, see http://www.brics.dk/study/phd-school/call-for-applications/specific-calls/induga/.
Two PhD student positions in Logic and Philosophy of Science, Tilburg (The Netherlands)
The Department of Philosophy and the Tilburg Center for Logic and Philosophy of Science (TiLPS, invite applications for two three-year full-time PhD positions, commencing at the latest September 1, 2007. The successful candidates are expected to work on formal epistemology or formal philosophy of science (position 1, vacancy number 800.07.05) or on philosophy of economics, philosophy of social science or social choice theory (position 2, vacancy number 800.07.06) and complete a PhD thesis within maximally three years.
The deadline for applications is May 15, 2007. Informal enquiries may be directed to Professor Stephan Hartmann (email: S.Hartmann at lse.ac.uk). For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/jobs/.
Two PhD student positions in Formal Methods (Computer Science), Oslo (Norway)
The Formal Methods group at the Department of Informatics, University of Oslo, has available 2 PhD positions within the research project RHYTM "High-Level Formal Modeling and Analysis of Real-Time and Hybrid Systems," funded by the Research Council of Norway. The project focuses on developing rewriting-based techniques and tools to formally model and analyze different kinds of real-time systems, such as hybrid and probabilistic real-time systems. Each position is for 3 years, and should lead to a PhD thesis at the University of Oslo. There may be opportunities for research stays abroad.
The positions are available from July 1, 2007, or as soon as possible after this date. The candidates should preferably have backgrounds in formal methods, concurrency and distributed systems, real-time systems, probabilistic systems, or hybrid systems.
Applications must be received no later than April 20, 2007. For more information, see here or http://www.ifi.uio.no/english/ Or contact Associate professor Peter Ölveczky, email peterol at ifi.uio.no, Professor Olaf Owe, email olaf at ifi.uio.no, or Researcher Gerardo Schneider, email gerardo at ifi.uio.no
Postdoctoral position in Computational Linguistics, Nancy (France)
The Lorraine Laboratory of IT Research and its Applications (Nancy, France) has a position for a Postdoctoral fellow to work on error mining in a tree adjoining grammar using both parsing and generation. The candidate will collaborate with the project members and participate in the national project Passage (http://atoll.inria.fr/passage)
Further information and the details of the application procedure are available here or from http://www.loria.fr/~gardent.html. The official closing date is March 31, 2007, but applications will be processed until the position is filled.
One-year visiting position at University of Missouri, Rolla, Mathematics
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.
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 (broersen at cs.uu.nl) or dr. R.J. Mastop (rosja.mastop at phil.uu.nl).
Looking for Dutch Student for Internship at IBM - GermanyLocation: IBM Speech Technology Development in Böblingen, Germany.
IBM Speech Technology Development is currently offering internships (Praktikum) at the Böblingen lab, in the area of Text-to-Speech Synthesis and Speech Recognition Development. For a customer project they are building a text-to-speech syntesis system in Dutch, and they offer 2-3 internship positions for Dutch mother tongue informatics or computer linguistics students, lasting between 3 and 6 months, starting as soon as possible.
One-year visiting assistant professorship in philosophy of science / logic,University of Texas at Arlington
The University of Texas at Arlington (UT Arlington) Department of Philosophy and Humanities invites applications for a one-year Visiting Assistant Professor faculty position, to begin August 2007. AOS: Philosophy of Science. AOC: Logic (including ability to teach the basic metalogical results). Service courses will include introduction to philosophy and critical thinking. ABDs who have made satisfactory progress toward degree completion will be considered, but candidates should have received Ph.D. by time of actual appointment. Duties to include undergraduate and graduate teaching (six courses per year, semester system) and possibly some undergraduate senior thesis supervision.
Review of applications will begin immediately and will continue until the position is filled. For more information, see here.
Postdoc Position in Verification of Security Protocols at Imperial College London
The Department of Computing has one position for a Research Assistant or Associate to work on the EPSRC project "Verification of Security Protocols: A multi-agent systems approach" (EP/E035655/1), to develop algorithms and tools for the automatic verification of security protocols by model checking.
The appointed Research Assistant/Associate will be working as part of a team comprising the PI, one research student and the research group in Warsaw lead by Prof W Penczek, partner in the project. The aim of the project is to develop efficient model checking algorithms for the verification of security protocols. The appointee will also contribute to the development of a platform shell implementing the algorithms developed.
The post is for a fixed term of up to 36 months beginning no later than 1 September 2007 and preferably before June 2007. Closing date is 18 April 2007
PhD student positions in Computing Science (automated theorem proving), Chalmers University of Technology, Sweden
The Division has about 80 researchers, half being faculty members and half PhD students. Our focus is on algorithms, bioinformatics, distributed systems and computing, functional programming, formal methods, interaction design, language technology, language based security, parallel and high performance computing, programming logic and type theory, but research is not restricted to these topics.
Knowledge of Swedish is not a prerequisite for application. English is our working language for research. Both Swedish and English are used in undergraduate courses. Half of our researchers and PhD students are native Swedes; the rest come from more than 20 different countries.
The last date for your full application to arrive is March 9, 2007. For more information, see http://chalmersnyheter.chalmers.se/chalmers03/english/ or contact Philippas Tsigas at tsigas at cs.chalmers.se. For more information on the Division, see http://www.chalmers.se/cse/EN/research/research-groups.
PhD position in coalgebra, University of Leicester
The Department of Computer Science of the University of Leicester offers three PhD studentship (GTA). The GTA scheme involves some teaching and runs for 4 years. Unfortunately, the university waives the fees only for EU nationals.
One of the positions will be under the supervision of Alexander Kurz and the PhD thesis will be on the topic of coalgebra. Colleagues in Leicester working on related topics include Nick Bezhanishvili, Roy Crole, Reiko Heckel, Vincent Schmitt, Emilio Tuosto, and Fer-Jan de Vries. Moreover, there will be close collaboration with the logic groups at the University of Amsterdam (in particular with the VICI-project directed by Yde Venema at ILLC) and at the University of Oxford (Hilary Priestley, Alexandru Baltag).
The official announcement and application form is available at http://www.le.ac.uk/personnel/supportjobs/s3149a.html. The applications should be submitted no later than 23 February 2007. For further information contact Alexander Kurz at kurz at mcs.le.ac.uk.
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 (oege at comlab.ox.ac.uk) Torbjorn Ekman (torbjorn at comlab.ox.ac.uk) Mathieu Verbaere (matv at comlab.ox.ac.uk). For more information on the project, see http://aspectbench.org
1-year visiting assistant professor position in philosophy, Davidson College, Davidson NC (U.S.A.)
Full time position for the 2007-08 academic year only. AOS and AOC are open, but the department anticipates teaching needs in one or more of the following areas: Formal Logic, Ancient Philosophy, Metaphysics. Two-semester calendar. Five undergraduate courses/year. No committee work or summer teaching. Some undergraduate thesis supervision is possible.
Applicants should submit on-line a cover letter, CV, and brief writing sample via https://jobs.davidson.edu/. In addition, please have three letters of recommendation sent to: David Robb, Chair, Department of Philosophy, Davidson College, Box 7020, Davidson, NC 28035-7020. Application materials should be received by February 28, 2007, in order to be assured full consideration.
Postdoctoral positions in Computer Science, Haifa (Israel)
The Caesarea Edmond Benjamin de Rothschild Foundation Institute for Interdisciplinary Applications of Computer Science (CRI) at the University of Haifa has openings for post-docs positions starting from October 2007.
We are looking for candidates with a record of excellence in CS, or in any interdisciplinary area of CS. A host in the CS department or in another related department of the University of Haifa is a strong advantage.
The position is for 12 months. There are no teaching duties - just research. There may be some informal duties like assisting in organizing a research seminar or colloquia. It is possible to lecture a course for additional funding. Knowledge of Hebrew is not necessary.
DEADLINE is March 31, 2007, or until position is filled. For more information, see http://www.cri.haifa.ac.il/call_post_docts.html.
Tenure-track and tenured faculty positions in computer sciences (algorithms), University of Texas at Arlington
The University of Texas at Arlington (UT Arlington), Computer Science and Engineering (CSE) Department invites applications for tenure-track and tenured faculty positions in the following areas: Intelligent Systems / Robotics, Bioinformatics/Biomedical Computing, Systems (Computer Architecture/FPGA/Embedded Systems), and Theory. Exceptionally strong candidates in Algorithms, Applied and Basic Theory are encouraged to apply.
Applicants must have an earned doctorate in computer science, computer engineering, or a closely related field and a commitment to teaching and scholarly research. Applicants are expected to have an excellent record of professional accomplishments, commensurate with their level of experience. The faculty opening is anticipated for September 2007. Screening of applications will begin immediately and will continue until all positions are filled.
For more information, see https://cse2.uta.edu/recruiting/advertisement/.
Visiting assistant professorship in philosophy (logic), Wabash College (Indiana, U.S.A.)
Visiting position, one year, starting fall 2007. Ph.D. (Assistant Professor) preferred, A.B.D. (Instructor) will be considered. Candidates should have Ph.D. completed or very near completion by the fall of 2007. AOS: open. AOC: logic, history of analytic philosophy, and other areas as appropriate to a small department. Three courses per semester, six per year. Teaching may include Cultures & Traditions, an interdisciplinary, non-departmental course for sophomores.
For more information, see http://www.wabash.edu/aboutwabash/employment.cfm#job5
One or more tenure-track positions in quantum computing, University of Waterloo, Canada
The David R. Cheriton School of Computer Science at the University of Waterloo invites applications for one or more tenure-track faculty positions in quantum computing. Successful applicants will be appointed to the David R. Cheriton School of Computer Science and will be members of the Institute for Quantum Computing. While the intention is to make appointments at the rank of Assistant Professor, applications for more senior positions will be considered. A Ph.D. degree and evidence of excellence in research and teaching are required. Successful applicants are expected to maintain an active program of research, to attract and supervise graduate students, and to participate in under-graduate and graduate teaching. Salary will depend on the candidate's qualifications. The effective date of appointment is July 1, 2007.
Closing date for receipt of applications is February 28, 2007. For more information, see http://www.cs.uwaterloo.ca/about/facultyRecruiting/2006/quantum-computing.
Several postdoctoral positions in computer science (including algorithms and complexity), Aarhus, Denmark
The Department conducts research in a broad range of areas within computer science, with particular strengths in software systems (programming languages, software development, distributed systems validation, networks and protocols, pervasive computing), human computer interaction (participatory design, CSCW, Hypermedia, graphics) and theory (software verification, cryptology, algorithms and complexity). The department also houses the BRICS PhD school.
Applications are welcomed from researchers in all areas of computer science. The positions are for one year with possibility of extension. The deadline for applications is March 1, 2007. For more information, see http://www.daimi.au.dk/postdoc07
Two postdoctoral positions (Algorithmic Game Theory), Aarhus, Denmark
Two postdoctoral positions within algorithmic game theory are available at the Department of Computer Science, University of Aarhus, Denmark. The positions are funded by a grant from the Carlsberg Foundation for establishing a Center for Algorithmic Game theory. The successful candidates should expand and broaden the present competences within the area at the department as represented by Peter Bro Miltersen, Jesper Buus Nielsen and Ivan Damgaard.
We look for candidates with interests within algorithmic game theory in a broad sense of the word. The positions are for one year with possibility of extension. The default starting date is August 2007.
The deadline for applications is March 1, 2007. For more information, see http://www.daimi.au.dk/frontpage/open-positions/
Lectureship and Readership in Algorithms & Complexity, EdinburghLocation: 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 mcryan at inf.ed.ac.uk.
Postdoctoral position in Theoretical Computer Science, Edmonton, Alberta (Canada)
The Theory Group at the Department of Computing Science (www.cs.ualberta.ca) at University of Alberta invites applications for a postdoctoral fellowship. This will be a one-year appointment, with a possibility for extension, dependent upon funding. Successful applicant is expected to work closely with faculty members in the Theory Group in areas of: algorithms, approximation algorithms, algorithmic graph theory, probabilistic and randomized methods, or hardness of approximation. Initial one-year appointment will be offered with possible renewal for one additional year.
Review of applications starts immediately, but the position will remain open until filled.For more information, see http://www.cs.ualberta.ca/~mreza/.
Postdoctoral Fellowship in Mathematical Logic (Computability Theory)Location: Greifswald, Germany
A postdoctoral fellowship (alternatively, two positions for doctoral students) in mathematical logic (computability and complexity) is available starting from 1 April 2007 for the period of three years at the Ernst Moritz Arndt University Greifswald (Germany).
Deadline is 09.02.2007. For details, see http://www.uni-greifswald.de/informieren/stellenausschreibung/oeffentlich/ (german only), or contact Prof. Dr. Armin Hemmerling (hemmerli at uni-greifswald.de).
Postdoctoral position in Computational Logic, Simon Fraser University, Vancouver (Canada)
Applications are invited for Post-Doctoral Fellowships supporting work on the MX Project, in the Computational Logic Laboratory at Simon Fraser University. The goal of the MX Project is to develop effective techniques for modelling and solving of search and optimization problems using logic. Between 1 and 3 fellowships will be offered, depending upon final level of funding and availability of suitable candidates.
For more information, see the project page at http://www.cs.sfu.ca/research/groups/mxp/. To ensure full consideration, apply by February 10, 2007.
Postdoctoral position in theoretical computer sciences (complexity theory), Kiel (Germany)
A line of research of the theory group are cryptographic protocols with focus on security analysis and rigorous security requirement specification, both on a formal and a complexity-theoretic level. The position is for three years with an option to extend it by three more years. Candidates should have a strong background in theoretical computer science, especially in cryptography and/or related areas.
Deadline for applications is 18 March 2007: For more information, contact Thomas Wilke (wilke-wa2007 at ti.informatik.uni-kiel.de) or visit http://www.ti.informatik.uni-kiel.de/. The official job offer (in german) is located at http://www.uni-kiel.de/stellen/extern/wiss/Wilke.htm .
Postdoctoral researcher position in epistemology, University of Cambridge (U.K.)
The Faculty of Philosophy intends to appoint a Research Fellow for two years from October 2007. The post arises from the appointment of Professor Quassim Cassam to the Knightbridge Chair of Philosophy. The focus of the post will be in Epistemology, broadly conceived. The primary role of the Fellow is to develop his or her own research. The Fellow will also, as part of the award, undertake some teaching and examining in the Faculty. It is also hoped that the Fellow will participate in the development of research in the area of Epistemology, by such things as assisting in the organisation of conferences and workshops. Limit of Tenure: Fixed Term Funds - renewable. Limit of tenure: Two years, renewable subject to funding
Candidates should ask their referees to send references direct to Mrs Heather Sanderson, Faculty Administrator, e-mail: hs313 at cam.ac.uk, to arrive by the closing date of 26 january 2007. Informal enquiries regarding the position may be made to Prof Jane Heal at bjh1000 at cam.ac.uk, or see the announcement at http://www.jobs.ac.uk/jobfiles/VA425.html
50 PhD student positions in computer science, Edinburgh
FIFTY research PhD studentships are available at the School of Informatics at the University of Edinburgh. Many of these are full studentships, paying your tuition fees and a stipend of 12600 pounds to cover living expenses in your first year, rising in second and third years. The rest pay your fees and/or a contribution towards living expenses. A very wide range of research topics is available for PhD study: see http://www.inf.ed.ac.uk/postgraduate/phdprojects.html for an (incomplete!) list of project areas.
Your application form should be returned by mid-March. Applications for an Overseas Research Student award must be completed by mid-February at the latest. Chinese applicants who are interested in funding from the China Scholarship Council should apply by 19th January at the latest.
Applications must be received by mid-March. Earlier applications have access to a wider range of sources of financial aid. For more information, see http://www.inf.ed.ac.uk/postgraduate/phd-advert.html or contact the Graduate Secretary at phd-admissions at inf.ed.ac.uk
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.
1-year assistant professor position in philosophy, Penn State Harrisburg (USA)
One year appointment beginning August 15, 2007. 4/4 teaching load, AOS: open; AOC: ethics, logic, introduction required, aesthetics or interdisciplinary core among possibilities. M.A. required, Ph.D. preferred, plus teaching experience. Submit cover letter, three letters of reference, evidence of teaching effectiveness, and cv to: Philosophy Search, c/o Mrs. Dorothy Guy, Director of Human Resources, Penn State Capital College, Box CHE, 777 West Harrisburg Pike, Middletown, PA 17057-4898. Review of applications begins January 16, 2007.
For more information, see http://philosophy.la.psu.edu/.
3 year assistant professor position in philosophy, Warwick (U.K.)
AOS - Philosophy of Mind/Epistemology & Metaphysics. AOC-Philosophy of Language, Philosophy of Logic. You will have an active research profile with potential for research of international reputation. You must have a willingness to contribute to post-graduate teaching and supervision.
The closing date for applications is 26 January 2007. For more information, see http://secure.admin.warwick.ac.uk/webjobs/jobs/academic/job24127.html
Professor/Reader/Lecturer positions in philosophy, Manchester (U.K.)
As part of the University of Manchester's commitment to the development of the Philosophy Discipline Area, applications are invited for up to 4 posts, from Professorships to Lectureships, depending on candidates' research profile and experience. All posts are tenable from 1 September 2007.
You must possess a strong research and publication profile, or potential in philosophy, together with either experience of teaching at undergraduate level or good presentational skills. Applications from candidates with demonstrable research expertise in aesthetics, ethics, epistemology, metaphysics, the philosophy of psychology (including the emotions), or the history of analytical philosophy are particularly welcome. Those wishing to be considered for a professorial appointment should have a demonstrable international standing in one or more of the areas of philosophy mentioned above.
Closing date for all posts 15 January 2007. For more information, see http://www.socialsciences.manchester.ac.uk/philosophy/jobs/.
Permanent researcher positions at Mostrare Project, CNRS/INRIA, Lille (France)
Mostrare is Lille's research project in XML database theory and machine learning from semi-structured documents. It combines methods from logics and automata with techniques from grammatical inference and statistical learning. Currently, we are seeking for excellent researchers that are interested in joining the Mostrare project as a permanent full-time researcher as a member of INRIA or CNRS. The positions at CNRS have been opened recently, those of INRIA will follow very soon.
We are particularly interested in candidates with one of the following two profiles:
* database theory, XML, logics, trees, automata
* machine learning, statistical learning, kernel methods, grammatical inference, structured output
Deadline for applications is January 15, 2007 (CNRS) or February 15, 2007 (INRIA). For more information, see http://www.grappa.univ-lille3.fr/cgi-bin/twiki/view/Mostrare/Positions2007.
Postdoctoral Positions in Algorithms and Complexity,
Max-Planck-Institute for Informatics, Saarbrücken, Germany
The Max Planck Institute for Computer Science seeks several Postdocs for the Algorithms and Complexity Department directed by Kurt Mehlhorn.
We are looking for applicants from all areas of algorithmics, complexity theory and discrete mathematics. We are also explicitly looking for people interested in algorithm engineering and the design and implementation of algorithm libraries.
Applications must be received before January 31, 2007. For more information, see http://www.mpi-inf.mpg.de/departments/d1/offers.html#postdocs.
PhD student positions in Algorithms and ComplexityLocation: Waterloo, Ontario, Canada
Several PhD student positions are available in the Algorithms and Complexity group (http://algcomp.uwaterloo.ca/) at the University of Waterloo, Ontario, Canada. Applications are solicited from students with interest in the areas of algorithms and complexity as described in http://algcomp.uwaterloo.ca/fac.html.
All successful applicants admitted to the program receive financial support that ranges between $23,500-$43,500 Cdn (approx $20,500-$38,000 US) depending on qualifications.
Applicants for the PhD student positions should follow the procedures as described in http://www.cs.uwaterloo.ca/grad/admissions/applications. Please indicate in your application form your preference for algorithms and complexity.
PhD positions in "Verifying requirements for resource-bounded
agents" at Nottingham, UK. and Trento, Italy
Applications are invited for two 3-year PhD positions in the project `Verifying requirements for resource-bounded agents.' The aim of the project is to define epistemic logics, computational models and automated verification tools for the representation, specification and verification of resource-bounded agents (agents with limited memory and communication bandwith whose reasoning takes time). The students will be based at the School of Computer Science and IT, University of Nottingham (UK) supervised by Natasha Alechina and Brian Logan, but will also spend several months at the ITC-irst in Trento (Italy) working with Piergiorgio Bertoli, Chiara Ghidini and Luciano Serafini. Successful candidates should have a background in logic and/or planning.
Please address preliminary inquiries to Natasha Alechina (nza at cs.nott.ac.uk). Application deadline is the 29th of January 2007. For more information, see http://www.cs.nott.ac.uk/~nza/trento-epsrc.html
Two distinguished professor positions in philosophy, Rice University, Houston (U.S.A.)
As part of a major university commitment to enhancing the School of Humanities, the Department of Philosophy has been authorized to make appointments in two new Endowed Chairs at the level of full professor. Areas of specialization open. Normal teaching load is one graduate seminar, two upper division courses, and one introductory course per year. We seek candidates of the highest distinction, and the positions are supported accordingly.
Applications will be accepted until the positions are filled. Applicants should send a curriculum vitae to Endowed Chair Search, Department of Philosophy (MS 14), Rice University, 6100 Main Street, Houston, TX 77005. For more information, see http://cohesion.rice.edu/humanities/phil/news.cfm?doc_id=9456.
Postdoctoral positions in algorithms & complexity (including quantum), Paris (France)
The Laboratory for Research in Computer Science (LRI) affiliated with the CNRS and the Universite Paris-Sud at Orsay, France offers one, possibly two one-year postdoc position(s) in algorithms and complexity, including quantum computation. Starting date (in 2007) and duration negotiable. The successful candidate will join the Algorithms and Complexity team of the LRI (http://www.lri.fr/algo) which includes the quantum group of the laboratory (http://www.lri.fr/quantum/).
Postdoctoral position in graph theory and applications of graph theory, University of Southern Denmark
Expressions of interest are being sought for a post-doctoral fellowship in graph theory and or applications of graph theory. We are seeking a candidate with excellent research potential and preferably also an interest in working with problems that are related to practical applications. It is an essential requirement that the candidate must be fluent in both written and spoken English. The post doc will be working at the Department of Mathematics and Computer Science at University of Southern Denmark in Odense within the group of professors J. Bang-Jensen and B. Toft.
There is no official deadline, but we wish to fill the position as early as possible after January 1st 2007 so immediate expressions of interest are encouraged. For more information, see here or http://www.imada.sdu.dk/, or contact Professor J. Bang-Jensen (jbj at imada.sdu.dk) or Professor J. Clausen (jc at imm.dtu.dk).
Tenure-track faculty positions in Computer Science, University of Virginia
The University of Virginia Department of Computer Science has openings for tenure-track faculty positions at all levels and in all areas of computer science.
Outstanding candidates in any area will be considered. We are particularly interested in candidates working in theory and those who are developing the theoretical foundations of data analysis, machine learning, and networking. We give higher priority to a candidate's originality and promise than to the candidate's specific research area.
We will begin to consider applications in December 2006 and will continue to accept applications until the positions are filled. For more information, see http://www.cs.virginia.edu/jobs/facultysearch.html.
Open Positions at Tilburg Center for Logic and Philosophy of Science
Tilburg University, the Netherlands, has established the new Tilburg Center for Logic and Philosophy of Science, headed by Prof. Stephan Hartmann, which will commence its work on 1 May 2007. The members of the Center work on a wide variety of topics in logic and general philosophy of science as well as on philosophical problems of the special sciences, especially psychology and economics. Some are also interested in social choice theory, formal methods in philosophy and the logic of language and information. As part of our plan to further expand our strengths in philosophy of social science and philosophy of economics we are currently looking for an Assistant Professor in one of these fields. We are also advertising several visiting fellowships for advanced PhD students and visiting faculty, a PhD position and two PhD studentships.
For more information, see http://www.tilburguniversity.nl/faculties/fww/tilps/jobs/ or contact S.Hartmann at lse.ac.uk.
Assistant Professor Position: George Washington University (Mathematics, including logic)
In an effort to increase its research stature and expand its undergraduate and doctoral programs, the Mathematics Department of The George Washington University is recruiting a tenure-track assistant professor in an area where the department has strength: applied mathematics, combinatorics, dynamical systems, logic, and topology. The successful applicant is expected to teach at all undergraduate and graduate levels, excel in research, interact with researchers in mathematics or other disciplines, and become actively involved in the life of the department and the university. Applicants must possess a PhD and good teaching credentials as demonstrated by your teaching approach and either teaching evaluations or letters from peers or supervisors. Applicants with postdoctoral experience will be given preference.
Review of applications will begin January 1, 2007 and continue until the position is filled. For more information, see http://www2.gwu.edu/~math/facultysearch.html
Postdoctoral Position (algorithms and randomness), Georgia Tech
The Georgia Tech Algorithms and Randomness Center/ThinkTank is looking for a postdoctoral fellow to participate in ongoing investigations. Candidates with a PhD in Computer Science, Mathematics, Operations Research or related fields are encouraged to apply. The selected candidate will work on algorithms and models for problems and phenomena from within computer science as well as the natural sciences, and will collaborate closely with the faculty associated with the center. Candidates should have substantial experience with algorithms and complexity, as well as probability.
The start date is flexible between February 1 and September 1. For more information, see here or http://www.cc.gatech.edu/component/option,com_jobline/Itemid,514/task,view/id,69/. Information on the center will be available at: http://www.cc.gatech.edu/arc/.
SISL Postdoc at CalTech "Information Flow in networks"
Caltech's Social and Information Sciences Laboratory is seeking applications for the SISL Postdoctoral Fellowship Program. SISL is an interdisciplinary effort comprising engineers, computer scientists, and economists at Caltech.
SISL is dedicated to the study of information flow and aggregation in (large) distributed systems, such as social networks, markets, computer networks, voting systems, and other mechanisms. We are particularly interested among other things, in game theory or economic theory applied to information networks, combinatorial or algorithmic mechanism design, and dynamics.
Applications must be received before January 15, 2007. For more information and an online application form, see http://www.ist.caltech.edu/joinus/positions.html#postdoc
Tenure-track position Computer Sciences / Mathematics, Haifa, Israel
The department of Math-Physics-Computer Science in the University of Haifa at Oranim would like to announce an opening of an academic (tenure track) position for a Computer Scientist, starting October 2007. Suitable candidates for the present position should have a credible research record in any field of Computer Science. However, preference will be given to candidates who are capable of teaching math courses as part of their teaching duties. In addition, fluency in Hebrew is a requirement.
Professorship "Formal Methods and Tools", Twente (Netherlands)
The University of Twente offers a full time tenured position as Professor in the largest and most quickly developing academic organisation in the Netherlands in the field of embedded systems, with a competitive salary (maximum EUR 8161,- gross per month) and benefits commensurate with your position, experience and qualifications. The successful candidate will head the Formal Methods and Tools (FMT) group. He/she is expected to develop the above research agenda further, extend and maintain collaboration at departmental, national and international level, and be engaged in the group's teaching activities. Candidates must have an outstanding publication record, excellent leadership and management qualities, a strong vision on future development of the field and very good teaching skills. Applicants must have a PhD in a relevant area.
The Formal Methods and Tools group (FMT) develops rigorous techniques and tools that are needed for the systematic design and analysis of hardware and software systems. For more information, see the FTM website (http://fmt.cs.utwente.nl/). For more information on the vacancy, see \ here or the full announcement at http://www.utwente.nl/vacatures/vacatures_externe_werving/06-088-eng.doc, or contact Professor Pieter Hartel (Pieter.Hartel at utwente.nl). Applications must be received before January 12th, 2007.
Postdoctoral Position in Quantum Information,
California Institute of Technology
The Institute for Quantum Information at the California Institute of Technology will have postdoctoral scholar positions available beginning in September 2007. Researchers interested in all aspects of quantum information science are invited to apply.
Please apply on-line at http://www.iqi.caltech.edu/. Electronic copies of your curriculum vitae, publication list, statement of research interests, and three letters of recommendation are required. The deadline for receipt of all application materials is January 12, 2007.
ILLC Staff and Students changes
Next Friday, February 2, it will be the last working day of Jessica Pogorzelski at the ILLC Office. She has accepted a new job at the teaching institute. We will organize a little farewell party for her on Thursday February 1, from 16-17.30 at the third floor of Euclides, and you are all cordially invited to be present.
I take this opportunity to announce her successor, whose name is Karin Gigengack. Karin is selected after a thorough recruitment and selection procedure (with 65 job applications). Her first working day will be February 2, and she will be working Mondays, Fridays, and Wednesday afternoon. On Monday February 5, during our weekly Euclides coffee meeting at 11, you will have the chance to get to know her better.
We have also invited the big group of new PhD students and guests that will start working here in February. We hope that most of them will be able to come. These are:
1. Jarmo Kontinen (Finland), PhD student
2. Lauri Keskinen (Finland), PhD student
3. Amelie Gheerbrant (France, PhD student (Gloriclass)
4. Cedric Degremont (France), PhD student (Gloriclass)
5. Katherina Rybalko (Russia), guest PhD student, Feb 1 - Sep 1
6. Anouk Perquin (Netherlands), parttime PhD student
7. Juliette Kennedy (Finland), guest
8. Juha Kontinen (Finland), guest researcher, Feb 1-May 1
9. Elise Bonzon (France), guest, Feb 1-March 15
Please also note the change of location of our present Gloriclass students. Both present and new Gloriclass students are now working in the J/K building, which is located opposite of Euclides at Valckenierstraat 65, 1018 XE, Amsterdam
Details about their research topics, room numbers and e-mail addresses can be found at here
New ILLC Staff and Students in November
One postdoc and three PhD-students will start working at our institute. Alessandra Palmigiano (postdoc), Gaëlle Fontaine (PhD student) and Jacob Vosmaer (PhD student) will participate in the VICI-project directed by Yde Venema. Alessandra, Gaëlle and Jacob are former Master of Logic Students.
Fernando Velazquez-Quesada (PhD student) will work under the supervision of Johan van Benthem.
You can find Alessandra in room P 3.12 (phonenumber 5360). Gaëlle and Jacob will be staying in room P 3.18(phonenumber 6508). Fernando has his office in room P 1.16 (phonenumber 6438).
Guests in November:
Dr. Junwei Yu will leave the ILLC. He has been our guest for the academic year 2005-2006. Dr. Nick Bezhanishvili will visit the institute from October 27 till November 15.
For more information, please contact illc at science.uva.nl
New journal: Journal of Formalized Reasoning
The journal encourages submission of papers describing significant formalization efforts in any area, including classical math, constructive math, formal algorithms, and program verification. The emphasis of the journal is on proof techniques and methodologies and their impact on the formalization process. In particular, the journal provides a forum for comparing alternative approaches, enhancing reusability of solutions and offering a clear view of the current state of the field.
The Journal of Formalized Reasoning is a purely electronic publication. The Journal provides immediate open access to its content on the principle that making research freely available to the public supports a greater global exchange of knowledge.
The Journal encourages the submission of interesting, insightful, and informative papers, preferably accompanied by formal scripts. Although the journal is not meant to become a repository for proof scripts, an effort will be made to ensure that the "experimental data" backing formalisation papers will remain accessible. Each new contribution must be original, and not submitted before different journals for consideration.
For more information, see the journal home page at http://jfr.cib.unibo.it/
Yearbook in philosophical logic: PHIBOOKDeadline: 1 March 2008
PHIBOOK is an annual volume devoted to philosophical logic and its relation to philosophy and science with particular emphasis on multi- agent and modal systems, active agency and social software. The yearbook is intended to inform the community of current and future directions of research and activity in philosophical logic, major events, books and important papers of the past year but also leaves extensive room for discussion in terms of columns, opinion pieces, and critical reports.
The yearbook will be published by Automatic Press / VIP, around 250 pages coming out in November every year - $25-7 a copy. The first yearbook covering 2007 will be coming out in May 2008 and the 2008 volume will appear in December 2008.
For more information, see http://www.formalphilosophy.com/phibook
New book bij Jouko Väänänen: "Dependence Logic"
From the Cambridge University Press' website:
'Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving on the way a precise mathematical treatment of Hintikka's independence friendly logic. Dependence logic adds the concept of dependence to first order logic. Here the syntax and semantics of dependence logic are studied, dependence logic is given an alternative game theoretic semantics, and results about its complexity are proven. This is a graduate textbook suitable for a special course in logic in mathematics, philosophy and computer science departments, and contains over 200 exercises, many of which have a full solution at the end of the book. It is also accessible to readers, with a basic knowledge of logic, interested in new phenomena in logic.'
For more information, see http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521876599
14 March 2007, How to Write a Competitive Proposal for FrameworkLocation: VU main building, room 6A-05Costs: € 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.
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.
New journal: Logica Universalis (Birkhaeuser)
A new journal is now being launched by Birkhäuser. The first issue will be on-line at the beginning of December and in print by beginning of 2007. The journal will publish papers related to universal features of logics. Topics include general tools and techniques for studying already existing logics and building new ones, the study of classes of logics, the scope of validity and the domain of application of fundamental theorems, and also the philosophical and historical aspects of general concepts of logic.For further information, visit the website below: http://www.birkhauser.ch/LU.