News Archives 2006
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
21 December 2006, GLoRiClass Seminar, Michel MandjesSpeaker: Michel MandjesTitle: Competition for scarce resources: where queueing theory meets game theoryLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
19 December 2006, Converging Paradigms? Comparing Temporal Frameworks for Logics of Knowledge, Belief, Action, and Choice, ILLC, AmsterdamLocation: ILLC, Amsterdam
There will be a small workshop on December 19, 2006 in Room 3.27 (Euclides Building, Plantage Muidergracht 24). The main theme of the workshop is comparing and contrasting temporal frameworks for logics for knowledge, beliefs, actions and choices.
The invited speakers are Johan van Benthem, Jan van Eijk, Dov Gabbay, Valentin Goranko, Andreas Herzig and Wiebe van der Hoek.
18 December 2006, A Day of Books and People, VOC Building, AmsterdamLocation: VOC Building, Amsterdam
On Monday December 18th, 13 - 18 hours, ILLC and Elsevier are throwing a party to celebrate the appearance of a number of volumes in the the growing series "Handbook of the Philosophy of Science", edited by Dov Gabbay, Paul Thagard, & John Woods. More in particular, we will also launch the just-appeared "Handbook of Modal Logic", edited by Patrick Blackburn, Johan van Benthem & Frank Wolter. Many people at and around ILLC have contributed to this volume, but other 'prime movers' will be present as well, including the Series publishers that we have worked with for so long.
The event will include short presentations, displays, and some further social items. It is be held in the historical VOC Building in the centre of Amsterdam. See the webpage http://www.illc.uva.nl/lgc/HANDBOOK/ for details on the direction and the programme.
This is a chance to see authors and publishers who produce important defining documents in our world. All are welcome! If you have any questions or suggestions, please email Johan van Benthem.
15 December 2006, DIP Colloquium, Magdalena SchwagerSpeaker: Magdalena Schwager (Frankfurt)Title: What mayors, strikers and bodyguards might tell us about individual conceptsLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
15 December 2006, Colloquium on Mathematical Logic, Brian SemmesSpeaker: Brian Semmes (Amsterdam)Title: Decomposing 2->3Location: Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan.).
15 December 2006, ILPS Seminar, Jun WangSpeaker: Jun Wang (TU Delft)Title: Probabilistic Relevance Models for Collaborative FilteringLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Dec15 .
14 December 2006, GLoRiClass Seminar, Ravishankar SarmaSpeaker: Ravishankar SarmaTitle: Contracting with Expert Global Software Outsourcing Firms: A Game Theoretic ModelLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
13 December 2006, Logic Tea, Edward ZaltaSpeaker: Edward Zalta (Stanford)Title: Convergence in the Philosophy of MathematicsLocation: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
12 December 2006, Uniting a Fregean Philosophy of Language with a Fregean
Philosophy of Mathematics, Edward N. ZaltaSpeaker: Edward N. Zalta (Stanford)Location: Room 033, Ruppertgebouw, Leuvenlaan, entrance 'educatorium', Utrecht
(Bus 11 or 12 from Utrecht Central Station).
In this talk, I review the philosophy of language that can be developed within object theory. The theory predicts the existence of abstract objects that can serve as the senses of individual terms and abstract objects that can serve as the senses of relational terms. The theory also predicts that the senses of relation terms map the senses of individual terms to abstract objects that serve as the senses of the whole sentence. These senses of sentences seem appropriate as Fregean thoughts, and they can serve as the denotation of sentences when sentences are embedded within propositional attitude reports. (Object theory also yields denotations for individual terms and denotations for relation terms, and though the latter map the former to propositions instead of truth-values, each proposition does still receive a truth value as its extension.) In the second part of the talk, I show how this work unites a quasi-Fregean philosophy of language a neo-Fregean philosophy of mathematics.
8 December 2006, ILPS Seminar, Börkur SigurbjörnssonSpeaker: Börkur SigurbjörnssonTitle: Focused Information Access using XML Element RetrievalLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Dec8 .
6-8 December 2006, 1st International Workshop on Computational Social Choice (COMSOC-2006), ILLC, AmsterdamLocation: ILLC, AmsterdamDeadline: 1 October 2006
Computational social choice is a new discipline emerging at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing (read more).
The 1st International Workshop on Computational Social Choice (COMSOC-2006) will take place on 6-8 December 2006 in Amsterdam. It will be hosted by the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. The aim of the workshop is to bring together different communities: computer scientists interested in computational issues in social choice; people working in artificial intelligence and multiagent systems who are using ideas from social choice to organise societies of artificial software agents; logicians interested in the logic-based specification and analysis of social procedures (social software); and last but not least people coming from social choice theory itself.
COMSOC-2006 is generously funded by the NWO (Dutch Research Council), which will allow us to bring in several prominent scientists as invited speakers, whilst keeping registration fees very low.
The registration fee is €60 (€30 for (PhD) students). Please register by 16 November 2006. For more information, see http://www.illc.uva.nl/~ulle/COMSOC-2006/ or contact Ulle Endriss (ulle at illc.uva.nl).
4-5 December 2006, 4th Paris-Amsterdam Logic Meeting of Young Researchers (PALMYR-4): Logics for Belief Dynamics, UvA, AmsterdamLocation: UvA, AmsterdamCosts: Free
Modern beliefs theories are able to shed light on dynamic processes involving beliefs, such as belief update, revision and fusion, because they use mathematical tools sophisticated enough to cope with such complex phenomena. The next PALMYR will be part of a conjoined effort between Amsterdam and Paris to bring young researchers to share their expertise and interest in mathematical approaches to belief dynamics.
Keynote speaker: Krister Segerberg (Uppsala) and Hans van Ditmarsch (Otago). Other speakers include Ivan José Varzinczak (IRIT), Brian Hill (Paris), Meghyn Bienvenu (IRIT), Paul Égré (CNRS), Tiago de Lima (IRIT), Cedric Paternotte (Paris), Guillaume Aucher (IRIT), Nicolas Troquard (IRIT), Mikaël Cozic (ENS Ulm)
1 December 2006, DIP Colloquium, Judit GervainSpeaker: Judit Gervain (SISSA, Trieste)Title: Statistical Information in the Linguistic Input to
Infants: a Cross-linguistic Corpus StudyLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
1 December 2006, Computational Social Choice Seminar, Maurice KosterSpeaker: Maurice Koster (UvA)Title: Cost sharing and rationing, an axiomatic approachLocation: P-0.16, Euclides Building, Plantage Muidergracht 24, Amsterdam
1 December 2006, ILPS Seminar, CanceledSpeaker: Canceled (formerly Taco Ekkel and Boaz Leskes)
Moved to February 2, 2007. For more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Dec1 .
30 November 2006, GLoRiClass Seminar, Marc StaudacherSpeaker: Marc StaudacherTitle: Discourse initial fragments: Grammar meets pragmaticsLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
29 November 2006, Logic Tea, Peter van Emde BoasSpeaker: Peter van Emde BoasTitle: Wij Juliana, ...Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
The document confirming my appointment by Queen Juliana of the Netherlands to become "Lector Mathematische Informatica aan de Gemeentelijke Universiteit van Amsterdam" is signed 30 November 1976, now 30 years ago. I accepted the position three months later on Feb 01 1977.
I like to use this sixth lustrum of my appointment to look back into what was happening in Theoretical Computer Science in Amsterdam 30 years ago, how it was embedded into the University and exhibit some of the roots of the ILLC as we know it today.
The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Jonathan Zvesper (jonathan at illc.uva.nl), Hartmut Fitz (h.fitz at uva.nl) or Joel Uckelmann (juckelma at science.uva.nl).
27 November 2006, ILPS Seminar, Arjen de VriesSpeaker: Arjen de Vries (CWI)Title: Flexible and Efficient Integration of IR and DatabasesLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Nov27 .
24 November 2006, Colloquium on Mathematical Logic, Valentin ShehtmanSpeaker: Valentin Shehtman (Moscow)Title: On completeness and incompleteness in first-order modal logicLocation: Room 032, Ruppertgebouw, Leuvenlaan, entrance 'educatorium', Utrecht
(Bus 11 or 12 from Utrecht Central Station).
24 November 2006, ILPS Seminar, Valentin JijkounSpeaker: Valentin Jijkoun (UvA)Title: Graph Transformations for Natural Language ProcessingLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Nov24 .
23 November 2006, GLoRiClass Seminar, Filip MurlakSpeaker: Filip Murlak (Warsaw)Title: The complexity of regular tree languagesLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
22 November 2006, Logic Tea, Ioanna DimitriouSpeaker: Ioanna Dimitriou (Bonn)Title: Symmetric models of ZF-set theory and some applicationsLocation: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
17 November 2006, DIP Colloquium, Katja JasinskajaSpeaker: Katja Jasinskaja (Potsdam)Title: Doing discourse relations by topics and implicaturesLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
17 November 2006, Colloquium on Mathematical Logic, Wim VeldmanSpeaker: Wim Veldman (RU)Title: Perhaps the Intermediate Value Theorem and perhaps moreLocation: Room 032, Ruppertgebouw, Leuvenlaan, entrance 'educatorium'
(Bus 11 or 12 from Utrecht Central Station).
17 November 2006, ILPS Seminar, Andrew TheanSpeaker: Andrew Thean (TNO)Title: Visual words: applying text-retrieval tricks to image archivesLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Nov17 .
17 November 2006, GLoRiClassTitle: Presentation of the research projects of the GLoRiClass studentsLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
For more information, see http://www.illc.uva.nl/GLoRiClass/?page=4
16 November 2006, PROSE Colloquium, Aad MathijssenSpeaker: Aad Mathijssen (OAS/TUE)Title: Nominal AlgebraLocation: Room 6.96, HG (Main Building), TU Eindhoven
16 November 2006, GLoRiClass Seminar, CanceledSpeaker: Canceled (formerly Jouko Väänänen)
14 November 2006, Intervals in the Medvedev lattice, Bas TerwijnSpeaker: Bas Terwijn (RUU and Technical University of Vienna)Location: Room 3.27, Plantage Muidergracht 24, 1018 TV, Amsterdam
The Medvedev lattice is a structure from computability theory with ties to constructive logic. We will briefly describe this connection and the relation to structures such as the Turing degrees. We will then discuss structural properties of the Medvedev lattice, in particular, the size of its intervals. We prove that every interval in the lattice is either finite, in which case it is isomorphic to a finite Boolean algebra, or contains an antichain of size 22^\aleph_0, the size of the lattice itself. We also prove that it is consistent that the lattice has chains of this size, and in fact that these big chains occur in every interval that has a big antichain. We also study embeddings of lattices and algebras. We show that large Boolean algebras can be embedded into the Medvedev lattice as upper semilattices, but that a Boolean algebra can be embedded as a lattice only if it is countable. Finally we discuss which of these results hold for the closely related Muchnik lattice. The talk was given previously in the Mathematical Logic Seminar but many people missed it.
For more information, please contact marjanv at science.uva.nl
9 November 2006, GLoRiClass Seminar, Olivier RoySpeaker: Olivier RoyTitle: Commitments in rational decision makingLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
8 November 2006, Logic Tea, Stephen ReadSpeaker: Stephen ReadLocation: Room I.001 (<em>changed</em>), Diamantslijperij, Nieuwe Achtergracht 170, Amsterdam
5 November 2006, De Taal en haar Broekje (Language and her Tighty-whities), Tine WildeSpeaker: Tine WildeLocation: Arti et Amicitiae, Rokin 112, Amsterdam
A visual lecture (Dutch only) by Tine Wilde on the use of text and image in an installation. The lecture will be introduced by the poet Arie van den Berg and will end with the presentation of a publication, entitled Remodel[l]ing Reality. This publication connects Tine Wilde's previous projects, dating from 1990 to 2004, with `Do not Erase ... wait for Meaning' the project she is currently working on at the Universiteit van Amsterdam. For those who attend the lecture there will be a free copy. After that, the booklet can be obtained from International Booksellers Nijhof & Lee, Staalstraat 13a, Amsterdam.
3 November 2006, Colloquium on Mathematical Logic, Ramon JansanaSpeaker: Ramon JansanaTitle: Quasivarieties and Gentzen calculiLocation: Room I.401, Diamantslijperij, Nieuwe Achtergracht 170, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan.).
3 November 2006, DIP Colloquium, Jason StanleySpeaker: Jason Stanley (Rutgers University, New Brunswick NJ)Title: Knowledge and CertaintyLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
3 November 2006, Negation from the perspective of neighborhood semantics, Junwei YuSpeaker: Junwei YuLocation: Room I.401, Diamantslijperij, Nieuwe Achtergracht 170, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan.).
We study many important properties of negations using neighborhood semantics, including antitony, De Morgan laws, classical double negation, constructive double negation and so on. We generalize the correspondence between such properties of negations and the conditions on the frames. Finally we discuss the duality between the category of distributive modal algebras with antitone negations and the category of descriptive generated neighborhood frames.
For more information, contact Yde Venema (yde at science.uva.nl)
3 November 2006, ILPS Seminar, Jan RittingerSpeaker: Jan Rittinger (Munich)Title: Pathfinder: XQuery Compilation Techniques for Relational Database TargetLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Nov3 .
1-2 November 2006, MScLogic Accreditation Visitation
The MSc Logic Programme is being evaluated by an international visitation committee in order to be officially accredited as a Master's programme. This procedure has been started last fall, and in the meantime we have produced a so-called "self-evaluation", an 80-page document with details about the MSc Logic.
The international visitation committee will come to Amsterdam on November 1 and 2, 2006 in order to inspect the facilities of the MSc and compare the actual running programme with the description of the self-evaluation. The committee will consist of two international experts (Prof Dr Ramon Jansana from Barcelona and Prof Dr Peter Koepke from Bonn), two members of the accreditation agency CERTIKED and a student member; during these two days, the committee will talk to teachers, alumni, students and administrators of the MSc Logic.
Thursday afternoon this committee will give a public first feedback on their findings. You are all invited to join this meeting at:
Thursday, November 2, 2006 at 17.00 hrs.
In room P-0.16, Plantage Muidergracht 24, Amsterdam
For more information, please contact tkassena at science.uva.nl
30 October - 1 November 2006, ILLC Research Evaluation
The programme of the research evaluation, and the selfstudy written for this occasion, can be downloaded from http://www.illc.uva.nl/ResearchEvaluation/.
The outcome of the review will have a major impact on the research and on the status of ILLC in the coming six years.
On Wednesday afternoon, November 1st, at 2 pm the review committee will give a preliminary report of their findings. All of the ILLC members are invited to attend this meeting and the "borrel" given afterwards. The session takes place in the Bungehuis, Spuistraat 210, room 1.01.
Details of place and time can be found in the programme at http://www.illc.uva.nl/ResearchEvaluation/.
27 October 2006, Colloquium on Mathematical Logic, Jouko VäänänenSpeaker: Jouko VäänänenTitle: Dependence LogicLocation: Room 032, Ruppertgebouw, Leuvenlaan, entrance 'educatorium'
(Bus 11 or 12 from Utrecht Central Station).
27 October 2006, ILPS Seminar, CanceledSpeaker: Canceled (formerly Arjen de Vries)Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Oct27 .
26 October 2006, GLoRiClass Seminar, CanceledSpeaker: Canceled
21 October 2006, Music, Mathematics and Computation, Euclides Building, Plantage Muidergracht 24, AmsterdamLocation: Euclides Building, Plantage Muidergracht 24, Amsterdam
This workshop intends to establish interdisciplinary contacts within the fields of music, mathematics and computation, and to get an overview of the research that is done in some prominent research groups. Furthermore, we hope to start a discussion about the research methods in these fields and to reach a consensus about the importance of the combination of these research disciplines. Speakers include Elaine Chew, Thomas Noll, Rens Bod, Henkjan Honing, Frans Wiering/Anja Volk. At the end of the afternoon, there will be time for a discussion session on the topic of the workshop. Besides the invited speakers, all participants are invited to take part in the discussion.
Everybody is cordially invited to participate; attendance is free. However, to get an idea about the number of people that participate, please send an e-mail to ahoningh at science.uva.nl for registration.
For more information, see http://staff.science.uva.nl/~ahoningh/workshop
20 October 2006, DIP Colloquium, Reinhard MuskensSpeaker: Reinhard Muskens (Tilburg)Title: Hyperintensionality in the Theory of TypesLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
20 October 2006, ILPS Seminar, Maarten de RijkeSpeaker: Maarten de RijkeTitle: Inaugural lecture: Levens zoekbaarLocation: Aula of UvA, Oude Lutherse Kerk, Singel 411, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Oct20 .
20 October 2006, Structuralism in Science, Burcht van Berlage, Henri Polaklaan 9, AmsterdamLocation: Burcht van Berlage, Henri Polaklaan 9, Amsterdam
The Beth-Stichting, Nederlandse Vereniging voor Wetenschapsfilosofie (NVWF), Facult eit der Wijsbegeerte (Erasmus Universiteit Rotterdam) and Wiener-Kreis-Stichting are financing the afternoon conference "Structuralism in Science".
Coffee, tea, biscuits and snacks are all free. For more information, see http://www.illc.uva.nl/NewsandEvents/Attachments/StructScienceOct2006.pdf or contact the organizer at f.a.muller at fwb.eur.nl.
19 October 2006, Computational Social Choice Seminar, Arantza Estévez-FernándezSpeaker: Arantza Estévez-FernándezTitle: Bankruptcy Problems: From Talmud to PassepartoutLocation: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
19 October 2006, ProSe Colloquium, Bas PloegerSpeaker: Bas Ploeger (OAS, TU/E)Title: From NFA to minimal DFALocation: Room 6.96, HG (Main Building), TU Eindhoven
19 October 2006, GLoRiClass Seminar, Samson de JagerSpeaker: Samson de JagerTitle: Evolutionary game theory and dynamic stability notions of equilibriumLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
13 October 2006, Colloquium on Mathematical Logic, Prof. dr. Yuri GurevichSpeaker: Prof. dr. Yuri GurevichTitle: Play to TestLocation: <em>Changed:</em>
Room P.017, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan).
What's testing? Well, from some point of view, it is a game. Testing tasks can be viewed (and organized!) as games against nature. We introduce and study reachability games. Such games are ubiquitous. A single industrial test suite may involve many instances of a reachability game; hence the importance of optimal or near optimal strategies for reachability games. We find out when exactly optimal strategies exist for a given reachability game, and how to construct them.
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html or contact P. van Emde Boas, peter at science.uva.nl
13 October 2006, Computational Social Choice Seminar, Ulle EndrissSpeaker: Ulle EndrissTitle: Bidding Languages and Winner Determination for Mixed Multi-unit Combinatorial AuctionsLocation: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
13 October 2006, Special Lecture, Jay D. AtlasSpeaker: Jay D. Atlas (Pomona College)Title: Bad Dreams: Dennett on Qualia, Consciousness, and MemoryLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
In his recent  book Sweet Dreams: Philosophical Obstacles to a science of Consciousness, Dennett renews his attack on a philosophical notion of qualia, the success of which attack is required if his brand of Functionalism is to survive. He also articulates once again what he takes to be essential to his notion of consciousness. I shall argue that his new, central argument against the philosophical concept of qualia fails. In passing I point out a difficulty that David Rosenthal's "higher-order thought" theory of consciousness also faces in accounting for qualia. I then contrast Dennett's newest account of consciousness with interestingly different conceptions by contemporary neuro-scientists, and I suggest that philosophers should take the recent suggestions by neuro-scientists more seriously as a subject for philosophical investigation.
11 October 2006, Logic Tea, Sujata GhoshSpeaker: Sujata GhoshTitle: Belief-Disbelief Interface : A Bi-logical ApproachLocation: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
6 October 2006, DIP Colloquium, Maarika TraatSpeaker: Maarika Traat (Tartu)Title: Information structure in DRT and CCGLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
6 October 2006, ILPS Seminar, Jiyin HeSpeaker: Jiyin He (Catholic University of Leuven)Title: Clustering for Completing Information in Biomedical CorporaLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Oct6 .
5 October 2006, GLoRiClass Seminar, Ramaswamy RamanujamSpeaker: Ramaswamy Ramanujam (Chennai)Title: On strategies defined by propertiesLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
4 October 2006, Logic Tea, Ramaswamy RamanujamSpeaker: Ramaswamy RamanujamTitle: Security Protocols: A Logical QuagmireLocation: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
3 October 2006, Games, Logic, Language and ComputationTitle: GLLC 14Location: Room E020, Roetersstraat 11, Amsterdam
This workshop is the thirteenth episode in an irregular workshop series called Games in Logic, Language and Computation. The GLLC workshop series provides an informal platform for researchers with an interest in logic and its applications in, amongst others, game theory, linguistics and computer science. GLLC 14 aims to emphasize the interface of computability theory, quantifier theory, and game theory. Speakers include M. Mostowski, B. Renne, G. Sandu, T. Tulenheimo, J. Uiterwijk and P. van Emde Boas. Everybody is cordially invited to participate; attendance is free.
For more information, see http://staff.science.uva.nl/~sevenstr/gllc14
29 September 2006, Colloquium on Mathematical Logic, Sebastiaan TerwijnSpeaker: Sebastiaan TerwijnTitle: Intervals in the Medvedev latticeLocation: Room K11 (take stairs down), Wiskundegebouw, Budapestlaan 6, Utrecht
(Bus 11 from Utrecht Central Station).
29 September 2006, Nieuw Amsterdams Peil, ACLC, AmsterdamLocation: ACLC, Amsterdam
On Friday, 29 September 2006 the annual NAP-dag will take place. On this occasion Ph.D. students of the ACLC will present their research projects. All M.A. students, Ph.D. students, post-docs and senior staff are invited to join us in Bungehuis, room 101. Attendance is free.
For further information, please contact the NAP-dag organization committee (Antje Orgassa, Daniela Poli~enská and Loulou Edelman) at napdag at gmail.com. Programme and abstracts of the talks can be found at http://www.hum.uva.nl/aclc/object.cfm/
27 September 2006, Logic Tea, Simon HutteggerSpeaker: Simon HutteggerTitle: Dynamics of Signaling GamesLocation: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
27 September 2006, Computational Linguistics Seminar, Joachim de BeuleSpeaker: Joachim de BeuleTitle: Fluid Construction GrammarLocation: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam
24-30 September 2006, The 7th Logical Workshops "Logic & Games", Kazimierz Dolny, PolandLocation: Kazimierz Dolny, Poland
The Logical Workshops have been organized since 2000 mostly as a summertime science activity for students of philosophy and mathematics from Warsaw. This year the meeting is addressed to a broader audience. Logical Workshop 2006 will take place in Kazimierz Dolny, Poland, and is organized in cooperation with Institute of Philosophy, Warsaw University and Institute for Logic, Language and Computation, University of Amsterdam.
The main goal of the Workshop is to bring people interested in logic and game theory together. The Workshop is open to all who are interested in participation. There is no conference fee, all you have to pay is your own travel and accommodation expenses.
For more information, see http://www.logika.uw.edu.pl/workshop/
22 September 2006, Computational Social Choice Seminar, René van den BrinkSpeaker: René van den Brink (VU Amsterdam)Title: Permission Values for Games with a Permission StructureLocation: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
22 September 2006, ILPS Seminar, Ander de KeijzerSpeaker: Ander de Keijzer (Twente)Title: Possible World Approach: Semantics and ApplicationLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Sep22 .
21 September 2006, PROSE Colloquium, Hans ZantemaSpeaker: Hans ZantemaTitle: Recent developments in proving termination of rewriting automaticallyLocation: Room 6.96, HG (Main Building), TU Eindhoven
21 September 2006, GLoRiClass Seminar, Andrea SchalkSpeaker: Andrea Schalk (Manchester)Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
18 September 2006, Workshop "Formal models for real people"Location: Doelenzaal, UB, Singel 425, Amsterdam
With the growth of the cognitive sciences comes an increasing interest in how we can model the cognitive and linguistic achievements of real people, in realistic contexts. There is also growing realisation that formal models can be of use here: they are formal but are not limited to modelling idealisations. In the workshop 'Formal models for real people' researchers from psychology, linguistics and philosophy will present and discuss work which showcases the applicability of formal tools to modelling non-idealised language and reasoning. Topics include, amongst others: causal reasoning, language acquisition, Theory of Mind, reasoning and autism.
No registration is required, but if you are planning to attend the workshop, we would appreciate it if you notified Marian Counihan at m.e.counihan at uva.nl. Further details including the day's programme and a route description to the venue, are available at http://oase.uci.kun.nl/~ikramer/realpeople/.
13 September 2006, Computational Linguistics Seminar, David AhnSpeaker: David Ahn (ILPS)Title: Stages of event extractionLocation: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam
11 September 2006, Logic Tea, Tadeusz LitakSpeaker: Tadeusz LitakTitle: Algebraization of <em>H</em>(↓,@) and the Bounded FragmentLocation: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
8 September 2006, Computational Social Choice Seminar, Eric PacuitSpeaker: Eric PacuitTitle: Some Comments on Strategic VotingLocation: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
8 September 2006, ILPS Seminar, Martha LarsonSpeaker: Martha Larson (Fraunhofer Institute)Title: AudioMining: Prototype system for archival and retrieval of German-language radio contentLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Sep8 .
6 September 2006, Logic Tea, Olivier RoySpeaker: Olivier RoyTitle: From Decision Theory to Belief DynamicsLocation: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
2006-2007 MASTER CLASS IN MATHEMATICAL LOGICLocation: Utrecht and NijmegenTarget audience: advanced undergraduate and beginning graduate studentsCosts: € 2260
In the academic year 2006-2007 a year-long program of courses in Mathematical Logic is organized by MRI (a cooperation of Dutch Universities). The program is intended for advanced undergraduate and beginning graduate students, and aims to provide them with a solid preparation for a possible Ph.D. studentship in the area. There are possibilities for fellowships for students.
Deadline for registration: 1 April 2006. Students interested in fellowships should apply before January 15, 2006. For more information, see http://www.math.uu.nl/people/jvoosten/mclogic/.
31 August 2006, Annual ILLC Boat Trip & Welcome ReceptionLocation: Gather at frontdesk, Euclides Building, Plantage Muidergracht 24, Amsterdam
We are happy to announce that the ILLC will (as usual) welcome its new Master students by having a boattrip 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 staffmembers and students.
The boat leaves at 17.00 hrs from the back of the Euclides building (Plantage Muidergracht 24), we request to gather at the frontdesk at 16.45 from where we will walk to the landingplace 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, contact the ILLC Buro at illc at science.uva.nl.
31 July-11 August 2006, ESSLLI-2006:
18th European Summer School in Logic, Language and Information, Malaga, SpainLocation: Malaga, SpainDeadline: 17 June 2005
The main focus of ESSLLI is on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover 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-2006 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).
The ESSLLI-2006 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 18th 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 17th, 2005 at http://www.folli.org/submission.php
For more information, see the ESSLLI website at http://esslli2006.lcc.uma.es/.
14 July 2006, ILPS Seminar, Maarten de RijkeSpeaker: Maarten de Rijke
(UvA)Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Jul14 .
7 July 2006, Computational Social Choice Seminar, Joel UckelmanSpeaker: Joel UckelmanTitle: How Hard is it to Find Nash Equilibria?Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
4 July 2006, ACG Colloquium, Marcello BonsangueSpeaker: Marcello Bonsangue (LIACS)Title: A logic for strong late bisimilarity (Part II)Location: Room M279, CWI, Kruislaan 413, Amsterdam
3 July 2006, Computational Linguistics Seminar, Reut TsarfatySpeaker: Reut TsarfatyTitle: Hebrew Statistical ParsingLocation: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam
Contrary to erroneous information in 'ILLC News 2006-26', this seminar will take place as scheduled.
For more information and abstracts, see http://staff.science.uva.nl/~jzuidema/CLS/
30 June 2006, DIP Colloquium, Janneke HuitinkSpeaker: Janneke Huitink (Nijmegen)Title: Epistemic Modality and Quantifier ScopeLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
29 June 2006, Computational Linguistics Seminar, Peter Grunwald (CWI)Speaker: Peter Grunwald (CWI)Title: Introduction to Modern Minimum Description Length MethodsLocation: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam
29 June 2006, PROSE Colloquium, Jaco van de PolSpeaker: Jaco van de Pol (FM, TuE, CWI)Title: Fixpoint Equation SystemsLocation: Room 6.96, HG (Main Building), TU Eindhoven
27 June 2006, Logic Tea, Dick de Jongh & Krister SegerbergSpeaker: Dick de Jongh & Krister SegerbergTitle: Kripke frames, Heyting Algebras, reductions and duality /
Remembrances of the p-morphism in times pastLocation: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
27 June 2006, Forth and back for 40 years: three talks on p-morphisms, room P.017, Euclides building, Plantage Muidergracht 24, AmsterdamLocation: room P.017, Euclides building, Plantage Muidergracht 24, Amsterdam
On the occasion of the 40th anniversay of the p-morphism, the ILLC will host a special afternoon with three talks on the p-morphism. Dick de Jongh and Krister Segerberg will each give a talk on the developments in the sixties and seventies (these talks also forms part of the Logic Tea). Before that, in a joint talk, Helle Hansen and Clemens Kupke will present a modern, coalgebraic perspective.
For more information, see http://staff.science.uva.nl/~yde/ole.html
23 June 2006, DIP Colloquium, Graham KatzSpeaker: Graham KatzTitle: Propositional content, pre-semantic binding and the Pragmatics/Semantics interfaceLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
23 June 2006, Medieval Logic Presentation DayLocation: P.327 Euclides Building, Plantage Muidergracht 24, Amsterdam
Students participating in the June project on medieval logic will be giving short talks presenting the results of their research on various topics. Speakers: Can Baskent, Harald Bastiaanse, Yurii Khomskii and Lars Wortel
For more information, see http://staff.science.uva.nl/~suckelma/23junmedproj.html
23 June 2006, ILPS Seminar, Edgar MeijSpeaker: Edgar Meij (UvA)Title: How the Grid could meet Biomedical IRLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Jun23 .
Digitalisering van onderzoekscorporaLocation: P.C. Hoofthuis, Spuistraat 134 te Amsterdam zaal 105
De bijeenkomst is bedoeld voor onderzoekers en (research)masterstudenten van onze faculteit om inzicht te krijgen in de consequenties van digitalisering voor de onderzoekspraktijk van onder andere Geschiedenis, Literatuur, Kunst, Filosofie, Film, Boekwetenschap en Archeologie. Ook is er aandacht voor de ontwikkeling van digitaliseringsprojecten en de financieringsmogelijkheden.
22 June 2006, GLoRiClass Seminar, Jan TuinstraSpeaker: Jan TuinstraTitle: Game Theory in Law and EconomicsLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
21 June 2006, Computational Linguistics Seminar, PostponedSpeaker: Postponed (David Ahn)
15 June 2006, GLoRiClass Seminar, Jacques DuparcSpeaker: Jacques DuparcTitle: Describing the complexity of ω-languages with gamesLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
14 June 2006, GLLC 12: Games in Set Theory, Analysis and Topology, Room E150, Roetersstraat 11, University of AmsterdamLocation: Room E150, Roetersstraat 11, University of Amsterdam
This workshop is the twelfth episode in an irregular workshop series called Games in Logic, Language and Computation. These workshops are intended as a informal and lively discussion platform, where both senior researchers and promising young researchers from different backgrounds can share ideas.
For more information, see http://www.illc.uva.nl/lgc/gllc12/
14 June 2006, Computational Linguistics Seminar, Canceled/RescheduledSpeaker: Canceled/Rescheduled (Reut Tsarfaty )
9 June 2006, DIP Colloquium, Eugen FischerSpeaker: Eugen Fischer (NIAS/Den Haag)Title: The Invention of 'Secondary Qualities'. How Philosophical
Pictures May Shape Abstract ReflectionLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
Eugen Fischer, editor of the collection "Wittgenstein at Work", will present a metaphilosophical account, inspired both by the later Wittgenstein and by recent work in cognitive science, of how problems and theories in philosophy arise.
For abstracts and more information, see http://www.illc.uva.nl/dip/.
9 June 2006, Computational Social Choice Seminar, Fenrong LiuSpeaker: Fenrong LiuTitle: Optimality, Belief and PreferenceLocation: P-3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
We define preference in terms of a constraint sequence, a concept from optimality theory. In case agents only have incomplete information, beliefs are introduced. We propose three definitions to describe different procedures agents may follow to get a preference relation using the incomplete information. Changes of preference are explored w.r.t their sources: changes of the constraint sequence, and changes in beliefs.
This is joint work with Dick de Jongh (see also ILLC-report PP-2006-38).
9 June 2006, ILPS Seminar, Veronique HosteSpeaker: Veronique Hoste (Antwerp)Title: Optimization in machine learning of language. A focus on the task of
coreference resolutionLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Jun09 .
8 June 2006, GLoRiClass Seminar, Klaus AbbinkSpeaker: Klaus AbbinkTitle: Behavioral Game Theory: Conflicts in the LabLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
8-10 June 2006, Universality and Particularity in Parts-of-Speech Systems (PoS2006), P.C. Hoofthuis, Spuistraat 134, AmsterdamLocation: P.C. Hoofthuis, Spuistraat 134, AmsterdamCosts: Preregistration 80€ , late registration 100€
The ACLC-conference on Universality and Particularity in Parts-of-Speech Systems (PoS2006) will take place from June 8-10, 2006, at the University of Amsterdam. The conference programme covers the widest possible range of perspectives on word class distinctions and parts-of-speech systems.
All information about the conference programme may be found at the conference website http://home.hum.uva.nl/pos/. Given the focused nature of the conference programme and the limited space available, participation is limited to (pre)registered participants.
6 June 2006, Logic Tea, Jip VeldmanSpeaker: Jip Veldman (Bonn)Title: Core Models and the Covering LemmaLocation: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
2 June 2006, DIP Colloquium, Krister SegerbergSpeaker: Krister Segerberg (Uppsala)Title: The Elusive Logic of ActionLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
30 May 2006, ACG Colloquium, Marcello BonsangueSpeaker: Marcello Bonsangue (LIACS)Title: A logic for strong late bisimilarityLocation: Room M279, CWI, Kruislaan 413, Amsterdam
Note that the date has changed. For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future
26 May 2006, Gödel Centenary Celebration, Jaarbeurs UtrechtLocation: Jaarbeurs Utrecht
Registration for the Gödel Centenary Celebration on Friday May 26 is open. The symposium is free of charge. The program is as follows.
10:00 Arrival, tea and coffee 10:20-10:30 Opening: Albert Visser (Utrecht) 10:30-11:45 Juliette Kennedy (Helsinki) & Mark van Atten (Paris): A Life Dedicated to the Fundamental 11:45-12:00 Tea break 12:00-13:00 Dick de Jongh (Amsterdam) & Albert Visser (Utrecht): The Incompleteness Theorems: What They Say and What They do not Say. 13:00-14:00 Lunch break 14:00-15:00 Benedikt Löwe (Amsterdam): Gödel's Contribution to Set Theory 15:00-15:30 Tea break 15:30-16:30 Dennis Dieks (Utrecht): Gödel on Time and Relativity
Update (2006/05/22): Due to large interest in the symposium there is only a limited number of seats left. Please sign up before the conference hall is full and registration closed.
For more information, see http://ozsl.uu.nl/goedel/.
24 May 2006, Computational Linguistics Seminar, CanceledSpeaker: Canceled (formerly Joachim De Beule)
23 May 2006, Logic Tea, Joe SalernoSpeaker: Joe Salerno (St. Louis)Title: Knowability Noir: 1945-1963Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
19 May 2006, ILPS Seminar, CanceledSpeaker: Canceled (Edgar Meij)
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#May19 .
19 May 2006, DIP Colloquium, PostponedSpeaker: Postponed (formerly Jay David Atlas)
18 May 2006, Computational Social Choice Seminar, Andreas WitzelSpeaker: Andreas Witzel (ILLC)Title: The Stability of Hedonic Coalition StructuresLocation: P-0.16, Euclides Building, Plantage Muidergracht 24, Amsterdam
Hedonic games are a special form of cooperative games where the payoff to each player only depends on the identity of the other members of his coalition. I will present stability notions and according existence results discussed in the paper by Bogomolnaia and Jackson.
18 May 2006, GLoRiClass Seminar, Yde VenemaSpeaker: Yde VenemaTitle: Logic, automata and infinite gamesLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
16 May 2006, Mini Meeting in Medieval Logic, ILLCSpeaker: Raina Kirchhoff, Catarina Dutilh NovaesLocation: ILLC
Everyone is invited to this informal workshop in medieval logic. The workshop will take place in rooms P3.27 & P0.14 at the Euclides Building (Plantage Muidergracht 24, Amsterdam)
For more information, email Sara Uckelman (suckelma at illc.uva.nl), or go to http://staff.science.uva.nl/~suckelma/may16meeting.html
12 May 2006, DIP Colloquium, Corien BarySpeaker: Corien Bary (Nijmegen)Title: The Imperfect and Aorist in Ancient GreekLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
12 May 2006, Colloquium on Mathematical Logic, Marek KwiatkowskiSpeaker: Marek Kwiatkowski (VU)Title: Ordinal Arithmetic via Infinite Term rewritingLocation: Room P.016, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan.)
12 May 2006, Colloquium on Mathematical Logic, Joost J. JoostenSpeaker: Joost J. Joosten (Utrecht)Title: Computational complexity and short proofs of consistency
+ statementsLocation: Room 048, Bestuursgebouw, Heidelberglaan 8, Utrecht
(Bus 12 from Utrecht Central Station).
12 May 2006, ILPS Seminar, Yoav SeginerSpeaker: Yoav Seginer
(ILLC)Title: Parser InductionLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#May12 .
12 May 2006, Leve de Wiskunde!Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
Op vrijdag 12 mei 2006 organiseren het Korteweg-de Vries Instituut voor Wiskunde (KdVI) en het Institute for Logic, Language & Computation (ILLC) een open dag voor docenten wiskunde, scholieren en andere belangstellenden. Wiskundigen en logici van de Universiteit van Amsterdam vertellen er over hun onderzoek.
For more information, see http://www.science.uva.nl/actueel/object.cfm/
11 May 2006, GLoRiClass Seminar, Theo JanssenSpeaker: Theo JanssenTitle: Hintikka's Independence Friendly LogicLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
9 May 2006, ACG Colloquium, Einar Broch JohnsenSpeaker: Einar Broch Johnsen (Oslo)Location: Room M279, CWI, Kruislaan 413, Amsterdam
4 May 2006, PROSE Colloquium, Aad MathijssenSpeaker: Aad Mathijssen (OAS/TUE)Title: One-and-a-halfth-order logicLocation: Room 6.96, HG (Main Building), TU Eindhoven
Note that the date has changed. For more information, see http://www.win.tue.nl/prose/
4 May 2006, GLoRiClass Seminar, Peter van Emde BoasSpeaker: Peter van Emde BoasTitle: Games and Models for ComputationLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
2 May 2006, ACG Colloquium, Frank AtanassowSpeaker: Frank Atanassow (CWI)Location: Room M279, CWI, Kruislaan 413, Amsterdam
28 April 2006, DIP Colloquium, Christian EbertSpeaker: Christian Ebert (Bielefeld)Title: Expressive Power and Complexity of Underspecified
RepresentationsLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
27 April 2006, Krister Segerberg's 70th Birthday, Room P.019, Euclides Building, Plantage Muidergracht 24, AmsterdamSpeaker: Eric Pacuit, Sten Lindström, Krister SegerbergLocation: Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam
The entire ILLC-community is invited to attend this workshop organized to celebrate Krister Segerberg's 70th birthday. After the talks, there will be a reception on the 3d floor of the Euclides Building.
For more information, please contact f.veltman at uva.nl
27 April 2006, GLoRiClass Seminar, Jelle ZuidemaSpeaker: Jelle ZuidemaTitle: Noisy Signaling GamesLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
26 April 2006, General Mathematics Colloquium, Patrick DehornoySpeaker: Patrick DehornoyTitle: From sets to braidsLocation: P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam
For more information, see http://www.science.uva.nl/research/math/Calendar/colloq/
25 April 2006, Logic Tea, Andreas WitzelSpeaker: Andreas WitzelTitle: Neural-Symbolic Integration: Constructive ApproachesLocation: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
21 April 2006, Colloquium on Mathematical Logic, Roland HinnionSpeaker: Roland HinnionTitle: Positive Set TheoriesLocation: Room 134, Ruppert building (entrance Educatorium on Leuvenlaan), Utrecht
21 April 2006, DIP Colloquium, Tony BelpaemeSpeaker: Tony Belpaeme (Plymouth)Title: The trouble with perceptual categories: studying colour categories with computational modelsLocation: Room 420, Bungehuis, Spuistraat 210, Amsterdam
Co-located with ACLC Colloquium
For abstracts and more information, see http://www.illc.uva.nl/dip/.
21 April 2006, ACLC Colloquium, Bernd HeineSpeaker: Bernd Heine (Universität Köln)Title: Reconstructing language evolution: a grammaticalization approachLocation: Room 420, Bungehuis, Spuistraat 210, Amsterdam
Co-located with DIP Colloquium
For abstracts and more information, see >http://www.hum.uva.nl/aclc/object.cfm/.
21 April 2006, Colloquium on Mathematical Logic, Saeed SalehiSpeaker: Saeed Salehi (Turku University)Title: Modal Logic of Cut-Free Provability in Weak ArithmeticsLocation: Room 134, Ruppert building (entrance Educatorium on Leuvenlaan), Utrecht
21 April 2006, ILPS Seminar, CanceledSpeaker: Canceled (formerly Vera Hollink)
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Apr21 .
20 April 2006, GLoRiClass Seminar, Eric PacuitSpeaker: Eric PacuitTitle: Towards a Theory of Correctness of Social ProceduresLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
18 April 2006, ACG Colloquium, Tom ChothiaSpeaker: Tom ChothiaTitle: Type-based access control: for distributed systems, for components and under attackLocation: Room M279, CWI, Kruislaan 413, Amsterdam
13 April 2006, GLoRiClass Seminar, CanceledSpeaker: Canceled (formerly Eric Pacuit)
7 April 2006, Colloquium on Mathematical Logic, Philipp HieronymiSpeaker: Philipp Hieronymi (Oxford)Title: Inner Models and Topos TheoryLocation: Room P.016, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan.)
7 April 2006, Computational Social Choice Seminar, Krzysztof AptSpeaker: Krzysztof AptTitle: Introduction to Mechanism DesignLocation: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
Mechanism design, sometimes called reverse game theory, is concerned with the design of games that induce the participants to realize choices that are desirable for the society. In this lecture we shall explain what constitutes a mechanism design and discuss the Vickrey-Clarke-Groves (VCG) mechanism.
7 April 2006, ILPS Seminar, CanceledSpeaker: Canceled (formerly Sisay Fissaha)
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Apr07 .
6 April 2006, GLoRiClass Seminar, Ulle EndrissSpeaker: Ulle EndrissTitle: Multiagent Resource AllocationLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
31 March 2006, ACLC/ILLC Seminar on PsycholinguisticsLocation: Grote Zaal, Herengracht 182, Amsterdam
31 March 2006, ILPS Seminar, Wouter AlinkSpeaker: Wouter Alink
(UvA)Title: Representing and Querying Multi-dimensional Markup for Question AnsweringLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Mar31 .
30 March 2006, GLoRiClass Seminar, Benedikt LöweSpeaker: Benedikt LöweTitle: Games in MathematicsLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
24 March 2006, DIP Colloquium, Adrian BrasoveanuSpeaker: Adrian Brasoveanu (Rutgers U/Stuttgart)Title: Representing Content and Meaning in DiscourseLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
24 March 2006, ILPS Seminar, CanceledSpeaker: Canceled (Edgar Meij)Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Mar24 .
22 March 2006, Computational Linguistics Seminar, Antal van den BoschSpeaker: Antal van den Bosch (Tilburg)Title: Implicit computational linguisticsLocation: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam
21 March 2006, Logic Tea, Leigh M. SmithSpeaker: Leigh M. Smith (ILLC)Title: Modelling Rhythmic Strata by Continuous Time-Frequency AnalysisLocation: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
16 March 2006, PROSE Colloquium, Adam KoprowskiSpeaker: Adam KoprowskiTitle: Topics in termination of term rewritingLocation: Room 6.96, HG (Main Building), TU Eindhoven
16 March 2006, Amsterdam-London Workshop on Modal Logic, Room I. 401, Nieuwe Achtergracht 168-178, AmsterdamLocation: Room I. 401, Nieuwe Achtergracht 168-178, Amsterdam
The first Amsterdam-London Workshop on Modal Logic will take place on 16th of March, 2006 at the ILLC. The speakers include:
Ian Hodkinson (Imperial College London)
Robin Hirsch (University College London)
Roman Kontchakov (Birkbeck College London)
Mikhail Sheremet (Birkbeck College London)
Mai Gehrke (New Mexico State University)
Guram Bezhanishvili (New Mexico State University)
Johan van Benthem (University of Amsterdam)
Yde Venema (University of Amsterdam)
Balder ten Cate (University of Amsterdam)
15 March 2006, Computational Linguistics Seminar, Ton van der WoudenSpeaker: Ton van der Wouden (Leiden)Title: Dutch as a Construction LanguageLocation: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam
14 March 2006, Zuidelijk Interuniversitair Colloquium (ZIC), Henk Barendregt
,Speaker: Henk Barendregt
(Nijmegen), <em>postponed</em>Title: Topics in Typed Lambda Calculus (250th and final ZIC!)Location: Dorgelozaal (Traversegebouw), TU Eindhoven
The ZIC colloquium started in september 1986, and this talk will be the 250th talk in the series. Because it is always good to end on a high note, we have decided to let this 250th talk be the final one. We are very happy that Henk Barendregt, who has been a regular speaker at the ZIC from the very start, has accepted our invitation to give this very last lecture.
We would like to say goodbye to the ZIC and celebrate its succesful history in the company of the people who have been interested and involved in the ZIC over the past 20 years. We therefore warmly invite you to attend this last talk and have a drink with us afterwards.
14 March 2006, GLoRiClass Opening AfternoonLocation: Bondsraadzaal, De Burcht, Henri Polaklaan 9, 1018 CP Amsterdam
The new Marie Curie Research Training Site GLoRiClass is officially being launched with an afternoon of public lectures and drinks. The new research training site focuses on the interaction of mathematics, computer science, linguistics and philosophy in the investigation of games. One particular goal is to provide a theoretical and conceptual embedding of game theory as it is practiced in economics.
For more information, see http://www.illc.uva.nl/GLoRiClass/
14 March 2006, ACG Colloquium, Stephanie KemperSpeaker: Stephanie Kemper (CWI)Title: SAT-based Verification for Abstraction RefinementLocation: Room M279, CWI, Kruislaan 413, Amsterdam
13 March 2006, Maagdenhuis op Maandag, Tine WildeSpeaker: Tine Wilde (ILLC)Title: Een kunstenaar op kennispadLocation: Maagdenhuis, UvA, Spui 21, Amsterdam
For more information, see http://www.hum.uva.nl/actueel/.
13 March 2006, Colloquium on Mathematical Logic, Alexey RomanovSpeaker: Alexey RomanovTitle: De Jongh's theorem for equality theoriesLocation: T.B.A. (Amsterdam)
We may think of propositional formulas as schemas for formulas of a first-order language. The question which then naturally arises is, "What schemas are valid in a given theory?" De Jongh's theorem settles this question for HA. Since then, mostly extensions of HA have been considered in this context. This talk will deal with much weaker theories of equality instead.
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
10 March 2006, Computational Social Choice Seminar, Ulle EndrissSpeaker: Ulle EndrissTitle: Introduction to Social Welfare OrderingsLocation: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
10 March 2006, ILPS Seminar, Valentijn VischSpeaker: Valentijn Visch (VU Amsterdam)Title: Recognition of film genre by actor movementsLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Mar10 .
9 March 2006, GLoRiClass Seminar, Robert van RooijSpeaker: Robert van RooijTitle: Games in LinguisticsLocation: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
8 March 2006, Computational Linguistics Seminar, Rens BodSpeaker: Rens BodTitle: Unsupervised Data-Oriented ParsingLocation: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam
8 - 10 March 2006, Workshop on Constructive Set Theory, Room G103, Nieuwe Prinsengracht 130, Amsterdam / Room K11, Budapestlaan 6, UtrechtLocation: Room G103, Nieuwe Prinsengracht 130, Amsterdam / Room K11, Budapestlaan 6, Utrecht
An informal workshop on constructive set theory (Aczel's CZF in particular), with speakers including Peter Aczel, Michael Rathjen and Robert Lubarsky.
For more information, see http://www.math.uu.nl/people/vdberg/workshop/
7 March 2006, Logic Tea, Taotao XingSpeaker: Taotao Xing (Würzburg University)Title: A Fine Reading of the White Horse DiscourseLocation: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
6 March 2006, Curious Minds: scientific reasoning in early youth, KNAW-gebouw, Kloveniersburgwal 29, AmsterdamLocation: KNAW-gebouw, Kloveniersburgwal 29, AmsterdamCosts: Free
The goal of this symposium is to give an overview of current research into the reasoning abilities of preschool children, both in the Netherlands and outside. Which talents, potentials and abilities do children aged 3-5 have, how are talents in different fields interconnected, and how can these talents be developed further? The main focus will be on talents that could be considered part of the fields of mathematics, physics, technique and logic.
For more information, including a preliminary program, see http://www.talentenkracht.nl/
3 March 2006, Colloquium on Mathematical Logic, Bob LubarskySpeaker: Bob Lubarsky (Florida)Title: Notions of Reals in Constructive ZFLocation: Room P.016, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan.)
2 March 2006, PROSE Colloquium, Irek UlidowskiSpeaker: Irek UlidowskiTitle: Reversing Algebraic Process CalculiLocation: Room 6.96, HG (Main Building), TU Eindhoven
2 March 2006, GLoRiClass Seminar, Krzysztof AptSpeaker: Krzysztof AptTitle: Games and Computer ScienceLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
28 February 2006, ACG Colloquium,Speaker: <em>canceled</em>
24 February 2006, Colloquium on Mathematical Logic, Asger TornquistSpeaker: Asger TornquistTitle: Construction of non-conjugate actionsLocation: Room P.019, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan.)
24 February 2006, ILPS Seminar, Clemens KupkeSpeaker: Clemens Kupke (UvA)Title: Coalgebra automataLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Feb24 .
21 February 2006, Logic Tea, Sara L. UckelmanSpeaker: Sara L. Uckelman (ILLC)Title: Modal and Temporal Logics of n-Dimensional Space-TimeLocation: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
16 February 2006, OAS Colloquium, Adam KoprowskiSpeaker: Adam KoprowskiTitle: Certified Higher-Order Recursive Path OrderingLocation: Room 6.96, HG (Main Building), TU Eindhoven
For more information, see http://www.win.tue.nl/oas/main_colloquium.html.
16 february 2006, Collloquium Muziekwetenschap, Glenn SchellenbergSpeaker: Glenn SchellenbergTitle: Does music make you smarter?Location: Universiteitstheater, Nieuwe Doelenstraat 16, amsterdam
Music listening and music lessons have been claimed to confer intellectual advantages. Any association between music and intellectual functioning would be notable only if the benefits apply reliably to non-musical abilities and if music is unique in producing the effects. The available evidence indicates that music listening leads to enhanced performance on a variety of cognitive tests, but that such effects are short-term and stem from the impact of music on arousal level and mood, which, in turn, affect cognitive performance; experiences other than music listening have similar effects. Music lessons in childhood tell a different story. They are associated with small but general and long-lasting intellectual benefits that cannot be attributed to obvious confounding variables such as family income and parents' education. Other out-of-school activities do not appear to have similar effects. The mechanisms underlying the association between music lessons and intellectual abilities have yet to be determined.
Glenn Schellenberg is professor of psychology at the Universiteit van Toronto, Canada.
For more information, see http://www.musicology.nl/
16 February 2006, GLoRiClass Seminar, Johan van BenthemSpeaker: Johan van BenthemTitle: Games and Social InteractionLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
This is the first meeting of the GLoRiClass seminar which will continue to meet Thursdays 11-13.
For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4
15 February 2006, Computational Social Choice Seminar, Vangelis MarkakisSpeaker: Vangelis Markakis (Toronto)Title: On Approximately Fair Allocations of Indivisible GoodsLocation: P-3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
12 February 12 2006, Wakker Worden Kinderlezing, Prof.dr. Johan van BenthemSpeaker: Prof.dr. Johan van BenthemTitle: Lecture for Children: What is logical?Location: Science Center Nemo, Amsterdam
Sunday February 12 at 11.00 AM, prof.dr. Johan van Benthem will give a lecture especially for children in Science Center Nemo, Amsterdam. By means of games and puzzles, he will show and explain children what logic means to scientists and how to use logic in everyday life.
For more information, see www.kinderlezingen.nl/.
11-12 February 2006, Bonn Student Seminar on Set Theory and Games, Room P.327, Euclides Building, Plantage Muidergracht 24, AmsterdamLocation: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
In this seminar, students from the mathematical logic group in Bonn are presenting various topic on games and set theory, leading up to Tony Martin's proof of the determinacy of all Π11 sets from a measurable cardinal.
All ILLC students interested in set theory are cordially invited to listen. The talks presuppose basic knowledge of set theory, comparable to our course Axiomatic Set Theory. The last two talks will also presuppose some knowledge about measurable cardinals.
Note that the Euclides building is closed on the weekend, so in order to attend, you either need to have an overwerkpass to get into the building, or to arrange a meeting with Stefan Bold to get into the building.
For more information, see http://staff.science.uva.nl/~bloewe/WS0506-Bonn.html
10 February 2006, ILPS Seminar, Vojkan MihajlovicSpeaker: Vojkan Mihajlovic (Twente)Title: A Transparent Framework for Information Retrieval in Structured DocumentsLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Feb10 .
9 February 2006, CSCA lecture series, Prof. dr. Ap DijksterhuisSpeaker: Prof. dr. Ap DijksterhuisTitle: Think different: The role of unconscious and conscious processes in attitude formation and decision-makingLocation: Doelenzaal (UB), Singel 425, Amsterdam
Prof. Ap Dijksterhuis will be holding the first CSCA lecture of 2006. On February 9th, he will comment on the role of unconsciousness and conscious processes in attitude formation and decision making. Prof. Dijksterhuis is professor at the Psychology department of the Universiteit van Amsterdam; he received the Early Career Award from the American Psychological Association in 2005.
8 February 2006, Computational Linguistics Seminar, Remko SchaSpeaker: Remko SchaTitle: Data-Oriented SemanticsLocation: Room P3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
In this talk I will assume that the audience is at least superficially familiar with the approach to exemplar-based language processing which is known as "Data-Oriented Parsing" (DOP). So far, the models which instantiate the DOP approach tend to deal exclusively with the syntactic aspects of language processing. The purpose of the talk is to look at the prospects of generalizing this work toward the development of data-oriented models of semantics.
7 February 2006, Logic Tea, Eric PacuitSpeaker: Eric Pacuit (ILLC)Title: Neighborhood Semantics for First-order Modal LogicLocation: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam
3 February 2006, DIP Colloquium, Irene KrämerSpeaker: Irene Krämer (Nijmegen)Title: Learning how to make most of <em>many</em>:
quantification and mutual knowledge in children.Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
2 February 2006, OAS Colloquium, Muck van WeerdenburgSpeaker: Muck van Weerdenburg (OAS Group)Title: Efficient Term Rewriting for mCRL2Location: Room 6.96, HG (Main Building), TU Eindhoven
One of the bottlenecks in model checking is the time (and space) consuming transformation of a model to a state space. The main activity in such a transformation is often the rewriting of data expressions. In this talk the author will give an overview of his work on the rewriter(s) of the mCRL2 toolset. This toolset differs from other such toolsets in that it has a higher order data specification language (amongst other features).
For more information, see http://www.win.tue.nl/oas/main_colloquium.html.
2 February 2006, Computational Social Choice Seminar, Krzysztof AptSpeaker: Krzysztof AptTitle: The Many Faces of RationalizabilityLocation: P-3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
The rationalizability concept was introduced in (Bernheim 84) and (Pearson 84) to assess what can be inferred by rational players in a non-cooperative game in presence of common knowledge. However, this notion can be defined in a number ways that differ in seemingly unimportant minor details. We shed light on these differences, explain their impact, and clarify for which games these notions coincide. Also we apply the same analysis to clarify the differences and similarities between various ways iterated elimination of strictly dominated strategies was defined in the literature.
27 January 2006, ILPS Seminar, Toine BogersSpeaker: Toine Bogers (Tilburg)Title: Enhancing Information Retrieval through Authoritative Personalization in WorkgroupsLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Jan27 .
27 January 2006, Topics in Ancient & Medieval Logic, P1.14, Euclides Building, Plantage Muidergracht 24, AmsterdamLocation: P1.14, Euclides Building, Plantage Muidergracht 24, Amsterdam
Students who participated in the ancient & medieval logic project will be presenting their results on the topics of Stoice logic, future contingents & the immutability of God, linguistic analyses of the use of pronouns in the Eucharist, and Anselm's logic of agency. Everyone is welcome!
For more information, see http://staff.science.uva.nl/~suckelma/medlogic.html or contact Sara Uckelman (suckelma at illc.uva.nl)
20 January 2006, Colloquium on Mathematical Logic, Milad NiquiSpeaker: Milad Niqui (RU)Title: Exact Real Numbers in Coinductive Type TheoryLocation: Room 048, Bestuursgebouw, Heidelberglaan 8, Utrecht
(Bus 12 from Utrecht Central Station).
12 January 2006, Computational Social Choice Seminar, Eric PacuitSpeaker: Eric PacuitTitle: Introduction to Interactive EpistemologyLocation: P-3.27, Euclides building, Plantage Muidergracht 24, Amsterdam
Interactive epistemology is the study of the role of players' uncertainty in a game-theoretic situation. We will introduce some of the mathematical models which have been used by game theorists to represent this uncertainty. The talk will focus on type spaces, introduced by John Harsanyi in 1967. In particular, we will disucss the existence of a "universal" type space and the epistemic foundations of various solution concepts. To that end, the talk will be based on a recent survey by Adam Brandenburger which can be found below: http://pages.stern.nyu.edu/%7Eabranden/pop-09-29-05.pdf
For more information, please contact Ulle Endriss (ulle at illc.uva.nl).
6 January 2006, Colloquium on Mathematical Logic, Bas SpittersSpeaker: Bas Spitters (RU)Title: Observational Integration TheoryLocation: Room 048, Bestuursgebouw, Heidelberglaan 8, Utrecht
(Bus 12 from Utrecht Central Station).
Calls for Paper
18-20 December 2006, 17th International Symposium on Algorithms and Computation (ISAAC 2006), Kolkata, IndiaLocation: Kolkata, IndiaDeadline: 28 June 2006
The 17th International Symposium on Algorithms and Computation (ISAAC 2006) will take place at Taj Bengal Hotel, 5-star hotel in Kolkata, India, December 18-20, 2006. The symposium is intended to provide a forum for researchers working in algorithms and theory of computation.
For more information, see http://www.iscal.ac.in/~ISAAC06/
Papers presenting original research in the areas of design and analysis of algorithms, computational complexity, and theory of computation are sought. Submission deadline is June 28, 2006.
14-15 December 2006, Formal Ontologies Meets Industry 2006 (FOMI 2006), University of Trento, ItalyLocation: University of Trento, ItalyDeadline: 15 July 2006
FOMI aims to become an international forum where researchers in different disciplines and practitioners of various industry sectors meet to analyze and discuss issues related to methods, theories, research directions, tools and applications based on formal ontologies.
For more information, see http://www.loa-cnr.it/fomi
We invite submissions of papers in any of the topics of interest to the workshop. Submission deadline is July 15, 2006.
13-15 December 2006, 26th Conference on Foundations of Software Technology and
Theoretical Computer Science (FSTTCS), Kolkata, IndiaLocation: Kolkata, IndiaDeadline: 18 June 2006
IARCS, the Indian Association for Research in Computing Science announces the 26th Annual FSTTCS Conference in Kolkata (formerly Calcutta). The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.
For more information, see http://www.cse.iitd.ernet.in./~fsttcs26/
Authors are invited to submit papers presenting original and unpublished research in any area of Theoretical Computer Science or Foundational aspects of Software Technology. Submission deadline is 18 June 2006.
4-8 December 2006, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Tasmania, AustraliaLocation: Hobart, Tasmania, AustraliaDeadline: 30 June 2006
AI 2006 is the 19th Australian Joint Conference on Artificial Intelligence. This conference series is Australia's premier venue for the dissemination of new research in both the theory and application of artificial intelligence. AI 2006 will be hosted by the University of Tasmania's School of Computing, and will be held in the beautiful city of Hobart, Tasmania from the 4th to the 8th of December.
For more information, see http://www.comp.utas.edu.au/ai06/
We invite authors to submit papers on any aspect of artificial intelligence research and practice. All papers will be peer reviewed, and those accepted for the conference will be included in a proceedings volume published by Springer-Verlag. The deadline for paper submission is 30 June 2006.
4-14 December 2006, The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2006), University of Bridgeport, USALocation: University of Bridgeport, USADeadline: 13 October 2006
CISSE 2006 provides a virtual forum for presentation and discussion of the state-of the-art research on computers, information and systems sciences and engineering. The CISSE 2006 virtual conference will be conducted through the Internet using web-conferencing tools, made available by the conference.Prospective authors are invited to submit full papers electronically. Paper submission Deadline: October 13th, 2006.
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.
13-17 November 2006, LPAR-13, Logic for Programming, Artificial Intelligence and Reasoning, Phnom Penh, CambodiaLocation: Phnom Penh, CambodiaDeadline: 2 May 2006
For more information, see http://www.lix.polytechnique.fr/~hermann/LPAR2006/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 2 May 2006.
12 November 2006, 2nd International Workshop on Analytic Proof Systems (Analytic Systems 2), Phnom Penh, CambodiaLocation: Phnom Penh, CambodiaDeadline: 25 September 2006
Analyticity is a topic that connects foundational issues in logic with applications, mainly in automated deduction and analysis of proofs. The workshop, part of LPAR-13, is primarily intended to enhance awareness for this topic and to promote corresponding discussions and contacts between experienced experts and younger colleagues.
For more information, see http://www.logic.at/staff/chrisf/ws/AS-2.html
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 25 September 2006.
12 November 2006, The 6th International Workshop on the Implementation of Logics (IWIL-6), Phnom Penh, CambodiaLocation: Phnom Penh, CambodiaDeadline: 4 September 2006
The 6th International Workshop on the Implementation of Logics (IWIL-6) will be held 12th November 2006, as part of LPAR-13 in Phnom Penh, Cambodia. The IWIL workshop series brings together developers and users of systems that implement reasoning in logic, to share information about successful implementation techniques for automated reasoning systems and similar programs.
For more information, see http://www.cs.miami.edu/~geoff/Conferences/IWIL-6/
Submission of papers for presentation at IWIL-6 is now invited. Systems of all types (automated, interactive, etc), and for all logics (classical, non-classical, all orders, etc) are of interest to the workshop. Contributions that help the community to understand how to build useful and powerful reasoning systems in practice are of particular interest. Submission deadline is 4 September 2006.
11-12 November 2006, 10th Annual Oxford Philosophy Graduate Conference, Oxford, UKLocation: Oxford, UKDeadline: 14 August 2006
Oxford's graduate philosophy conferences are unique in that faculty members lead the replies to student papers, thus providing student participants with the opportunity to engage in direct discussion of their papers with leading philosophers.The conference committee would like to invite all graduates to submit for this year's conference. The deadline for receipt of submissions is August 14, 2006.
11-12 November 2006, 7th Midwest PhilMath Workshop (MWPMW 7), Notre Dame, Indiana, USALocation: Notre Dame, Indiana, USADeadline: 14 September 2006
The workshop will be held at Notre Dame the weekend of Saturday, November 11th and Sunday, November 12th. As usual, the plan is to schedule a full day of talks and discussions for Saturday and a half day for Sunday. Also as usual, there will be workshop dinner Saturday evening, with all participants invited to attend as guests of the university.
For more information, see http://philosophy.nd.edu/news/events/philosophy-math-conference/.
If you would like to give a talk, please send an email to Mic Detlef (mdetlef1 at nd.edu) with a pdf of your talk with copies to Paddy (blanchette.1 at nd.edu) and Tim (bays.5 at nd.edu). We would like to have all proposals for talks by mid September so that we can set the program in a timely manner. Talks should be 35--40 minutes, with 15--20 minutes left for discussion. As always, we'll try to balance the program thematically (or imbalance it, if that seems better) and as between student and faculty papers.
8-10 November 2006,
8th Augustus de Morgan Workshop
"Belief Revision, Belief Merging, Social Choice"
, King's College London, UKLocation: King's College London, UKDeadline: 22 September 2006
The process of voting can be seen as the aggregation of individual preferences (i.e., that of the voters for candidates) to produce a collectively preferred alternative (the result of the election). This problem is extensively studied by social choice theory. On the other hand, belief revision investigates the dynamics of the process of belief change: when an agent is faced with new information which contradicts his/her current beliefs, he/she will have to retract some of the old beliefs in order to accommodate the new belief consistently. The main concern here is how to make a fair decision on what old beliefs to retract. There is a vaste literature on the subject. Similarly, belief merging investigates ways to aggregate a number of individual belief bases into a collective one. Here again, the aggregation procedure in belief merging faces problems similar to those addressed in voting theory and belief revision. Although there are clear connections and sharing of principles between the areas, the investigation of the similarities between the three of them is quite new. The main motivation for this workshop is to promote interaction between researchers of the areas and generate cross-fertilisation of ideas.
For more information, see http://www.dcs.kcl.ac.uk/events/ADMW06/.
The Program Committee invites submissions of abstracts in the interface of the above or related areas that investigate common problems. Authors should submit an extended abstract by September, 22nd.
1-5 November 2006, Computability and Complexity in Analysis (CCA 2006), Gainesville, Florida, USALocation: Gainesville, Florida, USADeadline: 2 July 2006
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.
For this year's meeting, there will be a particular focus on effectively closed sets and on algorithmic randomness.
For more information, see http://cca-net.de/cca2006/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 2 July 2006.
25-28 October 2006 2006, The Lisbon Colloquium for the Philosophy of Science, Lisbon, PortugalLocation: Lisbon, PortugalDeadline: 15 May 2006
The first Lisbon Colloquium for the Philosophy of Science to be held October 25-28th, 2006 is intended to stimulate, discuss and evaluate new approaches to the problem of the unity of science which incorporate logic, decision theory, learning theory, probability theory and other formal methods in creative and productive ways.
For more information, see http://www.lisboncolloquium.org/.Papers will be considered for concurrent sessions. The deadline for submission of abstracts is May 15th.
25-28 October 2006, International Conference on Multidisciplinary Information Sciences
and Technologies (InSciT2006), Mérida, SpainLocation: Mérida, SpainDeadline: 15 May 2006
Information Science is the interface of a number of scientific disciplines, all related to the diverse aspects of the information access, management, retrieval and usage. A number of approaches to the same object of study, the information, converge in this space: technological, mathematical, linguistic, and cognitive aspects as well as those related to the Artificial Intelligence, Natural Language Processing or Human-Computer Interaction, organizational aspects and so on. All these approaches shape the wide range of domains which must interact in order to find the solutions to the problems we all face when deploying and improving these information systems.
InSciT2006, with a strong multi and inter disciplinary focus, aims at creating a forum in Spain where gather together researchers and practitioners coming from the widest range of knowledge domains involved in the study of information.
For more information, an online registration form and a preliminary program, see http://www.instac.es/inscit2006/
The Programme Committee cordially invites all researchers to submit abstracts of their papers for presentation. Submission deadline (extended) is May 15th, 2006. Researchers interested in participating but unable to attend InSciT2006 can participate in the Virtual Symposium, submitting their presentations in a power point (PPT) compatible format for exposition at the computer area.
22-24 October 2006, FOCS 2006: Foundations of Computer Science, Berkeley, CA, USALocation: Berkeley, CA, USADeadline: 11 April 2006
The 47th Annual Symposium on Foundations of Computer Science (FOCS 2006), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held on October 22-24, 2006, at the Doubletree Hotel, in Berkeley, CA.
For more information and a call for papers, see http://focs06.cs.princeton.edu/
Submission deadline is Tuesday April 11, 2006.
Call for papers, special issue of JoLLI on logics for resource-bounded agentsDeadline: 20 January 2007
Call for papers, special issue of JSAT on 'Satisfiability Modulo Theories'Deadline: 25 November 2006
Papers are invited to a special issue of the Journal on Satisfiability, Boolean Modeling and Computation (JSAT) on the subject of Satisfiability Modulo Theories (SMT). Deadline for paper submission: November 25th, 2006.
For more information, see http://dit.unitn.it/~rseba/jsat_smt06/.
18-20 October 2006, 18th Nordic Workshop on Programming Theory (NWPT'06), Reykjavik, IcelandLocation: Reykjavik, IcelandDeadline: 19 September 2006
The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). Invited speakers include Gerd Behrmann, Matthew Hennessy, Hanne Riis Nielson and David Sands.
For more information, see http://www.ru.is/NWPT06/
Authors wishing to give a talk at the workshop are requested to submit an abstract of 1-3 pages (ps or pdf, printable on A4 paper) to nwpt06 at ru.is by the 19th September 2006. Submission of work submitted for formal publication elsewhere and work in progress is permitted.
11-13 October 2006, 13th Symposium on String Processing and Information Retrieval (SPIRE 2006), Glasgow, ScotlandLocation: Glasgow, ScotlandDeadline: 14 April 2006
SPIRE 2006 is the 13th Symposium on String Processing and Information Retrieval. The first four editions focused primarily on string processing and South America, and were called WSP (South American Workshop on String Processing). Starting in 1998, the focus of the workshop was broadened to include the area of information retrieval due to its increasing relevance and its inter-relationship with the area of string processing. In addition, since 2000, the conference venue has been in Europe in even years.
SPIRE 2006 covers research in all aspects of string processing, information retrieval, computational biology, pattern matching, semi-structured data, and related applications.
For more information, see http://www.cis.strath.ac.uk/external/spire06/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 14 April, 2006.
7-10 October 2006, 17th International Converence on Algorithmic Learning Theory/9th International Conference on Discovery Science (ALT 2006/DS 2006), Barcelona, SpainLocation: Barcelona, SpainDeadline: 26 May 2006
The conferences, on the theoretical foundations of machine learning and on the evelopment and analysis of methods for intelligent data analysis, knowledge discovery and machine learning, will be held in parallel and share invited talks.
For more information, see http://www-alg.ist.hokudai.ac.jp/~thomas/ALT06/alt06.jhtml and http://www-ai.ijs.si/~ds06/.Researchers are invited to submit their papers for presentation. Submission deadline is May 25/26, 2006.
26-30 September 2006, Second International Congress on Tools for Teaching Logic, Salamanca, SpainLocation: Salamanca, SpainDeadline: 15 May 2006
There will be lectures, discussion sessions, round tables and software demonstrations. You are kindly invited to take active part in discussion sessions and to demonstrate your teaching or professional software.Deadline for submission of papers is May 15, 2006.
25-28 September 2006,, AiML 2006: Advances in Modal Logic, Noosa (Queensland, Australia)Location: Noosa (Queensland, Australia)Deadline: 27 March 2006
Advances in Modal Logic is an initiative aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. The initiative consists of a conference series together with volumes based on the conferences.
AiML-2006 is the sixth conference in the series. For more information, see http://www.itee.uq.edu.au/~aiml06/We invite submission on all aspects of modal logics. Deadline is 27 March 2006.
25-29 September 2006, CP 2006 (Constraint Programming), Nantes, FranceLocation: Nantes, FranceDeadline: 21 April 2006
The CP conference is the annual international conference on constraint programming and related areas. It is concerned with all aspects of computing with constraints, including: theory, algorithms, applications, environments, languages, models and systems. CP 2006 includes a technical programme, where presentations of theoretical and application papers, as well as invited talks, tutorials, posters and system demos aim at describing the best results and techniques in the state-of-the-art of constraint programming. Moreover, CP 2006 continues the tradition of the CP doctoral programme, in which PhD students can present their work, listen to tutorials on career and ethical issues, and discuss their work with senior researchers via a mentoring scheme. Finally, there will also be a number of workshops, where researchers will be able to meet in an informal setting and discuss their most recent ideas with their peers.
For more information, see http://www.sciences.univ-nantes.fr/cp06/
Papers are solicited from all disciplines concerned with constraints and any application domain using constraints. Example topics include problem modelling, problem solving, efficiency and usability. Papers which report on successful applications of constraint technology are also solicited. Submission deadline is April 21, 2006.
22-24 September 2006, Colloquium Logicum 2006, Bonn, GermanyLocation: Bonn, GermanyDeadline: 15 August 2006
Colloquium Logicum 2006 (CL 2006) is the biannual meeting of the German Logic Society (DVMLG) The scientific program commences on Friday with two minisymposia: "The use of proof theory in mathematics" and "Set theory". On Saturday and Sunday about six invited one-hour talks will be presented on mathematical logic, complexity theory, history of logic, and philosophy of mathematics. A PhD colloquium will feature four young postdocs and their dissertations.
There will also be contributed paper sessions for talks on logic and related areas. Please send themes and informative abstracts for 20-25 minute talks to the organizers before August 15, 2006.
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.
14-15 Septembe 2006, Workshop "Towards a New Epistemology of Mathematics", Berlin, GermanyLocation: Berlin, GermanyDeadline: 1 April 2006
Traditionally, there has been a deep divide between philosophy of mathematics dealing with foundational issues (questions about mathematical ontology, connections between logic and mathematics, and the proper axiomatic framework) and sociological and didactical approaches to mathematics deadling with a description of mathematical practice (including mathematics education and related matters). Currently, we witness this picture undergoing considerable changes. Recent developments question the special character of philosophy of mathematics as traditionally conceived. Our workshop is devoted to developing this line of development further, putting special emphasis on the epistemological issues involved.
For more information, an online registration form and a preliminary program, see http://www.phimsamp.uni-bonn.de/GAP6/
The organizers cordially invite contributed papers from all relevant areas of research, including historical, didactical, and empirical approaches to the philosophy of mathematics. . Submission deadline is April 1st, 2006.
13-15 September 2006, JELIA'06: 10th European Conference on Logics in Artificial Intelligence, Liverpool, U.K.Location: Liverpool, U.K.Deadline: 1 May 2006
JELIA'06 will bring together researchers interested in all aspects concerning the use of logics in AI to discuss current research, results, problems and applications of both a theoretical and practical nature.
Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of Logics in AI. All submissions must be received (in PS or PDF only) by 1st May, 2006, and should be submitted via the form available at the JELIA-06 web page.
For more information, including lists of Conference Officials and Programme Committee, see http://www.csc.liv.ac.uk/~jelia/.
13-15 September 2006, 2nd International Workshop on Parameterized and Exact Computation, Zürich, SwitzerlandLocation: Zürich, SwitzerlandDeadline: 19 April 2006
The International Workshop on Parameterized and Exact Computation covers research in all aspects of parameterized and exact computation and complexity. The goal is to present recent research results, including significant work-in-progress, and to identify and explore directions for future research.
For more information, see http://algo06.inf.ethz.ch/iwpec
Authors are invited to submit an extended abstract in English no longer than 12 pages using at least 11-point font, preferably in LNCS-style, describing original unpublished research. Submission deadline is April 19, 2006.
Deadline: 15 April 2006
The symposium covers research in the use, design and analysis of efficient algorithms and data structures in computer science, discrete applied mathematics, operations research and mathematical programming. It has two tracks, which deal respectively with:
- the design and mathematical analysis of algorithms (the "Design and Analysis" track);
- real-world applications, engineering and experimental analysis of algorithms (the "Engineering and Applications" track).
ESA 2006 is organised in the context of ALGO 2006.
For more information, see http://algo06.inf.ethz.ch/esa/
Papers presenting original research in all areas of algorithmic research are sought. Submissions are especially encouraged in the areas of mathematical programming and operations research. Submission deadline is April 15, 2006.
5-8 September 2006, Prague International Colloquium 2006: Uncertainty, PragueLocation: PragueDeadline: 6 June 2006
Uncertainty is a ubiquitous phenomenon in everyday life, but it is also a topic of fundamental significance to many scientific disciplines. Uncertainty taken here in a broad sense, has many facets - among them probability and vagueness, including possibility, confidence, fuzziness etc. These are captured by different theories which often seem to be conceptually and technically incompatible. The aim of the conference is to provide a platform for an open discussion between proponents of the main theories of uncertainty and vagueness on the market. Special attention shall be paid to the comparison of theories, analyzing differences and similarities of the respective concepts of uncertainty. Of particular interest are logical aspects and formal models of reasoning about vague information.
For more information, see http://www.flu.cas.cz/Logica/konf/col2006.html
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is June 6, 2006.
4-8 September 2006, UC06, 5th International Conference on Unconventional Computation, York, UKLocation: York, UKDeadline: 12 March 2006
The series of International Conferences UNCONVENTIONAL COMPUTATION (UC) is devoted to all aspects of unconventional computation, theory as well as experiments and applications. 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.
For more information, see http://www.cs.york.ac.uk/nature/uc06/
Original papers are solicited in all areas of unconventional computation. Papers dealing with theory as well as with experiments and applications are welcome. Submission deadline is 12 March 2006.
1-4 September 2006, Trends in Logic IV: Studia Logica International Conference, Torun, PolandLocation: Torun, PolandDeadline: 15 March 2006
The leading idea of Lvov-Warsaw School of Logic, philosophy and mathematics was to investigate the philosophical problems by means of rigorous methods of mathematics. Since its very first issue Studia Logica has joined forces of mathematicians and philosophers in carrying out logical investigations. There are many elaborate mathematical theories that find their origin in philosophy and have had a big impact on both philosophy and mathematics. For a couple of decades we have been witnessing the fruitful application of strictly mathematical methods to handling more and more philosophical problems.
The main goal of the conference is to present current trends in applying mathematical methods to philosophical problems.
For more information, see http://www.logika.uni.torun.pl/TrendsIV.html
The Programme Committee invites the contributions concerning applications of mathematical methods to philosophical problems. Submission deadline is May 15, 2006.
31 August - 2 September 2006, The Fifth International Conference on Collective Intentionality (CollInt V), Helsinki, FinlandLocation: Helsinki, FinlandDeadline: 15 February 2006
This international research conference is organised by the research project ''The We-Perspective, Social Institutions, and Social Change'' (directed by Prof. Raimo Tuomela) and the Philosophical Society of Finland. The main (but not the only) theme of the Helsinki conference is collective responsibility, and part of the conference will be devoted to this theme.
For more information, see http://www.valt.helsinki.fi/staff/tuomela/collint/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is February 15, 2006.
30 August - 1 September 2006, Annual Conference on Architectures and Mechanisms for Language
Processing (AMLaP), Nijmegen, the NetherlandsLocation: Nijmegen, the NetherlandsDeadline: 1 May 2006
The AMLaP conferences have established themselves as the premier European venue for interdisciplinary research on how people process language. The conference aims to bring together psychological, computational, and theoretical perspectives on the cognitive architectures and mechanisms which underlie any aspect of human language processing.
For more information, see http://www2.ru.nl/congres/AMLaP2006/welcome.htm
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is May 1st, 2006.
29 August - 2 September 2006, RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, Manchester, UKLocation: Manchester, UKDeadline: 6 March 2006
The RelMiCS Conference is the main forum for the relational calculus as a conceptual and methodological tool. The AKA Workshop is a forum on topics related to Kleene algebras. As in previous years, the two events are co-organised; they have a joint programme committee and joint proceedings. RelMiCS/AKA 2006 will be held from 30 August to 2 September 2006 and a PhD training programme on 29 August 2006.
For more information, see http://www.cs.man.ac.uk/relmics06/Deadline for abstract submission: 27 February 2006. Deadline for paper submission: 6 March 2006.
29 August 2006, NeSy'06
Second International Workshop on
Neural-Symbolic Learning and Reasoning, Riva del Garda, ItalyLocation: Riva del Garda, ItalyDeadline: 15 April 2006
Artificial Intelligence researchers continue to face huge challenges in their quest to develop truly intelligent systems. The recent developments in the field of neural-symbolic integration bring an opportunity to integrate well-founded symbolic artificial intelligence with robust neural computing machinery to help tackle some of these challenges.
The Workshop on Neural-Symbolic Learning and Reasoning is intended to create an atmosphere of exchange of ideas, providing a forum for the presentation and discussion of the key topics related to neural-symbolic integration.
For more information, see http://www.neural-symbolic.org/NeSy06/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 15 April 2006.
28 August - 1 September 2006, 31st International Symposium on Mathematical Foundations of
Computer Science, High Tatras, SlovakiaLocation: High Tatras, SlovakiaDeadline: 3 April 2006
The series of MFCS symposia, organized alternately in the Czech Republic, Poland and Slovakia since 1972, has a long and well-established tradition. The MFCS symposia encourage high-quality research in all branches of theoretical computer science. Their broad scope provides an opportunity to bring together specialists who do not usually meet at specialized conferences. Quality papers presenting original research on theoretical aspects of computer science are solicited
For more information, see http://www.mfcs.sk/
Submission deadline is April 3, 2006.
28 August, Formal Approaches to Multi-agent Systems (FAMAS 2006), Riva del Garda, ItalyLocation: Riva del Garda, ItalyDeadline: 14 April 2006
In recent years, multi-agent systems have come to form one of the key technologies for software development. The second edition of the FAMAS workshop series, after a success of FAMAS'03 affiliated to ETAPS'03 in Warsaw, 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.
FAMAS'06 is affiliated to ECAI 2006. For more information, see http://www.mimuw.edu.pl/MAS/FAMAS/Deadline for submissions is April 15, 2006.
28-31 August 2006, APPROX 2006 + RANDOM 2006, Barcelona, SpainLocation: Barcelona, SpainDeadline: 18 April 2006
The 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX 2006), and the 10th International Workshop on Randomized Techniques in Computation (RANDOM 2006) will be held at UPC Barcelona, from August 28-31, 2006. APPROX 2006 focuses on algorithmic and complexity theoretic issues relevant to the development of efficient approximate solutions to computationally difficult problems, while RANDOM 2006 focuses on applications of randomness to computational and combinatorial problems.
For more information, see http://cui.unige.ch/tcs/random-approx/
Papers are solicited in all research areas related to randomization and approximation. Submission deadline is April 18th, 2006.
27-30 August 2006, CONCUR'06: 17th International Conference on Concurrency Theory, Bonn, GermanyLocation: Bonn, GermanyDeadline: 23 March 2006
CONCUR 2006, the 17th International Conference on Concurrency Theory, will take place in Bonn, Germany, August 27 - 30, 2006. The purpose of the CONCUR conferences is to bring together researchers working on the theory of concurrency and its applications. About ten workshops will be held in affiliation with CONCUR 2006, including the 2nd German Verification Day, and the 11th International ERCIM Workshop on Formal Methods for Industrial Critical Systems.
For more information, see http://depend.cs.uni-sb.de/concur06/.
Submissions are solicited in all areas of semantics, logics, and verification techniques for concurrent systems. Submission deadline is March 23, 2006.
24-26 August 2006, Ninth Symposium on Logic and Language, Budapest/Besenyotelek, HungaryLocation: Budapest/Besenyotelek, HungaryDeadline: 20 April 2006
The 2006 meeting is the ninth installment of the Symposium series, which is designed to provide a forum where logicians and linguists can meet to share and discuss ideas and issues about how linguistics and logic influence each other, with the aim of promoting a fruitful cooperation. This year's symposium theme is "information structure". Invited speakers include Jonathan Ginzburg, Marcus Kracht, Manfred Krifka and Barbara H. Partee.
For more information, see http://www.nytud.hu/lola9/
The organisers invite papers proposing semantic/pragmatic analyses of empirical data illustrating the structuring of information in natural language, both at the sentence and the discourse level. Submission deadline is April 20, 2006.
24-27 August 2006, Annual Meeting of European Society for Philosophy and Psychology, School of Psychology, Queen's University Belfast, UKLocation: School of Psychology, Queen's University Belfast, UKDeadline: 1 May 2006
Philosophers, psychologists, and linguists who are interested in interdisciplinary work are very welcome to attend the conference. Invited Speakers: György Gergely (Budapest), Susan Goldin-Meadow (Chicago), Patrick Haggard (London) and Kevin Mulligan (Geneva)
AUDITORY PERCEPTION opened by Jerome Dokic, IJN Paris
MODALITY AND LANGUAGE opened by Bencie Woll, UCLLondon
MENTAL TIME TRAVEL opened by Teresa McCormack, Belfast
PRETENCE opened by Hannes Rakoczy, MPG LeipzigThe Society invites submitted papers, posters and symposia for this meeting. Deadline for submissions is May 1st, 2006.
21 August 2006, Multi-Valued Logic Programming and Applications (MVLPA'2006), Seattle, WashingtonLocation: Seattle, WashingtonDeadline: 10 June 2006
Multi-Valued logics provide powerful mechanisms for reasoning about domains that are incomplete and inconsistent, such as databases, knowledge representation, model checking,asynchronous electronic circuits, etc. Research in this area spans theoretical issues regarding the semantics and the role of negation, to implementation strategies, to practical tools for solving problems in various application domains.M
This ICLP'2006 workshop is meant to provide a channel for interaction between researchers working in these areas, by presenting their results and fostering discussion. This will engender newdirections for researchers to pursue and showcase the considerable amount of research thathas already been performed in the area.
For more information, see http://www.utdallas.edu/~axm011500/mvlpa06.html
Authors are invited to submit original research, survey or tutorial papers in the areas of Multiple-valued Logic and Multi-valued Logic Programming. Submission deadline (updated) is June 10, 2006.
21-27 August 2006, 14th International Symposium on Formal Methods (FM'06), McMaster University, Hamilton, CanadaLocation: McMaster University, Hamilton, CanadaDeadline: 26 May 2006
The FM Symposia continue to be the premier international forum for practitioners and researchers applying mathematical methods to the design of highly trusted computer systems. It enables them to meet and exchange experiences and ideas. This is the 14th event in this series, and for the first time will take place in North America. As in previous years, an Industry Day will be dedicated for practitioners to share their experiences with industrial applications.
For more information, see http://fm06.mcmaster.ca/
For the first time, FM'06 will feature a Doctoral Symposium. Students are invited to submit short papers describing their work in progress. Submission deadline is May 26, 2006.
21-22 August 2006, International Seminar on Multimedia Adventures in Languages Learning 2006, Sunway Lagoon Resort Hotel, Petaling Jaya, Selangor , MalaysiaLocation: Sunway Lagoon Resort Hotel, Petaling Jaya, Selangor , MalaysiaCosts: USD 200 (dinner included: 230)Deadline: 15 July 2006
The Institute of Modern Language and Communication Multimedia University will be organizing an International Seminar on "Multimedia Adventures in Languages Learning" . The seminar undertakes to explore beyond the traditional boundaries of teaching and learning of languages through a blend of various aspects of multimedia and technology.
The deadline for registration is 31 July 2006. Seats will only be confirmed upon receipt of payment.and deadline for submit abstract is 15 July 2006
17-20 August 2006, ICLP'06: 22nd International Conference on Logic Programming, Seattle, Washington, USALocation: Seattle, Washington, USADeadline: 14 March 2006
Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming.
For more information, see http://www.cs.uky.edu/iclp06/
Contributions (papers and posters) are sought in all areas of logic programming. Submission deadline for paper abstracts is February 14th, 2005: for posters it is March 14th, 2005.
15-16 August 2006, Eighth International Workshop on Termination (WST 2006), Seattle, Washington, USALocation: Seattle, Washington, USADeadline: 19 May 2006
The Eighth International Workshop on Termination will delve into all aspects of termination of processes. The intent is to bring together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop is hoped to provide a ground for cross-fertilisation of ideas from term rewriting and from the different programming language communities.
For more information, an online registration form and a preliminary program, see http://www.cs.mu.oz.au/wst2006/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Contributions from the constraint, functional, and logic programming communities, and papers investigating new applications of termination are particularly welcome. Submission deadline is May 19, 2006.
11 August 2006, The Sixth International Workshop on Reduction Strategies in Rewriting and Programming, Sheraton Towers, Seatlle, Washington, USALocation: Sheraton Towers, Seatlle, Washington, USADeadline: 8 May 2006
Reduction strategies in rewriting and programming have attracted an increasing attention within the last years. Research in this field ranges from primarily theoretical questions about reduction strategies to very practical application and implementation issues. The need for a deeper understanding of reduction strategies in rewriting and programming, both in theory and practice, is obvious, since they bridge the gap between unrestricted general rewriting (computation) and (more deterministic) rewriting with particular strategies (programming). Moreover, reduction strategies provide a natural way to go from operational principles (e.g., graph and term rewriting, narrowing, lambda-calculus) and semantics (e.g., normalization, computation of values, infinitary normalization, head-normalization) to implementations of programming languages.
The workshop intends to promote and stimulate international research and collaboration in the area of evaluation strategies. It encourages the presentation of new directions,developments and results as well as surveys and tutorials on existing knowledge in this area.
For more information, see http://www.cs.pdx.edu/~antoy/wrs06/Submission deadline for abstracts is May 8, 2006.
11 August 2006, First International Workshop on Probabilistic Automata and Logics, Seatlle, USALocation: Seatlle, USADeadline: 19 May 2006
There is a recent trend to study probabilistic extensions of traditional concepts of automata-theory and logics. The applications of such probabilistic formalisms cover the analysis of randomized protocols, biological systems, multi-agent systems with uncertainties, security protocols, speech recognition, logic programming, description logics for the semantic web, and many more.
The goal of this workshop is to bring together researchers that are interested in the foundations of probabilistic automata and probabilistic logics and their applications.
For more information, see http://web.informatik.uni-bonn.de/I/baier/PAuL/paul_workshop.html
The Programme Committee cordially invites all researchers to submit their papers for presentation, both full papers and reports on recent or ongoing work. Submission deadline is May 19, 2006.
11 August 2006, HyLo 2006: International Workshop on Hybrid Logic, Seattle, USALocation: Seattle, USADeadline: 26 May 2006
Hybrid logic is a branch of modal logic in which it is possible to directly refer to worlds/times/states or whatever the elements of the (Kripke) model are meant to represent. The workshop HyLo 2006 is likely to be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. A theme of special interest at this HyLo workshop will be the combination of hybrid logic with other logics, the basic methodological question being "what is the best way of hybridizing a given logic?"
HyLo 2006 is affiliated with LICS 2006.
For more information, see http://hylomol.ruc.dk/HyLo2006/
We invite the contribution of papers reporting new work from researchers interested in hybrid logic. Submission deadline is 26 May 2006.
10-12 August 2006, MKM 2006: Fifth International Conference on Mathematical Knowledge Management, South East England, UKLocation: South East England, UKDeadline: 13 March 2006
Mathematical Knowledge Management (MKM) is an emerging interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. Its objective is to develop new and better ways of managing mathematical knowledge using sophisticated software tools. Its grand challenge is to create a universal digital mathematics library accessible via the World-Wide Web.
MKM 2006 will be the fifth conference in a series of international MKM conferences that started in 2001. MKM 2006 will stress two themes: the nature of mathematical proof and its role in managing mathematical knowledge. and new modes of consuming and producing mathematical knowledge.
For more information, including a registration form, see http://www.reading.ac.uk/MKM06/
MKM 2006 welcomes research papers and workshop proposals on these two themes as well as on all other aspects of MKM. Submissin deadline is March 13, 2006 (for papers) and February 27, 2006 (for workshop proposals).
7-11 August 2006, ESSLLI Summer School, Malaga, SpainTitle: Workshop Rationality and KnowledgeLocation: Malaga, SpainDeadline: 8 March 2006
The workshop on rationality and knowledge intends to bring together researchers from a wide variety of fields - including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Logic, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.
Invited speakers are Johan van Benthem (Amsterdam/Stanford) and Remzi Sanver (Istanbul Bilgi University).
The workshop is part of ESSLLI 2006 and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the second week of ESSLLI. There will be 2 or 3 slots for paper presentation and discussion per session.
For more information, see: http://www.cs.gc.cuny.edu/~sartemov/rkw/.Authors are invited to submit an extended abstract describing original work. The accepted papers will appear in the workshop proceedings published by ESSLLI. Deadline for submissions is March 8, 2006.
7-12 August 2006, XIII Simposio Latinoamericano de Logica Matematica (SLALM), Oaxaca, MexicoLocation: Oaxaca, MexicoDeadline: 30 April 2006
The XIII SLALM will take place in the beautiful city of OAXACA, MEXICO, from August 7th to August 12th. Prior to the conference the "Escuela Latinoamericana de Logica Matematica" will be held, giving four introductory courses.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 30 April 2006.
1-5 August 2006, Information-MFCSIT 06, Cork, IrelandLocation: Cork, IrelandDeadline: 17 April 2006
The Fourth International Conference on Information, Information'06, and the Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology'06, MFCSIT'06, will be co-located on the campus of the National University of Ireland, Cork (NUI, Cork).
Information'06 will focus on Information and Communication Technologies (ICT) in a broad sense, and the applications of these. MFCSIT'06 will focus on mathematical and theoretical aspects of ICT and, conversely, with the applications of ICT to the mathematical sciences. Both conferences are part of interdisciplinary, international conference series held every two years.
For more information, see http://www.ucc.ie/info-mfcsit/
Proposals for papers are now sought in any of the areas relevant to the conference. Submission deadline is 17th April, 2006.
FOCA (Formal Ontologies for Communicating Agents) at ESSLLI 2006, Malaga, SpainLocation: Malaga, SpainDeadline: 8 March 2006
The purpose of the workshop is to gather contributions that (i) take seriously into account the ontological aspects of communication and interaction and (ii) use formal ontologies for achieving a better semantic coordination between interacting and communicating agents.Authors are invited to submit an extended abstract describing original contributions to the workshop topics. Submission deadline is March 8, 2006.
27 July - 2 August 2006, Logic Colloquium '06 (2006 ASL European Summer Meeting), NijmegenLocation: NijmegenDeadline: 17 April 2006
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 Athens (2005) and Turin (2004). 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.Abstracts - hard copy or email - should be received before the deadline of April 17, 2006, by email or at the official meeting address: Logic Colloquium 2006, ICIS Faculty of Science, Radboud University Nijmegen, P.O. Box 9010, 6500 GL Nijmegen, The Netherlands.
24-26 July 2006, Mathematical Aspects of Computer and Information Science
(MACIS 2006), Beijing, ChinaLocation: Beijing, ChinaDeadline: 26 April 2006
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.
For more information, see http://www.cc4cm.org/macis2006/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 26 April 2006.
20-23 July 2006, 4th International Conference on Computing, Communications and Control (CCCT'06), Orlando, Florida, USALocation: Orlando, Florida, USADeadline: 7 April 2006
CCCT'06 is an International Conference that will bring together researchers, developers, practitioners, consultants and users of Computer, Communications and Control Technologies, with the aim to serve as a forum to present current and future work, solutions and problems in these fields, as well as in the relationships among them. Consequently, efforts will be done in order to promote and to foster the analogical thinking required by the Systems Approach for interdisciplinary cross-fertilization, "epistemic things" generation and "technical objects" production.
For more information, see http://www.info-cybernetics.org/ccct06/CCCT'06 Organizing Committee invite authors to submit their original and unpublished works, innovations, ideas based on analogical thinking, problems that require solutions, position papers, case studies, etc., in the fields of computer, communication and control, as well as in the relationships between two of these areas or among the three of them. Both paper/abstract submissions and invited session proposals are being solicited. Deadline is April 7th, 2006.
18-21 July 2006,
13th Workshop on Logic, Language, Information and Computation
, Stanford, California, USALocation: Stanford, California, USADeadline: 1 March 2006
This is the thirteenth in a series of workshops to foster interdisciplinary research in pure and applied logic.
For more information, see http://www.cin.ufpe.br/~wollic/wollic2006/The deadline for submission of papers is March 1, 2006.
16-21 July 2006, 14th International Conference on Conceptual Structures: Conceptual Structures - Inspiration and Application, Aalborg University, DenmarkLocation: Aalborg University, DenmarkDeadline: 6 January 2006
The International Conferences on Conceptual Structures (ICCS) has been held annually in Europe, Australia, or North America since 1993. The central focus is the formal representation and analysis of conceptual knowledge with research and business applications focusing on artificial intelligence, computational linguistics, and related areas of computer science.
For more information, see http://www.iccs-06.hum.aau.dk/Authors are invited to submit papers describing both theoretical and practical research. For all papers, a one page abstract must be received by Friday January 6, 2006.
15 July 2006, Workshop on Classical Logic and Computation (CL&C'06)Deadline: 31 March 2006
CL&C'06 is the first of a new conference series on "Classical Logic and Computation". It intends to cover all work aiming to propose a programming language inspired by classical logic, and a semantics for it
For more information, see http://www.doc.ic.ac.uk/~svb/CLaC
This is intended to be an informal workshop. Participants are encouraged to present work in progress, overviews of more extensive work, and programmatic/position papers, as well as completed projects. We therefore ask for submission both of short abstracts outlining what will be presented at the workshop and of longer papers describing completed work, either published or unpublished. Submission deadline is 1 April 2006.
12-14 July 2006, Logic-based Program Synthesis and Transformation (LOPSTR'06), Venice, ItalyLocation: Venice, ItalyDeadline: 30 April 2006
The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm.
LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress, so it is a real workshop in the sense that it is also intended to provide useful feedback to authors on their research. Formal proceedings are produced only after the conference, so that authors can incorporate this feedback in the published papers. This year, tool demonstrations are also solicited as a separate submission category. LOPSTR'06 is colocated with ICALP'06, PPDP'06 and CSWF'06.
For more information, see http://www.dsi.unive.it/lopstr2006/
Both research papers and tool demonstrations are solicited. Authors can either submit extended abstracts or they can choose to submit full papers. Both work in progress and tool demonstrations must be submitted as extended abstracts. Submission deadline is 15 April 2006 (for full papers) or 30 April 2006 (for extended abstracts).
13-15 July 2006, LOFT 2006: Logic and the Foundations of Game and Decision Theory, Liverpool, UKLocation: Liverpool, UKDeadline: 15 April 2006
This is the seventh in a series of conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making.
The aim of the LOFT conferences is to promote exchange across different disciplines. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences.
For more information see http://www.csc.liv.ac.uk/~wiebe/LOFT06/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 15 April 2006.
12-14 July 2006, DEON 2006: Eighth International Workshop on Deontic Logic in Computer Science, Utrecht, The NetherlandsLocation: Utrecht, The NetherlandsDeadline: 27 January 2006
The biennial DEON workshops are designed to promote cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. These workshops traditionally support research linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organisation theory and law. In addition to these general themes, DEON2006 will encourage a special focus on the topic "Artificial Normative Systems"
For more information, see http://www.cs.uu.nl/deon2006/Authors are invited to submit an original, previously unpublished, research paper pertaining to any of these topics. The deadline for submission is 27 January 2006.
12-14 July 2006, Eighth International Workshop on Deontic Logic in Computer Science (DEON2006), UtrechtLocation: UtrechtDeadline: 27 January 2006
The biennial DEON workshops are designed to promote cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. These workshops traditionally support research linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organisation theory and law. In addition to these general themes, DEON2006 will encourage a special focus on the topic "Artificial Normative Systems"
For more information see http://www.cs.uu.nl/deon2006/
The deadline for submission of original, previously unpublished, research papers is January 27, 2006.
10-14 July 2006, ICALP 2006: 33rd International Colloquium on Automata, Languages and Programming, S. Servolo, Venice, ItalyLocation: S. Servolo, Venice, ItalyDeadline: 10 February 2006
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 16th of July 2006 in Venice, Italy.
ICALP 2006 will be colocated with the 8th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming PPDP 2006.
For more information, see http://icalp06.dsi.unive.it/Authors are invited to submit an extended abstract of no more than 12 pages in LNCS style presenting original research on the theory of Computer Science. Submission deadline is February 10, 2006.
10-12 July 2006, 7th Conference on Real Numbers and Computers (RNC7), LORIA, Nancy, FranceLocation: LORIA, Nancy, FranceDeadline: 15 February 2006
The aim of the symposia on "Real Numbers and Computers" is to bring together specialists from various research areas, all concerned with problems related to computations based on real numbers. These computations may use any number system implemented by a software package or in hardware, including floating and fixed point, integers, rational or p-adic numbers, serial or on-line computations, continued fractions, fixed or multiple precision, interval and stochastic arithmetic.
For more information, see http://rnc7.loria.fr/
The conference will feature invited lectures and contributed talks. Original research results and insightful analyses of current concerns are solicited for submission. Survey and tutorial articles may be suitable for submission if clearly identified as such. Deadline for submission of manuscripts: February 15, 2006.
6-8 July 2006, 10th Scandinavian Workshop on Algorithm Theory (SWAT 2006), Riga, LatviaLocation: Riga, LatviaDeadline: 13 February 2006
The Scandinavian Workshop on Algorithm Theory (SWAT) is a biennial international conference, which alternates with the Workshop on Algorithms and Data Structures (WADS), intended as a forum for researchers in the area of design and analysis of algorithms and data structures. Since 1988 SWAT has been held in the five Nordic countries, but this year's conference - the 10th in the series - will be held in the neighboring Baltic region, which has traditionally had a strong connection to the Nordic countries.
Early registration deadline is April 30. For more information and an online registratino form, see http://www.lumii.lv/swat/
We invite submissions of papers presenting original research on algorithms and data structures in all areas. The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science (LNCS) series. Deadline for submission: February 13, 2006.
3-5 July 2006, SIROCCO 2006: 13th Colloquium on Structural Information and Communication Complexity, Chester, United KingdomLocation: Chester, United KingdomDeadline: 17 February 2006
The Colloquia on Structural Information and Communication Complexity (SIROCCO) focus on the relationship between computing and communication, i.e., the study of those factors that are significant for the computability and the communication complexity of problems and on the interplay between structure, knowledge and complexity. The Colloquia provide an opportunity to bring together specialists interested in the fundamental principles underlying all computing through communication.
SIROCCO prides itself on being a lively venue, which encourages the emergence of new research areas (related to distributed computing in a broad sense) and the dissemination of original ideas. This is achieved by dedicating ample time for informal discussions and open problem sessions in addition to regular conference activities.
For more information, see http://sirocco06.csc.liv.ac.uk/Authors are invited to submit their work in one of the three acceptable formats: novel research contributions, position papers, and surveys. Deadline for submission: February 17, 2006.
30 June - 5 July 2006, CiE 2006: Logical Approaches to Computational Barriers, Swansea, WalesLocation: Swansea, WalesDeadline: 15 December 2005
CiE 2006 is the second of a new conference series on Computability Theory and related topics which started in Amsterdam in 2005. CiE 2006 will focus on (but not be limited to) logical approaches to computational barriers:
- practical and feasible barriers, e.g., centred around the P vs. NP problem;
- computable barriers connected to models of computers and programming languages;
- hypercomputable barriers related to physical systems.
The Programme Committee cordially invites all researchers (European and non-European) in the area of Computability Theory to submit their papers for presentation at CiE 2006. Submission Deadline is December 15th, 2005.
(ANTI-)REALISMES : LOGIQUE ET METAPHYSIQUE, University of Nancy 2Location: University of Nancy 2Deadline: 15 December 2005
For more information, see http://www.univ-nancy2.fr/poincare/colloques/AR06/epresentation.htmAuthors are invited to submit abstracts of papers that they wish to present at the conference. Deadline for Submissions: December 15th, 2005.
27-30 June 2006, Sixth International Andrei Ershov Memorial Conference: PERSPECTIVES OF SYSTEM INFORMATICS, Novosibirsk, Akademgorodok, RussiaLocation: Novosibirsk, Akademgorodok, RussiaDeadline: 23 January 2006
The conference is held to honor the 75th anniversary of academician Andrei Ershov (1931-1988) and his outstanding contributions towards advancing informatics. The first five conferences were held in 1991, 1996, 1999, 2001 and 2003, respectively, and proved to be significant international events.
The aim of the conference is to provide a forum for the presentation and in-depth discussion of advanced research directions in computer science. For a developing science, it is important to work out consolidating ideas, concepts and models. Movement in this direction is another aim of the conference. Improvement of the contacts and exchange of ideas between researchers from the East and West are further goals.Authors are invited to submit an extended abstract, to arrive before January 23, 2006.
27-28 June 2006, PALMYR-3, Paris, FranceLocation: Paris, FranceDeadline: 16 April 2006
Each PALMYR consists of two workshops, one in Paris and one in Amsterdam, and is aimed at fostering connections between two lively logic communities. This year's first meeting will be in Paris on June 27th and 28th, and will have as a theme "What is the relationship between logic and reasoning?" As in the previous editions, each talk will be commented.
For a long time, logic and reasoning have been bedfellows, for better or for worst. Boole viewed logic as nothing less than An investigation into the Laws of Thought, while Frege argued for an irrevocable split up. But even if modern logical literature abound with attempts at getting closer to real-life reasoning (e.g. epistemic, fuzzy, conditional, intensional, paraconsistent, and other "non-classical" logics) the state of their relationship is still unclear. Does logic describe reasoning? Does it provide normative standards for reasoning? For this third PALMYR, we are looking for researchers from, but not only, Paris or Amsterdam interested to share their opinion on this long-standing relationship.
For more information, see http://www.illc.uva.nl/PALMYR/PALMYR-3/.Interested researchers should submit electronically a one-page (12pt) abstract before April 16th (extended deadline).
24 June - 8 July 2006, ICCL Summer School 2006: Knowledge Structures, TU Dresden, GermanyLocation: TU Dresden, GermanyDeadline: 18 March 2006
It is common wisdom that the still growing power of digital data processing greatly enhances the wealth of human knowledge and will continue to do so. A precondition for this is, however, that knowledge is encoded and represented in a computer-accessible manner, such that it can be algorithmically processed. This requires, in turn, the use of appropriate formal structures for knowledge representation and knowledge processing. Such structures, called `Knowledge Structures', will be the topic of this year's ICCL summer school.
Deadline for registration: 18 March 2006. For more information, an online registration form and a preliminary program, see http://www.computational-logic.org/iccl-ss-2006.It will be possible for some participants to present their research work during a small workshop integrated in the summer school. If you would like to do so, please register by means of the online workshop registration form on the web page mentioned below, and submit an extended abstract by March 18, 2006.
22-24 June 2006, the International European Conference on Computing and Philosophy (ECAP) 2006, Trondheim, NorwayLocation: Trondheim, NorwayDeadline: 27 January 2006
E-CAP is the European conference on Computing and Philosophy, the European affiliate of the International Association for Computing and Philosophy (IACAP) The E-CAP conferences deal with all aspects of the "computational turn" that is occurring through the interaction between the disciplines of Philosophy and Computing.
For more information, see http://www.eu-cap.org/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is Jaunary 27, 2006.
2-5 June 2006, KR2006 DOCTORAL CONSORTIUM, Lake District, UKLocation: Lake District, UKDeadline: 2 March 2006
The 10th International Conference on Principles of Knowledge Representation and Reasoning (KR2006) invites PhD students to apply for the Doctoral Consortium program. It is a student mentoring program that will introduce students to senior researchers with similar interests.
29-31 May 2006, 6th Int. Conf. on Algorithms and Complexity (CIAC '06), Rome, ItalyLocation: Rome, ItalyDeadline: 11 December 2005
The 6th Int. Conference on Algorithms and Complexity covers research in all aspects of computational complexity and the use, design, analysis and experimentation of efficient algorithms and data structures.
For more information, see http://www.dsi.uniroma1.it/~ciac/.Authors are invited to submit an extended abstract, to arrive before December 11, 2005.
23 May 2006, NWO - Bessensap, Nemo, AmsterdamLocation: Nemo, AmsterdamDeadline: 27 February 2006
NWO organiseert op 23 mei 2006 voor de zesde keer Bessensap. We doen dat samen met de Vereniging Wetenschapsjournalisten Nederland (VWN) en met science center NEMO. Het evenement brengt journalisten, redacteuren, voorlichters en mediagenieke onderzoekers dichter bij elkaar. Het motto: wetenschap ontmoet pers, pers ontmoet wetenschap.
Voor meer informatie, zie http://www.nwo.nl/bessensap
Onderzoekers kunnen voorstellen indienen voor drie presentatievormen (meer info onderaan deze mail):
- traditionele presentatie
- masterclass presentatie
- korte film (nieuw dit jaar!)
Voorstellen indienen kan tot 27 februari
21-23 May 2006, STOC 2006: 38th ACM Symposium on Theory of Computing, SeattleLocation: SeattleDeadline: 3 November 2005
The 38th ACM Symposium on Theory of Computing (STOC 2006), sponsored by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), will be held in Seattle, WA, May 21 to 23, 2006. 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://www.cs.washington.edu/stoc06/Papers presenting new and original research on the theory of computation are sought. Submission deadline: 5:59 pm EST, Thursday, November 3, 2005.
19-21 May 2006, Philosophers' Rally, Opole, PolandLocation: Opole, PolandDeadline: 16 April 2006
The Rally is a conference intended mainly for YOUNG PEOPLE - undergraduate, postgraduate, and PhD students - who are interested in PHILOSOPHY, LOGIC, cognitive science, artificial intelligence, or linguistics, and are considering an academic career. The program of the Rally will include reported paper presentations as well as WORKSHOPS, DEBATES, and LECTURES of invited speakers (i.e. Diderik Batens, Theo Kuipers, Jaroslav Peregrin, Leslie Stevenson from outside of Poland, and Stanislaw Judycki, Katarzyna Paprzycka, Andrzej Wisniewski, Maciej Witek, Ryszard Wojcicki, Krzysztof Wojtowicz from Poland). In this way, young conference participants will be able not only to present the results of their own work, but also to acquaint themselves with research methods of well-known and respected philosophers and logicans.
Deadline for sending applications, lecture papers and announcements is April 16, 2006. For more information, see http://www.filozofia.pl/zf/en/?nzw=zwiastun
15 - 20 May 2006, Theory and Applications of Models of Computation (TAMC06), Beijing, ChinaLocation: Beijing, ChinaDeadline: 17 December 2005
TAMC06 is a new annual conference focusing on theory and applications of computation. It is organized as part of the Grand China NSF International Joint Project after which the conference is named, and is supported by the Chinese National Science Foundation, and the Institute of Software of the Chinese Academy of Sciences. Previously two annual meetings were held in 2004 and 2005, with enthusiastic participation from researchers all around the world. TAMC 06 will be a much larger international conference. The scope of the conference will include algorithms, complexity, models of computation, and computability. The conference will be interdisciplinary in nature, and bring together researchers and students with an interest in computer science, mathematics and logic, and applications to the physical sciences.
For more information, see http://gcl.iscas.ac.cn/accl06/TAMC06_Home.htmThe submission deadline for papers is 17th, December, 2005.
8 May 2006, 4th International Workshop on Declarative Agent Languages and Technologies (DALT-2006), Future University Hakodate, JapanLocation: Future University Hakodate, JapanDeadline: 15 January 2006
DALT-2006 will be held as a satellite workshop of AAMAS-2006, the 5th International Joint Conference on Autonomous Agents and Multiagent Systems. Topics of interest include logic-based approaches to specifying and developing multiagent systems (including modal and temporal logics, model checking, constraint logic programming) and applications such as the semantic web, security, and electronic contracting. Deadline for submission of papers is the 15 January 2006.
3-4 May 2006, 3rd International Workshop on Philosophy and Informatics (WSPI 2006), Saarbr¨cken, GermanyLocation: Saarbr¨cken, GermanyDeadline: 16 January 2006
The Third International Workshop on Philosophy and Informatics is organized by the Institute for Formal Ontology and Medical Information Science and the Special Interest Group on Philosophy and Informatics of the German Informatics Society.
The workshops are designed to encourage interdisciplinary exchange on the philosophical foundations of informatics. They seek to bring together researchers from philosophy and informatics and neighboring disciplines in order to explore common points of interest and to develop an interface between the disciplines and a common vocabulary. The workshop also serves as the annual meeting platform of the members of the Special Interest Group on Philosophy and Informatics. The 2006 Workshop has a special focus on the area of bio- and biomedical informatics.
For more information, see http://wspi2006.workshop.hm/
WSPI 2006 focuses on bioinformatics, but contributions on philosophy and informatics in general are also invited. Submission deadline is 16 January 2006.
27-29 April 2006, Horizons of Truth (Goedel Centenary 2006)Location: Festsaal of the University of ViennaDeadline: 24 February 2006
Logics, Foundations of Mathematics, and the Quest for Understanding the Nature of Knowledge.
An International Symposium Celebrating the 100th Birthday of Kurt Goedel.
Organized by the Kurt Goedel Society (http://kgs.logic.at/).
The Symposium will consist of more than 20 invited lectures by eminent scientists in the fields of logics, mathematics, philosophy, physics, cosmology, and theology. There will be a young researchers competition and a poster session, and a social program including a visit to Goedel's birthplace Brno.
Young scholars (born on or after January 1, 1970) in logic, mathematics, physics, philosophy, computer science and theology are invited to submit project proposals. Submitted project proposals should be strongly connected to the scientific achievements including recent applications and/or life of Kurt Gödel. Ten chosen projects will compete for three top prizes. Submission deadline: Monday, 24. February 2006. 6 p.m. CET
4-7 April 2006, BCTCS 2006: 22nd British Colloquium for Theoretical Computer Science , Swansea, Wales, UKLocation: Swansea, Wales, UKDeadline: 20 February 2006
BCTCS provides a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and benefit from contact with established researchers.
Deadline for registration and contributions: February 20, 2006. For more information, an online registration form and a preliminary program, see http://www.cs.swan.ac.uk/bctcs2006/Participants (particularly PhD students) are encouraged to submit titles and abstracts for contributed talks.
3-4 April 2006, Thirteenth Workshop on Automated Reasoning, University of Bristol, Bristol, EnglandLocation: University of Bristol, Bristol, EnglandDeadline: 10 February 2006
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.
We invite interested persons to submit a camera-ready, two-page abstract about recent work or work in progress, or a system description. Anyone wishing to attend but not interested in presenting should send a shorter position statement (1/2 - 1 page).
31 March - 2 April 2006, BOISE EXTRAVAGANZA IN SET THEORY, Boise, Idaho, USALocation: Boise, Idaho, USADeadline: 31 January 2006
We are pleased to announce our fifteenth annual BEST conference. There will be four talks by invited speakers:
Natasha Dobrinen (Kurt Godel Research Center for Mathematical Logic)
Michael Hrusak (UNAM)
Istvan Juhasz (Alfred Renyi Institute of Mathematics)
Boban Velickovic (Universite de Paris 7)
For more information, see http://math.boisestate.edu/~best/best15/.
The Programme Committee cordially invites all researchers to submit their papers for presentation.
22-24 March 2006, SALT 16 (Semantics and Linguistic Theory), TokyoLocation: TokyoDeadline: 14 November 2005
SALT 16 will be held March 22-24, 2006 at the Komaba campus of the University of Tokyo under the auspices of the Center for Evolutionary Cognitive Sciences. SALT has provided a leading annual international forum for semantics for the past 15 years. 2006 will mark the first time for it to be held outside the United States.Submission deadline for papers is November 14, 2005 (Japan time).
4-5 March 2006, Seventh Annual Princeton-Rutgers Graduate Conference, Dept. of Philosophy, Princeton University, USALocation: Dept. of Philosophy, Princeton University, USACosts: FreeDeadline: 15 January 2006
The philosophy graduate student associations of Rutgers University and Princeton University will be hosting a conference on the weekend of March 4-5, 2006. Papers from graduate students in all areas of philosophy will be considered. Deadline: January 15th 2006.
22-24 February 2006, WLP 2006: 20th Workshop on Logic Programming, Vienna University of Technology, AustriaLocation: Vienna University of Technology, AustriaDeadline: 14 November 2005
The series of workshops on (constraint) logic programming serve as the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases and artificial intelligence. Previous workshops have been held in Germany, Austria and Switzerland. The workshops provide a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems. The technical program of the workshop will include invited talks, presentations of refereed papers, and system demonstrations.
For more information, see http://www.kr.tuwien.ac.at/wlp06/Authors are invited to submit an extended abstract or a system description before November 14, 2005.
19-21 January 2006, Days in Logic - 2006, Coimbra, PortugalLocation: Coimbra, PortugalDeadline: 30 November 2005
This meeting aims at bringing together mathematicians and computer scientists with interests in Logic. It is specially directed for graduate students. It consists of four introductory courses and contributed talks. Courses include "Category Theory", "Proof Interpretations", "Computations with Ordinals, and Models of Set Theory" and "Provable Recursion and Arithmetical Independence Results"
Participants wishing to give a talk at the meeting are requested to submit an abstract of 1 page (LaTeX or plain text, or ps or pdf) to kahle at mat.uc.pt by 30 November 2005.
11-13 December 2006, Nijmegen Lectures 2006, Paul BloomSpeaker: Paul BloomTitle: Bodies and SoulsLocation: Max Planck Institute for Psycholinguistics, NijmegenCosts: free
The Nijmegen Lectures 2006 committee is pleased to announce that the Nijmegen Lectures 2006 will take place on December 11th, 12th and 13th. In the Nijmegen Lectures series, a leading scientist in the fields of psychology or linguistics presents a three-day series of lectures and seminars. The purpose of the series is to allow broad and intensive coverage of research topics by providing extensive interaction among the invited speaker and the participants. This year's lectures will be given by Paul Bloom, Yale University.
Registration is mandatory both for mornings and afternoons, because seating is limited. We advise you to register as soon as possible (deadline November 30th).
For more information, including abtracts and a registration form, see http://www.mpi.nl/events/nijmegenlect/
8-10 December 2006, IADIS International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2006), Barcelona, SpainLocation: Barcelona, Spain
The IADIS CELDA 2006 conference aims to address the main issues concerning with the evolving learning processes and supporting pedagogies and applications in digital age. There have been huge advancements in both cognitive psychology and computing that have affected the educational arena.
8-10 December 2006, Abstraction Workshop XI: "Status belli: Neo-Fregeans and Their Critics", St Andrews, ScotlandLocation: St Andrews, Scotland
The eleventh and final Abstraction Workshop of Arché research project concerning The Logical and Metaphysical Foundations of Classical Mathematics is taking place in St Andrews, 8-10 December 2006, under the title "Status belli: Neo-Fregeans and Their Critics."
The workshop focuses on topics concerning the very heart of the Neo- Fregean programme. It revisits a variety of specific criticisms and trouble-spots, and evaluates what progress has been made on these issues, or might yet be made.
The programme of the workshop and more details can be found here: http://www.st-andrews.ac.uk/~arche/pages/workshops/abstractionwrks11.html. Please email us <arche at st-andrews.ac.uk> if you would like to register for the workshop.
4-15 December 2006, Logic Summer School, Canberra, AustraliaLocation: Canberra, Australia
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 4th to the 15th of December 2006, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
2-3 December 2006, CAMELEON meeting, Cambridge, UKLocation: Cambridge, UK
CAMELEON is a research group of logicians based in CAmbridgE LEeds Or Norwich. We are having a meeting in Cambridge on the weekend of 2-3 December 2006 with possibly some spillover events in the days leading up to it.
The details are very far from finalised: if you are able to come to Cambridge at that time - and would like to be kept au courant so that you can make up your mind whether or not to come, then contact Thomas Forster at tf at dpmms.cam.ac.uk. For more information, see also http://www.dpmms.cam.ac.uk/~tf/cameleon.html
1-2 December 2006, Parikh Fest: "Logical methods in exact and social sciences", New York, USALocation: New York, USA
"Logical methods in exact and social sciences": a conference to commemorate the 70th birthday of Rohit Parikh, to be held at the CUNY Graduate Center 365 Fifth Avenue, New York. Sponsored by the MidAtlantic Mathematical Logic Seminar, New York Logic Colloquium, and CUNY Computer Science Colloquium.
For more information, see http://nylogic.org/Colloquium/ParikhFest
24-26 November 2006, Second LERU Conference in Philosophy:
"Rationality and the Choice of Logic", Faculty of Philosophy, Matthias de Vrieshof 4, LeidenLocation: Faculty of Philosophy, Matthias de Vrieshof 4, Leiden
Friday, November 24
14.00 Marietje van der Schaar (Leiden): Bolzano on Judgement and Error.
16.00 Igor Douven (Leuven): Antirealist Truth.
Saturday, November 25
9.00 Leon Horsten (Leuven): Inferential Deflationism.
11.00 Gabriel Sandu (Helsinki/Paris): The Van Heijenoort-Hintikka Dichotomy.
14.00 Paolo Casalegno (Milan): Margin for Error Principles and Williamson's Antiluminosity Thesis.
16.00 Kevin Mulligan (Geneva): Reasons, Rightness and Knowledge.
Sunday, November 26
10.00 Per Martin-Löf (Stockholm): Evidence and Coherence.
Participation is free, but participants are requested to register via email to Prof B.G.Sundholm at b.g.sundholm at let.leidenuniv.nl. For more information, see http://www.filosofie.leidenuniv.nl/index.php3?m=&c=268
22 November 2006, Set Theory and Its Neighbours 10, London, UKLocation: London, UK
A one-day conference in the series "Set theory and its neighbours", which will take place on Wednesday 22nd November 2006 at the Department of Mathematics, University College London. The speakers at the meeting will be Riccardo Camerlo (Turin), Greg Piper (tbc), Shingo Saito (University College London) and Philip Welch (Bristol)
As ever, we hope to keep the meeting 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.
For more information, see http://www.ucl.ac.uk/~ucahcjm/stn.html
17-18 November 2006, Joint Session of the IUHPS on "Calculability and Constructivity", Paris, FranceLocation: Paris, France
The Joint Session of the two Divisions of the International Union for History and Philosophy of Science is planned in Paris, November 17-18, at the École Normale Supérieure. The thema of the conference is: "Calculability and Constructivity: Historical and Philosophical Aspects".
More information on the website of the conference at http://www-ihpst.univ-paris1.fr/dlmps/jointsession06/.
17-18 November 2006, Workshop "Phenomenology of Agency", Fribourg, SwitzerlandLocation: Fribourg, Switzerland
Speakers: Fabian Dorsch, Lucy O'Brien, Susanna Siegel, A. David Smith, Stephen White
Open to all those interested; but please, if possible, notify us of your participation.
For more information, see http://www.unifr.ch/philo/fr/news/events_display.php?id=1
13-24 November 2006, 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), Tunis (Tunisia)Location: Tunis (Tunisia)
ICTAC is an International Colloquium on Theoretical Aspects of Computing created by the International Institute for Software Technology of the United Nations University (UNU-IIST). The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.
ICTAC comprises a School (13-17 November) and a Conference (20-24 November). Deadline for applications for the school is September 15, 2006.
For more information, see http://www.iist.unu.edu/ICTAC2006/
9-11 November 2006, International Conference on Formal Ontology in Information Systems (FOIS-2006), Baltimore MD, USALocation: Baltimore MD, USA
Researchers in such areas as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realise that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. As the need for integrating research in these different fields arises, so does the realisation that strong principles for building well-founded ontologies might provide significant advantages over ad hoc, case-based solutions. The purpose of FOIS is to provide a forum for genuine interdisciplinary exchange in the spirit of a unified effort towards solving the problems of ontology, with an eye to both theoretical issues and concrete applications.
For more information, see http://www.formalontology.org/
6 November 2006, Medieval and modern logic: an encounter, Faculteit der Wijsbegeerte, Universiteit LeidenLocation: Faculteit der Wijsbegeerte, Universiteit Leiden
14 - 15 uur: Stephen Read (St. Andrews): Why is Bradwardine so Good?
15 - 16 uur: Sara Uckelman (UvA): The Changing Scope of Logic: Recasting the *logica vetus*/*logica nova* distinction
16 - 17 uur: Göran Sundholm: The Propositio per se nota and Formal Consequentia. Two Strands in the Validity of Logical Inference.
17 - 18 uur: Borrel.
All lectures are 30 minutes, followed by 15 minutes of discussion and a break.
Address: Room 007, Witte Singel-Doelen complex, Matthias de Vrieshof 4, Leiden
For more information, contact: Bert Bos at c.e.bos at hetnet.nl.
3-5 November 2006, 17th Novembertagung on the History and Philosophy of Mathematics, Edinburgh, ScotlandLocation: Edinburgh, Scotland
The 17th Novembertagung on the History and Philosophy of Mathematics will take place from Friday 3rd to Sunday 5th November 2006 at the Science Studies Unit in the University of Edinburgh.
The "Novembertagung" is an annual international event, started in 1990, which brings together young historians and philosophers of mathematics. The conference provides an opportunity to give a presentation in a relaxed and friendly atmosphere. It is open to PhD students, post-doctoral fellows, and others who are at an early stage in their research careers.
14 October 2006, MidAtlantic Mathematical Logic Seminar (MAMLS), Rutgers University, USALocation: Rutgers University, USA
Speakers include Saharon Shelah, Ben Miller, István Juhász and Boban Velickovic.
See further details on the conference web page at http://www.math.rutgers.edu/~cherlin/Mamls/Current/.
5-8 October 2006, IADIS International Conference WWW/Internet 2006, Murcia, SpainLocation: Murcia, Spain
The IADIS WWW/Internet 2006 conference aims to address the main issues of concern within WWW/Internet. WWW and Internet had a huge development in recent years. Aspects of concern are no longer just technical anymore but other aspects have aroused. This conference aims to cover both technological as well as non-technological issues related to these developments.
25-29 September 2006, CSL 2006: Computer Science Logic, Szeged, HungaryLocation: Szeged, Hungary
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.
For more information, see http://www.inf.u-szeged.hu/~csl06/
7-8 September 2006, Symposium: 60th birthday of Gordon Plotkin, EdinburghLocation: Edinburgh
A symposium to celebrate the 60th birthday of Gordon Plotkin.
Two days of invited talks on 7th and 8th September, with a banquet on the evening of Thursday 7th September.
Registration is now open. For more information, see the webpage at http://www.lfcs.ed.ac.uk/events/plotkin-symposium/
5-9 September, 2006, 16th Symposium on Medieval Logic & Semantics (XVI ESMLS), Udine, ItalyLocation: Udine, Italy
The Theory of Fallacies and Its Use from Boethius to Paul of Venice.
The Symposium will take place from Tuesday 5th morning to Saturday 9th morning, with an half day free (probably Thursday afternoon) for the traditional, but of course unconstrained, excursion. Arrival day is Monday 4th, the conference will necessarily end before 13.00 on Saturday 9th, due to the closing of the University building. As usual, a dinner will be offered to the participants and a conference meeting will be held in the final part of the Symposium. The conference sessions will be held at Palazzo Antonini, (the Humanities building, nr. 2 in the map of the city that you can find at http://web.uniud.it/ceco/pianta.pdf).
For more information, see http://www.swif.uniba.it/lei/filmed/settembre_06.htm or contact Andrea Tabarroni
Università degli Studi di Udine
Istituto di Storia e Tutela dei Beni Culturali
Via Antonini 8
I - 33100 Udine
Tel. 0432 556111
30 August - 2 September 2006, 11th Mons Days of Theoretical Computer Science, Rennes, FranceLocation: Rennes, France
The main topics of this conference on discrete mathematics and theoretical computer science are:
* combinatorics on words (including algebraic and algorithmic aspects)
* all aspects of formal languages and codes,
* finite and infinite automata (including structural and logical aspects), ...
For more information, see http://www.irisa.fr/JM06/
28 August - 1 September 2006, The 17th European Conference on Artificial Intelligence (ECAI-06), Riva del Garda, ItalyLocation: Riva del Garda, Italy
ECAI, the biannual European Conference on Artificial Intelligence, is the leading conference in its field in Europe. ECAI-06, the 17th conference in this series, is jointly organized by the European Coordinating Committee on Artificial Intelligence and the Italian Association of Artificial Intelligence.
ECAI-06 will give researchers from all over the world the possibility to identify important new trends and challenges in all subfields of Artificial Intelligence, and it will provide a major forum for potential users of innovative AI technique
For more information, see http://ecai2006.itc.it/
22-23 August 2006, 1st Athens Colloquium on Algorithms and Complexity (ACAC 2006), Athens, GreeceLocation: Athens, Greece
ACAC is a biannual meeting aiming to bring together researchers working in all areas of the theory of algorithms and computational complexity. It is expected to serve as a lively forum for presenting research results that are in a preliminary stage or have been recently presented in some major conference. For this first meeting there will be no regular submissions. Invited contributions may appear, fully or partially, in informal proceedings distributed at the workshop. The language of the workshop is English.
Deadline for registration: 16 August 2006
For more information and a preliminary program, see http://www.corelab.ece.ntua.gr/acac06/
21-25 August 2006, 7th Max-Planck Summer School "Advanced Course on the
Foundations of Computer Science" (ADFOCS 2006), Saarbruecken, GermanyLocation: Saarbruecken, GermanyCosts: € 100/150
ADFOCS is organized as part of the activities of the Algorithms and Complexity Group and the International Max-Planck Research School of the Max-Planck-Institut für Informatik. The scope of ADFOCS is international. Young researchers at the PhD student or postdoc level are cordially invited to participate. The goal of ADFOCS is to have hot topics from fundamental areas of computer science presented by top researchers in the field, bringing participants to the frontiers of current resarch.
For this year's ADFOCS we have three main speakers. Each of them is giving two 90-minute lectures with subsequent exercise and discussion sessions. There will be further lectures and activities as well. The main speakers are:
-- Tamal Dey, Ohio State University
-- Joel Spencer, New York University
-- Ingo Wegener, Universitaet Dortmund
Deadline for early registration: 21 June 2006. For more information, an online registration form and a preliminary program, see http://www.mpi-inf.mpg.de/adfocs/
21-25 August 2006, MATHLOGAPS PhD Summer School in Logic, Bretton Hall, EnglandLocation: Bretton Hall, England
The event is the annual training event run by the Marie Curie Early Stage Training Network MATHLOGAPS. It features lecture courses, intended particularly for PhD students with an interest in mathematical logic, by Anand Pillay (Leeds), Bob Soare (Chicago) and Jeff Paris (Manchester), and invited lectures by Klaus Aehlig (Munich) and Wilfried Buchholz (Munich). Bretton Hall (home of the Yorkshire Sculpture Park) is in the countryside about 15 miles south of Leeds.
Please register as soon as possible. For more information, an online registration form and a preliminary program, see http://www.leeds.ac.uk/european/mathlogaps.html
20-25 August 2006, International Conference on Set-theoretic Topology, Kielce, PolandLocation: Kielce, Poland
For more information, see http://www.pu.kielce.pl/~topoconf/
7-10 August 2006, The Oxford Conference on Topology and Computer Science in Honour of Peter Collins and Mike Reed, Oxford, UKLocation: Oxford, UK
We are pleased to invite you to a conference on topology and computer science to mark the retirements of Peter Collins and Mike Reed from the Oxford Mathematical Institute and the Oxford Computing Laboratory.
The conference will take place in Oxford, 7th-10th, August 2006, the week before the Prague Symposium and will include special sessions on Set-theoretic Topology, Theoretical Computer Science and Continuum Theory and Dynamics.
7-11 August 2006, 6th Canadian Summer School on Quantum Information Processing, Calgary, CanadaLocation: Calgary, Canada
Students and researchers are invited to attend the sixth summer school on quantum information processing held at the University of Calgary. The goal of the school is to introduce a general audience of computer scientists, physicists, and mathematicians with little or no background in quantum information processing to this exciting and growing field.
For more information, see http://www.equips.ca/
7-11 August 2006, Effective Randomness, Palo Alto, CaliforniaLocation: Palo Alto, California
This workshop, sponsored by the American Institute of Mathematics and the U.S. National Science Foundation, will focus on effective notions of randomness such as Martin-Lof randomness, measures of relative randomness, effective dimension, Kolmogorov complexity and other concepts from algorithmic information theory, and interactions with computability theory and complexity theory.
For more information, see http://aimath.org/ARCC/workshops/randomness.html
29 July 2006, What cognitive science can learn from music cognition., Vancouver, USALocation: Vancouver, USA
Symposium on Music and Cognition at CogSci 2006.
Like language, music is a uniquely human capacity that arguably played a central role in the origins of human cognition. The ways in which music can illuminate fundamental issues in cognition have been underexamined, or even dismissed as epiphenomenal. This symposium highlights cognition in music, especially as related to language, as enlarging our understanding of cognition as a hole, contributing conceptually and methodologically to cognitive science, and showing the advantages of taking music as a strong partner in studying human cognitive functioning in all its facets.
With contributions by:
Richard Ashley (Northwestern University, USA)
Erin Hannon (Harvard University, USA)
Henkjan Honing (University of Amsterdam, The Netherlands)
Edward Large (Florida Atlantic University, USA)
Caroline Palmer & Sean Hutchins (McGill University, Canada)
For more information, see http://www.cogsci.rpi.edu/~rsun/cogsci2006/
24-28 July 2006, Summer School in Barcelona on Music Computing and Music Cognition, Pompeu Fabra University, BarcelonaLocation: Pompeu Fabra University, BarcelonaCosts: € 200/300
This Summer School is organized by the S2S² project and the Music Technology Group of the Pompeu Fabra University in Barcelona, with the goal to promote interdisciplinary education and research in the field of Sound and Music Computing. The School is aimed at graduate students working on their Master or PhD thesis, but it is open to any person carrying out research in this field.
The lectures are designed to be of interest to any graduate student or researcher in the field of Sound and Music Computing. The topics chosen for this year are Interface Design and Music Cognition; relevant topics in our research fields which have particular methodologies and research strategies. The lectures will present these particular methodologies and their application in Music related problems.
For more information, see http://www.iua.upf.es/mtg/sssmc2006/
17-21 July 2006, EASSS-2006: 8th European Agent Systems Summer School, Annecy, FranceLocation: Annecy, France
EASSS-2006 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.esia.univ-savoie.fr/easss06
3-5 July 2006, MPC06: Mathematics of Program Construction, Kurassaare, EstoniaLocation: Kurassaare, Estonia
The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems.
3-7 July 2006, Games and Verification, Cambridge, EnglandLocation: Cambridge, England
Games are pervasive in the theory of computation. Traditionally, they have been used as tools for understanding definability in logic. More generally, games are useful, as alternating automata, for solving a variety of algorithmic questions about finite and infinite state systems (such as reachability and liveness properties). A third, and much more recent, use of games is the semantics of programming languages, where the meaning of a program is defined in terms of winning strategies. This event will bring together researchers in the several different areas in the theory of computation in which games play an important role.
This workshop is the first annual meeting of GAMES, a research training network funded by the European Community, and is part of the Spring 2006 program on Logic and Algorithms at the Isaac Newton Institute for Mathematical Sciences.
For more information, an online registration form and a preliminary program, see http://www.newton.cam.ac.uk/programmes/LAA/laaw06.html
30 June 2006, Doing It Together - International Workshop on Collective Intentionality, GroningenLocation: GroningenCosts: Free
The workshop is organized on the occasion of Michael Bratman's visit to the Netherlands and is intended at bringing together Dutch scientists from different fields to exchange ideas on Bratman's theory of collective agency. This should allow for a deeper understanding of the theory itself, but also for evaluating its relevance in more applied settings such as mechanism design or legal responsibility assessment. In addition, we expect that this will foster networking between the numerous Dutch research groups that are currently working on some aspects of collective agency, more often than not in parallel.
Speakers include Michael Bratman (Stanford), John A. Michon (Leiden), Frans Groen (UvA), Frank Hindriks (Groningen) and Boudewijn de Bruin (Groningen).
Those who want to attend the workshop can now register online! Registration is free and open to everyone. For more information, see http://staff.science.uva.nl/~oroy/Doing_it_together/.
28 June 2006, Symposium "On Consciousness", Gertrudiskapel, Utrecht, opposite Utrecht CSLocation: Gertrudiskapel, Utrecht, opposite Utrecht CSCosts: Free
The Dutch national Cognition programme is organizing a symposium around consciousness at Wednesday June 28 in Utrecht, the Netherlands. Four internationally renowned speakers from very different cognitive backgrounds will address this issue from their respective points of view in a lively and stimulating environment with ample opportunities for formal and informal discussion. Do not miss this event and register now!
Participation is free, but as there is only a limited numbers of seats available, registration is obligatory. For more information, see http://www.cognitie.nl/Symposium
26-30 June 2006, Summer School on Game Theory in Computer Science, University of AarhusLocation: University of Aarhus
In recent years, research at the intersection of game theory and computer science has become increasingly important, increasingly strong and increasingly diverse. This summer school will span computational and algorithmic game theory as well as topics of algorithmic flavor in pure game theory.
The summer school will take place at the BRICS PhD school at the Department of Computer Science, University of Aarhus on June 26-30, 2006. The intended participants of the summer school are graduate students and post-docs within computer science, but also students within mathematics and economics interested in computational aspects of game theory are encouraged to register for the summer school.
Deadline for registration: May 1st, 2006. For more information, see http://www.brics.dk/game06/.
22-25 June 2006, COnference on Learning Theory (COLT 2006), Pittsburgh, PA, USALocation: Pittsburgh, PA, USA
The 19th Annual Conference on Learning Theory will be held at the Carnegie Mellon University, Pittsburgh. The conference will be co-located with ICML' 06.
For more information, an online registration form and a program, see http://learningtheory.org/colt2006/
12-30 June 2006, CSCA summer school 2006: An Interdisciplinary Approach to Cognitive Developmental DisordersLocation: Amsterdam, the Netherlands
From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.
The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
Master students from relevant fields are encouraged to register.
For more information, see http://www.csca.uva.nl/.
12-30 June 2006, Carnegie Mellon Summer School in Logic and Formal Epistemology, Pittsburg, USALocation: Pittsburg, USACosts: free
In 2006, the Department of Philosophy at Carnegie Mellon University will launch a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to
- introduce promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting interdisciplinary links between the various disciplines.
Deadline for application: March 15, 2006
For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/
12-13 June 2006, Modal Logic, Stone Duality, and Coalgebras, University of LeicesterLocation: University of Leicester
The workshop will explore topics in Modal Logic, Stone Duality, and Coalgebra. Invited speakers include Alexandru Baltag, Martin Escardo, Ian Hodkinson, Yde Venema and Frank Wolter.
For more information, see http://www.cs.le.ac.uk/people/nb118/workshop.html
9-11 June 2006, Logic and Mathematics 2006, University of Illinois, Urbana-Champaign, USALocation: University of Illinois, Urbana-Champaign, USA
The focus of the meeting will be on descriptive set theory and its connections (with algebra, topology, measure theory, topological dynamics, combinatorics, etc). In part, the meeting is organized to honor Alexander S. Kechris of CalTech on the occasion of his 60th birthday.
There will be two invited lectures on Friday (the 9th) starting at 3pm, five on Saturday, and three on Sunday; the meeting will end at 1 pm on the 11th.
For more information, see http://www.math.uiuc.edu/Bulletin/lm2006.html Deadline for student travel award application is: April 7, 2006.
25-28 May 2006, Third Annual Austin-Berkeley-CMU Formal Epistemology Workshop, UC-Berkeley, USALocation: UC-Berkeley, USA
The purpose of these workshops is to bring together individuals, both faculty and graduate students, using mathematical methods in epistemology in small focused meetings. Besides papers with respondents, each workshop will typically include short introductory tutorials (three or four topically related presentations) on formal methods. These tutorials will be oriented particularly to graduate students.
For more information and a preliminary program, see http://ist-socrates.berkeley.edu/~fitelson/few/
21-24 May 2006, Workshop on the Urysohn space
The international workshop on the Universal Urysohn Metric Space will take place at Ben-Gurion University (Beer Sheva, Israel) from 21-24 May, 2006. The Urysohn space U is the universal complete metric separable space. This remarkable mathematical object, introduced by P. Urysohn 80 years ago, has generated a considerable and steadily growing interest over the past two decades. The purpose of the workshop is to bring together leading mathematicians working in the fields of Topological Groups, Functional Analysis, Geometry, Representation Theory, Dynamics, Logic and Set Theory in order to exchange ideas and present results of current research of the Urysohn space.
For more information, see http://www.math.bgu.ac.il/~arkady/Workshop_2006/main_page.html
18-20 May 2006, Kurt Gödel: The Writings,
Maison de la recherche, University of Lille III, FranceLocation: Maison de la recherche, University of Lille III, FranceCosts: € 10
As Gödel scholars are now becoming increasingly familiar not only with the texts in the Collected Works but also with the still unpublished ones in the Archive, we see changes in our understanding of Gödel's work: his results in logic, the development of which has now begun to be traced in much more detail, but also his philosophical reflections, the full importance of which is becoming ever clearer. The aim of this workshop will be to discuss Gödel's writings and to present and compare different perspectives on the philosophy and career of this logician. We will study his writings in order better to understand his intellectual development, his own reflections on his logical theorems, and, finally, the concomittant metaphysics that he hoped to develop.
The official languages will be English and French
17-21 May 2006, ASL Annual Meeting 2006, Montreal, CanadaLocation: Montreal, Canada
The Seventeenth Annual Gödel Lecture will be given by P. Martin-Löf, and a tutorial on quantum information theory will be offered by P. Selinger. The invited program also includes a symposium to commemorate the centennial of the birth of Gödel, in which J. Avigad, S. Friedman, and A. Kanamori will speak. Special sessions are planned in categorical logic/quantum information theory, effective aspects of measure theory and analysis, model theory, and set theory.
For more information, an online registration form and a preliminary program, see http://asl2006.uqam.ca/
11 May 2006, Workshop "Philosophical and
Psychological Perspectives on Number", BrusselLocation: Brussel
The aim of this workshop is to bring together psychologists and philosophers who are studying the epistemological and ontological foundations of number.Key topics are: what are numbers? How do we acquire knowledge about them? What is the role of language and other cultural factors in acquiring numerical concepts? What neural correlates underlie numerical competence? What are the implications of psychological foundations of number for the philosophy of mathematics? We expect that bringing together philosophers and psychologists will foster a unique cross-fertilization for both fields. As the workshop will have an in-depth, focused character, we have invited eminent scholars in psychology and philosophy whose work has deepened the understanding of the nature and knowledge of number.
For more details, including full programme, titles and abstracts, follow this link: http://www.vub.ac.be/CLWF/WON2006/
2-8 May 2006, COMBSTRU School on Computational Complexity, Bertinoro, ItalyLocation: Bertinoro, Italy
The COMBSTRU School on Computational Complexity is a forum for advanced training of pre- and post-docs on hot topics in Computer Science at the frontier of current research trends. Such a school is held for the first time in Italy and is an opportunity for young researchers in Computer Science, Economics and Applied Mathematics to meet with research leaders in the areas of Computational Economics and Complexity Theory.
The school is open to Ph.D. students and post-docs in Computer Science, Economics, and Applied Mathematics. There is a limited number of BICI fellowships available to cover registration costs for students without other means of support. For more information, an online registration form and a syllabus, see http://www.iit.cnr.it/cscc06/.
20-22 April 2006, LOGIC, MODELS AND COMPUTER SCIENCE (LMCS06), Camerino, ItalyLocation: Camerino, Italy
Mathematical Logic has been contributing in a relevant way to the birth and the development of Computer Science. Accordingly the AILA Logic and Computer Science workshop just aims at bringing together researchers interested in the interactions between Mathematical Logic and several fields in Computer Science.
AILA Logic, Model and Computer Science workshop LMCS06 wishes also to honour the memory of Sauro Tulipani, who so largely and brilliantly, and for so many years contributed to this research area. Hence the workshop will focus in particular on Sauro's main research interests
- computability and computational complexity,
- uncertainty logic,
but it will also deal with other topics such as
- logic of concurrency,
- game semantics
and further themes concerned with the relationship between Mathematical Logic and Computer Science.
For more information, see http://dmi.unicam.it/merelli/LMCS06/
19-22 April 2006, 3rd MODNET Summer School, Freiburg, GermanyLocation: Freiburg, Germany
The third MODNET SUMMER SCHOOL will be in Freiburg, 19-22 April, 2006. It is intended for PhD-students, but other participants are welcome. There will be three 5 hour courses, supported by tutorials:
- Introduction to Algebraic Geometry (Anand Pillay)>
- Finite Model Theory (Joerg Flum)
- Advanced Stability Theory (Enrique Casanovas)
For more information, see http://home.mathematik.uni-freiburg.de/ziegler/modnet.freiburg.06.html
10-13 April 2006, New Directions in Proof Complexity, Isaac Newton Institute for Mathematical Sciences, Cambridge, UKLocation: Isaac Newton Institute for Mathematical Sciences, Cambridge, UK
Proof complexity is an area of mathematics (and mathematical logic and computational complexity theory in particular) centered around the problem whether the complexity class NP is closed under complementation. With a suitable general definition of a propositional proof system (Cook and Reckhow 1979) this becomes a lengths-of-proofs question: Is there a propositional proof system in which every tautology admits a proof whose length is bounded above by a polynomial in the length of the tautology? The ultimate goal of proof complexity is to show that there is no such proof system; that is, to demonstrate superpolynomial lower bounds for all proof systems.
For more information, see http://www.newton.cam.ac.uk/programmes/LAA/laaw04.html
7 April 2006, Conference in Memory of Stanley Tennenbaum, Graduate Center of CUNY, New York, USALocation: Graduate Center of CUNY, New York, USA
A conference in memory of Stanley Tennenbaum.
For more information, see http://mamls.org/Tennenbaum
3-7 April 2006, EACL 2006: 11th Conference of the European Chapter
of the Association for Computational Linguistics, Trento, ItalyLocation: Trento, Italy
30-31 March 2006, V.A.F. conference (Vereniging voor Analytische Filosofie), Vrije Universiteit Amsterdam, Philosophy DepartmentLocation: Vrije Universiteit Amsterdam, Philosophy DepartmentCosts: € 100,- (€ 70,-/€ 30,- for students with/without dinner)
Keynote speakers: Timothy Williamson ('"Conceptual truth"/'Is justification in the head?'), Stefaan Cuypers ('The internalism/externalism debate on moral responsibility') and Jeanne Peijnenburg ('On the probability of a probability'). Contributed papers by: Betty, Blaauw, Coeckelberg, Connolly, De Clercq, De Nul, Derra, Douven, Hindriks, Horsten, Kirschenmann, Leilich, Lockhorst, Mueller, Myin, Romeijn, Slurink, van der Schaar, Van Kerckhove, Vasconez, Veldeman, Wilde
For more information and a programme, see http://www.filosofie.vu.nl/Nieuws/index.cfm/news_content.cfm/newsid/ or contact L.B.Decock at ph.vu.nl or C.van.Putten at ph.vu.nl.
27-31 March 2006, FOSSACS 2006: Foundations of Software Science and Computation Structures, Vienna (Austria)Location: Vienna (Austria)
FOSSACS will present original papers on foundational research with a clear significance for software science. The conference focuses on on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
For more information, see http://fossacs06.ru.is/
2006, Truth and Proof: Kurt Gödel and the Foundations of Mathematics
The year 2006 marks the centenary of Kurt Gödel's birth. This conference aims to bring together mathematicians and philosophers of mathematics to reflect on the foundations of mathematics, particularly in the light of Gödel's work.
For more information, see http://homepages.ed.ac.uk/s0090199/conference.htm
25-27 March 2006, CMCS 2006: Coalgebraic Methods in Computer Science, Vienna, AustriaLocation: Vienna, Austria
During the last few years, it has become increasingly clear that a great variety of state-based dynamical systems, like transition systems, automata, process calculi and class-based systems, can be captured uniformly as coalgebras. Coalgebra is developing into a field of its own interest presenting a deep mathematical foundation, a growing field of applications and interactions with various other fields such as reactive and interactive system theory, object oriented and concurrent programming, formal system specification, modal logic, dynamical systems, control systems, category theory, algebra, analysis, etc. The aim of the workshop is to bring together researchers with a common interest in the theory of coalgebras and its applications.
For more information, see http://conferences.inf.ed.ac.uk/cmcs06/cmcs06.html
24-25 March 2006, Colloquium "Modern Type Theory", IHPST, 13 rue du Four, F-75006 Paris, FranceLocation: IHPST, 13 rue du Four, F-75006 Paris, France
21-22 March 2006, Infinity Symposium, Room S111, Faculty of Sciences, Vrije Universiteit AmsterdamLocation: Room S111, Faculty of Sciences, Vrije Universiteit AmsterdamCosts: free
INFINITY is a BRICKS project sponsored by NWO, and is concerned with infinite objects, computation, modeling, and reasoning. The symposium is meant as an opportunity to learn about related work and meet people working in related fields. Most talks will be of a tutorial nature.
For more information, see here or http://fspc282.few.vu.nl/infinity/index.php/Infinity_Symposium
20-24 March 2006, Mathematics of constraint satisfaction: Algebra, Logic, and Graph Theory, Isaac Newton Institute for Mathematical Sciences, Cambridge, UKLocation: Isaac Newton Institute for Mathematical Sciences, Cambridge, UK
The study of constraint satisfaction problems (CSPs) began in the 1970's in artificial intelligence, where this paradigm is now as popular as ever, with hundreds of researchers using this framework to model and solve a wide variety of problems. In 1978, Thomas Schaefer published a seminal paper on the complexity classification of Boolean CSPs, and since then the importance of the CSP in theoretical computer science has continued to grow. For example, many standard complete problems for standard complexity classes are variants of CSPs, and some of the first optimal inapproximability results in combinatorial optimization were proved for certain CSPs.
For more information, see http://www.comlab.ox.ac.uk/mathscsp/.
17 March 2006, Logic and Linguistics, Utrecht Institute of Linguistics OTS, Drift 23, room 1.04Location: Utrecht Institute of Linguistics OTS, Drift 23, room 1.04Costs: Free
The goal of the workshop is to allow people working on formal linguistics to present their ongoing research. This workshop is organised in collaboration with the CTL colloquium. Speakers include Jan van Eijck, Michael Moortgat, Matteo Capelletti and Fabian Battaglini.
For more information, see here
17 March 2006, One-day workshop 'Logic and Linguistics', Room 1.04, Institute of Linguistics OTS, Drift 23, UtrechtLocation: Room 1.04, Institute of Linguistics OTS, Drift 23, Utrecht
The goal of the workshop is to allow researchers working on formal linguistics to present their ongoing work. Speakers include Jan van Eijck, Michael Moortgat & Willemijn Vermaat, Rick Nouwen, Oystein Nilsen & Jakub Dotlacil, Matteo Capelletti, Fabian Battaglini.
For more information, contact Fabian Battaglini at Fabian.Battaglini at let.uu.nl
15 March 2006, Set Theory and Analysis, London, UKLocation: London, UK
There will be a "Set Theory and its Neighbours" meeting in London on 15th March 2006, with some funding from 'Cameleon'. The speakers at the meeting will be Peter Komjath, Matteo Viale, Mirna Dzamonja, Taras Banakh and Piotr Koszmider. As ever, we aim to keep the meetings fairly relaxed, allowing plenty of opportunity for informal discussion. We welcome and encourage anyone to participate.
For more information, see here.
11-13 March 2006, MODNET - Workshop Around o-minimality, Leeds, UKLocation: Leeds, UK
Topics include the general theory of o-minimality, generalizations, definable groups, and connections with stability and complex geometry. Speakers will (tentatively) include: Alessandro Berarducci, Mario Edmundo, Rahim Moosa, Kobi Peterzil, Artur Piekosz, Zachary Robinson, Sergei Starchenko, Alex Wilkie, Boris Zilber.
For more information, see http://www.logique.jussieu.fr/modnet/events/omin06Leeds.html
10 March 2006, NVTI Theory Day 2006, Hoog Brabant, UtrechtLocation: Hoog Brabant, Utrecht
We are happy to invite you for the Theory Day 2006 of the NVTI. The Dutch Asssociation for Theoretical Computer Science (NVTI) supports the study of theoretical computer and its applications.
As in previous years we have a strong program featuring excellent speakers from the Netherlands and abroad, covering important streams in theoretical computer science.
For more information, see http://www.nvti.nl/Theorydays.html.
5-10 March 2006, 11th Estonian Winter School in Computer Science (EWSCS'06), Palmse, EstoniaLocation: Palmse, Estonia
EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics (IoC), a research institute of Tallinn University of Technology. EWSCS'06 is the eleventh 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.
Deadline for registration: 20 January 2006
For more information, an online registration form and a course list, see http://www.cs.ioc.ee/yik/schools/win2006/
27 February - 3 March 2006, Logic and Databases, Isaac Newton Institute for Mathematical Sciences, Cambridge, UKLocation: Isaac Newton Institute for Mathematical Sciences, Cambridge, UK
Logic and databases have been intimately linked since the rise of relational database systems in the 1970s. Relational databases can be modelled by finite relational structures, and first-order logic lies at the core of standard database query languages such as the Structured Query Language, SQL. As another example, closer to current research, XML documents can be modelled by labelled unranked trees, and XML query languages as logics on trees.
The workshop will focus on recent research on logical aspects of the theory of database systems. These include the applications of logic and logical methods in the study of databases as well as questions in logic that arise from this study. Particular topics of interest include the expressive power and complexity of query languages; models and languages for semi-structured data; probabilistic databases; constraint databases, etc.
For more information, see http://www.newton.cam.ac.uk/programmes/LAA/laaw02.html
Proof theory at the syntax/semantics interface, 2005 Institute of the Linguistic Society of AmericaLocation: 2005 Institute of the Linguistic Society of America
Extended abstracts, slides, and notes of the workshop on "Proof theory at the syntax/semantics interface" held at the 2005 Institute of the Linguistic Society of America are posted at http://wintermute.linguistics.ucla.edu/prooftheory/
The workshop, sponsored by NSF, brought together computational linguists, logicians, and semanticists to explore the use of proof theory as a mediator between model theoretic semantics and generative syntax.
Organizers: Anna Szabolcsi and Edward Stabler. For more information, please contact anna.szabolcsi at nyu.edu
23-27 January 2006, OzsL Schoolweek, , Hotel Zwartewater, ZwartsluisLocation: Hotel Zwartewater, Zwartsluis
16 January - 7 July 2006, Logic and AlgorithmsLocation: Isaac Newton Institute for Mathematical Sciences
Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.
Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.
12 January 2006, Workshop on The Logic of Variation, Drift 23, room 010 and Drift 15, room 002Location: Drift 23, room 010 and Drift 15, room 002
On Friday 13th of January, Willemijn Vermaat defends her PhD thesis 'The Logic of Variation' at Utrecht University (Academiegebouw, Domplein 29, Utrecht, 12.45). On the occasion of this event, an informal workshop will be held on Thursday 12th of January.
MoL and PhD defenses
20 December 2006, Master of Cognitive Science defense, Gideon BorensztajnTitle: Automatic Discovery of Constructions in Children's SpeechLocation: P 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
This Wednesday, Gideon Borensztajn will defend his MSc thesis "Automatic Discovery of Constructions in Children's Speech" (MSc Cognitive Science). The meeting will consist of a 30 minute presentation by the candidate, and 30 minute questioning by the thesis committee (Remko Scha, Reinhard Blutner, Jelle Zuidema). Everyone is welcome to attend.
For more information, please contact illc at science.uva.nl
7 December 2006, Master of Logic defense, Wouter Koolen-WijkstraTitle: Discovering the Truth by Conducting ExperimentsLocation: Room C.210, Nieuwe Achtergracht 166, AmsterdamSupervisor: Peter Grünwald
10 November 2006, Master of Logic defense, Gaelle FontaineTitle: Axiomatization of ML and CheqLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Yde Venema
6 November 2006, Master of Logic defense, Jacob VosmaerTitle: Connecting the Profinite Completion and the Canonical Extension using DualityLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Yde Venema
20 October 2006, PhD defense, Aline HoninghTitle: The Origin and Well-Formedness of Tonal Pitch StructuresLocation: Oude Lutherse Kerk, Singel 411, AmsterdamPromotor: Prof. dr. Rens Bod, Prof dr. Henk Barendregt
For more information, please contact ahoningh at science.uva.nl
12 October 2006, PhD defense, Marie NilsenovaTitle: Rises and Falls. Studies in the semantics and pragmatics of intonation.Location: Oude Lutherse Kerk, Singel 411, AmsterdamPromotor: Prof. dr. J.A.G. GroenendijkCopromotor: Dr. P.J.E. Dekker, Prof. dr. M.G.J. Swerts
For more information, contact m.nilsenova at uvt.nl
4 October 2006, PhD defense, Merlijn SevensterTitle: Branches of imperfect information: logic, games, and computationLocation: Oude Lutherse Kerk, Singel 411Promotor: prof.dr. J.F.A.K. van Benthem and lector dr. P. van Emde Boas
For more information, please contact sevenstr at science.uva.nl
14 September 2006, Master of Logic defense, Martin MüllerTitle: Accent and Focus in OT: A cross-linguistic perspectiveLocation: Room B. 318, Nieuwe Achtergracht 166, AmsterdamSupervisor: Jeroen Groenendijk
7 September 2006, PhD defense, Robert SpalekTitle: Quantum Algorithms, Lower Bounds, and Time-Space TradeoffsLocation: Oude Lutherse Kerk, Singel 411, AmsterdamPromotor: Harry BuhrmanCopromotor: Ronald de Wolf
In this thesis, we investigate fast quantum algorithms for several graph problems (such as finding a maximal bipartite matching, and a maximal flow in an integer network) and verification of matrix products. We also address quantum query lower bounds, i.e. proofs that certain tasks cannot be computed faster than some value. We prove the first known time-space tradeoffs for quantum computation, and most of them are tight.
For more information, see http://www.ucw.cz/~robert/papers/abs-phd-en.html
23 March 2006, PhD defense, Clemens KupkeTitle: Finitary Coalgebraic LogicsLocation: Oude Lutherse Kerk, Singel 411, AmsterdamPromotor: Jan RuttenCopromotor: Yde Venema, Alexander Kurz
For more information, please contact kupke at cwi.nl
17 March 2006, PhD defense, Nick BezhanishviliTitle: Lattices of Intermediate and Cylindric Modal LogicsLocation: Oude Lutherse Kerk, Singel 411, AmsterdamPromotor: Prof. dr. D.H.J. de JonghCopromotor: Dr. Y. Venema
For more information, please contact nbezhani at science.uva.nl
8 March 2006, Master of Logic defense, Yanjing WangTitle: Indexed Semantics and Its Applications in Modelling Interactive UnawarenessLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Frank Veltman, Maricarmen Martinez
For more information, see http://www.illc.uva.nl/NewsandEvents/index.php?cat=defenses
6 March 2006, Master of Logic defense, Clive NetteyTitle: Link-Based Methods for Web Information RetrievalLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Dr. ir. Jaap Kamps
30 January 2006, Master of Logic defense, Ioanna DimitriouTitle: Strong limits and Inaccessibility with non-wellorderable powersetsLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Benedikt Löwe
For more information, ask idimitri at science.uva.nl
30 January 2006, Master of Logic defense, Dirk BuschbomTitle: Understanding as a teleonomical concept: fundamentals of the hermeneutical gameLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Martin Stokhof
For more information, contact dirk_buschbom at web.de
30 January 2006, Master of Logic defense, Edgar AndradeTitle: Meaning and Form in the Event CalculusLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Michiel van Lambalgen
17 January 2006, PhD defense (Leiden), Catarina Dutilh Novaes (alumna ILLC)Title: Formalizations apres la lettre - Studies in Medieval Logic and SemanticsLocation: Academiegebouw - Rapenburg 70, LeidenPromotor: Prof. B. G. SundholmCopromotor: Dr. E. P. Bos
For more information, please contact cdutilhnovaes at yahoo.com. If you are interested in attending the defense, please get in touch with the promovendus first, as there is a limited number of places.
11 January 2006, PhD defense, Troy LeeTitle: Kolmogorov Complexity and Formula Size Lower BoundsLocation: Oude Lutherse Kerk, Singel 411, AmsterdamPromotor: Harry Buhrman
For more information, contact Troy Lee at troy.lee at cwi.nl
Projects and Awards
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).
Scientific Network PhiMSAMP
The DFG (Deutsche Forschungsgemeinschaft = German Research Foundation) decided to fund the 'Scientific Network' PhiMSAMP (Philosophy of Mathematics: Sociological Aspects and Mathematical Practice) coordinated by Thomas Müller (Bonn) and Benedikt Löwe.
The Network consists of six nodes, Amsterdam, Bonn, Brussels, Darmstadt, Dortmund, and Fort Wayne IN, and will fund workshops and meetings on applying sociological and empirical methods to questions of philosophy of mathematics.
The first such workshop will be held in conjunction with the congress GAP.6 in Berlin, Sep 14-16, on the topic of "Towards a new epistemology of mathematics".
For more information, see http://www.lib.uni-bonn.de/PhiMSAMP/
3 out of 6 ESSLLI prizes to ILLC students!
ILLC PhD and MoL students were very succesful in the 2006 ESSLLI Summer School. In the oral session Reut Tsarfaty won the first prize for her talk "The Interplay of Syntax and Morphology in Building Parsing Models for Modern Hebrew".
Michael Franke and Scott Grimm bith received third places; Michael in the oral session for his talk "Teological Necessity and Only" and Scott in the poster session for his poster "Subject Marking in Hindi/Urdu: A Study in Case and Agency" (based on his Master of Logic thesis).
The winner from both the poster as the oral session may choose 500 euros worth of Springer books.
For more information, see http://staff.science.uva.nl/~katrenko/stus06/prize.html
VIDI grants awarded to Khalil Sima'an and Jaap Kamps
We are happy and proud to announce that both Khalil Sima'an and Jaap Kamps have been awarded VIDI subsidies for their respective projects, 'Priors for the Estimation of Probabilistic Grammars from Incomplete Natural Language Data' and 'Retrieving encoded archieval descriptons more effectively' ('README').
The 'Priors' project has a total budget of 767 kEURO of which 406 kEURO is contributed by NWO, and 65 kEURO by the CvB-UvA. Besides Khalil himself, a postdoc (3 years) and a PhD student (4 year) will be attracted to work on the project.
Details of the README project are forthcoming.
Many congratulations to Khalil and to Jaap (who is away travelling). Congratulations to the ILLC are also applicable because 2 out of 8 approved VIDI project proposals within NWO Exact Sciences go to the ILLC!
Ingrid van Loon
ILLC team wins "Nieuwe Ideeën Prijs"
We are very proud to let you know that a team consisting of Leen Torenvliet, Sybren Stüvel (student) and Peter Blok (Head of FNWI Buildings) has won the prestigious Science Park Nieuwe Ideeën Prijs for their Digital Location System.
This location system can serve many purposes. For one thing, it can and will be used as a security system in buildings like Euclides. It is based on an idea of Leen which as the jury said is "as simple as it is brilliant", but about which we cannot say too much until the patent application is completed. Suffice it to say that there is a lot of interest from outside to develop this system further and to bring it on the market.
Also see http://www.scienceparkamsterdam.org/ for more information.
Ackermann Award 2006 to Balder ten Cate
We are glad to inform you that the Jury of the Ackermann Award 2006 has decided to award to Balder ten Cate one of the two Ackermann Awards 2006 for his ILLC dissertation "Model theory for extended modal languages"
The EACSL Outstanding Dissertation Award for Logic in Computer Science will be presented to the recipients at the annual conference of the EACSL (CSL'06).
The award consists of
* a diploma,
* an invitation to present the thesis at the CSL conference,
* the publication of the abstract of the thesis and the laudatio in the CSL proceedings,
* travel support to attend the conference.
For more information about the award, see http://www.dimi.uniud.it/~eacsl/award.html
Martin Stokhof elected as KNAW member
We are proud to announce that Martin Stokhof, professor in Philosophy of Language at ILLC, is elected as member of the KNAW (Royal Netherlands Academy of Arts and Sciences). He is the fourth ILLC professor that becomes KNAW member after Renate Bartsch, Anne Troelstra and Johan van Benthem.
For more information, see http://www.knaw.nl/.
Prof. Krzysztof Apt: member of Academia Europaea
We are happy to announce that ILLC and CWI professor Krzysztof Apt has been chosen as "member of Academia Europaea" in Informatics Section. In total there are 66 members of which 7 from the Netherlands.
For more information, see http://www.acadeuro.org/
NIAS Fellowships 2007-2008
NIAS Fellows are selected from prominent researchers and senior scholars in the humanities and social sciences who have already made a contribution to scholarship and who are able to continue their research and to advance knowledge in their particular fields during their stay. Fellowship are awarded on the basis of submitted applications. Deadline for submissions is 1 July 2006.
New ILLC Research Projects
It looks like that the highly succesful year 2005 will be followed by an equally succesful year 2006 as we can already announce a number of awarded projects
Two projects are awarded in the NWO Open Competitie for the Exact Sciences:
- "Effective Focused Retrieval Techniques", by Jaap Kamps: one PhD student for 4 years.
- "Theoretical an Algorithmic Complexity; Tresholds in Computer Games", by Johan van Benthem: two PhD students (one at ILLC) for 4 years.
Moreover, Khalil Sima'an together with Dr. Andy Way (Dublin City University) succeeded in obtaining funding from the Science Foundation Ireland for 2 PhD students.
Then, a NWO Rubicon grant was given to dr. Sujata Ghosh from Kolkata, India. The grant implies the funds for a 1 year appointment as a postdoc at ILLC. Sujata Ghosh will start working here August 1 but will firstly be our guest in the month June.
Finally we are happy to announce the award of a second Rubicon grant to Troy Lee, former PhD student of Harry Buhrman. He will use this grant to do research at the Université Paris.
Funding, Grants and Competitions
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).
De tweede editie Academisch Jaarprijs is weer van start gegaan. Onder de vraag 'Jouw onderzoek in de hoofdrol?' worden tot 10 november teams van de 14 universiteiten opgeroepen zich kandidaat te stellen voor de Academische Jaarprijs. Welk team van welke universiteit slaagt er het beste in om hun onderzoek duidelijk en begrijpelijk te maken aan een breed publiek en sleept de hoofdprijs van 100.000 euro in de wacht? In NRC Handelsblad en nrc.next worden regelmatig advertenties geplaatst.
Voor meer informatie, ga naar http://www.academischejaarprijs.nl/.
Fulbright-scholarships for promovendi
The scholarship is intended for doing research or taking specialized courses at an American university for a period of between three and six months.
Deadline for applications is December 1st, 2006. For more information, see http://www.fulbright.nl/content.aip?language=NL&destination=USA&id=216
Fulbright-scholarships for junior en senior researchers
The scholarship is intended for teaching courses, possibly in combination with doing research, at an American university for a period of at least 3 months. The course taught may consist of a series of guest lectures.
For more information, see http://www.fulbright.nl/content.aip?language=NL&destination=USA&id=218
E. W. Beth Dissertation Prize 2006
Since 2002, FoLLI (the European Association for Logic, Language, and Information, 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 2005. The prize will be awarded to the best dissertation which resulted in a Ph.D. in the year 2005. The dissertations will be judged on the impact they made in their respective fields, breadth and originality of the work, and also on the interdisciplinarity of the work. Ideally the winning dissertation will be of interest to researchers in all three fields.
The full text of this announcement can be found at here. Deadline for submissions is July 31, 2006.
Open Call: COST European Cooperation in the field of Research
COST invites proposals for new COST Actions contributing to the scientific, economic, cultural or societal development of Europe. Proposals playing a precursor role for other European programmes involving young groups~ ideas are especially welcome.
For more information, see http://www.cost.esf.org/index.php?id=721
NWO Cognitie en Gedrag
Programma: NWO Cognitie en Gedrag
Titel oproep: Advanced Studies Initiatief 2006
Deadline: 12 juni 2006 om 12.00 uur
Budget: 250.000 Euro. De gevraagde subsidie mag variëren tussen de 15.000 en 50.000 Euro.
Op diverse plaatsen zien we interdisciplinaire instituten en programma's die fundamentele thematiek ontwikkelen die door diverse traditionele disciplines wordt gedeeld. Om dit soort ontwikkelingen te doen gedijen is van groot belang dat creatieve wetenschappers uit diverse betrokken vakgebieden met regelmaat in diepgaand contact komen. En dat op welgekozen strategische onderzoeksthema's die soms ook agendabepalende Nederlandse specialiteiten kunnen worden in een internationale context. Het Advanced Studies format is hiervoor uiterst geschikt, met welgekozen projecten van een passende omvang of langer lopende thema's met een zekere continuïteit.
Voor nadere informatie en documentatie, zie de NWO oproep (PDF) of neem contact op met Mw. dr. E. Hoogland (telefoon: +31 (0)70 344 08 58, e-mail: hoogland at nwo.nl) of Mw. drs. A. Dijkstra (telefoon: +31 (0)70 344 07 36 / +31 (0)70 344 08 36, e-mail: dijkstra at nwo.nl)
Eurocores Theme Proposals sollicited
The European Science Foundation is inviting well-developed theme proposals for new EUROCORES Programmes (EUROCORES themes) with the deadline of 1 June 2006 (midnight).
The themes are generated annually through a Call for theme proposals (deadline 1 June) from the European research community and/or national funding or research performing organisations. Through a rigorous peer-review process, a number of the submitted proposals will be selected for further development. Pending the viability of these selected themes in terms of adequate interest and commitment for participation from ESF's Member Organisations, these ideas will be launched into new EUROCORES Programmes.
Each proposing team should include at least 4 researchers and/or representatives from national funding or research performing organisations from 4 different member countries.
For more information, including an ESF membership list, see http://www.esf.org/esf_activity_home.php?language=0&domain=0&activity=7 or contact
Smart Mix: Nieuw initiatief van EZ, OCW, SenterNovem en NWO
Smart Mix is a new funding programme with a yearly budget of € 100 million. The programme encourages cooperative efforts between corporation, social institutes and knowledge institutes. Consortia of users of knowledge (corporations, organisations etc) and knowledge institutes (universities, colleges and research institutes). can submit project proposals together.
Call for proposals Cognitie - Advanced Studies
De NWO Programmacommissie Cognitie wil u via deze weg attenderen op de start per 22 maart 2006 van de aanvraagronde voor Advanced Studies Initiatieven in het kader van het NWO Programma Cognitie. Het doel van deze Advanced Studies is het bijeenbrengen van actieve, trendsettende Nederlandse en buitenlandse cognitieonderzoekers in een intensieve, interactieve setting om op die manier nieuwe doorbraken op specifieke thema's binnen de cognitiewetenschappen te bereiken. Een Advanced Studies Initiatief kan verschillende vormen aannemen, waarbij de gevraagde subsidie mag vari~ren tussen de 15.000 en 50.000 Euro.
De sluitingsdatum van deze subsidieronde is vastgesteld op 12 juni 2006, om 12.00 uur. Op deze wijze is het mogelijk om de beoordelingsprocedure en de toewijzing van de subsidies medio juli 2006 af te ronden. De aanvragen moeten digitaal worden aangeleverd via het elektronische aanvraagsysteem IRIS. Dit indienen kan vanaf de NWO website. Het programma is toegankelijk voor medewerkers van Nederlandse instellingen voor wetenschappelijk onderzoek inclusief door NWO erkende instituten.
Voor de tekst van de officiele oproep, zie http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOA_6N5CCX?Opendocument. Voor meer informatie, zie de NWO Cognitie website op http://www.nwo.nl/cognitie of neem contact op met het programmabureau op cognitie at nwo.nl.
Nominations for 2006 Prize for Achievement in Information-Based Complexity
This annual prize is for outstanding achievement in information-based complexity. It consists of $3000 and a plaque and will be awarded at a suitable location. The members of the prize committee would appreciate nominations for the prize. Nominations may be sent to traub at cs.columbia.edu. However, a person does not have to be nominated to win the award.
The deadline for the award is March 31, 2006. The award can be based on work done in a single year, in a number of years or over a lifetime. The work can be published in any journal, in a number of journals, or as monographs.
Akademie Colloquia 2007 KNAW (Deadline: 1 March 2006)
Doel: het bijeenbrengen van een selecte groep wetenschappelijk onderzoekers uit binnen- en buitenland op een actueel thema.
Subsidie/beurs: de KNAW biedt financiële en logistieke ondersteuning bij de organisatie van ten hoogste zes kwalitatief hoogwaardige wetenschappelijke colloquia per jaar met maximaal vijftig deelnemers.
De bijdrage van de Akademie in het exploitatietekort van het Colloquium bedraagt maximaal 16.000 euro per Colloquium. Voor de organisatie van een aansluitende master class van ten hoogste twee dagen met promovendi is een additionele bijdrage van maximaal 3.500 euro per dag beschikbaar, indien er minimaal vijftien promovendi aan deelnemen. Daarnaast levert het Bureau van de Akademie kosteloos organisatorische en administratieve bijstand aan de organisator van het Colloquium.
Meer informatie over criteria en aanvraagformulieren: http://www.knaw.nl/cfdata/subsidies/subsidie_detail.cfm?orgid=1 of
martine.wagenaar at bureau.knaw.nl
Open Positions at ILLC
Three PhD student positions in "Logic & Games"
The Research Training Site GLoRiClass ("Games in Logic Reaching Out for Classical Game Theory") invites applications for 3 PhD positions in the field of Logic and Games (starting as soon as possible; at the lastest on February 1, 2007).
We are looking for candidates with a strong background in mathematical logic, philosophical logic, theoretical computer science, or theoretical linguistics (or in another area related to the project topic such as game theory), and an interest in writing a dissertation on Logic and Games. There will be one position each in the themes "Games in Mathematics", "Games in Linguistics", and "Games and Social Interaction". The successful candidates are expected to develop their thesis topic within the first six months in collaboration with the researchers at the ILLC.
The candidates are expected to have a strong interdisciplinary interest and be open minded. While the focus of the appointment is on research training, it will include moderate teaching duties in logic-related courses. Successful candidates will have a research-oriented Master's degree (MSc/MA) or equivalent qualifications by the time of appointment.
DEADLINE: November 30, 2006
For more information (including detailed information about how to apply and information on formal eligibility for EU-funded projects), please refer to the website at http://www.illc.uva.nl/GLoRiClass/index.php?page=2 or contact Dr B Löwe (bloewe at science.uva.nl).
PhD position in Web Information Retrieval
The ILLC seeks a versatile, highly motivated PhD candidate to work on focused web search. This fully funded position is part of the EfFoRT (Effective Focused Retrieval Techniques) project. EfFoRT is a joint research undertaking of the University of Amsterdam and the University of Twente, and is funded by the Netherlands Organization for Scientific Research (NWO).
Applications should be sent before 10 October 2006. For more information, see
Vacancy at ILLC: Lecturer in NLP (0.5 FTE, max. 5 years)
The Institute for Logic, Language and Computation has a vacancy for a teaching position of 0.5 FTE at the level of "Docent" (Lecturer) in the area of Natural Language Processing. The total duration of this position is for five years (tenure is not planned). Starting date: As early as possible before January 2007.
For more information, see the vacancy text at http://www.uva.nl/vacatures/object.cfm/
PhD Scholarship in "Reasoning About Norms", ILLC/Roskilde
A Ph.D. scholarship at The Danish Research School in Philosophy, History of Ideas and History of Science, PHIS, is available commencing on September 15th 2006, or at the earliest possible date thereafter. The project is part of a co-operation between ILLC - Institute of Logic, Language and Information, Amsterdam University, and The Section for Philosophy and Science Studies, Roskilde University. The main focus of the project will be on formal models of reasoning about norms; particularly a deontic logical approach is desirable. The successful candidate should preferably have a background in philosophical logic or a related field. The candidate is expected to spend approximately half of the three years allotted to the project at The Section for Philosophy and Science Studies, Roskilde University, Denmark, and half of the time at the ILLC, University of Amsterdam, the Netherlands.
Closing date for application is the 1st of September 2006 at 12 noon. For more information, see here or contact Professor Stig Andur Pedersen, phone: +45 467432265, e-mail: sap at ruc.dk, or Secretary Vibeke Sanders Nielsen, phone +45 46742587, e-mail vin at ruc.dk.
ILLC vacancies for 3 PhD students and 1 postdoc
The ILLC has vacancies for 3 PhDs and 1 post-doc, in the area of Logic and Theoretical Computer Science full-time, starting date September 2006. The appointees will join the VICI project 'Algebra and Coalgebra, the mathematical environment of modal logic', which is funded by the NWO. The project will be directed by Dr Y. de Venema.
They will be expected to perform research related to the mathematical theory of modal logic.
Each of the PhD students will concentrate on one of the following projects:
- Modal fixpoint logic
- Partially ordered algebra
- Universal coalgebra
The post-doc will perform research preferably in the following area:
- Coalgebra automata.
Postdoc position in Linguistics
The Universiteit van Amsterdam seeks to fill a PostDoc-position in linguistics. It forms a part of the overall project 'The origins of truth and the origins of the sentence' recently funded by the Netherlands Organisation of Scientific Research (NWO) and directed by Dr. Wolfram Hinzen.
PhD position in Philosophy
The Universiteit van Amsterdam seeks to fill a PhD-position in philosophy. It forms a part of the overall project 'The origins of truth and the origins of the sentence' recently funded by the Netherlands Organisation of Scientific Research (NWO) and directed by Dr. Wolfram Hinzen. The PhD-subproject deals with the metaphysics, epistemology, and psychology of truth.
Open Positions, General
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 "Mathematics for 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 2007. The CMI is dedicated to fundamental mathematical research with an eye to the roles of information and computation as resources 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 materials are due by Friday, December 15th, 2006. Positions are contingent upon completion of the PhD.
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.
Junior Professor Position (W1) in Mathematics / Applied Logic, Technische Universitaet Darmstadt, Germany
The Department of Mathematics of the Darmstadt University of Technology (TUD) invites applications for a Juniorprofessorship in Mathematics - Applied Logic to be filled 1.4.2007. Applicants must be qualified in Applied Logic. Applications from candidates working in "Mathematical Proof Theory" (e.g. proof mining, proofs as programs, reverse mathematics, constructive formal systems) and/or "Computability in Mathematics" (e.g. effective algebra and analysis, symbolic computation) are particularly welcome.
Duties of the successful candidate are to take part in the teaching provided by the department, to conduct original research in the area mentioned above and to further develop pedagogical skills. Willingess to take part in academic administrative issues is also expected.
Applications must be received before 31 December 2006. For more information, see here or the official German version of this advertisement at http://www.tu-darmstadt.de/pvw/dez_iii/stellen/337.tud.
Nine research assistant positions on Spatial Cognition, Reasoning, Action and Interaction, Bremen/Freiburg (Germany)
9 research assistant positions are available, at the "Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition: Reasoning, Action, Interaction" at the Universities of Bremen and Freiburg, Germany.
The positions are in general concerned with interdisciplinary long-term research in Spatial Cognition. For some positions, formal methods, logic and category theory are used.
Deadline varies, but for most positions is 1 December 2006. For details, see http://www.sfbtr8.uni-bremen.de/openpositions.html (in particular, projects I1, I3 and I4).
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.
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.
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/.
Three positions in computer science and applications, University of New Mexico
The University of New Mexico invites applications for two tenure-track and one senior position. We are actively seeking applicants in theory and algorithms for these positions. We are a strongly interdisciplinary department and are particularly interested in applicants pushing the boundaries of computer science with other fields, including but not limited to: bioinformatics and biological computation, embedded systems and sensor networks; scientific computing and simulation; physics and computing; and game theory and economics.
Candidates must have completed a doctorate in CS or a relevant area by August 15, 2007. Complete job posting at: http://www.cs.unm.edu/jobs. For best consideration, complete applications must be received by December 15, 2006, although we will continue to accept applications until the positions are filled.
Postdoctoral position in Algorithms and Complexity Theory, Simon Fraser University (Vancouver)
Applications are invited for one or more postdoctoral fellowships in the areas of Algorithms and Complexity Theory. 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, Canada.
These positions are offered in conjunction with the Pacific Institute for the Mathematical Sciences (PIMS). PIMS postdocs are awarded by competition within the Institute. Applicants must have a Ph.D. at the time they take up the position. The award is tenable for one year with a strong possibility of renewal for a second year. The candidate may begin a position any time between April 1, 2007 and January 1, 2008.
Application packages must be received by November 30, 2006. For more information, see http://www.cs.sfu.ca/JobOpp/postdoc.html
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
Postdoctoral position in Algorithms, Dartmouth College (Hanover NH)
The Computer Science Department at Dartmouth College has an opening for a postdoc in Algorithms, starting as early as January 2007. Areas of interest include theory and applications of optimization, approximation, randomization, and algorithmic game theory/economics.
Review of applications will begin November 15, 2006, and continue until position is filled. For more information, see here or http://www.cs.dartmouth.edu/, or contact Lisa Fleischer at lkf at cs.dartmouth.edu.
Postdoc Algorithmic Game Theory, Cyprus
One postdoctoral position is currently available in the Research Laboratory for Foundations of Computing Systems and Theoretical Computer Science at the Department of Computer Science, University of Cyprus, Cyprus. Topics of very strong interest for the position include Algorithmic Game Theory (primary) and Distributed Computing and Networking (secondary).
The working language is English. Salary is very competitive. There are no teaching duties.
Expressions of interest are welcome through October 31, 2006. Interested candidates should send a CV, list of publications and a short research plan to Prof. Marios Mavronicolas. For more information, see the Research Laboratory website at http://www2.cs.ucy.ac.cy/~mavronic/research_lab.htm or contact Prof. Marios Mavronicolas at http://www2.cs.ucy.ac.cy/~mavronic/ or mavronic at cs.ucy.ac.cy.
Visiting Professorships in Computer Science, Cyprus
The Department of Computer Science at the University of Cyprus has a number of vacancies for Visiting Professors at the ranks of Lecturer, Assistant, Associate, and Full Professor. ALL areas of Computer Science and Engineering will be considered.
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.
Full Professorship in Algorithmic Graph Theory, Athens, Greece
The Department of Informatics and Telecommunications at the National and Kapodistrian University of Athens has an opening at the level of Associate or Full Professor in the area of Algorithmic Graph Theory with applications to Informatics and Telecommunications.
The deadline for application submission is December 4, 2006. Please note that the language of instruction is Greek. For more information, see here or contact Prof. Elias Koutsoupias (elias at di.uoa.gr).
Assistant Senior Lecturer in Theoretical Computer Science, Stockholm (Sweden)
The School of Computer Science and Communication at the Royal Institute of Technology, Stockholm, Sweden has an Open position for Assistant Senior Lecturer in Computer Science specialized to Theoretical Computer Science.
The applicants will be assessed according to scientific and teaching excellence. The successful candidate is expected to complement or strengthen current research and education in theoretical computer science at KTH CSC, and to be able to get external funding for research projects. Moreover, she/he will interact with society and inform the public about research and development. Special importance will be given to scientific qualifications. In the course of his/her employment period, the assistant senior lecturer will be given the opportunity to acquire useful qualifications and experiences for himself/herself; this is to enable the person to be eligible for promotion to senior lecturer.
Ph.D. position in parallel programming and algorithms,
The University of Bergen, Norway, has an open position for 3 years in the `ParComb - Parallel Algorithms in Combinatorial Scientific Computing (CSC)' project. The main topic will be the design of parallel algorithms for CSC type problems on distributed memory computers using MPI. Applicants should hold a M.Sc. degree or similar and are expected to work within this project and enter a PhD study. The PhD thesis should be submitted for defence within the 3-year period of the position. As part of the PhD study the candidate should spend 6 month at the Old Dominion University, USA, working with professor Alex Pothen. Thus an applicant must be eligble to obtain a visa to the USA.
The application deadline is October 23rd. For more information, see the homepage of the project at http://www.ii.uib.no/parcomb/.
Heinz Hopf Lectureships, ETH Zuerich
The Department of Mathematics of the ETH Zrich invites applications for several Heinz Hopf Lectureships beginning 1 October 2007 or earlier. The positions are awarded for a period of 3 years, with the possibility of an extension by 1 year.
Duties of Heinz Hopf lecturers include research and teaching in mathematics. Together with the other members of the department, the new lecturers will be responsible for undergraduate and graduate courses for students of mathematics, natural sciences, and engineering. The moderate teaching load leaves ample room for further professional development. Courses at Master level may be taught in English.
Applications must be received before November 30, 2006. For more information, see http://www.math.ethz.ch/jobs/hopf.
Postdoc position in Oslo: "Computability and Complexity in
There is a post doc position available at the Department of Mathematics, the University of Oslo in connection with the research project "Computability and Complexity in Type theory".
The deadline for application is October 1. The position is vacant from January 1, 2007 and through 2009. For more information, see the announcement on the web-page: http://www.admin.uio.no/opa/ledige-stillinger/2006/vit/, or contact Dag Normann at dnormann at math.uio.no.
Tenure Track or Tenured Position in Philosophy of Language /
Philosophical Logic, University of Maryland
The University of Maryland has an opening for a Professor (tenure track) or Associate Professor (tenure/tenure track). AOS: Philosophy of Language; exceptional candidates in Philosophical Logic will also be considered. AOC: open. Candidates who can add to the Department's strength in philosophical logic and/or connections with linguistics may have an advantage. Undergraduate and graduate teaching; usual committee responsibilities.
Applications will be considered until the position is filled, but for best consideration all materials should arrive by November 1st 2006. For more information, see http://www.personnel.umd.edu/jobposting/cgi-bin/empFAC.idc#09061220.
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.
PhD students fuzzy answer set programming
The Theoretical Computer Science Group at the Free University of Brussels and The Computational Web Intelligence Team at Ghent University are recruiting 2 full time researchers (PhD students) to work on the project "Fuzzy Answer Set Programming" to be conducted in Brussels and Ghent (Belgium) and starting January 1, 2007 (duration: 4 years).
Deadline for applications is September 30th. For more information, see http://tinf2.vub.ac.be/vacature.txt
PhD student position: Algorithms and Complexity (Linköping
The Laboratory for Theoretical Computer Science, Linköpings universitet, Sweden, is opening a PhD student position on algorithms and complexity theory.
Applications must be received before September 29th, 2006. For more information, see http://www.ida.liu.se/~petej/.
Tenured positions in Mathematics (logic included), Cape Town
The Department of Mathematics and Applied Mathematics at the University of Capetown seeks to make three new appointments with effect from January 2007 or as soon as possible thereafter. Applications are sought for posts at all levels, from Lecturer to Associate Professor, in all fields compatible with the research interests and activities of the Department, including enrichment programmes for schools. We particularly encourage applications from candidates with research and teaching interests in Mathematics of Computer Science; or with computational interests and expertise in areas of Applied Mathematics and Mathematical Modelling; or in the Mathematics of Finance.
Applications must be received before 22 September 2006. For more information, see the department website at http://www.mth.uct.ac.zu/ or the full announcement at http://www.mth.uct.ac.za/Announcements/Permanent-advert.html, or contact K.Salman (ref: 1163) at ksalman at bremner.uct.ac.za.
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.
PhD student position in algorithmic game theory, Aarhus, Denmark
Applications are invited for a PhD student position in algorithmic game theory. The project concerns, primarily, the development of algorithms for computation of equilibria for games of infinite duration, such as parity games, mean payoff games and (simple) stochastic games, as well as investigating inherent computational complexity of such games. However, broad variations within the area of algorithmic game theory are possible and negotiable.
The project is a joint venture between the University of Uppsala, Sweden and the University of Aarhus/BRICS, Denmark. The applicant is expected to spend half their time at each of the two institutions, working in the group of Peter Bro Miltersen in Aarhus and in the group of Sergei Vorobyov in Uppsala. The PhD degree will be granted by the University of Aarhus.
Deadline for applications is 1 October 2006. For more details see http://www.brics.dk/study/phd-school/call-for-applications/specific-calls/#c258 . Informal inquiries are to be addressed to Peter Bro Miltersen (bromille at brics.dk) and Sergei Vorobyov (Sergei.Vorobyov at it.uu.se).
PhD and MSc Scholarships in Multi-agent Systems at IIIA-CSIC in Barcelona
The Artificial Intelligence Research Institute (IIIA) offers several PhD and MSc scholarships for students pursuing a full-time PhD or MSc degree in Artificial Intelligence in the areas of multi-agent systems and autonomic computing. The IIIA is a research institute member of the Spanish Council for Scientific Research (CSIC), Spain's largest public institution devoted to science and technology.
For more information, the interested candidates should refer to http://www.iiia.csic.es/.
PhD Studentship in 'Light-weight rule extended ontology
languages', Aberdeen, UK
Applications are sought for a funded EPSRC CASE studentship supported by HP on light-weight rule-extended ontology languages. The project aims to efficiently support a useful subset of the W3C standard Web Ontology Language OWL and the coming W3C rule standard RIF (Rule Interchange Format).
Applicants should have a good Undergraduate (at the 2-1 level or higher) or Masters Degree in either Computing Science or a related discipline. Applications must be received before 16 October 2006 (extended deadline). For more information, see http://www.csd.abdn.ac.uk/information/vacancies/job.php?jobid=1 Or contact Dr Jeff Z. Pan at jpan at csd.abdn.ac.uk
Two-year research fellowship in Approximation Algorithms,
Melbourne is consistently assessed as one of the top few cities in the world by the Economist Intelligence Unit.
We are offering a two-year research fellowship for the design and analysis of approximation algorithms for clustering at the University of Melbourne. The position is in the Department of Computer Science and Software Engineering, supervised by Dr Anthony Wirth.
Applications must be received before September 1, 2006. A full position description, including instructions for applying, is available at http://www.hr.unimelb.edu.au/pds/G0007327.pdf. For more information, you can also contact Dr Anthony Wirth at awirth at csse.unimelb.edu.au.
PhD student position in Computer Science, Informatics Institute, UvA
The PRG (http://www.science.uva.nl/research/prog/) is part of the Computing, System Architecture and Programming Laboratory. Guided by prof.dr. Jan Bergstra it is responsible for education and research in the area of programming methods and supporting software tools.
Recently NWO has approved the new research project `Thread Algebra for Strategic Interleaving' for which we are looking for a PhD candidate.
For more information, see http://www.science.uva.nl/~inge/ta4si040806.txt and http://www.science.uva.nl/~mbz/Projects/TASI/tasi.html
PhD Student Position in Logic and Cognitive Science
A newly established research group headed by Hannes Leitgeb at the Department of Philosophy, University of Bristol (UK), has an open position for a PhD student, starting in October 2006. The group, which will be part of an international EUROCORES Collaborative Research Project on Metacognition, will be dealing with: Logical Constraints on Conditionals and Introspection in Systems of Belief Revision and Non-Monotonic Reasoning. The group will be able to fund three years of tuition fees and maintenance.
Three postdoctoral positions, Database Group, Edinburgh
The Database Group at the University of Edinburgh, led by Peter Buneman, Wenfei Fan and Leonid Libkin, is recruiting post-doctoral researchers in connection with a recently-funded grant in data exchange and data integration, an established grant researching XML/database security, and the UK Digital Curation Centre, which also sponsors new areas of database research.
While the positions are primarily open to database researchers with a promising publication record, all applicants with a strong background in computer science will be considered. Skills in theory, algorithms and systems building are particularly valuable.
Applications must be received before August 11, 2006. For more information, see http://www.jobs.ed.ac.uk/vacancies/
PhD student positions and postdoctoral positions
"Methods for Discrete Structures", Berlin (Germany)
A newly established Research Training Group (Graduiertenkolleg) funded by the German Science Foundation (DFG) at the three Berlin Universities, named "Methods for Discrete Structures", will start at October 1, 2006. The scientific program treats combinatorics and discrete mathematics broadly, with an emphasis on methods. The MDS program now offers scholarships for Ph.D. students and one post-doc.
Applications must be received before September 15, 2006. For more information, see http://www.math.tu-berlin.de/MDS/.
PhD student position / postdoc position
in "Foundations of Computer and Network Security Group", ETH Zuerich
The research group headed by Ralf Kuesters at the Swiss Federal Institute of Technology, Zurich (ETH Zurich) has an open position for a PhD student/Postdoc.
The research of our group currently focuses on various aspects of cryptographic protocols, including rigorous definitions of security requirements, modular design, and semi- and fully automatic analysis. We study these aspects both from a formal/logical and a cryptographic point of view.
For more information, see http://www.ti.inf.ethz.ch/people/kuesters_phd.html Or contact Ralf Kuesters at ralf.kuesters at inf.ethz.ch
2 PhD student positions in "Theory of Computing", Leeds, UK
Two 42 month EPSRC PhD studentships are available in the Theory of Computing research group at the University of Leeds, associated with the EPSRC grants EP/D00232X/1: Amorphous computation, random graphs and complex biological networks and EP/D040191/1: cliquewidth supervised respectively by Prof. M.E. Dyer and Dr H. Muller
We would like the studentships to start 1 October 2006 although another start date is possible by mutual agreement. For more information, see here or http://www.engineering.leeds.ac.uk/comp/research/, or contact Prof. Dyer or Dr. Muller at dyer at comp.leeds.ac.uk or hm at comp.leeds.ac.uk.
Post Doctor in Mathematics at the University of Oslo
The position is vacant from January 1. 2007 and the duration is for 3 years. The position is associated with the project Computability and Complexity in Type Theory lead by Dag Normann and funded by the Norwegian Research Council.
Deadline: October. 1. 2006. For more information, see http://www.admin.uio.no/opa/ledige-stillinger/2006/vit/
PhD position in logic, University of Leicester
A PhD position in the area of Logic and Theoretical Computer Science is available at the Department of Computer Science, University of Leicester, with a planned start date of September 2006.
The successful student will join the ongoing work of Alexander Kurz and Nick Bezhanishvili on the ESPRC-funded project "Coalgebras, Modal Logic, Stone Duality". The project is related to other ongoing research at the Department. There are direct connections with the research of Dirk Pattinson on coalgebras and modal logic, and subjects which underpin the planned research are in common with those of Roy Crole (categorical logic, type theory, semantics of programming languages), Vincent Schmitt (category theory), and Fer-Jan de Vries (term rewriting).
There will be close collaboration with the logic groups at the University of Amsterdam (in particular, cooperation within the VICI-project directed by Yde Venema at the Institute for Logic, Language and Computation) and at University of Oxford (Hilary Priestley, Alexandru Baltag).
PhD position in algorithms, Bristol University
A PhD research studentship funded by the EPSRC is available in the area of Algorithm Design at the Department of Computer Science, Bristol University, UK. The student will join the new Algorithms Group at Bristol University and will be supervised by Dr. Raphael Clifford. There is wide scope for flexibility but possible topics include provably fast algorithms for geometric pattern matching, string algorithms and Music Information Retrieval (MIR).
Three PhD studentships in Philosophy, Groningen
The Faculty of Philosophy at the University of Groningen, the Netherlands, invites candidates to apply for three PhD studentships. The first studentship is in History of Philosophy, the second studentship in History of Philosophy, Practical Philosophy or Theoretical Philosophy, and the third studentship is in the research project "Modelling Freedom".
Deadline for applications is September 1st, 2006 for the first and second studentships, and October 1st, 2006 for the third (extended deadline). For the full text of this announcement, see http://www.rug.nl/filosofie/vacatures/3phdstudents. For more information concerning the first and the second studentships, please contact Prof.dr. R. W. Boomkens (00315036366152), e-mail: r.w.boomkens at rug.nl. For more information concerning the third studentship, please contact Prof.dr. M. van Hees (0031503636165/6161), e-mail: Martin.van.Hees at rug.nl.
1 year visiting assistant professorship in philosophy (logic),
University of Rochester (New York State)
One-year visiting assistant professorship, beginning July 1, 2006 (classes start September 5th). AOS: open. AOC: epistemology, logic, philosophy of science, or a related subfield of analytical philosophy. Ability to teach a course in critical thinking and a course in metalogic, inductive logic, or philosophical logic is highly desirable. Undergraduate and graduate teaching, two courses/semester, with minimal advising and administrative duties. Competitive salary and benefits.
Dossiers (including a CV, at least three letters of recommendation, and a writing sample) should be sent to: Search Committee, Department of Philosophy, Box 270078, University of Rochester, Rochester, NY 14627-0078.
Applications will be reviewed as they are received until the position is filled.
Lectureship (permanent) in Philosophical Logic, Utrecht
The research group Theoretical Philosophy seeks a Lecturer (Universitair Docent) in Logic for 1,0 fte. The lecturer will work in the programme Logic, Meaning & Cognition with a focus on Philosophical Logic or Foundations of Computer Science/Applied Logic. Teaching responsibilities (60% of the appointment) include bachelor~s and master~s courses in Philosophy and Cognitive Artificial Intelligence on all levels as well as thesis supervision. Candidates should have some evidence of outstanding teaching ability. This is a permanent position, conditional upon successful performance during an initial one-year probationary period.
Deadline application: August 14th 2006. Interviews are planned for the first weeks of September. For more information, see http://www.uu.nl/uupublish/homeuu/homeenglish/working/vacancies/25678main.html or the research programme webpage at http://www.phil.uu.nl/onderzoek/theoretical.shtml. Or contact Albert Visser at Albert.Visser at phil.uu.nl.
3-year Postdoc position in computer science, Nijmegen (The Netherlands)
The ARPA (Advancing the Real use of Proof Assistants) project is seeking one researcher at the level of Postdoc for a period of three years, starting from September 1 2006. Candidates should have a finished PhD in computer science, mathematics or logic, and good knowledge of at least one and preferably more of the following fields: Hybrid Systems, Formal Methods, Proof Assistants and Automated Reasoning.
Applications must be received before June 25, 2006. For more information, see here or contact Herman Geuvers at herman at cs.ru.nl For more information on the ARPA project, see http://www.cs.ru.nl/~herman/arpa.html.
27-month postdoc position in graph algorithms, Bergen (Norway)
The Algorithms Research Group at the University of Bergen is looking for an excellent researcher in Graph Algorithms to fill a 2 year 3 months postdoctoral position at the University of Bergen in Norway. The position is financed by the Research Council of Norway (NFR) through the project Minimal Separators and Triangulations in Graphs - Algorithms and Applications. The project conducts basic research in graph algorithms, with an emphasis on algorithms for minimal separators and triangulations of graphs, related graph classes, and the study of various graph parameters like tree-width.
PhD student position in Proof Theory/Lambda Calculus, Universite de Savoie, France
The logic team of the maths lab of the Savoy University has a phd fellowship to offer. The topic will be logic, proof theory and/or lambda calculus which is one of the two themes of our logic team. The exact subject will be discussed with the candidate.
This fellowship has no age limit (which is not the case for usual French fellowship), but the candidate must not have started a phd before. The work could start the 1st of October or a few month later if necessary. Applicants should sent a CV to Cristophe Raffali (email: Christophe.Raffalli at univ-savoie.fr, homepage: http://www.lama.univ-savoie.fr/~RAFFALLI/).
PhD Student Positions in Computer Science ('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 usual 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 are available immediately. For more information, see http://www.macs.hw.ac.uk/~jbw/phd-student-ad.html. Note that after the original announcement, more positions have become available and the list of possible research topics has been increased.
PhD student position and postdoc position in the CREDO project
at CWI, Amsterdam
The theme SEN3 Coordination Languages at CWI (http://www.cwi.nl/) has 1 PhD position for four years and 1 postdoc position for three years.
Both positions are within the IST-33826 research CREDO project "Modeling and analysis of evolutionary structures for distributed services", recently funded by the European Union. This project starts September 1, 2006, and lasts for three years. The objective of this project is the development and application of an integrated suite of tools for compositional modelling, testing, and validation of software for evolving networks of dynamically reconfigurable components.
PhD student position in formal verification, VU Amsterdam
The Theoretical Computer Science Group at the Vrije Universiteit (VU) in Amsterdam seeks a PhD student for four years on a research project devoted to "Formal Verification of Epidemic Protocols and Distributed Verification Methods". The aim of the project is to develop techniques and tools for distributed verification, and to apply formal verification techniques in the design and analysis of epidemic protocols. Starting date of this PhD position: as soon as possible.
For more detailed information on the project, see http://www.cs.vu.nl/~wanf/epidis.txt. Applications must be received before 29 June 2006. For more information, see here or contact Prof. dr. Wan Fokkink at wanf at cs.vu.nl
Associate Professorship (Forsteamanuensis) in Logic and
Natural Languages, Oslo (Norway)
At the Department of Informatics, Faculty of Mathematics and Natural Sciences, University of Oslo, a position as associate professor (3 year's engagement) is open. The position is connected to the Research Group for Logic and natural languages.
Postdoc on "Game-Theoretical Aspects of Large Data and
Communication Networks", Hamilton ON (Canada)
The School of Computational Engineering & Science of McMaster University is looking for post-doctoral candidates with expertise in Theoretical Computer Science, and in particular in the study of game-theoretical aspects of data and communication networks. The successful candidate will be expected to work in the frame of a MITACS founded project. The duration of the position is one year.
Postdoctoral Researcher in Computer Science (M/F)
The researcher will participate in research in the areas "logic for knowledge representation" or "logic for multi-agent systems", at the Interdisciplinary Lab for intelligent and Adaptive Systems (ILIAS)within the CSC. The ILIAS team performs pure and applied research in artificial intelligence, and the vacant position is created in the context of the new research axe on knowledge representation and multi-agent systems,led by Leon van der Torre and Emil Weydert. The contract is for 3 years and 40 hours/week.
Postdoc position in Computer Science ("Logic for Knowledge
The Computer Science and Communication Research (CSC) research unit, which belongs to the Faculty of Science, Technology and Communication of the University of Luxembourg, is looking for a Postdoctoral Researcher in Computer Science (m/f) for a 3-year contract at 40 hours/week.
The researcher will participate in research in the areas "logic for knowledge representation" or "logic for multi-agent systems", at the Interdisciplinary Lab for Intelligent and Adaptive Systems (ILIAS) within the CSC. The ILIAS team performs pure and applied research in artificial intelligence, and the vacant position is created in the context of the new research axe on knowledge representation and multi-agent systems, led by Leon van der Torre and Emil Weydert.
Assistant Professorship in Computer Science, National Sun
Yat-sen University, Taiwan
Department of Computer Science and Engineering at National Sun Yat-sen University invites applications for tenure-track positions from February 2007. Applicants in all areas of computer science and engineering are sought.
Applicants for assistant professorship must demonstrate strong research potential, in addition to good teaching ability. Applicants for associate professorship and professorship must have an exceptional record of research achievement. All successful candidates are expected to conduct research projects and to teach for the department as well. The department offers BS, MS and Ph. D. degrees in Computer Science and Engineering. The official language of teaching is Chinese, and English teaching is encouraged by the school.
Applications must be received before September 1, 2006. For more information, see http://www.cse.nsysu.edu.tw/bulletin/news/20060509_e.htm.
Assistant Professorship in 'Theoretical Computer Science: Analysis of Algorithms', Athens, Greek
The Department of Informatics at Athens University of Economics and Business a new faculty position in the area of "Theoretical Computer Science: Analysis of Algorithms" at the Assistant Professor or Lecturer level. Fluency in Greek is a requirement for the position.
Details: http://www.cs.aueb.gr/english/news/career/bulletin18/bulletin18.shtml. The official announcements will be made in the official newspaper of the Greek government, where the deadlines for submission of applications and application material will be announced.
PhD student grants in the humanities / social sciences, Marburg, Germany
The Promotionskolleg Geistes- und Sozialwissenschaften at Philipps-Universitaet Marburg has six PhD student grants for projects in the humanities or social sciences. Grant is for three years, EUR 1000 per month plus an expense budget of EUR 103 per month. Applicants must have above average MA or MSc degree in the humanities or social sciences and may not be older than 28.
For more information, see http://www.uni-marburg.de/forschung/wissenschaftlichernachwuchs/.
PhD position at TU Dresden
Applications should consist of a CV, one letter of recommendation and a PhD thesis project proposal (about three pages), and should be received before June 15, 2006.
For more information, contact Prof Dr Heinrich Wansing
Institut für Philosophie
2 postdoctoral positions in linguistics, Bolzano, Italy
The Centre for Language Studies at the Free University of Bozen - Bolzano has an opening for two Postdoctoral Positions in Linguistics (Romance languages, German language, general linguistics), either permanent of temporary.
- PhD in a linguistic research area (synchronous)
- specialized knowledge in multilingualism or language acquisition
- experience in interdisciplinary research
- fluent in at least two out of Italian, English, German
The position includes teaching duties.
Please send the usual documents (complete CV, publication list, list of current research projects, list of teaching activities) before the deadline of 27.05.2006 to:
Freie Universitaet Bozen
Frau Helene Schwarz
Dantestrasse 9 - Postfach 2 76
+39 0471 012453
Email: language.studies at unibz.it
Assistant Professor in Natural Language Processing, University of St Andrews
To support a research-led expansion of Computer Science at St Andrews, UK, we are looking for a permanent lecturer/assistant professor in Natural Language Processing.
Candidates should have a PhD in Computer Science or Computational Linguistics and demonstrate exceptional research commitment and teaching ability. Candidates with a background in Statistical Natural Language Processing and/or Data-Oriented Parsing are especially encouraged to apply. Possible areas of expertise include, but are not limited to, unsupervised language induction, machine learning of language, spoken language understanding, discourse processing and machine translation. Closing date is 23 May 2006
Further details: http://www.dcs.st-and.ac.uk/news/vacancies/2006-0406.php, or contact Rens Bod (http://www.dcs.st-and.ac.uk/~rb/).
2 PhD Positions in Data-Oriented Parsing, University of St Andrews
We are looking for enthusiastic PhD students who can demonstrate outstanding research potential in statistical natural language processing and data-oriented parsing. Candidates are expected to carry out research in an area related to data-oriented parsing and its applications (language learning, machine translation, speech understanding, dialogue processing), computational musical analysis, or exemplar-based reasoning.
For informal inquiries, please contact Rens Bod. Or you can directly send a cv and two names of referees to rb at dcs.st-and.ac.uk by 15 June 2006.
For more information, see http://cogsys.dcs.st-and.ac.uk/.
2 PhD Student Positions in Multi-agent Systems and Coordination
The Intelligent Systems Group at Utrecht University and the theme SEN3 Coordination Languages at CWI have two positions for PhD students for four years. One PhD student will be employed by the Utrecht University and one by CWI. Both positions are within the research project "Coordination and Composition in Multi-Agent Systems (CoCoMAS)".
PhD position in Mathematics (Computability), Swansea (Wales)
There will be a 3 year EPSRC research studentship in Mathematics at Swansea, in the project "Computability and its applications to mathematics and physics", The project is concerned with the computability of mathematical structures such as functional analysis and differential geometry, and their applications to the computability of mathematical models of physical systems (e.g. Hamiltonian or Newtonian mechanics). Furthermore, the project will investigate physical foundations for computability theories.
We would like the studentship to start on or before July 2006. For more information, see here or the project page at http://www-maths.swan.ac.uk/staff/ejb/computability.html Or contact Dr. E.J.Beggs at E.J.Beggs at swansea.ac.uk
Instructorship (1 year + extension) in philosophy, logic
teaching, Valparaiso University, Indiana (US)
Visiting Asst. Prof. or Instructor for 2006-2007 with possibility of renewal. 4-3 teaching load of 3-4 yearly preps with usual non-teaching duties. AOS/AOC Open. Must be able to teach formal logic and early modern philosophy; some interest in social philosophy. Candidates must be thoughtful about the role of philosophy in a scholarly community committed to Christian higher education in the Lutheran tradition.
Review begins immediately and will continue until the position is filled. For more information, see here.
Postdoctoral position in Theoretical Computer Science,
University of Chile
A postdoctoral fellowship in Discrete Mathematics or Theoretical Computer Science will be available at the University of Chile (Santiago) starting in July, 2006, 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.
PhD positions in Computer Science, Gothenburg, Sweden
New PhD Positions are available at the Division of Computing Science, Chalmers University of Technology & Göteborg University, Gothenburg, Sweden
Applicants must have a very good undergraduate degree in Computing Science or in a related subject with a strong Computing Science component. They must also have a strong, documented interest in doing research.
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. Applicants with specific interests in combinations of computer security with programming languages, fault tolerance, or formal methods are particularly encouraged to apply. Knowledge of Swedish is not a prerequisite for application.
Applications must be received before March 31, 2006. For more information, see http://chalmersnyheter.chalmers.se/chalmers03/svensk/ or contact Philippas Tsigas at tsigas at cs.chalmers.se
PhD position on the semantics of multi-threaded flow of control, University of Amsterdam
The Programming Research Group (Informatics Institute, University of Amsterdam), guided by prof.dr. Jan Bergstra, is responsible for education and research in the area of programming methods and supporting software tools. Recently NWO has approved the new research project `Thread Algebra for Strategic Interleaving' for which the PRG are looking for a PhD candidate.
Candidates should have a Masters degree in Computer Science or Mathematics (or comparable qualification) and have an interest in the field of formal methods. Appointment will be for a period of four years. Salary starts at € 1877 gross per month in the first year and increases to € 2407 gross per month in the fourth year.
Senior Research Assistant, University of Wales, Swansea
Within my EPSRC funded research project " Abstract Measures of Low-Level Computational Complexity" I am seeking to fill the position of a Senior Research Assistent / Research Officer for the fixed term starting 1-9-2006 until 31-12-2008 (28 month).
Further information on this post including information on how to apply can be found on the projects website at http://www.cs.swan.ac.uk/~csarnold/amllcc/. Please note that the closing date for applications for this post is on 31 March 2006 Informal enquiries are welcome and should be directed to me at a.beckmann at swansea.ac.uk.
PhD student and postdoctoral positions in Automated Reasoning or Semantic Web Services, Karlsruhe, Germany
The Knowledge Management research group at the Institute for Applied Informatics and Formal Description Methods (AIFB, http://www.aifb.uni-karlsruhe.de/WBS) at the University of Karlsruhe (TH), Germany, is an interdisciplinary team of computer scientists, mathematicians, and industrial engineers and one of the world leading institutes in the area of the Semantic Web.
We are offering two research positions, for PhD students or postdoctoral researchers, on initial contract for two years, with the possibility of extending the contract. One position is for research in topics of automated reasoning, focused on further development of the reasoner KAON2 (http://kaon2.semanticweb.org/). Application deadline is April 7th, 2006.
The other position (PhD student only; good knowledge of German required) is for participation in our semantic Web services research area. Application deadline: March 17th, 2006. Late applications may be considered.
For more information, see here or http://www.aifb.uni-karlsruhe.de/Stellenmarkt/english
Lectureship (3+1 years) in Theoretical Computer Science, ETH Zurich
The Department of Computer Science of the ETH Zurich invites applications for a Lectureship in Computer Science (Theoretical Computer Science). Duties include research and teaching in Theoretical Computer Science and its applications. A moderate teaching load leaves ample room for further professional development. Courses at the Master level may be taught in English. The initial appointment will be for three years, with the possibility of an extension by 1 year.
Assistant Professorship in Semantics, Potsdam, Germany
The Linguistics Department of the University of Potsdam invites applications for the position of a 'junior professor' (roughly equivalent to an assistant professor) in the field of semantics. The position has been created in order to strengthen the contribution of semantics to the Sonderforschungsbereich (Collaborative Research Center) 632 focusing on information structure (http://www.ling.uni-potsdam.de/sfb). Applicants therefore should not only have a strong background in formal semantics, they must also be willing to actively cooperate with the SFB 632, both in the form of an individual research project and in a contribution to the joint research enterprise.
Applicants must have a PhD, they are expected to have published in the field of information structure and semantics. The University of Potsdam encourages the application of women. Deadline for application is April 6th, 2006.
For application details, see the official advertisement, which can be found soon under http://uni-potsdam.de/verwaltung/dezernat3/stellen/index.html .
Post-doc positions for young foreign researchersLocation: The Institute of History and Philosophy of Science and Technics (IHPST), Paris
The Institute of History and Philosophy of Science and Technics is willing to host young specialists of its domain. Through this programme, young philosophers of science can come to work at IHPST for a year (the stay is supposed to start between 1st September 2006 and 1st January 2007). Deadline of application is March 10, 2006.
For more information, see http://www.recherche.gouv.fr/appel/2006/acpostdoc.htm
Postdoctoral Fellowship in "Interdisciplinary Applications
of CS", 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 12-month post-docs positions starting from October 2006. We are looking for candidates with a record of excellence in CS, or in any interdisciplinary area of CS. A host collaborator in the CS department or in the University is a strong advantage. There are no teaching duties - just research. Knowledge of Hebrew is not necessary.
Applications must be received before 15 March 2006. For more information, see http://www.cri.haifa.ac.il/call_post.htm
Postdoc position in semantics and cognition, Paris, France
The CNRS offers a post-doc position in semantics and cognition, at the Institut Jean Nicod, Paris, France (http://www.institutnicod.org/). The post-doc starts in October 2006 and lasts two years.
The candidate should have expertise in formal semantics, formal pragmatics, and/or experimental pragmatics, and should be able to integrate his or her research in the more general framework of cognitive science and philosophy of language. Candidates must submit a project (including some of the following: CV, research project, letters of recommandation, PhD, publications) directly to Pierre Jacob (email@example.com), the director of Institut Jean Nicod.
More information (in French / English) can be found at http://www.k-projects.com/cnrs_postdocs/public/(and a more general presentation of the post-doctoral positions offered by CNRS is at http://www.sg.cnrs.fr/drhchercheurs/Post_doc_2006/presentation.htm ).
Tenure-Track Research Position on Algorithmic Game Theory at
CWI (Centrum voor Wiskunde en Informatica) invites applications for a research position on Algorithmic Game Theory, within the research theme PNA1 'Algorithms, Combinatorics and Optimization' of the CWI Department 'Probability, Networks and Algorithms'. The vacancy concerns a tenure-track position, with an initial appointment for three years. Depending on the candidate's experience, different terms of appointment can be discussed.
PhD student position in Durham for project "Exact algorithms for NP-hard problems"
Applications are invited for a PhD student to work on a project entitled "Exact algorithms for NP-hard problems" in the Department of Computer Science at Durham University. Prospective candidates will have a good honours (or equivalent) degree in Computer Science or Mathematics. The successful applicant should have a solid background in algorithms and complexity. This EPSRC funded studentship provides a living allowance at the standard EPSRC rate (12,000 pounds/year) and tuition fees at the UK/EU student rate.
Applications must be sent before 1 April 2006 to Daniel Paulusma, Computer Science Department, Durham University, South Road, Durham, DH1 3LE. For more information, see http://www.dur.ac.uk/daniel.paulusma/projectexact.pdf or contact Daniel Paulusma at daniel.paulusma at durham.ac.uk
Postdoc and PhD student positions, Aarhus (Denmark)
Several positions, under the supervision of Professor Lars Arge (http://www.daimi.au.dk/~large/), are available at the Department of Computer Science, University of Aarhus, Denmark, in the project entitled "Efficient Handling of Massive Heterogeneous Terrain Data" funded by the Danish Strategic Research Council.
A postdoctoral position at the level of Research Assistant Professor of Computer Science is available starting September 2006 or later. Initially, the position is for one year, but it can be extended for an additional year by mutual consent. Several PhD student positions are also available, starting August 2006 or later.
To be assured of full consideration, applications must arrive by March 1, 2006. For more information, see here or http://www.daimi.au.dk/?site=openpositions Or contact Professor Arge at large at brics.dk
W2/W3 Professorship in Theoretical Computer Science, Jena
A position as professor (W2/W3) is available for Theoretical Computer Science. An internationally renowned researcher in the field of theoretical computer science is being sought. Fields of research for the qualified candidate should be in the areas of algorithms and data structures, logic and languages, learning theory, or the modeling of discrete systems.
IBM Summer Internship in Algorithms
The Algorithms and Theory group in the Mathematical Sciences Department at IBM Watson Research will have one or two summer intern positions available this summer for doctoral students with interests in analysis of algorithms, including but not limited to approximation algorithms, randomized algorithms, online algorithms, probabalistic analysis, game theory, optimization, scheduling, and networks.
PhD Scholarship in Logic: Wellington, New Zealand
A scholarship is available for a PhD student to work on a project entitled "Semantic analysis of substructural logics" supported by a grant from the Marsden Fund. The aim is to use a new semantic interpretation that we have developed for quantifiers in relevant logic to help us model and understand various logical systems, including other substructural and intentional logics like linear logic, BCK logic, intuitionistic logic, modal and temporal logics. There are both mathematical and philosophical components to this project, ranging from the mathematical analysis and representation of algebraic models to the philosophical interpretation and justification of our semantics. The PhD student will be expected to work on at least one of these components, and will have the opportunity to develop their own proposals for research directions, as well as working on assigned topics.
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 ILLC Guest: Drs. Patrick Girard
Patrick Girard is a PhD student from Stanford, USA. Patrick is invited by Johan van Benthem (his supervisor), to continue his PhD here at ILLC , starting September 4, 2006 until April 1, 2007.
Email: pgirard at science.uva.nl
New ILLC Guest: Sujata Ghosh
Sujata Ghosh, who was our guest in June, will fill the position of the NWO Rubicon Grant, starting August 1 2006 until August 1, 2007.
Email: sujata at science.uva.nl (changed)
New ILLC Guest: Dr. Eric Pacuit
Eric Pacuit, who has been teaching at ILLC during the last year, will stay at the institute as a guest with an international research fellowship from the NSF, starting 1 September 2006 until 1 September 2007.
Email: epacuit at science.uva.nl
ILLC "Asia Link" Guests
In connection with the "Asia Link" ILLC will accommodate 3 guests this fall:
- Dr. Krishna Shankara Narayanan (September 1 - September 4)
- Prof. dr. Mihir Chakraborty from (September 9 - September 14)
- Dr. Ravishankar Sarma (Oktober 3 - December 31)
Appointment of professor Jouko Väänänen
The ILLC is pleased to announce the appointment of Professor Jouko Väänänen, starting 1 September 2006, as a full professor in Mathematical Logic and the Foundations of Mathematics. This chair has been held before him by professors Brouwer, Heyting, Troelstra, and De Jongh.
Professor Väänänen is an international expert in model theory and set theory, and the founder of the distinguished Helsinki School in generalized quantifier logics and abstract model theory. His interests and influence also extend into computer science (data base theory) and natural language (game-theoretic semantics). A central theme in Professor Väänänen's current research are logical games, which fit right at the heart of ILLC's research activities. But he will also be a visible member of our community in many other respects, as will become clear in the months to come.
Professor Jouko Väänänen will come to work in Amsterdam halftime from September 1st until December 31st, and fulltime from January 1st onwards.
New ILLC Colleague Sujata Ghosh
As of today, May 29, dr. Sujata Ghosh from Visva-Bharati University, India, will be our guest till the end of June. After that period, she will work one year as a postdoc researcher at the ILLC, starting at August 1. Her stay is funded by NWO; she received a Rubicon grant. Her office is in room P3.26.
E-mail : sgosh at science.uva.nl Phone: (020-525)6095
For more information, please contact jpogorze at science.uva.nl
New ILLC colleague Mark van der Zwaag
As of today, April 24, Mark van der Zwaag will be working at the ILLC at the NWO Hefboom project, as the successor of Astrid Kramer. Mark will work both for the Informatics Institute and the ILLC. His work for the ILLC will mainly concentrate on internationalization.
Usually he will be at the ILLC on Mondays. His office is in room P3.15 (Euclides); e-mail address: mbz at science.uva.nl; phone (525)6519
New PhD student and postdoc at ILLC: Marijn Koolen and Avi Arampatzis
In the NWO project MuSeUM of Jaap Kamps we welcome one postdoc and one PhD student as of April 1. The two of them will divide their time between The Hague (Gemeentemuseum) and Amsterdam (Leerstoelgroep Archief en Informatiewetenschap).
PhD student: Marijn Koolen (Netherlands)
E-mail: marijn.koolen at gmail.com
Phone: 525 2295
Room: 1.03, Turfdraagsterpad 9
postdoc: Avi Arampatzis (Greece/Netherlands)
E-mail: avgerino at sc.uu.nl
Phone: 525 2295
Room: 1.03, Turfdraagsterpad 9
New ILLC members
We are happy to welcome the following new ILLC-members in February and March:
Prof. dr. Krister Segerberg, visiting professor at the Beth Chair during this semester.
Room: 3.22 (PLM 24)
E-mail: krister at science.uva.nl
And four PhD Students at the GloriClass project of Benedikt Loewe:
Karol Oslowski (Poland), starting February 1
Room: 1.20 (PLM 24)
Tel.: to be announced
E-mail: kosl at science.uva.nl
Supervisor: Johan van Benthem
Jakub Szymanik (Poland), starting February 1
Room: 1.21 (PLM 24)
E-mail: szymanik at science.uva.nl
Supervisor : Paul Dekker
Andreas Witzel (Germany), starting February 1
Room: 1.21 (PLM 24)
E-mail: awitzel at science.uva.nl
Supervisor: Krzysztof Apt
Daisuke Ikegami (Japan), starting March 1
Room: 1.20 (PLM 24)
Tel. to be annnounced
E-mail: to be announced
Supervisor: Benedikt Loewe
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.
ASL Newsletter September 2006 available
The September 2006 issue of the Newsletter of the Association of Symbolic Logic is out. It is available online from the ASL website at http://www.aslonline.org/info-newsletter.html.
Martin Löb (1921-2006)
On Monday August 28th 2006, our esteemed former colleague Professor Martin Löb, holder of the chair of Mathematical Logic from 1971 to 1985 at the University of Amsterdam, passed away in Annen (Drente).
Obituary by several ILLC members (Sep 12th, 2006)
Employee Self Service
While the Employee Self Service is intended to be used on a Windows computer in combination with Internet Explorer 6.0, it is still possible for Linux and Mac OSX users to submit declarations. Whilst not officially supported, the interface works on Windows 2000/XP, MacOSX>=10.2 or Linux using Firefox 1.0.7 (not Firefox 1.5) or Mozilla 1.7.
Alternatively, Linux and MacOSX users can run Internet Explorer 6.0 using the Crossover and Citrix servers, respectively. See also