News Archives 2009
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
No Open Positions at ILLC
Headlines Open Positions, General
Headlines Past appointments
Headlines Former Regular Events
18 December 2009, Computational Social Choice Seminar, Dries VermeulenSpeaker: Dries VermeulenTitle: On The Fastest Vickrey AlgorithmLocation: Room A1.06 (<em>changed</em>), Science Park 904, Amsterdam
16-18 December 2009, 17th Amsterdam Colloquium, Amsterdam, The NetherlandsLocation: Amsterdam, The NetherlandsDeadline: 1 September 2009
The Seventeenth Amsterdam Colloquium will be held December 16 - 18 2009 at the University of Amsterdam. The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The spectrum of topics covered ranges from descriptive (syntactic and semantic analyses of all kinds of expressions) to theoretical (logical and computational properties of semantic theories, philosophical foundations, evolution and learning of language).
Details about the symposium, and about the submission of abstracts, can be found at: http://www.illc.uva.nl/AC2009/
15 December 2009, "The End of Infinity", SymposiumLocation: Room A.02.06, VU Hoofdgebouw, De Boelelaan 1105, Amsterdam, The Netherlands
The one-day symposium The End of Infinity marks the end of the NWO-FOCUS/BRICKS sponsored research project Infinity, concerned with infinite objects, computation, modeling, and reasoning. In several talks participants of the Infinity project will report on the results that have been obtained in the project, new insights and challenges for ongoing research. There will be invited talks by Larry Moss and Hans Zantema.
For more information, see http://infinity.few.vu.nl/infinity/index.php/The_End_of_Infinity
14 December 2009, De Stelling van..., Johan van BenthemSpeaker: Johan van BenthemTitle: Het academisch debat bestaat nietLocation: Spui 25-27, 1012 WX , Amsterdam
[In Dutch only]
Een reeks gepresenteerd door universiteitshoogleraren van de UvA. In samenwerking met bureau Communicatie.
De stelling van dr. Johan van Benthem luidt: ‘Het academisch debat bestaat niet.'
In het zelfbeeld van veel academici is een levendig publiek debat de bron van de wetenschappelijke vooruitgang, want 'bij de botsing der meningen vonkt de waarheid'. Interessant academisch debat is aan de universiteit echter opvallend afwezig, betoogt Van Benthem.
For more information, see http://www.cms.uva.nl/spui25/programma.cfm/34917699-1321-B0BE-6801F753DACBB3E7
14 December 2009, Logic Tea, Sam van GoolSpeaker: Sam van GoolTitle: Canonical extensions, Polarities, and CounterterrorismLocation: Room A1.04, Science Park 904, Amsterdam
14-16 December 2009, Tinbergen Workshop on Cooperative Game Theory and Economics (TIGAEC)Location: Tinbergen Institute and VU University Amsterdam, The NetherlandsDeadline: 6 November 2009
On December 14-16, 2009 the Tinbergen Workshop on Cooperative Game Theory and Economics, and the Fourth Dutch-Russian Symposium will be held in Amsterdam, The Netherlands.
There is no registration fee, but because of capacity restrictions, participation into the workshop and symposium is limited to about 35 participants. For more information, see http://staff.feweb.vu.nl/mestevez/WebPage_TIGAEC/default.php
11 December 2009, New Directions in Preference RepresentationSpeaker: Francesca Rossi, Michael Wooldridge, Jérôme Lang, Cédric Dégremont, Daniele PorelloLocation: Room A1.04, Science Park 904, Amsterdam
Preferences are ubiquitous and unavoidable when dealing with interacting agents. This workshop consists of five talks by researchers in preference representation, highlighting recent work. No registration is required.
For more information, see http://staff.science.uva.nl/~juckelma/events/ndipr.
4 December 2009, Spui25, Henkjan Honing, Annemie Ploeger,
Machiel Keestra & Jaap van HeerdenSpeaker: Henkjan Honing, Annemie Ploeger,
Machiel Keestra & Jaap van HeerdenTitle: Doet muziek ertoe?Location: Spui 25-27, Amsterdam
Je zou kunnen zeggen dat muziek in evolutionair opzicht zinloos is: het stilt onze honger niet, en we leven er geen dag langer door. Muziek lijkt weinig nut te hebben, behalve misschien dat we er plezier aan beleven als we het maken of ernaar luisteren. Althans, dat was de redenering van cognitief psycholoog Steven Pinker. Pinker zette taal af tegen muziek, waarbij taal stond voor een evolutionair relevante, en muziek voor een evolutionair irrelevante menselijke eigenschap.
Klopt dat? Zijn er echt geen argumenten aan te voeren dat muziek een beslissende rol heeft gespeeld in de evolutionaire ontwikkeling van de mens? Is muziek niet eerder een 'adaptatie', een aanpassing, die bijgedragen heeft aan het overleven van de mens als groep? Of is ze toch, zoals Pinker stelt, niet meer dan een prettige bijwerking van belangrijker functies zoals spraak en taal?
Een gesprek hierover met Henkjan Honing, Annemie Ploeger en Machiel Keestra, onder leiding van Jaap van Heerden, n.a.v. het verschijnen van Iedereen is muzikaal: wat we weten over het luisteren naar muziek bij uitgeverij Nieuw Amsterdam.
Voor meer informatie, zie http://www.spui25.nl/spui25/programma.cfm/C8F6CB1B-1321-B0BE-6870D88F10191EA8.
4 December 2009, DIP Colloquium, Simon Kirby (Edinburgh)Speaker: Simon Kirby (Edinburgh)Title: Language Evolution in the Lab: from models to experiments in
evolutionary linguisticsLocation: Room 001, Philosophy Department, Vendelstraat 8, Amsterdam
3 December 2009, Computational Social Choice Seminar, Daniele PorelloSpeaker: Daniele PorelloTitle: Dimension of Voting and CoherenceLocation: Room C0.110, Science Park 904, Amsterdam
3 December 2009, PROSE Colloquium, Mohammad MousaviSpeaker: Mohammad MousaviTitle: Decompositional Reasoning About PastLocation: Room 6.96, HG (Main Building), TU Eindhoven
2 December 2009, Computational Linguistics Seminar, Stefan FrankSpeaker: Stefan FrankTitle: Investigating the roles of expectation and uncertainty in human sentence processingLocation: Room A1.04, Science Park 904, Amsterdam
30 November 2009, Logic Tea, Nina GierasimczukSpeaker: Nina GierasimczukTitle: What makes a good teacher? A computational studyLocation: Room A1.04, Science Park 904, Amsterdam
27 November 2009, Computational Social Choice Seminar, Willemien KetsSpeaker: Willemien Kets (Santa Fe)Title: Inequality and Network StructureLocation: Room B1.25, Science Park 904, Amsterdam
27 November 2009, DIP Colloquium, Kurt RanalterSpeaker: Kurt Ranalter (University of Verona)Title: Towards a computational account for an expressive conception of normsLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
25 November 2009, Computational Linguistics Seminar, Federico SangatiSpeaker: Federico SangatiTitle: An English Dependency Treebank à la TesnièreLocation: Room A.1.14, Science Park 904, Amsterdam
For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/.
20 November 2009, DIP Colloquium, Cornelia Ebert (Osnabrueck)Speaker: Cornelia Ebert (Osnabrueck)Title: Topics as Speech Acts -- An Analysis of ConditionalsLocation: Room 001, Philosophy Department, Vendelstraat 8, Amsterdam
19 November 2009, PROSE Colloquium, Jeroen Keiren (OAS)Speaker: Jeroen Keiren (OAS)Title: Bisimulation minimisations for boolean equation systemsLocation: Room 6.96, HG (Main Building), TU Eindhoven
17 November 2009, Logicomix, Apostolos DoxiadisSpeaker: Apostolos DoxiadisLocation: Room A1.10, Science Park 904, Amsterdam
Apostolos Doxiadis, one of the authors of the Logicomix (http://www.logicomix.com/en/) will show a 20 min. movie discussing the making of the comic and then have a Q&A/discussion session.
16-17 November 2009, Colloquium History of Computing (CHOC): "Programming, languages, linguistics and computability"Location: Room C0.110/A1.04, Science Park 904, Amsterdam, The Netherlands
Liesbeth de Mol (Gent), Maarten Bullynck (Paris) Janet Martin-Nielsen (Toronto) & Karel van Oudheusden (Amsterdam) will appear in the Colloquium on the History of Computing and amongst them connect such diverging historical subjects as Von Neumann, Lehmer, Chomsky and Dijkstra.
For more information, see http://www.science.uva.nl/history-of-computing/object.cfm/
13 November 2009, Computational Social Choice Seminar, Eric PacuitSpeaker: Eric Pacuit (Tilburg)Title: Levels of Knowledge and BeliefLocation: Room A1.04, Science Park 904, Amsterdam
6 November 2009, DIP Colloquium, Igor Douven (Leuven)Speaker: Igor Douven (Leuven)Title: Vagueness: A Conceptual Spaces ApproachLocation: Room 001, Philosophy Department, Vendelstraat 8, Amsterdam
6 November 2009, Semantics in the Netherlands Day VII, UvA (Bungehuis)Location: UvA (Bungehuis)Costs: freeDeadline: 8 July 2009
The Semantics in the Netherlands Day (SiN-dag) is a series of annual conferences which provide the opportunity for graduate students working on natural language semantics in the Netherlands to present the results of their current research. This year SiN-dag (SiN VII) will take place on Friday, 6 November, at the University of Amsterdam, being hosted by the Amsterdam Center for Language and Communication (ACLC). It will be an all-day event including coffee breaks, lunch and drinks afterwards.
If you would like to attend (parts of) the SiN VII please register before 30 October by sending an e-mail to the organisers (J.Sweep at uva.nl & M.O.vanSchaik-Radulescu at uva.nl). Registration is free. For more information, see http://www.hum.uva.nl/sin7.
3 November 2009, Seminar on the Philosophy of Mathematics, Peter Hacker & Peter KoepkeSpeaker: Peter Hacker (Oxford) & Peter Koepke (Bonn)Location: Belle van Zuylenzaal, Academiegebouw, Utrecht
On the ocasion of the visits of two eminent speakers, Peter Hacker from Oxford and Peter Koepke from Bonn, we are organising a special session of the seminar.
All interested are cordially invited to attend. Summaries of the lectures can be found at here.
2 November 2009, Logic Tea, Antonio Montalban (University of Chicago)Speaker: Antonio Montalban (University of Chicago)Title: The boundary of Determinacy in Second Order Arithmetic.Location: Room A1.04, Science Park 904, Amsterdam
2 November 2009, A Day of Indian LogicSpeaker: Nicolas Clerbout, Marie-Hélène Gorisse, Laurent Keiff, Peter van Ormondt, Sara L. UckelmanLocation: Room A1.10, Science Park 904, Amsterdam
A 1-day workshop on Indian logic, bringing together researches from Lille and Amsterdam in the working group DDAHL (Dynamic and Dialogical Approaches to Historical Logic.
For more information, see http://www.illc.uva.nl/medlogic/DDAHL/nov2.html
2 November 2009, NWO Symposium "Fads and Fallacies in the name of Cognitive Science"Location: De Driehoek, Willemsplantsoen 1c, Utrecht
The NWO programme committee for Cognition organizes both an internet discussion and an afternoon symposium on " FADS AND FALLACIES in the name of COGNITIVE SCIENCE"
The symposium is organized to discuss exaggerated and conceptually confused claims concerning results of Cognitive Science and Neuroscience. This discussion was initiated by Prof. Pieter Adriaans in a letter. Both the internet discussion and the afternoon symposium are intended as a partial fulfillment of Pieter's request for more attention to these methodological and conceptual issues. Keynote speakers are Prof. Ruth Millikan (University of Connecticut) and Dr. Peter Hacker (St Johns College Oxford). The symposium will be chaired by Prof. dr. Herman Philipse.
30 October 2009, Computational Social Choice Seminar, Speaker: Krzysztof Apt (CWI & ILLC)Speaker: Speaker: Krzysztof Apt (CWI & ILLC)Title: Sequential Mechanism DesignLocation: Location: A1.04, Science Park 904, Amsterdam
30 October 2009, Theoretical Computer Science Amsterdam (TCSA) DayLocation: Vrije Universiteit, room A301 in the Faculty of MEDICINE (!), Amsterdam
On this TCSA-day, organised by UvA, VU en CWI, theoretical computer scientists from the Amsterdam region can meet to learn about each others' work. The programme consists of talks by researchers from CWI, UvA, and VU. There is no need to register. Tea and coffee is offered; lunch is not organised.
For more information, see http://www.cs.vu.nl/en/news-agenda/agenda/2009/TCSA_index.asp
29 October 2009, Logic and Cognition Seminar, Alistair IsaacSpeaker: Alistair IsaacTitle: Modeling Abduction in Perception and ScienceLocation: Room A.106, Science Park 904, Amsterdam
Peirce first identified abduction as a type of inference distinct from induction and deduction. He claimed that abduction permeates every aspect of human thought, from low-level perception to scientific theory choice. In contemporary philosophy, abduction is frequently considered only in the latter capacity, as a form of high-level scientific reasoning. In A.I., abduction is closely associated with the frame problem, the problem of how to determine relevance. Again, however, philosophers tend to identify this as a problem only for high-level reasoning. Fodor, for example, argues that low-level perceptual processes are encapsulated, and thus immune to the challenges of holistic reasoning, like abduction. In this talk I provide an overview of several different perspectives on abduction. I argue that the fundamental stumbling block for formal models of abduction is its inherently creative character. I conclude with a defence of Peirce’s original insight, arguing that empirical research on perception is a field from which models of abduction in other domains (such as scientific reasoning) can and should draw inspiration.
For more information contact Nina Gierasimczuk at N.Gierasimczuk at uva.nl.
29 October 2009, Formal models for learning processes: Old tricks and new developmentsLocation: Room E020, University of Amsterdam Building E (Economy), Roetersstraat 11 (Roeterseiland), Amsterdam
The symposium starts with a lecture by Prof. Bill Batchelder, who will give an overview of the history of mathematical learning models. He will discuss how recent advances in statistical computing have renewed the relevance of traditional, and seemingly out-dated, models for learning and memory. This lecture is followed by presentations of recent developments and applications of learning models in the areas of category learning, probabilistic learning, causal learning, classical and operant conditioning, and discrimination learning.
26 October 2009, Logic Tea, Lisa FulfordSpeaker: Lisa FulfordTitle: Modular Canonicity for Bi-implicative AlgebrasLocation: Room A1.04, Science Park 904, Amsterdam
23 October 2009, NAP-Dag 2009Location: Room 401, Bungehuis, Spuistraat 210, Amsterdam
NAP is the abbreviation of Nieuw Amsterdams Peil and this day is meant for junior researchers to present their (ongoing) research. The NAPdag will be a full day of presentations, including social events like having lunch and drinks afterwards.
Because of the growing collaboration between the two research institutes, there will be presentations of PhD's from the ACLC as well as from the ILLC. Attendance is free, but if you wish to join the (free) lunch, please send an email to the organizers.
For more information, see here or http://www.hum.uva.nl/aclc/object.cfm/4317883A-3102-4F8A-A31CBC1402EBC5E4/, or contact the organizers at napdag2009 at gmail.com.
19 October 2009, Logic Tea, Jan HeylenSpeaker: Jan HeylenTitle: Collapse and slingshot arguments in intensional logic and arithmeticLocation: Room A1.04, Science Park 904, Amsterdam
12 October 2009, Henkjan Honing in 'De stelling van': We zijn allemaal muzikale dierenLocation: Academisch-cultureel centrum SPUI25, Spui 25-27, Amsterdam.
Tijdens de eerstvolgende editie van de voordrachtenreeks De stelling van ... is het woord aan Henkjan Honing, universitair hoofddocent op het terrein van Muziekcognitie. Hij gaat op maandag 12 oktober in op de stelling ‘We zijn allemaal muzikale dieren'.
Over muzikaliteit bestaan veel misverstanden. Mensen die zichzelf amuzikaal vinden, zeggen dat ze geen ritmegevoel hebben of niet zuiver kunnen zingen. Een zingende vogel of een op de maat dansende kaketoe vinden ze echter al snel ‘muzikaal'. Maar kunnen dieren wel muzikaal zijn en wat is muzikaliteit eigenlijk?
De toegang is vrij. U dient zich wel van te voren aan te melden. Voor meer informatie, zie http://www.science.uva.nl/actueel/nieuws.cfm/E0B0A7B2-1321-B0BE-68C7AD498A41BF51 en http://www.science.uva.nl/actueel/Agenda.cfm/C806D906-1321-B0BE-68CAD58FF96CEFB3
9 October 2009, DIP Colloquium, Sybille Krämer (Berlin)Speaker: Sybille Krämer (Berlin)Title: The Diagrammatical MindLocation: Room 001, Philosophy Department, Vendelstraat 8, Amsterdam
8-11 October 2009, 2nd International Workshop on Logic, Rationality and Interaction (LORI-II), Chongqing, ChinaLocation: Chongqing, ChinaDeadline: 15 July 2009
The First International Workshop on Logic, Rationality and Interaction (LORI-I) took place in Beijing in August 2007, with participation by researchers from artificial intelligence, game theory, linguistics, logic, philosophy, and cognitive science. The workshop led to great advances in mutual understanding, both academically and culturally, between Chinese and foreign logicians. Due to the success of LORI-I, we have decided to continue organizing LORI at various places in China and possibly other countries in Asia and the Pacific Area in the future.
The Second International Workshop on Logic, Rationality and Interaction (LORI-II) will take place in Chongqing, China, during October 8-11, 2009. The Workshop will feature a distinguished roster of invited speakers, refereed contributed papers, poster and tutorials sessions for students, as well as cultural events and excursions.
For more information, see http://loriweb.org/lori2009
2 October 2009, Computational Social Choice Seminar, Frank NebelSpeaker: Frank NebelTitle: Complexity Issues in Coalitional Game Theory: An IntroductionLocation: Room A1.04, Science Park 904, Amsterdam
1-3 October 2009, Amsterdam Graduate Philosophy Conference on "Meaning and Truth" (AGPC'09), AmsterdamLocation: AmsterdamDeadline: 10 June 2009
The conference is dedicated to exploring new ideas on what has been and remains a fundamental theme in the philosophy of language, namely, the relation between meaning and truth. We invite papers from young researchers who have an original contribution to make regarding the role of truth in a theory of meaning, the role of meaning in a theory of truth, or even the question of whether meaning and truth are actually related in an interesting way.
The conference is motivated by the ongoing debates and discussions that pose new challenges on how to conceive of meaning and of truth, and the relation between them. Some areas of interest here include: truth-functional vs. proof-theoretic semantics; semantic theories of truth; the role of context in interpretation; semantic normativity; deflationism; meaning as use; inferentialism; compositionality; vagueness; the semantics-pragmatics interface; language evolution.
The program committee invites submissions in the form of short papers (not longer than 4000 words) accompanied by short abstracts (not longer than 500 words). The deadline for submission is June 10 and it should follow the on-line submission form, available on the conference website. Candidates eligible for submission are graduate students and those who have completed a doctoral dissertation within the last three years.
30 September 2009, Computational Linguistics Seminar, Tejaswini Deoskar / Federico SangatiSpeaker: Tejaswini Deoskar / Federico Sangati (ILLC)Title: Smoothing fine-grained PCFG lexicons / A generative re-ranking model for dependency parsingLocation: Room A1.06, Science Park 904, Amsterdam
28 September 2009, Logic Tea, Maxim KhalilovSpeaker: Maxim KhalilovTitle: Syntax-based reordering model for statistical machine translationLocation: Room A1.04, Science Park 904, Amsterdam
23 September 2009, Computational Linguistics Seminar, Maarten VersteeghSpeaker: Maarten Versteegh (Radboud University Nijmegen)Title: Using Data-Oriented Parsing to model syntactic changeLocation: Room C3.113, Science Park 904, Amsterdam
21-25 September 2009, Eighth International Tbilisi Symposium on Language, Logic and Computation, Bakuriani, GeorgiaLocation: Bakuriani, GeorgiaDeadline: 1 May 2009
The Eighth International Tbilisi Symposium on Language, Logic and Computation will be held on 21 -- 25 September 2009 in Bakuriani, Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University and the Georgian Academy of Sciences, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.
For more information, see http://www.illc.uva.nl/Tbilisi2009
18 September 2009, DIP Colloquium, Gillian RusselSpeaker: Gillian Russel (Washington University/Tilburg University)Title: Indexicals, Context-Sensitivity and ImplicationLocation: Room 001, Philosophy Department, Vendelstraat 8, Amsterdam
18 September 2009, Computational Social Choice Seminar, Ulle EndrissSpeaker: Ulle EndrissTitle: Extending a Preference Order over a Set to its PowersetLocation: Room C0.110, Science Park 904, Amsterdam
14 September 2009, Logic Tea, George BarmpaliasSpeaker: George BarmpaliasTitle: Computability and RandomnessLocation: Room A1.04, Science Park 904, Amsterdam
12 September 2009, Publieksevenement Illusio NWOLocation: Pakhuis de Zwijger, AmsterdamCosts: none
NWO sluit het programma Cognitie op 12 september spetterend af met het evenement 'Illusio'. Illusio is een publieksdag voor iedereen van twaalf jaar en ouder met als thema 'illusies'. Er is een doorlopend dagprogramma waarbij de bezoekers in verschillende ruimtes van het Pakhuis worden blootgesteld aan klassieke illusies en boeiende cognitieve experimenten. Aan de programmaonderdelen worden begeleid door diverse Nederlandse cognitiewetenschappers. In de grote zaal vindt van 14.30 - 16.45 uur een speciaal geïntegreerd middagprogramma plaats waarvoor registratie verplicht is, waarbij de beroemde Amerikaanse illusionist Teller als hoofdact een inkijkje zal geven in de geheimen van de magie, en Peter Hagoort en Johan van Benthem het Publieksboek 'Geestdrift, wat Cognitiewetenschappers bezielt' zullen presenteren.
Voor meer informatie, zie http://www.illusio.nl/.
11 September 2009, DIP Colloquium, Bart de Boer and Jelle ZuidemaSpeaker: Bart de Boer and Jelle ZuidemaTitle: The evolutionary biology of languageLocation: Room 001, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam
4 September 2009, Computational Social Choice Seminar, Rohit ParikhSpeaker: Rohit Parikh (CUNY)Title: The Use of Knowledge in Social AlgorithmsLocation: Room A1.04, Science Park 904, Amsterdam
4 September 2009, Mentor Speed Dating Event Women in the FNWILocation: Restaurant-cafe Polder, Science Park 205, Amsterdam
The Women in the FNWI network organizes a speed date event where potential mentors and potential mentees can meet. The program will consist of a short introduction with drinks, and about 30 minutes of "mentor speed dating": potential mentors and potential mentees engage in conversation for three minutes, and then change partner at the end of each three-minute period. Drinks afterwards.
For more information, see http://www.science.uva.nl/wif.
2 September 2009, Computational Linguistics Seminar, Gerard KempenSpeaker: Gerard KempenTitle: The Unification Space implemented as a localist neural net: Predictions and
error-tolerance in a constraint-based parserLocation: Room C1.112, Science Park 904, Amsterdam
31 August - 2 September 2009, Workshop "Practice-based philosophy of logic and mathematics", Amsterdam, The NetherlandsLocation: Amsterdam, The NetherlandsDeadline: 1 March 2009
Traditionally, the philosophy of logic pays little attention to the actual practices of logicians. This is somewhat surprising, as the works of several influential authors have shown the relevancy of attending to actual scientific practices within the philosophy of the empirical sciences as well as the philosophy of mathematics. But there is no hint of a similar 'practical' turn in the philosophy of logic.
The workshop is intended to enable philosophers, logicians and mathematicians to discuss the fruitfulness and viability of a practice-based approach to logic. Within the philosophy of mathematics this approach already has a certain standing, so practice-based philosophy of mathematics can serve as a starting point for the development of a practice-based philosophy of logic. We hope to offer a novel vantage point into what is after all an essentially human and social activity, the practice of logic. What do logicians do? How do they conduct their researches, individually and within the scientific community? How do they communicate with each other? Answers to these questions may offer new insights into the most fundamental issues that the philosophy of logic must address.
For more information, see http://www.illc.uva.nl/pplm/
27 August 2009, ILLC Drinks/Introduction MSc Logic drinksLocation: ILLC launch - C3.113, Science Park 904, Amsterdam
Because the boats that cruise the canals of Amsterdam are not allowed to land near Science Park, this year we will not have our annual boat trip. We will have our very enjoyable ILLC drinks (with pizza) during which staff and (new) students can mingle and get to know each other.
27 August 2009, Introduction MSc Logic 09-10Location: C1.110 (A1.10, Logic part), Science Park 904, Amsterdam
10 August 2009, Computational Linguistics Seminar, Tim O'DonnellSpeaker: Tim O'DonnellTitle: Computation and Reuse in LanguageLocation: Room C1.108, Science Park 904, Amsterdam
27 July 2009, Computational Linguistics Seminar, Reut TsarfatySpeaker: Reut TsarfatyTitle: Parsing a (relatively) free word-order languageLocation: Room A1.08, Science Park 904, Amsterdam
20-31 July 2009, ESSLLI-2009:
21th European Summer School in Logic, Language and Information, Bordeaux, FranceLocation: Bordeaux, FranceDeadline: 1 September 2008
The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.
Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2008 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).
For more information, see the website at http://esslli2009.labri.fr/.
20-31 July 2009, 2009 ESSLLI Student Session, Bordeaux, FranceLocation: Bordeaux, FranceDeadline: 14 February 2009
The 2009 ESSLLI Student Session will take place from July 20 to July 31 in Bordeaux, France, as part of the annual European Summer School in Logic, Language, and Information. We hereby invite paper submissions from students in the areas of logic and computation, logic and language, and language and computation for presentation in the oral session or in the poster session. All submissions will be reviewed by three experts in the field, and those selected for presentation will be published in the proceedings. The Student Session is an excellent venue to present work in progress, and also to gain experience presenting one's research to a wide audience. As in previous years, Springer is offering 500 Euro in textbooks for the best paper award, and 250 Euro in textbooks to each of two runners-up. The extended deadline for submission is February 14, 2009.
For more details, please see the full call for papers: http://www.stanford.edu/~icard/esslli/call
200 July 9, LSIR-2: Logic and the Simulation of Interaction and Reasoning, Pasadena CA (U.S.A.)Location: Pasadena CA (U.S.A.)Deadline: 9 March 2009
In the past years, logicians have become more and more interested in the phenomenon of interaction and the formal modelling of social procedures and phenomena. The area Logic & Games deals with the transition from the static logical paradigm of formal proof and derivation to the dynamic world of intelligent interaction and its logical models. Modelling intelligent interaction has been an aspect of the practical work of computer game designers for a long time. Pragmatic questions such as 'What makes a storyline interesting', 'What makes an reaction natural', and 'What role do emotions play in game decisions' have been tackled by practicing programmers. The practical aspects of computer gaming reach out to a wide interdisciplinary field including psychology and cognitive science. So far, there are only a few cross-links between these two communities.
LSIR2 focuses on the relation between techniques of modern logic (such as discourse representation theory or dynamic epistemic logic) and concrete modelling problems in computer games (either as part of the story or game design or as part of the design of the artificial agents). We aim combining communities of logic, multi-agent systems, computer game design, the story understanding community, and various parts of AI dealing with the formal modelling of emotions and intentions, as well as the empirical testing of these models; we invite all researchers in these and related field to submit their abstracts of papers, in particular those that build bridges between the communities.
For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=8_2. The main financial sponsor of the workshop is the Marie Curie research training site GLoRiClass.
7-11 July 2009, Topology, Algebra and Categories in Logic (TACL 2009), Euclides Building, Plantage Muidergracht 24, AmsterdamLocation: Euclides Building, Plantage Muidergracht 24, AmsterdamDeadline: 15 March 2009
Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tool and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2009 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods.
For more information, see http://www.illc.uva.nl/tacl09/
1 July 2009, Connectionist natural language processingSpeaker: Morten Christiansen, Franklin Chang, Stefan FrankLocation: Room C1.17, Oudemanhuispoort, Universiteit van AmsterdamFollowing the PhD defense of Hartmut Fitz on Neural Syntax, a public symposium will be held on neural network approaches to processing natural language. Participation is free and registration is not required.
For more information, see http://staff.science.uva.nl/~fitz/cnlp.html
1-3 July 2009, 5th Spain, Italy, Netherlands Meeting on Game Theory (SING5), Vrije Universiteit, AmsterdamLocation: Vrije Universiteit, AmsterdamDeadline: 13 April 2009
On July 1-3, 2009 the 5th Spain, Italy, Netherlands Meeting on Game Theory (SING5), is going to be held at VU University Amsterdam, The Netherlands.
For more information, see http://www.feweb.vu.nl/sing5/
30 June 2009, BRICKS Workshop on Game Theory and Multiagent Systems, CWI, Science Park 123 (= Kruislaan 413), Amsterdam, The NetherlandsLocation: CWI, Science Park 123 (= Kruislaan 413), Amsterdam, The Netherlands
Prior to the "5th Spain, Italy, Netherlands Meeting on Game Theory" (SING5, http://www.feweb.vu.nl/sing5/) there will take place "BRICKS Workshop on Game Theory and Multiagent Systems". BRICKS stands for Basic Research in Informatics for Creating the Knowledge Society.
29 June 2009, Computational Linguistics Seminar, Peter beim GrabenSpeaker: Peter beim GrabenTitle: Dynamic Cognitive Modeling of Syntactic Language ProcessingLocation: Room A1.04, Science Park 904, Amsterdam
26 June 2009, First Workshop on Logics and StrategiesLocation: Room 5161.0267, Bernoulliborg Building, Nijenborgh 9, Groningen, The Netherlands
Modelling intelligent and rational interaction in multi-agent systems has been one of the main issues in Artificial Intelligence that gained momentum in the last decade of the past century. This is now merging into broader studies of formal models of society, where computer science meets decision theory, game theory and social choice theory, for instance in the study of rational deliberation and decision making.
This first workshop on logics and strategies of the project STRATMAS focuses on ideas and concepts for bringing in the notion of strategies explicitly in the logical frameworks dealing with intelligent and rational interaction in multi-agent systems, which is one of the main goals of the project. The workshop consists of talks by some experts in this area as well as some young researchers. It can also be regarded as the first event in the revival of "Dag der GrAmschap" which used to be a regular event, not so many years ago, to mark a day of talks and discussions between the Amsterdam and the Groningen logic research community on some topics of mutual interest.
The workshop is free for participants, but please pre-register before June 20, 2009, by sending mail to Sujata Ghosh (sujata at ai.rug.nl) so that we can organize an appropriate lecture room and catering. For more information, see http://www.ai.rug.nl/~sujata/strat1.html and http://www.ai.rug.nl/~sujata/stratmas.html.
24 June 2009, Computational Linguistics Seminar, Henk ZeevatSpeaker: Henk Zeevat (ILLC)Title: Bayesian InterpretationLocation: Room A1.04, Science Park 904, Amsterdam
18 June 2009, Computational Linguistics Seminar, Amit MukarjeeSpeaker: Amit MukarjeeTitle: The constructivist enterprise: towards computational language acquisitionLocation: Room A1.06, Science Park 904, Amsterdam
12 June 2009, Computational Social Choice Seminar, Ulle EndrissSpeaker: Ulle EndrissTitle: Economic InequalityLocation: Room C1.112, Science Park 904, Amsterdam
12 June 2009, Colloquium on Mathematical Logic, Bas SpittersSpeaker: Bas SpittersTitle: Constructive Theory of Banach algebrasLocation: Room 611ab, Wiskundegebouw, Budapestlaan 6, Utrecht
(Bus 11 from Utrecht Central Station).
10 June 2009, Computational Linguistics Seminar, Miles OsborneSpeaker: Miles OsborneTitle: Stream-based randomised language modelling for machine translationLocation: Room A.104, Science Park 904, Amsterdam
5 June 2009, DIP Colloquium, Albert VisserSpeaker: Albert VisserTitle: Look again: syntax is no syntaxLocation: Room 107, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam
29 May 2009, Computational Social Choice Seminar, Daniele PorelloSpeaker: Daniele PorelloTitle: Linear Logic for Bidding LanguagesLocation: Room C1.112, Science Park 904, Amsterdam
27 May 2009, Colloquium on Mathematical Logic, Juha KontinenSpeaker: Juha Kontinen (Helsinki)Title: Regular representations of uniform TC^0Location: Room P.016, Euclides Building, Plantage Muidergracht 24, Amsterdam
27 May 2009, General Mathematics Colloquium, Sander Bais (UvA, ITFA)Speaker: Sander Bais (UvA, ITFA)Title: The physics of quantum groups and their breakingLocation: Room A1.09, Science Park 904
The General Mathematics Colloquium homepage can be found at http://www.science.uva.nl/research/math/Calendar/colloq/ For more information, please contact Jochen Heinloth (j.heinloth at uva.nl), Bas Kleijn (b.kleijn at uva.nl) or Peter Spreij (p.j.c.spreij at uva.nl)
26-27 May 2009, Amsterdam workshop in set theory, Room F-001, Nieuwe Doelenstraat 15Location: Room F-001, Nieuwe Doelenstraat 15
Following the PhD defense of Brian Semmes there will be a two-day workshop in set theory. A wide variety of topics are covered, including descriptive set theory, ordinal computability and combinatorics without the Axiom of Choice
For more information, see http://staff.science.uva.nl/~ykhomski/workshop2009/index.html
25 May 2009, NWO: Bessensap 2009Deadline: 4 March 2009
Together with the Association of Journalists of Science (VNW) and the Science center NEMO, NWO organises Bessensap for the 9th time. The event, with the theme "science meets the press, the press meets science" aims to bring together journalists, editors and PR officials.
For more information, see http://www.nwo.nl/bessensap
24 May 2009, When are you musical?, Henkjan HoningSpeaker: Henkjan HoningLocation: NEMO, Amsterdam
Een klasgenoot die altijd uit de maat klapt, een tante die vals zingt of een buurjongen die jengelt op zijn gitaar. Dit zijn mensen bij wie muzikaliteit ver te zoeken is, zou je zeggen...Of toch niet?
Tijdens deze kinderlezing op zondag 24 mei in science center NEMO laat dr. Henkjan Honing de kinderen zelf ervaren wat muzikaliteit betekent. Herken je een liedje nog als het ritme wordt aangepast? Hoor je het als muziek in de verkeerde toonsoort wordt gespeeld? Met geluidsfragmenten en filmpjes laat Honing zien dat je ook muzikaal kunt zijn zonder zelf een instrument te spelen.
For more information, see http://www.kinderlezingen.nl/kinderlezingen/object.cfm/
19 May 2009, Logic Tea, Spencer Johnston & Sara UckelmanSpeaker: Spencer Johnston & Sara UckelmanTitle: John Buridan's Sophismata and interval temporal semantics.Location: Room A1.04, Science Park 904, Amsterdam
15 May 2009, DIP Colloquium, Igal KvartSpeaker: Igal Kvart (Hebrew University and Rutgers University)Title: Change-Based Indicatory Knowledge And Perceptual SkepticismLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
14 May 2009, The Amsterdam Circle for Law & Language, dr. R.G.F. Winkels and ir.drs. E. de MaatSpeaker: dr. R.G.F. Winkels and ir.drs. E. de MaatTitle: From Legal Language to Computer Language ("Van Juridische Taal naar Computertaal")Location: Room A 1.01 (Faculty Room), UvA Law School, Oudemanhuispoort 4-6, Amsterdam
The Leibniz Center for Law develops computer models of statutes as well as methods in order to make the 'translation' from legal language to computer language increasingly automated. A trustworthy, neutral interpretation of the legal text, without added details, is here of great importance. In the presentation the speakers will explain these 'translation'-methods and their 'technical' approach to legal interpretation with examples from various areas of law.
The lecture will be given in Dutch.
8 May 2009, DIP Colloquium, Jonathan SchafferSpeaker: Jonathan Schaffer (Australian National University)Title: Knowledge, Questions, and More QuestionsLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
8 May 2009, Computational Social Choice Seminar, Stéphane AiriauSpeaker: Stéphane AiriauTitle: Iterated Majority VotingLocation: P-3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
6 May 2009, Colloquium on Mathematical Logic, Kenneth MandersSpeaker: Kenneth Manders (Pittsburgh)Title: Knot RepresentationLocation: Room 430, Buys Ballot lab, Princetonplein, Utrecht
2009, The Amsterdam Circle for Law & Language, dr. R.G.F. Winkels and ir.drs. E. de MaatSpeaker: dr. R.G.F. Winkels and ir.drs. E. de MaatTitle: From Legal Language to Computer Language ("Van Juridische Taal naar Computertaal")Location: UvA Law School, Room A 1.01 (Faculty Room), Oudemanhuispoort 4-6, Amsterdam
The Leibniz Center for Law develops computer models of statutes as well as methods in order to make the 'translation' from legal language to computer language increasingly automated. A trustworthy, neutral interpretation of the legal text, without added details, is here of great importance. In the presentation the speakers will explain these 'translation'-methods and their 'technical' approach to legal interpretation with examples from various areas of law.
28 April 2009, Logic Tea, Sonja SmetsSpeaker: Sonja SmetsTitle: When Logic Meets PhysicsLocation: Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam
24 April 2009, DIP Colloquium, Jennifer AshworthSpeaker: Jennifer Ashworth (Waterloo)Title: Logic in Seventeenth-Century Oxford: What did Wallis contribute?Location: Doelenzaal, Singel 425, Amsterdam.
24 April 2009, Leve de WiskundeLocation: Turingzaal, Science Park 123, Amsterdam
Op vrijdag 24 april organiseert het Korteweg-de Vries Instituut van de UvA voor de zevende keer het congres Leve de Wiskunde! Vooraanstaande wetenschappers zullen u op de hoogte brengen van de recente ontwikkelingen in en rondom de wiskunde.
Voor meer informatie en aanmelden, zie http://www.science.uva.nl/actueel/Agenda.cfm/E34AF2FD-1321-B0BE-A460B1E1E02AED47
23-24 April 2009, Wallis: Logic and 17th-century Scientific Thought, Amsterdam, the NetherlandsLocation: Amsterdam, the Netherlands
Ten speakers will discuss the status of logic and its position within the intellectual context of the seventeenth century, taking as a starting-point a logic textbook written by John Wallis (1616-1703), founder member of the Royal Society and a prominent mathematician, linguist and musicologist. Topics of discussion include the views of the value of logic held by Hobbes, Locke, Arnauld and Leibniz, as well as the relations between logic and grammar, between logic and mathematics, and between logic and science.
An international symposium, organized by the Wallis Project, Oxford, in collaboration with ILLC, Amsterdam. For more information, see http://www.illc.uva.nl/Wallis/
21 April 2009, Logic Tea, Lorenz DemeySpeaker: Lorenz DemeyTitle: It is easy to see that...Location: Room P.018, Euclides Building, Plantage Muidergracht 24, Amsterdam
20 April 2009, Computational Linguistics Seminar, Dan DediuSpeaker: Dan Dediu (MPI for Psycholinguistics, Nijmegen)Title: Genetic biases and language change: how well do simple models of language evolution generalize?Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam
20 April 2009, Computational Linguistics Seminar, Kenny SmithSpeaker: Kenny Smith (Northumbria University, Newcastle)Title: Language change and language evolution in the laboratoryLocation: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam
17 April 2009, Computational Social Choice Seminar, Vangelis MarkakisSpeaker: Vangelis Markakis (Athens)Title: Overlapping Coalition FormationLocation: P-0.15A, Euclides Building, Plantage Muidergracht 24, Amsterdam
17 April 2009, Colloquium on Mathematical Logic,
/ W. SiegSpeaker: N.-C. Short (Provence)
/ W. Sieg (CMU)Title: Mathematical style: where symbolic concurrent structures and individual practice meet
/ Structural Proof Theory: Uncovering aspects of the mathematical mindLocation: Room 611, Wiskundegebouw, Budapestlaan 6, Utrecht
(Bus 11 from Utrecht Central Station).
16 April 2009, PROSE Colloquium, Helle Hvid HansenSpeaker: Helle Hvid HansenTitle: Bisimilarity in neighbourhood structures, a coalgebraic approachLocation: Room 6.96, HG (Main Building), TU Eindhoven
7 April 2009, Logic Tea, Jonathan ZvesperSpeaker: Jonathan ZvesperTitle: Softening Rational DynamicsLocation: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam
3 April 2009, DIP Colloquium, Min Que, Femke Smits and Bert Le BruynSpeaker: Min Que, Femke Smits and Bert Le Bruyn (UiL OTS, Utrecht
University)Title: The Scope of Bare Nominals: evidence from Mandarin and DutchLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
30 March 2009, Computational Linguistics Seminar, Kevin SmallSpeaker: Kevin Small (University of Illinois at Urbana-Champaign)Title: Interactive Learning Protocols for Natural Language ApplicationsLocation: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam
27 March 2009, Colloquium on Mathematical Logic, Carsten HeldSpeaker: Carsten Held (Erfurt)Title: Frege and Second-Order LogicLocation: Room 611, Wiskundegebouw, Budapestlaan 6, Utrecht
(Bus 11 from Utrecht Central Station).
24 March 2009, Logic Tea, Sebastian LutzSpeaker: Sebastian Lutz (Utrecht)Title: Semantic and Syntactic Descriptions of Theories and ModelsLocation: Room P.018, Euclides Building, Plantage Muidergracht 24, Amsterdam
24 March 2009, Computational Linguistics Seminar, Markos MylonakisSpeaker: Markos MylonakisTitle: An All-Phrase-Pairs Approach for Statistical Machine Translation with Smoothing as a Learning ObjectiveLocation: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam
20 March 2009, DIP Colloquium, Elia ZardiniSpeaker: Elia Zardini (St. Andrews)Title: First-Order Tolerant LogicsLocation: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam
17 March 2009, Logic Tea, CanceledSpeaker: Canceled (was: Ioanna Dimitriou)
16 March 2009, Algebra|Coalgebra Seminar, Willem ConradieSpeaker: Willem ConradieTitle: Modal Correspondence and Canonicity via Ackermann's LemmaLocation: Room P.114, Euclides Building, Plantage Muidergracht 24, Amsterdam
13 March 2009, Computational Social Choice Seminar, Davide GrossiSpeaker: Davide GrossiTitle: Correspondences in the Theory of AggregationLocation: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
13 March 2009, Colloquium on Mathematical Logic,
/ J. VäänänenSpeaker: W. Hodges (Cambridge)
/ J. Väänänen (UvA)Title: Where Frege is coming from / Second order logic, set theory and foundations of mathematicsLocation: Room P.019, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan).
12-16 March 2009, 10th Szklarska Poreba Workshop: The Roots of Pragmasemantics, The mountaintop Szrenica, Szklarska Poreba, PolandLocation: The mountaintop Szrenica, Szklarska Poreba, PolandDeadline: 15 January 2009
We announce the tenth edition of the workshop that takes linguists, philosophers and logicians to the ski slopes. It will be held March 12-16 2009, on the mountaintop Szrenica, Poland (the same location as every year).
The workshop aims to bring together linguists, philosophers, logicians, and all others interested in the semantics and pragmatics of natural language. This year the theme is Learning
- as usual this 'hot topic' should not exclude submissions on other subjects, but talks relating typical Szklarska Poreba concerns to learning are especially welcome. We prefer new and original ideas, even if the material is not fully ripe and the presentation still tentative. Invited Speakers include Paul Boersma, Wojciech Buszkowski, Damir & Malgorzata E. Ćavar and Markus Kracht.
For more information, see http://amor.rz.hu-berlin.de/~h0998dgh/Sklarska/Workshop%2010
11 March 2009, Computational Linguistics Seminar, Dave CochranSpeaker: Dave CochranTitle: Darwinised Data-Oriented Parsing: Statistical NLP with added Sex and DeathLocation: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam
11 March 2009, Algebra|Coalgebra Seminar, Dion CoumansSpeaker: Dion CoumansTitle: Distributive lattice-structured ontologiesLocation: Room P.114, Euclides Building, Plantage Muidergracht 24, Amsterdam
6 March 2009, Computational Social Choice Seminar, Freek WiedijkSpeaker: Freek WiedijkTitle: Formalizing Arrow's TheoremLocation: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
5-6 March 2009, Games, Logic, Language, and ComputationTitle: Generalized Quantifiers: Formal Semantics Meets Computation and Cognition (GLLC-16)
The workshop will be mostly devoted to generalized quantifier theory and its interrelation with computational and cognitive aspects of language. One major focus will be computational complexity and its interplay with "difficulty" as experienced by subjects in cognitive science. The workshop will combine classical generalized quantifier theory (linguistics and mathematics) with newer generalized quantifier theory (computation and cognition).
For more information, see http://staff.science.uva.nl/~szymanik/GLLC
4 March 2009, Computational Linguistics Seminar, Remko SchaSpeaker: Remko SchaTitle: Grammars without categoriesLocation: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam
3 March 2009, Logic Tea, Daisuke IkegamiSpeaker: Daisuke IkegamiTitle: Infinite games with imperfect informationLocation: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam
27 February 2009, Colloquium on Mathematical Logic, D. Isaacson
/ A. MacIntyreSpeaker: D. Isaacson (Oxford)
/ A. MacIntyre (London)Title: Some comparisons between incompleteness in arithmetic and set theory / The Impact of Incompleteness on Pure MathematicsLocation: Room 611, Wiskundegebouw, Budapestlaan 6, Utrecht
(Bus 11 or 12 from Utrecht Central Station).
24 February 2009, Logic Tea, Michael DeSpeaker: Michael DeTitle: What is wrong with boolean negation?Location: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam
20 February 2009, DIP Colloquium, Herman CappelenSpeaker: Herman Cappelen (St. Andrews)Title: Against AssertionsLocation: Room 001, Department of Philosophy, Vendelstraat 8
20 February 2009, Computational Social Choice Seminar, Bart de KeijzerSpeaker: Bart de KeijzerTitle: Computational Complexity of Fair Resource AllocationLocation: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
20 February 2009, Colloquium on Mathematical Logic, Martin DavisSpeaker: Martin DavisTitle: Gödel's Developing PlatonismLocation: Room 611, Wiskundegebouw, Budapestlaan 6, Utrecht
(Bus 11 or 12 from Utrecht Central Station)
Abstract: In Gödel's (unsent) reply to the questionaire sent to him by B.D. Grandjean he asserted that since 1925 he had held a position of 'mathematical realism' whereby 'mathematical concepts [and sets] and theorems are describing objects of some kind.' (The words in square brackets were added by Gödel.) A more nuanced story emerges from the hints made available with the publication of the magnificent five volume set of Gödel's Collected Works.
For more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
19 February 2009, GLoRiClass Seminar, Julien CristauSpeaker: Julien Cristau (Paris)Title: Graph Games of Ordinal LengthLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
16-20 February 2009, Mini-course Highlights of Lambda Calculus and Term Rewriting SystemsSpeaker: Henk Barendregt and Jan Willem KlopLocation: Technical University EindhovenCosts: (PhD) students: 300 Euro; members of Dutch graduate school 100 reduction
This five day master class in lambda calculus and term rewriting is centered around some twenty of the main theorems, both classical and recent. Each theorem is treated in a syllabus chapter of 10 pages, concluded with a section of exercises and notes for follow-up subjects and further reading.
Deadline for registration is January 30th, 2009. For more information, see http://www.win.tue.nl/math/eidma/courses/minicourses/barendregtenklop/ or here. The complete programme may be found at http://www.cs.ru.nl/~henk/LC-TRS.pdf.
13 February 2009, Computational Social Choice Seminar, Umberto GrandiSpeaker: Umberto GrandiTitle: Automated Reasoning in Social Choice Theory: Arrow's TheoremLocation: P-3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
11 February 2009, Computational Linguistics Seminar, Dan RothSpeaker: Dan RothTitle: Constrained Conditional Models: Learning and Inference in Natural Language UnderstandingLocation: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam
9 February 2009, PROSE Colloquium, Ana SokolovaSpeaker: Ana SokolovaTitle: Exemplaric Expressivity of Modal LogicsLocation: Room 6.96, HG (Main Building), TU Eindhoven
In this talk I will report on a joint work with Bart Jacobs on examples of expressivity of modal logics. We investigate expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, finitely supported multiset, finitely supported distribution, and measure functor, respectively. Expressivity means that logically indistinguishable states, satisfying the same formulas, are behaviourally indistinguishable too. The investigation is based on the framework of dual adjunctions between spaces and logics and focuses on a crucial injectivity property. The approach is generic both in the choice of systems and modalities, and in the choice of a ``base logic''. Most of these expressivity results are already known, but the applicability of the uniform setting of dual adjunctions to these particular examples is what constitutes the contribution of this work. In addition, we observed an interesting comparison of the mentioned types of systems, in particular of Markov chains and Markov processes.
For more information, see http://www.win.tue.nl/prose/
6 February 2009, DIP Colloquium, Fred LandmanSpeaker: Fred Landman (Tel-Aviv)Title: An almost (but not quite) naive theory of comparativesLocation: Room 001, Department of Philosophy, Vendelstraat 8
30 January 2009, Computational Social Choice Seminar, Guido SchäferSpeaker: Guido Schäfer (CWI)Title: Cost Sharing Mechanisms: Recent Advances and Future DirectionsLocation: P-3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
29 January 2009, GLoRiClass Seminar, Jonathan ZvesperSpeaker: Jonathan ZvesperTitle: Belief revision and backward inductionLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
28 January 2009, Computational Linguistics Seminar, Trevor CohnSpeaker: Trevor Cohn (Edinburgh)Title: Inducing compact but accurate Tree Substitution GrammarsLocation: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam
27 January 2009, Logic Tea, Sara RamezaniSpeaker: Sara RamezaniTitle: Nash Social Welfare in Multiagent Resource AllocationLocation: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam
The relevant paper can be downloaded from http://www.illc.uva.nl/Publications/ResearchReports/MoL-2008-09.text.pdf. The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Edgar Andrade (E.J.AndradeLotero at uva.nl), Lorenz Demey (lorenzdemey at hotmail.com), or Yurii Khomskii (Y.D.Khomskii at uva.nl).
22 January 2009, PROSE Colloquium, Sonja GeorgievskaSpeaker: Sonja GeorgievskaTitle: On compositionality, efficiency and applicability of abstraction in probabilistic systemsLocation: Room 6.96, HG (Main Building), TU Eindhoven
21 January 2009, Computational Linguistics Seminar, Yuval KrymolowskiSpeaker: Yuval Krymolowski (Haifa)Title: Automatic Annotation of Morpho-Syntactic Dependencies in a Modern Hebrew TreebankLocation: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam
16 January 2009, ILPS Seminar, Pablo CesarSpeaker: Pablo CesarTitle: Towards Next-Generation Video Sharing SystemsLocation: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam
For abstracts and more information, see http://ilps.science.uva.nl/ilps-seminar-2008-2#Jan09 .
15 January 2009, GLoRiClass Seminar, Florian HornSpeaker: Florian Horn (CWI)Title: Stochastic games for verificationsLocation: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
14 January 2009, Computational Linguistics Seminar, Jakub SzymanikSpeaker: Jakub SzymanikTitle: Complexity of QuantifiersLocation: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam
Calls for Paper
9-20 August 2010, 22th European Summer School in Logic, Language and Information (ESSLLI-2010), Copenhagen, DenmarkLocation: Copenhagen, DenmarkDeadline: 7 September 2009
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.
Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.
The ESSLLI 2010 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 22nd annual Summer School on important topics of active research in the broad interdisciplinary area connecting logic, linguistics, computer science, and the cognitive sciences, structured within the 3 traditional ESSLLI streams of Language and Computation, Language and Logic, and Logic and Computation. We also welcome proposals that do not exactly fit one of these categories. All proposals should be submitted not later than Monday, September 7, 2009, through a prescribed form that will be available soon on the ESSLLI 2010 website.
24-28 May 2010, 4th International Conference on Language and Automata Theory and Applications (LATA 2010), Trier, GermanyLocation: Trier, GermanyDeadline: 3 December 2009
LATA is a yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University (the host of the previous three editions and co-organizer of this one) in the period 2002-2006, LATA 2010 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).
Authors are invited to submit papers presenting original and unpublished research. Deadline for submission: December 3, 2009
12-14 May 2010, NICSO 2010 (The IV International Workshop on Nature Inspired Cooperative Strategies for Optimization), Granada, SpainLocation: Granada, SpainDeadline: 15 October 2009
Biological and natural processes have always been a source of inspiration for computer science and information technology. It is well known that biological entities, from single cell organisms -like bacteria- to humans, often engage in a rich repertoire of social interaction that could range from altruistic cooperation through open conflict. One specific kind of social interaction is cooperative problem solving (CPS), where a group of autonomous entities work together in order to achieve certain goal. The NICSO 2010 aims at promoting cooperative problem solving strategies bringing together international researchers and practitioners from different disciplines in order to discuss the investigations and exchange ideas on the current state of the art of the topic.
The conference seeks contributions that are inspired by Nature and that encompass a range of spatio-temporal scales, for visionary conceptions of information processing and computation as pertaining to cooperation mechanisms in the context of problem solving. Full paper submission deadline: October 15, 2009. For more information, please visit http://www.nicso2010.org/.
8-14 May 2010, The 9th International Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2010), Toronto ON, CanadaLocation: Toronto ON, CanadaDeadline: 8 October 2009
AAMAS is the leading scientific conference for research in autonomous agents and multi-agent systems. The AAMAS conference series was initiated in 2002 by merging three highly-respected meetings: International Conference on Multi-Agent Systems (ICMAS); International Workshop on Agent Theories, Architectures, and Languages (ATAL); and International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally-respected archival forum for scientific research in the theory and practice of autonomous agents and multi-agent systems. AAMAS-2010 is the Ninth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Sheraton Centre Toronto Hotel in downtown Toronto.
For more information, see http://www.cse.yorku.ca/AAMAS2010/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is October 8, 2009.
14-16 April 2010, Sydney-Tilburg Conference on "The Future of Philosophy of Science", Tilburg, The NetherlandsLocation: Tilburg, The NetherlandsDeadline: 15 November 2009
Philosophy of science deals with the foundations and the methods of science. While the scope of philosophy of science is rather uncontroversial, there is considerable disagreement about its methodology. A look into the relevant journals reveals that there is a plurality of approaches. In spite of this, there also seem to be undeniable trends in our discipline, such as the increasing specialization, and the increasing co-operation with empirical scientists. This conference will explore the future of philosophy of science. In particular, we are interested in how the different methods philosophers of science use relate to each other, whether they can fruitfully complement each other, and whether current trends allow predictions about the development of our field.
For more information, see http://www.uvt.nl/tilps/FPS2010
We invite contributions that combine cutting-edge individual research with a general perspective on the methods and future of philosophy of science. Deadline for submissions: 15 November 2009.
6-9 April 2010, Symposium on AI and Games (AISB 2010), Leicester (U.K.)Location: Leicester (U.K.)Deadline: 1 July 2009
The AISB convention is an annual event organised as a number of collocated symposia loosely organised around a theme, and interspersed with invited plenary talks and poster sessions.
The society is pleased to call for symposium proposals for the 2010 annual convention on wide range of contemporary AI topics. There is no specific theme for the convention and multidisciplinary proposals would be most welcomed. Deadline for submitting proposals: 1 July 2009.
29-30 March 2010, Symposium on Mathematical Practice and Cognition, Leicester, U.K.Location: Leicester, U.K.Deadline: 30 December 2009
The belief that what mathematicians think and do is important to the philosophy of mathematics is a relatively recent position. This focus on mathematical practice suggests that research into how mathematical definitions or axioms are motivated, representations changed, problems discovered and explained, analogies formed between different mathematical fields, etc., and how these processes grow out of biologically important competences in dealing effectively with rich and complex environments, is relevant and necessary. This contrasts the traditional focus in philosophy on how mathematics should be done, or the epistemological status of mathematical theorems. The new direction is complemented by recent work in cognitive science on the origin and development of mathematical ideas. Researchers are now working at all levels to investigate how people, from young babies up to professionals and geniuses are able to perform different mathematical tasks.
With the new approach in the philosophy of mathematics, and developments in cognitive science of mathematics and embodied cognition, we feel that the time is ripe for interaction between the fields. We hope to promote a sharing of ideas and enable an atmosphere in which new connections and collaborations are forged.
For more information, see http://homepages.inf.ed.ac.uk/apease/aisb10/home.html
We welcome submissions from anyone interested in themes such as those described above, and especially encourage interdisciplinary submissions which link previously unassociated fields. We welcome full papers and short papers, where a full paper comprises a completed piece of work and a short paper describes ongoing work. Full papers should be between six and eight pages in length and short papers two pages. Accepted papers will be published in the AISB 2010 proceedings. Submission deadline: 20th December, 2009.
27-28 March 2010, 2nd Workshop on Philosophy and Ethics of Social Reality (SOCREAL 2010), Sapporo, JapanLocation: Sapporo, JapanDeadline: 15 November 2009
In the past two decades, a number of logics and game theoretical analyses have been proposed and combined to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results. Invited speakers include Johan van Benthem (University of Amsterdam and Stanford University) and Fenrong Liu (Tsinghua University, China).
Researchers from various fields, including logic, philosophy, ethics, computer science, cognitive science are hereby invited to submit an extended abstract (up to two thousand words) by 15 November 2009 (extended deadline) to CAEP (caep at let.hokudai.ac.jp).
27-28 March 2010, Second International Workshop on Philosophy and Ethics of Social Reality (SOCREAL 2010), Hokkaido University, Sapporo, JapanLocation: Hokkaido University, Sapporo, JapanDeadline: 1 November 2009
In the past two decades, a number of logics and game theoretical analyses have been proposed and combined to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results.
For more information, see http://www.hucc.hokudai.ac.jp/~k15696/home/sr10/.
Researchers from various fields, including logic, philosophy, ethics, computer science, cognitive science are hereby invited to submit an extended abstract (up to two thousand words) by 1 November 2009 to CAEP (firstname.lastname@example.org).
22-24 March 2010, AAAI Spring Symposium on Time and Interactive Behaviour, Stanford CA, U.S.A.Location: Stanford CA, U.S.A.Deadline: 2 October 2009
People do not experience the world solely as an ordered sequence of events. The timing of our perceptions and behaviors has as much of an impact on our experiences as the nature of the events themselves. Yet many of the representations currently used to model human behavior do not incorporate explicit models of the temporal expression of these stimuli or actions. Dynamic behavior is often modeled sequentially in such a way that its temporal resolution is reduced and potential nonstationarity is ignored for the sake of computational efficiency (as in Markov state-based models of behavior), and/or causal mappings between observations and behavior are simplified to mitigate the sparseness of available datasets. Given that any artificial agent designed to interact with people will be dealing with intelligent partners with rich mental representations of time, are we using the appropriate representations?
This symposium is oriented towards several different groups of researchers, including, but not limited to: computer scientists who use machine learning techniques to model human behavior, psychologists and neuroscientists who study social behavior, and designers of robots or computational artifacts that interact naturally with humans in real time. By bringing together members of these communities through a shared interest in temporal representations, our goal is to identify critical areas of study and promising techniques.
For more information, see http://asimov.usc.edu/~mower/aaai10ss_time/
Papers on any aspect of modeling or studying the temporal aspects of human or human-machine social interaction are welcome, including reports on experimental results, descriptions of implemented systems, and position papers. Submission deadline is October 2, 2009
5-8 March 2010, 3rd Conference on Artificial General Intelligence (AGI-10), Lugano, SwitzerlandLocation: Lugano, SwitzerlandDeadline: 12 November 2009
Continuing the mission of the highly successful First and Second AGI Conferences, AGI-10 will gather an international group of leading academic and industry researchers involved in serious scientific and engineering work aimed directly toward the goal of artificial general intelligence.
This is the only major conference series devoted wholly and specifically to the creation of AI systems possessing general intelligence at the human level and ultimately beyond. By gathering together active researchers in the field, for presentation of results and discussion of ideas, we accelerate our progress toward our common goal.
For more information, see http://agi-conf.org/2010/
AGI-10 will accept two types of submissions: full-length papers (6 pages) and short position statements (2 pages). Submission deadline is 15 October 2009.
18-19 February 2010, Colloquium "PhD's in Logic II", Tilburg, The NetherlandsLocation: Tilburg, The NetherlandsDeadline: 18 December 2009
The aim of PhD's in Logic II is to bring together young researchers in the field of logic. During these two days there will be 4 tutorials in to tal, 2 about mathematical and 2 about philosophical logic. In addition, PhD students and recent postdocs in mathematical or philosophical logic are in vited to present their work. Of course, everyone is kindly invited to attend the tutorials and contribut ed talks!
Abstract submission before December 18, 2009.
17-20 February 2010, Workshop on "Logical Approaches to Barriers in Computing and Complexity", Greifswald, GermanyLocation: Greifswald, GermanyDeadline: 15 October 2009
Computability theory and complexity theory have their origins in logic. Famous names such as Goedel, Turing, Cook, and Kolmogorov connect these areas of computer science to foundations of mathematics. The fundamental goal of this area is to understand the limits of computability (that is analysing which problems can be solved on nowadays and future computers in principle) and effective computability (that is understanding the class of problems which can be solved quickly and with restricted resources) where the most famous open problem is the P=NP-problem. Logic provides a multifarious toolbox of techniques to analyse questions like this, some of which promise to provide a deep insight in the structure of limit of computation.
In our workshop, we shall focus on the following aspects: logical descriptions of complexity (e.g., descriptive complexity, bounded arithmetic), complexity classes of abstract, algebraic and infinite structures, barriers in proving complexity results, and Kolmogorov complexity and randomness.
Some of these aspects are particularly timely: recently, research in these areas became more intense. Part of this is the new conference series CiE (run by the Association for Computability in Europe) whose range of interests includes those of our workshop, creating an important focus on the emerging topics of the field. This workshop is intended as a research-oriented follow-up to the CiE conferences, allowing researchers ample time for discussions and joint work.
For more information, see http://www.cs.swan.ac.uk/greifswald2010/
The Programme Committee cordially invites all researchers in the area of the workshop to submit their extended abstracts (in PDF-format, at most 4 pages) for presentation at the workshop. Submission deadline is 15 October 2009.
22-24 January 2010, International Conference on Agents and Artificial Intelligence (ICAART 2010), Valencia, SpainLocation: Valencia, SpainDeadline: 28 July 2009
ICAART brings together top researchers and practitioners in several areas of Artificial Intelligence, from multiple areas of knowledge, such as Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general, including web applications, on one hand, and within the area of non-distributed AI, including the more traditional areas such as Knowledge Representation, Planning, Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intelligence and many other areas related to intelligent systems, on the other hand.
For more information, see http://www.icaart.org
We hope you can participate in this prestigious conference by submitting a paper reflecting your current research. The paper submission deadline is scheduled for the next July 28, 2009. Workshops and special sessions are also invited. If you wish to propose workshop or a special session, for example based on the results of a specific research project, please send a proposal to the ICAART secretariat.
20-22 January 2010, "Epistemology and Philosophy of Mind at the Crossroads", 4th Conference of the Dutch-Flemish Association for Analytic Philosophy, Leuven, BelgiumLocation: Leuven, BelgiumDeadline: 10 November 2009
The Dutch-Flemish Association for Analytic Philosophy organizes its Fourth Conference from wendesday January 20 (1.30 p.m) till Friday January 22 (4 p.m) 2010 at the Institute of Philosophy (University of Leuven, Belgium). This year's topic will be Epistemology and Philosophy of Mind at The Crossroads.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is November 10, 2009.
18-29 January 2010, Third Indian School on Logic and its Applications, Hyderabad, IndiaLocation: Hyderabad, IndiaDeadline: 31 May 2009
The Indian School on Logic and Applications is a biennial event. The first school was held during January 2006 at IIT Bombay and the second school during January 2008 at IIT Kanpur. The objective is to present before graduate students and researchers of the country, some basics as well as active research areas in logic. The School typically attracts students and teachers from mathematics, philosophy and computer science departments. The School is complemented by a biennial conference. The third conference was held at IMSc, Chennai, this year and the proceedings published as LNAI 5378.
The 3rd School will adopt a dual format: the mornings will consist of introductory courses on fundamental aspects of logic, by eminent researchers in the area. The afternoons will have workshops, which can be of the nature of advanced tutorials, or presentations on research areas, in different aspects of logic and applications.
The ISLA programme committee invites proposals for workshops for the School, in the broad interdisciplinary area connecting logic and the foundations of mathematics with artificial intelligence, computing science and philosophy. The objective is to bring before students and faculty an active research theme. Deadline for workshop proposals: 31 May 2009.
17-18 December 2009, EUMAS-09, European Workshop on Multi-Agent Systems, Ayia Napa, CyprusLocation: Ayia Napa, CyprusDeadline: 14 September 2009
In the last two decades, we have seen a significant increase of interest in agent-oriented technology. It is crucial that both academics and industrialists within Europe have access to a forum at which current research and application issues are presented and discussed. The aim of this Seventh European Workshop on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This workshop is primarily intended as a European forum at which researchers and those interested in activities relating to research in the area of autonomous agents and multi-agent systems could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment.
For more information, see http://www.eumas.org/ or http://www.easychair.org/conferences/?conf=eumas09
Submission of papers describing relevant preliminary or completed work are invited. EUMAS 2009 also welcomes papers that are under submission, will be presented or have already been presented at relevant international conferences. Abstracts are due: 14th September 2009
16-18 December 2009, 4th Indian Conference on Artificial Intelligence (IICAI-09), Tumkur, Bangalore, IndiaLocation: Bangalore, IndiaDeadline: 10 April 2009
The 4th Indian International Conference on Artificial Intelligence (IICAI-09) will be held in Tumkur (near Bangalore), India during December 16-18 2009. The conference consists of paper presentations, special workshops, sessions, invited talks and local tours, etc. and it is one of the biggest AI events in the world.
For more information, see http://www.iiconference.org/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is April 10th, 2009.
19-20 November 2009, Logic and Engineering of Natural Language Semantics (LENLS6), Tokyo, JapanLocation: Tokyo, JapanDeadline: 15 August 2009
LENLS is an annual international workshop focusing on formal semantics and pragmatics. In the past it has been a satellite of the Japanese Society for Artificial Intelligence conference; this year it will be part of a special workshop session to be held in November, distinct from the conference though still sponsored by JSAI.
We invite submissions to this year's workshop on topics in formal semantics and pragmatics, and related fields. This year we especially welcome submissions related to the interplay between logic, philosophy of language, and formal semantics and pragmatics. Abstract submission deadline : August 15, 2009.
19-22 November 2009, IADIS International Conference WWW/Internet 2009, Rome, ItalyLocation: Rome, ItalyDeadline: 31 July 2009
WWW and Internet had a huge development in recent years. Aspects of concern are no longer just technical anymore but other aspects have arisen. This conference, organized by IADIS (the International Association for Development of the Information Society) aims to cover both technological as well as non-technological issues related to these developments.
For more information, see: http://www.internet-conf.org/.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 31 July 2009.
19-21 November 2009, IADIS International Conference Applied Computing 2009, Rome, ItalyLocation: Rome, ItalyDeadline: 31 July 2009
The IADIS (International Association for Development of the Information Society) Applied Computing 2009 conference aims to address the main issues of concern within the applied computing area and related fields. This conference covers essentially technical aspects. The applied computing field is divided into more detailed areas (see below). However innovative contributes that don't fit into these areas will also be considered since they might be of benefit to conference attendees.
For more information, see: http://www.computing-conf.org/.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 31 July 2009.
12-14 November 2009, 6th Workshop on "Methods for Modalities" (M4M-6), Copenhagen, DenmarkLocation: Copenhagen, DenmarkDeadline: 1 September 2009
The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.
To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. M4M-6 will be preceded by a two-day mini-course aimed at preparing PhD students and other researchers for participation in the workshop. The mini-course is associated with the FIRST research school (http://first.dk).
For more information, see http://m4m.loria.fr/M4M6
The Programme Committee cordially invites all researchers to submit their papers for presentation. We strongly encourage young researchers and students to submit papers, especially for experimental and prototypical software tools which are related to modal logics. Submission deadline (extended) is September 1st, 2009.
7-8 November 2009, Arché/CSMN Graduate Conference, Oslo, NorwayLocation: Oslo, NorwayDeadline: 1 September 2009
Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology, and CSMN, Centre for the Study of Mind in Nature, are pleased to announce the sixth in a series of graduate conferences aimed at showcasing international graduate work in contemporary analytic philosophy, especially in the areas of Philosophy of Language, Philosophy of Mind, Epistemology, and Metaphysics.
For more information, see http://www.st-andrews.ac.uk/~arche/acgc/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for submissions: September 1, 2009.
7-8 November 2009, First DepLog LINT Workshop, Stockholm, SwedenLocation: Stockholm, SwedenDeadline: 23 October 2009
This workshop aims to provide an opportunity to discuss and further develop the current research directions on the topic of Dependence Logic, Dependence Friendly Logic, and Independence Friendly Logic, such as the investigation of their proof- and model-theoretic properties, their extensions and their relations to each other and to other formalisms.
The workshop organizers are Jouko Väänänen and Dag Westerståhl. If you intend to come to the workshop, please send Jouko a message, preferably no later than November 1. For more information, see http://www.illc.uva.nl/lint/deplog01.php
On Saturday, two talks of one hour and two short talks of thirty minutes will be held; on Sunday, instead, there will be a one-hour long talk and two short talks of thirty minutes.
The titles of the talks have not been yet decided; those interested should send their proposals to Jouko Väänänen as soon as possible, and in any case before October 23.
4-6 November 2009, Formal Methods 2009, Eindhoven, The NetherlandsLocation: Eindhoven, The NetherlandsDeadline: 6 March 2009
FM2009 is the sixteenth international symposium of the Formal Methods Europe association. Ten years after the world congress in Toulouse in 1999, FM2009 will be organized as a world congress again, a global platform for researchers and practitioners from a diversity of countries, backgrounds and schools to exchange ideas and share experiences. Several conferences are colocating with FM2009 within FMweek. As is tradition, the symposium will go together with an Industry Day, a Doctoral Symposium, a Tool Exhibition, an event on Teaching Formal Methods, as well as a wide range of workshops.
For more information, see http://www.win.tue.nl/fm2009/.
In order to complete the programme, the organizing committee of FM2009 cordially invites proposals for one day tutorials in the wide area of formal methods, which will take place on 2 and 3 November, preceding the symposium. Tutorials should aim to provide conference participants with the opportunity to learn new techniques and gain insights in the use of formal methods. Deadline for proposal submissions: 6 March, 2009.
4-6 November 2009, First Colombian Conference in Logic, Epistemology, and Philosophy of Science, Bogota, ColombiaLocation: Bogota, ColombiaDeadline: 15 August 2009
The conference is designed to provide a biennial, international forum for new work in logic, epistemology, and philosophy of science. The format of the conference will provide an opportunity for speakers to receive constructive feedback from interested colleagues from Colombia and abroad, and for other participants to become acquainted with new work in the field. Invited speakers are Susan Haack (University of Miami), Arnold Koslow (CUNY Graduate Center) and Michael Bishop (Florida State University).
For further details, please visit http://filosofia.uniandes.edu.co/filociencia/eng.htm or contact apaez at uniandes.edu.co
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is August 15, 2009.
3 November 2009, FOPARA 2009: Foundational and Practical Aspects of Resource Analysis, Eindhoven, The NetherlandsLocation: Eindhoven, The NetherlandsDeadline: 10 July 2009
The workshop serves as a forum for presenting original research results that are relevant to the analysis of resource (time, space) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged. The workshop is a satellite event of the 16th International Symposium on Formal Methods, FM2009.
For more information, see http://www.aha.cs.ru.nl/fopara/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstract deadline: July 10, 2009.
2 November 2009, 3rd Workshop on Formal Methods for Interactive Systems, Eindhoven, The NetherlandsLocation: Eindhoven, The NetherlandsDeadline: 10 August 2009
Reducing the likelihood of human error in the use of interactive systems is increasingly important: the use of such systems is becoming widespread in applications that demand high reliability due to safety, security, financial or similar considerations. Interactive systems are also becoming increasingly ubiquitous and being used in new and more complex situations. Consequently, the use of formal methods in verifying the correctness of interactive systems should also include analysis of human behaviour in interacting with the interface as well as with the wider socio-technical system.
The aim of this workshop is to bring together researchers in computer science, cognitive psychology, and other areas of HCI, from both academia and industry, who are interested in both formal methods and interactive system design.
For more information, see http://homepages.cs.ncl.ac.uk/michael.harrison/fmis/. The workshop will be held in conjunction with FM2009 <http://www.win.tue.nl/fm2009/>
In order to encourage participation and discussion, this workshop solicits two types of submissions - regular papers and short papers. Deadline for abstract submission: August 10, 2009.
30 October - 1 November 2009, Workshop and Special Session on Constructive Mathematics, Boca Raton, Florida (U.S.A.)Location: Boca Raton, Florida (U.S.A.)Deadline: 14 July 2009
The organizers of the Special Session on Constructive Mathematics at the AMS Sectional Meeting at Florida Atlantic University (F Oct 30 -- Sun Nov 1, 2009) welcome submissions of abstracts of talks to be considered for inclusion in the Special Session. Talks at such sessions are typically twenty minutes long. The deadline is July 14.
29-30 October 2009, Logic in Databases Workshop 2009 (LID 2009), Roskilde, DenmarkLocation: Roskilde, DenmarkDeadline: 1 July 2009
Ever since Codd's Relational Model, logic has played a major role in the field of databases. The significance and impact of this role have grown stronger over the years as data management research marched through many a data model, with logic keeping up and providing the foundations every step of the way. Some of the latest additions to this long list of models are XML, semantic web, probabilistic relational models, integrated model of DB+IR, data integration models, and models of unclean data to name a few. For some of these, corresponding logics already exist or are being explored. The significance of logic's role for data management will continue regardless of the data model. Logic is a fundamental tool for understanding and analyzing several aspects of data management. The Logic in Databases workshop, LID 2009, is a forum for bringing together researchers from around the world who are focusing on all logical aspects of data management.
For more information, see http://LID2009.ruc.dk/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is July 1, 2009.
28 October - 1 November 2009, Workshop and Special Session on Constructive Mathematics, Boca Raton, Florida, U.S.A.Location: Boca Raton, Florida, U.S.A.Deadline: 14 July 2009
At the workshop there will be sessions on algebra (Fred Richman), analysis (Doug Bridges), topology (Bas Spitters), and set theory (Michael Rathjen). The workshop will conclude with a talk by Vladimir Lifschitz on constructive mathematics and computer science aimed at a general mathematics audience. The special session will be part of the AMS sectional meeting at FAU, (http://www.ams.org/amsmtgs/2161_program.html).
Abstracts of talks to be considered for inclusion at this special session can be submitted over this AMS website, with a strict deadline of July 14. PLEASE NOTE THAT THIS DEADLINE IS EARLIER THAN THE ONE FOR NON-SPECIAL SESSION CONTRIBUTIONS!!! By the AMS standard, talks at such sessions are typically twenty minutes long.
24-27 October 2009, FOCS 2009: Foundations of Computer Science, Atlanta GA, U.S.A.Location: Atlanta GA, U.S.A.Deadline: 2 April 2009
The 50th Annual Symposium on Foundations of Computer Science (FOCS2009), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held in at the Renaissance Atlanta Hotel Downtown in Atlanta, GA, October 24-27, 2009. Typical but not exclusive topics of interest include: algorithms and data structures, computational complexity, cryptography, computational geometry, computational game theory, algorithmic graph theory and combinatorics, optimization, randomness in computing, parallel and distributed computing, machine learning, applications of logic, algorithmic algebra and coding theory, theoretical aspects of databases, information retrieval, networks, computational biology, robotics, and quantum computing.
For more information, see http://www.cs.yale.edu/focs09 or contact the Local Arrangements Chairs, Milena Mihail and Prasad Tetali, by email to focs2009 at cc.gatech.edu or focs2009.local at gmail.com.
Papers presenting new and original research on theory of computation are sought. Papers that broaden the reach of theory, or raise important problems that can benefit from theoretical investigation and analysis, are encouraged. Submission deadline is . Extended abstract must be received by April 2, 2009.
21-24 October 2009, 2nd conference of the European Philosophy of Science Association (EPSA 2009), Amsterdam, The NetherlandsLocation: Amsterdam, The NetherlandsDeadline: 15 January 2009
After its successful first conference in Madrid in November 2007, the second conference of the European Philosophy of Science Association (EPSA) will take place at VU University Amsterdam from 21-24 October 2009.
For more information, see http://www.epsa09.org
We invite contributed papers and proposals for symposia. Submission deadline: 15 January 2009
21-22 October 2009, Paris-Nancy PhilMath Workshop (P-NPMW), Nancy, FranceLocation: Nancy, FranceDeadline: 31 July 2009
Next October (21--22) a workshop in the philosophy of mathematics will be held at the University of Nancy 2. This is envisioned as the first in a continuing, annual series of workshops organized by a team of scholars from Paris, Nancy and elsewhere in France. The two day meeting will feature both invited and contributed talks. Deadline for the submission: July 31.
For more information, see http://poincare.univ-nancy2.fr/Activites/?contentId=6242&languageId=1
18-20 October 2009, 2nd Symposium on Algorithmic Game Theory, Paphos, CyprusLocation: Paphos, CyprusDeadline: 3 May 2009
The purpose of SAGT is to bring together researchers from Computer Science, Economics and Mathematics to present and discuss original research at the intersection of Algorithms and Game Theory.
For more information, see http://www.cs.ucy.ac.cy/~mavronic/sagt2009/
Authors are invited to submit previously unpublished work for possible presentation at the conference. Deadline for submissions: 5 May 2009.
12-14 October 2009, CLA09: Computational Linguistics -- Applications Workshop, Mragowo, PolandLocation: Mragowo, PolandDeadline: 30 May 2009
IMSCIT is a multi-disciplinary conference gathering scientists form the different fields of IT & Computer Science together with representatives of industry and end-users. IMSCIT with its motto: "new ideas are born not inside peoples' heads but in the space between them", quickly became a unique place to share thoughts and ideas. This year's gathering is held in October 2009 in a beautiful town of Mragowo in the midst of Mazury Lake Country.
The CLA Workshop is located within the framework of the IMCSIT conference to create a dialog between researchers and practitioners involved in Computational Linguistics and related areas of Information Technology. The Workshop will focus on practical outcome of modeling human language use and the applications needed to improve human-machine interaction.
For more information, see http://cla.imcsit.org/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 30 May 2009.
10-11 October 2009, Midwest PhilMath Workshop (MWPMW 10), Notre Dame, U.S.A.Location: Notre Dame, U.S.A.Deadline: 1 September 2009
The tenth annual Midwest PhilMath Workshop (MWPMW 10) will be held at Notre Dame the weekend of Saturday, October 10th and Sunday, October 11th. There will be a full day of talks and discussions for Saturday and a half day for Sunday, as well as a workshop dinner Saturday evening, with all participants invited to attend as guests of the university. Some special events are planned to mark the tenth anniversary of the workshop. Some of these will occur as part of the workshop. Hugh Woodin and Tony Martin will be joining us and giving talks as part of a special session on set theory and philosophical questions concerning it. There will also be a special meeting of the Notre Dame weekly Logic Seminar in connection with this.
For more information, see the website at http://philosophy.nd.edu/news/events/philosophy-math-conference/.
If you would like to give a talk, email a pdf of your talk or substantial summary to Paddy (blanchette.1 at nd.edu), Tim (bays.5 at nd.edu), Curtis (cfranks at nd.edu) and Mic (mdetlef1 at nd.edu). We would like to have all proposals for talks by September 1st so that we can set the program by September 10th. Talks should be 35--40 minutes, with 15--20 minutes left for discussion.
3-5 October 2009, ALT 2009: Algorithmic Learning Theory, Porto, PortugalLocation: Porto, PortugalDeadline: 10 May 2009
The 20th International Conference on Algorithmic Learning Theory (ALT 2009) will be held at the University of Porto, Portugal, October 3 - 5, 2009. The conference is on the theoretical foundations of machine learning. The conference will be co-located with the 12th International Conference on Discovery Science (DS 2009).
ALT 2009 homepage: http://www-alg.ist.hokudai.ac.jp/~thomas/ALT09/alt09.jhtml
We invite submissions that make a wide variety of contributions to the theory of learning. Submission deadline: May 10, 2009 (you may submit for as long as it is May 10, 2009 anywhere in the world).
25-27 September 2009, Days of Judgement, Leiden, The NetherlandsLocation: Leiden, The NetherlandsDeadline: 1 May 2009
Although modern logic has neglected the notion of judgement, logic is in need of this notion, because the premises and conclusions in our reasoning are judgements. The notion of judgement brings back to logic and to philosophy in general the notion of judging agent. This focus on the agent is not to be understood in an exclusively subjective sense, because the agent is entitled to judge only if he has grounds for his judgement. Recently, the notion of assertion, the linguistic counterpart to the notion of judgement, has come into focus. The aim of the workshop is to bring together different perspectives on the notion of judgement from the history of philosophy that may have a relevance for a theory of assertion and judgement today.
For more information, see
or contact the organizer Maria van der Schaar: m.v.d.schaar at phil.leidenuniv.nl.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is May 1st, 2009.
17-19 September 2009, 4th Workshop on Combining Probability and Logic (Progic 2009), GroningenLocation: GroningenDeadline: 1 June 2009
Logic and probability theory are often studied in conjunction to decision making, and for good reason: we want our reasoning to be rational because the reasoning precedes and controls for actions. But the models for rationality in reasoning have seen major changes and additions in recent years: logicians have taken a dynamic turn, and probabilists have discovered network tools and new representations of uncertainty. In this workshop we address the question how these developments in modelling rationality carry over to the science of decision making.
Invited speakers include Johan van Benthem, Luc Bovens, Richard Bradley, Igor Douven, Stephan Hartmann, Jim Joyce, Christian List, Clemens Puppe, Wlodek Rabinowicz, Teddy Seidenfeld, and Jon Williamson.
For more information, see http://www.philos.rug.nl/progic2009/.
We welcome submissions of papers on the special focus of the workshop, or indeed on any aspect of combining probability and logic. Deadline for submissions is June 1st 2009.
17-19 September 2009, "Logic, Language, Mathematics", A Philosophy Conference in Memory of Imre Rusza, Budapest, HungaryLocation: Budapest, HungaryDeadline: 1 June 2009
The conference, part of the annual conference series "LANGUAGE, UNDERSTANDING, INTERPRETATION", is held in memory of Imre Ruzsa (1921-2008), the father of modern philosophical logic in Hungary. His professional interests centered around modal logic, intensional logic, modeling natural language in systems of intensional logic, and the foundations of logic and mathematics. He always thought of his generalization of A. N. Prior's concept of semantic value gaps to quantified, intensional and type-theoretic systems as his most important contribution to logic.
Contributions for 20-minute panel-presentations are sought in philosophical logic, mathematical logic, formal semantics, philosophy of mathematics, and philosophy of language. Plenary talks will be in English; some of the afternoon panels are held in English, some in Hungarian. Graduate students are encouraged to submit. Deadline for submissions: June 1, 2009.
15-18 September 2009, History and Philosophical Foundations of AI, Paderborn, GermanyLocation: Paderborn, GermanyDeadline: 9 April 2009
The philosophically relevant track within the KI-Conference "History and Philosophical Foundations of AI" deals with the history of AI, its philosophical basics and conceptual debates on basic principles.
Relevant topics are Artificial intelligence and limits of computability, Multi-Agent-Systems and action theory, Computational functionalism, Philosophical reasoning and AI, and Phenomenology and artificial subject.
For more information, see http://www.uni-paderborn.de/philosophie/personal/hagengruber/ki09/ or contact Prof. Dr. Ruth Hagengruber at Ruth.hagengruber at upb.de
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is Paper submission: April 09, 2009.
15-20 September 2009, ESF-COST High-Level Research Conference on Complex Systems and Changes - Darwin and Evolution: Nature-Culture Interfaces, Hotel Eden Roc, Sant Feliu de Guixols, SpainLocation: Hotel Eden Roc, Sant Feliu de Guixols, SpainDeadline: 10 July 2009
Interdisciplinary conference on evolution theory in natural, social and human sciences.Deadline for applications and abstracts: (extended to) July 10, 2009.
14-16 September 2009, Ninth International Conference on Intelligent Virtual Agents (IVA'09), Amsterdam, The NetherlandsLocation: Amsterdam, The NetherlandsDeadline: 17 April 2009
Intelligent virtual agents (IVAs) are interactive characters that exhibit human-like qualities and communicate with humans or each other using natural human modalities such as speech and gesture. They are capable of real-time perception, cognition and action that allow them to participate in a dynamic social environment.
IVA'09 is an interdisciplinary annual conference and the main forum for presenting research on modeling, developing and evaluating intelligent virtual agents with a focus on communicative abilities and social behavior. In addition to presentations on theoretical issues, the conference encourages the showcasing of working applications. Researchers from the fields of human-human and human-robot interaction are also welcome to share work which has a bearing on intelligent virtual agents. IVA'09 particularly encourages submissions on this year's special topic of games.
IVA'09 will be co-located in Amsterdam with the complementary Affective Computing & Intelligent Interaction International Conference (ACII'09, http://www.acii2009.nl/), held 10-12 September 2009.
For more information, see http://iva09.dfki.de
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 17 April, 2009.
14-17 September 2009, Annual Workshop of the ESF Networking Programme on Games for Design and Verification (GAMES 2009), Udine, ItalyLocation: Udine, ItalyDeadline: 15 July 2009
As in previous years, GAMES 2009 will be an informal workshop, without proceedings, with a programme consisting of introductory and advanced tutorials, contributed talks and short presentations. GAMES 2009 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games.
For more information, see http://games2009.dimi.uniud.it/
Contributed talks and short presentations will be selected by the programme committee on the basis of submitted abstracts. Submissions can contain work published elsewhere. Submission deadline: 15th July 2009.
12-14 September 2009, THE 5th INTERNATIIONAL SYMPOSIUM ON DOMAIN THEORY (ISDT 2009), Shanghai, ChinaLocation: Shanghai, ChinaDeadline: 12 June 2009Supervisor: Yixiang Chen, Ernst-Erich Doberkat, Achim Jung
The 5th International Symposium on Domain Theory (ISDT2009) will be held in September 12-14, 2009, Software Engineering Institute, East China Normal University, Shanghai, People’s Republic of China.
International Symposium on Domain Theory (ISDT) is a series of conference held in the mainland of China. It aims at providing a forum for researchers in domain theory and its applications. Each meeting includes invited talks and contributed papers. The previous four ISDT events were held in Shanghai (1999), Chengdu (2001), Xi'an (2004) and Changsha (2006).
For more information, see http://sites.sei.ecnu.edu.cn/isdt2009/Conferences/~isdt2009/.
Authors are invited to submit papers presenting original and unpublished research not concurrently considered for publication elsewhere. Abstract submissions are due (extended deadline) June 12th, 2009 (Friday).
11 September 2009, Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA 2009), Hamburg, GermanyLocation: Hamburg, GermanyDeadline: 17 July 2009
Objects, components, and agents are fundamental units to organise models. They are also fundamental concepts of the modelling process. Even though software engineers intensively use models based on these fundamental units, and models are the subjects of theoretical research, the relations and potential mutual enhancements between theoretical and practical models have not been sufficiently investigated. There is still the need for better modelling languages, standards and tools. Important research areas are for example UML, BPEL, Petri nets, process algebras, or different kinds of logics. Application areas like business processes, (Web) services, production processes, organisation of systems, communication, cooperation, cooperation, ubiquity, mobility etc. will support the domain dependent modelling perspectives.
Therefore, the workshop addresses all relations between theoretical foundations of models on the one hand and objects, components, and agents on the other hand with respect to modelling in general. The intention is to gather research and application directions to have a lively mutual exchange of ideas, knowledge, viewpoints, and experiences.
For more information, see http://www.informatik.uni-hamburg.de/TGI/events/moca09/ or contact the programme commitee by email at moca09 at informatik.uni-hamburg.de
The Programme Committee cordially invites all researchers to submit their papers for presentation. We look for contributions describing original research in topics related to formal methods in combination with object-orientation, components, or agents addressing open problems or presenting new ideas. Deadline for submissions: July 17, 2009
9-11 September 2009, Phloxshop 2: Modality, Berlin, GermanyLocation: Berlin, GermanyDeadline: 1 May 2009
The research group phlox organizes a workshop on modality with Dorothy Edgington and Keith Hossack as keynote speakers. The workshop will focus on counterfactual reasoning, modal knowledge, and modal idioms in natural language.
Questions that may be addressed include, but are not limited to, the following:
- What strength or kind of modality is expressed in different sorts of everyday modal idioms?
- What role does metaphysical possibility play for non-philosophical reasoning?
- Is knowledge of counterfactuals prior to knowledge of possibilities and necessities?
- Can modal knowledge be grounded in knowledge of some non-modal facts?
The research group phlox is inviting submissions for the workshop. The deadline for submission of paper abstracts is the 1st of May 2009.
9-11 September 2009, MATES 2009: 7th German Conference on Multi-Agent Technologies, Hamburg, GermanyLocation: Hamburg, GermanyDeadline: 4 April 2009
The German conference on Multi-Agent System Technologies (MATES) provides an interdisciplinary forum for researchers, users, and developers, to present and discuss latest advances in research work, as well as prototyped or fielded systems of intelligent agents and multi-agent systems.
MATES 2009 will be colocated with the Tenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'09) and the Fifth International Workshop on Modeling of Objects, Components, and Agents (MOCA'09). The participants of MATES 2009 will also have full access to the concurrently running programs of these events.
For more information, see http://jadex.informatik.uni-hamburg.de/mates
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission Deadline: April 4, 2009.
8 September 2009, Workshop on Advanced Technologies for Digital Libraries 2009 (AT4DL 2009), Trento, ItalyLocation: Trento, ItalyDeadline: 18 June 2009
The fast growth of digital material is challenging for research in many disciplines. The EU has funded many projects to advance research in this field and facilitate end-user access to cultural and scientific heritage. The ENRICH, Europeana, CACAO, GAMA, NEEO and TELplus projects, funded by the eContentplus programme, have joined forces to organise a workshop as a satellite event of ICSD 2009 (http://www.icsd-conference.org/).
The workshop aims to bring together stakeholders in order to present an overview of state-of-the-art systems in the field and identify open research problems that require further work.
For more information, see http://www.cacaoproject.eu/at4dlSubmission deadline: 18 June 2009.
7-11 September 2009, Computer Science Logic 2009 (CSL'09), Coimbra, PortugalLocation: Coimbra, PortugalDeadline: 30 March 2009
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. CSL'09, the 18th annual EACSL conference will be organized at the Department of Mathematics of the University of Coimbra
The Ackermann Award for 2009 will be presented to the recipients at CSL'09.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline (title & abstract) is 30 March, 2009.
7-11 September 2009, CSL 2009: 18th Conference on Computer Science Logic, Coimbra, PortugalLocation: Coimbra, PortugalDeadline: 30 March 2009
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. CSL'09, the 18th annual EACSL conference will be organized at the Department of Mathematics of the University of Coimbra.
The invited speakers include: M. Bojanczyk, T. Coquand, M. Grohe, Y. Moschovakis, and P. Oliva. A special session on the life and work of Stephen Kleene also is planned: 2009 marks the centennial of his birth.
For more information, see http://www.mat.uc.pt/~csl/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline for abstracts is 30 March, 2009.
7-11 September 2009, FAMAS09: Formal Approaches to Multi-Agent Systems, Torino, ItalyLocation: Torino, ItalyDeadline: 6 June 2009
In recent years, multi-agent systems have come to form one of the key technologies for software development. Part of MALLOW 2009, the fourth edition of the FAMAS workshop series 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.
For more information, see http://www.mimuw.edu.pl/MAS/FAMAS2009/
We welcome and encourage the submission of high-quality, original papers, which are not being submitted simultaneously for publication elsewhere. Submission deadline: Saturday 6 June 2009.
6-10 September 2009, 3rd Conference on Algebra and Coalgebra in Computer Science (CALCO 2009), Udine, ItalyLocation: Udine, ItalyDeadline: 2 February 2009
CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). The conference brings together researchers and practitioners to exchange new results about both traditional and emerging uses of algebras and coalgebras in computer science.
CALCO 2009 will be preceded by two events on September 6, 2009:
* CALCO-jnr - a CALCO Young Researchers Workshop dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years.
* CALCO Tools Day - providing the opportunity to give system demonstrations of tools based on algebraic and coalgebraic principles. These include systems/prototypes/tools developed specifically for design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains but making core or interesting use of (co)algebraic techniques.
For more information, see http://www.dimi.uniud.it/calco09/
The Programme Committee invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of resulting technologies into industrial practice. Deadline for submissions is February 2nd, 2009 (February 24th for submissions to CALCO Tools day).
3-5 September 2009, British Logic Colloquium (BLC 2009), Swansea, WalesLocation: Swansea, WalesDeadline: 3 August 2009
The British Logic Colloquium exists to support, promote, and foster the study of logic (especially, but not exclusively, formal and mathematical logic) in Britain. It embraces diverse aspects of logic, from the studies of traditional formal systems to philosophical logic and the modern applications in artificial intelligence, computer science and linguistics; above all, it aims to encourage communication between logicians working in related fields.
The Annual Meeting of the British Logic Colloquium will be held at the Department of Computer Science, Swansea University.
For more information, see http://www.cs.swan.ac.uk/blc09/ or contact Ulrich Berger at u.berger at swansea.ac.uk. We have reserved a limited number of on campus accommodation, which are on hold until Monday, August 10, 2009.
We have space for a few contributed talks. Please send an abstract to u.berger at swansea.ac.uk with subject "BLC09 contributed talk". Deadline: Monday, August 3, 2009
1-4 September 2009, Foundations of Uncertainty, Prague, Czech RepublicLocation: Prague, Czech RepublicDeadline: 31 March 2009
The Department of Logic at the Institute of Philosophy of the Academy of Sciences of the Czech Republic and the Formal Epistemology Research Group at the University of Konstanz are jointly organizing a colloquium on philosophical issues concerning uncertainty calculi, in particular interpretations of the probability calclulus. Invited speakers include: Colin Howson, Jim Joyce, Peter Milne, Jeff Paris, and Glenn Shafer.
We invite submissions on the following topics: Objective and subjective interpretations of probability, Other theories of uncertainty and their relation to probability, Logic and the foundations of probability, and Philosophical aspects of the dynamics of subjective probability. Deadline for submissions: March 31, 2009.
1-4 September 2009, Trends in Logic VII: Trends in the Philosophy of Mathematics, Frankfurt, GermanyLocation: Frankfurt, GermanyDeadline: 26 April 2009
Trends in Logic is the conference series of Studia Logica. This year's conference will focus entirely on the philosophy of mathematics. We have invited scholars who pursue the subject at the currently most advanced level. In addition, we invite papers that contribute to and try to advance current debates in the field.
For more information, see http://web.uni-frankfurt.de/trends
Submission Deadline: April 26, 2009
31 August - 4 September 2009, Student Session of the 11th European Agent Systems Summer School (EASSS-2009), Torino, ItalyLocation: Torino, ItalyDeadline: 26 June 2009
Within the context of EASSS'09, the Student Session is designed to encourage student interaction and feedback from the tutors. By providing the students with a conference-like setup, both in the presentation and in the review process, students have the opportunity to prepare their own submission, go through the selection process (peer review) and possibly present their work to themselves and their interests to their fellow students as well as internationally leading experts in the agent field, both from the theoretical and the practical sector. All submissions will be peer-reviewed and accepted paper submissions will be assigned a 15 minute slot for presentation. Typically a presentation will either detail the intended approach to a problem or ask a specific question, directed at the audience.
Deadline for submissions: June 26th. For more information, see the Call for Papers, available at http://agents009.di.unito.it/studentses.html.
27-29 August 2009, Philosophical Aspects of Symbolic Reasoning in Early Modern Science and Mathematics (PASR), Ghent, BelgiumLocation: Ghent, BelgiumDeadline: 30 April 2009
This conference brings together scholars working on philosophy of science, history of philosophy and history of science and/or mathematics. The topic is the role of symbolic representations in the development of modern science and mathematics from the end of the sixteenth century throughout the seventeenth century.
For more information, see http://www.pasr.ugent.be/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Following some requests, the deadline for submission of abstracts has been extended until April 30th.
24-28 August 2009, Mal'tsev Centenary Meeting (Conference on Algebra, Mathematical Logic and Applications), Novosibirsk, RussiaLocation: Novosibirsk, RussiaDeadline: 24 April 2009
This conference is dedicated to the 100th anniversary of Anatolii Ivanovich Mal'tsev (1909-1967). The topics of the conference include group theory, ring theory, universal algebra, mathematical logic, computability theory, theoretical computer science, and related areas of mathematics.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for submission of abstracts is April 24, 2009
13-15 August 2009, The Philosophy of Computer Games Conference 2009, Oslo, NorwayLocation: Oslo, NorwayDeadline: 1 June 2009
The purpose of this conference is to initiate an investigation into how current research on computer games touches upon philosophical issues. In line with this purpose, the conference is interdisciplinary, drawing together researchers from diverse fields such as: philosophy, computer game-theory, semiotics, aesthetics, sociology, psychology, and anthropology.
For more information, see http://www.gamephilosophy.org/.
We invite submissions focusing on, but not limited to, the following three headings: "Fictionality and Interaction", "Defining Computer Games" and "Ethical and Political Issues". Accepted papers will have a clear focus on philosophy and philosophical issues in relation to computer games. They will also attempt to use specific examples rather than merely invoke "computer games" in general terms. Deadline for submissions is June 1, 2009.
11-14 August 2009, Logic in Computer Science (LICS 2009), Los Angeles CA, U.S.A.Location: Los Angeles CA, U.S.A.Deadline: 12 January 2009
The IEEE Symposium on Logic In Computer Science (LICS) is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. LICS 2009 will be held at UCLA in Los Angeles, California, USA, 11th-14th August 2009. It will be colocated with the 16th International Static Analysis Symposium (SAS 2009; August 9th-11th).
For more information, see http://www2.informatik.hu-berlin.de/lics/lics09/index.html)
Researchers and practitioners are invited to submit papers for presentation and/or proposals for workshops, on topics relating logic - broadly construed - to computer science or related fields. Abstracts are due January 12th 2009, proposals December 1st 2008.
10-14 August 2009, BLAST 2009: Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Las Cruces NM, U.S.A.Location: Las Cruces NM, U.S.A.Deadline: 30 May 2009
BLAST is a conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. The conference is the second in a series that will rotate among universities of the region. The first conference was held in Denver last summer and was a big success.
The conference webpage is at http://www.math.nmsu.edu/blast.
To apply to give a contributed talk, please submit a title and abstract in Latex or plain text on the abstract submission page by May 30. After May 30, contributed talks may still be accepted, depending on available space.
9-15 August 2009, 32nd International Wittgenstein Symposium, Kirchberg am Wechsel, AustriaLocation: Kirchberg am Wechsel, AustriaDeadline: 30 April 2009
The general theme of the 32nd International Wittgenstein Symposium will be "Language and World", with sections focusing on Wittgenstein, Theories of the Linguistic Sign, Language and Action, Language and Consciousness, Language and Metaphysics, and Reality and Construction. There will be two workshops, on "Wittgenstein and the Literary" and "Wittgenstein's Nachlass "
For more information, see http://www.alws.at/index.php/wittgenstein/symposium_aktuell/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 30 April 2009.
9-10 August 2009, LAM 09: Logics for Agents and Mobility, Los Angeles CA, U.S.A.Location: Los Angeles CA, U.S.A.Deadline: 1 May 2009
Our aim is to bring together active researchers in the area of logics and mobile systems, especially in the field of logics and calculi for mobility, agents, and multi-agent systems. Many notions used in the theory of agents are derived from philosophy, logic, and linguistics (belief, desire, intention, speech act, etc.), and interdisciplinary discourse has proved fruitful for the advance of this domain. Outside of academia, the deployment of large-scale pervasive infrastructures (mobile ad-hoc networks, mobile devices, RFIDs, etc.) is becoming a reality. This raises a number of scientific and technological challenges for the software modelling and programming models for such large-scale, open and highly-dynamic distributed systems. The agent and multi-agent systems approach seems particularly adapted to tackle this challenge, but there are many issues remaining to be investigated. The workshop is intended to showcase results and current work being undertaken in these areas with a focus on logics for specification and verification of dynamic, mobile systems.
The workshop will be held as a one-and-a-half-day event before LICS'2009. There will be a general introduction and brief survey of the field by the organiser as an introduction to the workshop. The workshop will contain invited talks, contributed talks, and a discussion session. The latter is meant to give the participants a chance to discuss informally research directions, open problems, and possible co-operations.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission Deadline: 1 May 2009.
3-7 August 2009, Logic and Mathematics 2009, York, U.K.Location: York, U.K.Deadline: 31 March 2009
Theme: The interaction between ideas or techniques from mathematical logic and other areas of mathematics.
Sponsored by the London Mathematical Society and the British Logic Colloquium
Participants are invited to submit abstracts of papers they would like to present.
Deadline for early registrations: 31 March 2009. For more information, see http://maths.york.ac.uk/www/York2009submissions and
31 July - 5 August 2009, Logic Colloquium 2009, Sofia, BulgariaLocation: Sofia, BulgariaDeadline: 15 April 2009
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 Bern (2008) and Wroclaw (2007).
For more information, see http://lc2009.fmi.uni-sofia.bg/
The Programme Committee cordially invites all researchers to submit contributed papers that have logic research content that lies within the scope of the interests of the ASL. Submission Deadline: 15 April 2009.
29 July - 1 August 2009, Thirty-first annual meeting of the Cognitive Science Society in Amsterdam (CogSci 2009), AmsterdamLocation: AmsterdamDeadline: 1 February 2009
CogSci 2009 is the annual meeting of the Cognitive Science Society for basic and applied cognitive science research. Scientists from across the world submit their best work and attend CogSci to hear the latest theories and data from the world's best cognitive science researchers. This year the conference will be in the Netherlands for the first time, in Amsterdam. Invited speakers this year are Nikola Clayton, Randall O'Reilly, Joshua Tenenbaum, and the winners of the Rumelhart prize for Cognitive Science, Susan Carey, and Heineken prize for Cognitive Science, Stanislas Dehaene.
More information about the conference can be found through the Cognitive Science Society website: http://cognitivesciencesociety.org/conference2009/.
Researchers in Cognitive Science are invited to submit their best work to the conference by 1 February 2009 in the form of a six-page paper, a poster abstract (for members), or proposals for symposia, workshop or tutorials.
27-31 July 2009, Workshop on Logics and Agent Programming Languages, BordeauxLocation: BordeauxDeadline: 4 March 2009
The workshop is part of ESSLLI in Bordeaux and is aimed at researchers who use logics in design and / or verification of agent programming languages. The workshop will provide a forum for advanced PhD students and researchers in these areas to compare methodologies, exchange ideas and identify challenges in agent programming languages and writing reliable agent programs.
Deadline for submissions: 4 March 2009. For more information, see http://www.agents.cs.nott.ac.uk/events/lapl09/.
26-31 July 2009, ICCS09: Conceptual Structures: Leveraging Semantic Technologies, Moscow, RussiaLocation: Moscow, RussiaDeadline: 5 January 2009
The 17th International Conference on Conceptual Structures (ICCS 2009) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. The focus of the conference has been the representation and analysis of conceptual knowledge for research and practical application. ICCS brings together researchers and practioners in information and computer sciences as well as social science to explore novel ways that conceptual structures can be deployed.
Arising from the research on knowledge representation and reasoning with Conceptual Graphs, over the years ICCS has broadened its scope to include innovations from a wider range of theories and related practices. The 2009 ICCS's theme "leveraging semantic technologies" hints to the large overlap of the research fields of semantic technologies and conceptual structures, and emphasizes the goal of closer connecting these two areas in order to obtain a mutual benefit.
For more information, see http://www.iccs.info/
Authors are invited to submit papers describing both theoretical and practical research outcomes. Submission deadline is Monday 5 January 2009.
23-25 July 2009, TIME 2009: Temporal Representation and Reasoning, Brixen, ItalyLocation: Brixen, ItalyDeadline: 6 April 2009
The TIME symposium series is a well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes, but is not limited to, artificial intelligence, temporal databases, and the verification of software and hardware systems. In addition to fostering interdisciplinarity, the TIME symposia emphasize bridging the gap between theoretical and applied research.
TIME 2009 encompasses three tracks, but has a single program committee. The conference will span three days, and will be organized as a combination of technical paper presentations, poster sessions, and keynote lectures.
For more information, see http://www.inf.unibz.it/krdb/events/time-2009/
Submissions of high quality papers describing research results or on-going work are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Deadline for Abstract Submission: April 6.
20-24 July 2009, ViC 2009: Vagueness in Communication, Bordeaux, FranceLocation: Bordeaux, FranceDeadline: 15 February 2009
Although vagueness has long since been an important topic in philosophy, logic and linguistics, some recent advances have made the functions of vagueness in natural language communication an exciting and timely research area. This renewed interest has a distinct cross-disciplinary character and has spawned many new research questions. While the classical instruments of dealing with vagueness have not been significantly extended, new approaches investigate questions like context-sensitivity of vagueness, the sharpening of vague predicates in context, and the modeling of precision levels with expressions like 'roughly' or 'like'. On a more fundamental level, the question why there is vagueness to begin with, what role vagueness serves in human communication, has been addressed. Game-theoretic methods have been employed that show that being vague or imprecise can be beneficial for communication even if the speaker could truthfully use more precise terms (de Jaegher 2003). Furthermore, the important role of vagueness became evident in a number of empirical domains beyond obvious examples such as the language of diplomacy.
The ViC-2009 workshop is part of the European Summer School on Logic, Language and Information (ESSLLI 2009), and is organised as an event of the VAAG project of the ESF Eurocore LogicCC. It aims to provide a forum for researchers (including advanced PhD students) to present and discuss their work with colleagues and researchers who work in the broad subject of the disciplines relevant for particles and modal adverbs, as represented in ESSLLI.
For more information, see http://www.fit.fraunhofer.de/~hcschmitz/esslli2009/ or contact Rick Nouwen at rnouwen at gmail.com.
Authors are invited to submit an anonymous, extended abstract. Deadline for submissions is Febuary 15, 2009.
20-25 July 2009, Workshop Logical Methods for Social Concepts (LMSC), BordeauxLocation: BordeauxDeadline: 4 March 2009
Both computer science and the social sciences are interested in social concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of this workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. The workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality. Its scope includes not only the technical aspects of logics for multi-agent systems, but also multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and a critical analysis of the existing logical frameworks for the specification of social concepts. It is organized as part of ESSLLI'2009.
For more information, see http://www.irit.fr/~Andreas.Herzig/Esslli09.
Authors are invited to submit an extended abstract presenting an approach which is relevant to the area of logic for multi-agent systems. Submission deadline (extended): March 4, 2009
19-24 July 2009, Computability in Europe (CiE 2009), Heidelberg, GermanyLocation: Heidelberg, GermanyDeadline: 20 January 2009
CiE 2009 is the fifth in a series of conferences organised by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006), Siena (2007) and Athens (2008).
CiE 2009 has a broad scope and bridges the gap from the theoretical methods of mathematical and meta-mathematical flavour to the applied and industrial questions of computational practice. The conference aims to bring together researchers who want to explore the historical and philosophical aspects of the field.
For more information, see http://www.math.uni-heidelberg.de/logic/cie2009/
The Programme Committee cordially invites all researchers (European and non-European) in computability related areas to submit their papers (in PDF-format, max 10 pages) for presentation at CiE 2009. The committee particularly invites papers that build bridges between different parts of the research community. Submission date of papers: January 20, 2009.
Special issue "Logic in India" of the JPLDeadline: 15 August 2009
A special issue of the Journal of Philosophical Logic on the theme of Logic in India is being planned. Please see the Special Issue page http://www.imsc.res.in/tcsweb/li-jpl.html for details. Potential authors who are interested to submit to this volume are requested to send an email to one of the Guest Editors, by /August 15, 2009/, mentioning their intention, with a title and an abstract of one paragraph. The submission Deadline is: January 1, 2010. Editors are: Rohit Parikh, Ram Ramanujam, Hans van Ditmarsch.
For more information, see http://www.imsc.res.in/tcsweb/li-jpl.html
15-19 July 2009, 7th Panhellenic Logic Symposium, Patras, GreeceLocation: Patras, GreeceDeadline: 27 March 2009
The Panhellenic Logic Symposium is a biannual scientific event established in 1997. It is open to researchers worldwide who work in Logic broadly conceived. The Seventh Panhellenic Logic Symposium will be hosted at the Conference Center of the University of Patras. The scientific program of the symposium will consist of hour-long invited talks, tutorials, and presentations of accepted contributed papers.
Further information about PLS7 can be found at the conference web site http://www.bma.upatras.gr/pls7/. E-mail inquires about PLS7 should be directed to the local organizers at cdrossos at upatras.gr or pavlos at upatras.gr.
A web-based conference management system will be used for the submission of abstracts of contributed talks. Deadline for submissions: March 27, 2009.
15-17 July 2009, International Workshop on Hybrid Logic 2009 (HyLo 2009), Nancy, FranceLocation: Nancy, FranceDeadline: 1 March 2009
Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications, as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic. But more generally, the topic of HyLo 2009 is not only standard hybrid-logical machinery (like nominals, satisfaction operators, binders, etc) but also extensions of modal logic that increase its expressive power in one way or other.
HyLo 2009 will be an special event, conmemorating the ten years since the organization of the first HyLo workshop in 1999. HyLo 2009 will be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop aims to provide a forum for advanced PhD students and researchers to present and discuss their work with colleagues and researchers.
For more information, see http://hylo.loria.fr/content/Hylo09/
We invite the contribution of papers reporting new work from researchers interested in hybrid logic. Deadline for submissions: Sunday, 1st March 2009
6-8 July 2009, Twelfth Conference on Theoretical Aspects of Rationality and Knowledge (TARK XII), Stanford University, USALocation: Stanford University, USADeadline: 2 March 2009
The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems.
For more information, see http://ai.stanford.edu/~epacuit/tark09/
Submissions are now invited to TARK-XII. Submission deadline is March 2nd, 2008.
6-10 July 2009, Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009), Oslo, NorwayLocation: Oslo, NorwayDeadline: 19 January 2009
This conference is the 18th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.
Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods.
Submissions are invited for research papers, system descriptions and position papers, as well as workshops and tuturials. Deadline for submissions: 9 January 2009 (workshop/tuturial proposals) and 19 January 2009 (paper abstracts).
29 June - 3 July 2009, 4th Conference on Logic, Computability and Randomness, Marseille, FranceLocation: Marseille, FranceDeadline: 1 March 2009
The theme of the conference will be algorithmic randomness (Kolmogorov complexity) and its connections to various other subjects. This meeting will be in the spirit of the earlier conferences held in Argen tina in 2004 and 2007, and in China in 2008. However, this time we are using a modified Dagstuhl model, where most of the talks will be given by invited speakers.
For more information, see http://www.lif.univ-mrs.fr/lce/
Please also let us know if you wish to give a talk at the meeting. In this case, you will have to submit an abstract by March 1, 2009.
28 June 2009, Games for Design, Verification and Synthesis (GASICS 09), Grenoble, FranceLocation: Grenoble, FranceDeadline: 10 April 2009
GASICS is an ESF project of the EUROCORES programme LogICCC (Modelling intelligent interaction Logic in the Humanities, Social and Computational sciences ). It studies game theoretic formalizations of interactive computational systems and algorithms for their analysis and synthesis. Our aim is to extend the existing notions of games played on graphs introduced by computer scientists. Currently, most of the games played on graphs are of the sort "two-players zero-sum", we aim to extend them to "multiple-players non-zero-sum", and show the applicability of the new theory to the analysis and synthesis of interactive computational systems.
The aim of this workshop is to bring together researchers working on game-related subjects, and to discuss on various aspects of game theory in the fields where it is applied. The workshop will be composed of two invited talks, together with contributed talks on relevant topics.
For more information, see http://www.lsv.ens-cachan.fr/Events/gasics09/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 10 April 2009.
22-27 June 2009, 11th Asian Logic Conference (ALC2009), SingaporeDeadline: 15 March 2009
The Eleventh Asian Logic Conference will be held in Singapore from 22 to 27 June 2009. The Asian Logic Conference series is sponsored by the Association for Symbolic Logic, and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. It also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.
For more information, see http://www.ims.nus.edu.sg/Programs/09asianlogic/
The Programme Committee cordially invites all researchers to submit their papers for presentation. We particularly invite papers by logicians from the Asia-Pacific region. Deadline for submissions: 15 March 2009.
21-24 June 2009, 16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009), Tokyo, JapanLocation: Tokyo, JapanDeadline: 28 February 2009
WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Sixteenth WoLLIC will be held at the National Institute of Informatics in Tokyo, Japan, from June 21 to 24, 2009.
As 2009 will mark the 60-th anniversary of the publication of Paul Erdos' elementary proof of the Prime Number Theorem, WoLLIC will celebrate this by screening the documentary about Paul Erdos which was directed by George Csicsery "N is a number - A Portrait of Paul Erdos".
For more information, see http://wollic.org/wollic2009/.
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. A title and single-paragraph abstract should be submitted by February 28.
New Journal: Argument & ComputationDeadline: 16 September 2009
The Journal "Argument and Computation" aims to promote the interaction and cross-fertilisation between the fields of argumentation theory and computer science. It will be of interest to researchers in the fields of artificial intelligence, multi-agent systems, computer science, logic, philosophy, argumentation theory, psychology, cognitive science, game theory and economics.
For more information, see http://www.tandf.co.uk/journals/tarc
15-17 June 2009, Third Workshop in Decisions, Games & Logic, HEC LausanneLocation: HEC LausanneDeadline: 30 March 2009
Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 and aims at fostering interactions between graduate students, post-docs and senior researchers from economics, logic and philosophy.
Each DGL features three tutorials, one on decision theory, one on game theory and one on logic, given by leading researchers, as well as presentation and poster sessions by young researchers. The third edition of the DGL has also the pleasure to feature a discussion panel on rationality.
We invite submissions for presentation and poster sessions by young researchers (graduate students and post-docs) in the fields of decision theory, game theory, logic and formal philosophy. Preference will be given to conceptual work in these fields and work that combines problems of these fields. Deadline for submission: March 30, 2009.
5-8 June 2009, 13th Annual Meeting for the Scientific Study of Consciousness (ASCC XIII), Berlin, GermanyLocation: Berlin, GermanyDeadline: 31 January 2009
The thirteenth annual meeting of the Association for the Scientific Study of Consciousness will be held from June 5th to June 8th, 2009, at the Berlin School of Mind and Brain. Hosted by the renowned Humboldt-University, the Berlin School of Mind and Brain is an international graduate research school on the interface of humanities and behavioral sciences with neurosciences. ASSC XIII is intended to promote interdisciplinary dialogue in the scientific study of consciousness. ASSC members as well as non-members are encouraged to submit contributions that address current empirical and theoretical issues in the study of consciousness, from the perspectives of philosophy, neuroscience, psychology, computer science, and cognitive ethology. ASSC XIII will provide an excellent opportunity for the presentation of new empirical findings or novel theoretical perspectives in an atmosphere that will promote discussion and debate.
For more information, see http://www.assc13.com/
The Program committee invites proposals for symposia (deadline 15 October 2008) and tutorials (deadline 31 January 2009) on any topic relevant to the scientific study of consciousness. Talks and poster presentations will also be sollicited in a later call.
4-5 June 2009, RaAM 2009: Researching and Applying Metaphor Workshop on Metaphor, Metonymy & Multimodality, Amsterdam, The NetherlandsLocation: Amsterdam, The NetherlandsDeadline: 15 March 2009
The analysis of metaphor in different modalities, not just in written texts, elucidates the vital ties between metaphor and metonymy in meaning-making. This workshop therefore integrates these three topics for its theme. The multiple forms of expression to be considered include written words, spoken language, the pictorial mode (still and moving images), sound, and the gestural mode. Attention will be focused on the multimodal use of metaphor and metonymy in TV advertising, film, comics, animation, naturalistic spoken discourse, experimental settings, and foreign language teaching.
The workshop will feature a combination of plenary lectures, introducing basic concepts, and hands-on workshops, in which the plenary speakers will guide participants in the analysis of materials. There will be two plenaries on the analysis of images and two on gestures, and three workshops on each of the modes of images and gestures. The same hands-on workshops will run on both days so that participants may take part in two out of the three on each topic. There will also be time allotted for a poster session by participants who wish to present their own research on multimodal metaphor and/or metonymy.
The Programme Committee cordially invites all researchers to submit their papers for presentation.
Deadline for registration is March 15, 2009. For more information, see http://www.raam.org.uk/and/or abstract submission
1-3 June 2009, 9th International Symposium on Logical Formalizations of Commonsense Reasoning, Toronto, CanadaLocation: Toronto, CanadaDeadline: 16 February 2009
One of the major long-term goals of AI is to endow computers with common sense. Although we know how to build programs that excel at certain bounded or mechanical tasks which humans find difficult, such as playing chess, we have very little idea how to program computers to do well at commonsense tasks which are easy for humans. One approach to this problem is to formalize commonsense reasoning using mathematical logic.
The symposium aims to bring together researchers who have studied the formalization of commonsense reasoning. The focus of the symposium is on representation rather than on algorithms, and on formal rather than informal methods.
For more information, see http://www.commonsensereasoning.org/
We aim for rigorous and concrete paper submissions. While mathematical logic is expected to be the primary lingua franca of the symposium, we also welcome papers using a rigorous but not logic-based representation of commonsense domains. Technical papers offering new results in the area are especially welcome; object-level theories as opposed to meta-level results are preferred. Papers should be submitted by February 16, 2009.
29-31 May 2009, 2nd Formal Epistemology Festival: Causal Decision Theory and Scoring Rules, Ann Arbor MI, U.S.A.Location: Ann Arbor MI, U.S.A.Deadline: 22 March 2009
This is the second of three small, thematically focused events in formal epistemology, organized by Franz Huber (Konstanz), Eric Swanson (Michigan), and Jonathan Weisberg (Toronto). This year's festivities coincide with the 10th anniversary of the publication of James Joyce's The Foundations of Causal Decision Theory.
For more information, see http://www-personal.umich.edu/~ericsw/2fef
We welcome submissions of papers on topics related to causal decision theory, scoring rules, or both. Please send a pdf prepared for blind reviewing to ericsw at umich.edu. Deadline for submissions: March 22, 2009.
14-16 May 2009, Nordic Conference of Computational Linguistics (NODALIDA 2009), Odense, DenmarkLocation: Odense, DenmarkDeadline: 18 February 2009
The 17th Nordic Conference on Computational Linguistics will be held at the University of Southern Denmark in Odense, Denmark, on May 14-16, 2009, with two days for the main conference, and a separate day for workshops.
More information about the conference and local information about Odense will be available at the conference website at: http://beta.visl.sdu.dk/nodalida2009/, or by contacting nodalida2009 at visl.sdu.dk.
The Program Committee invites proposals for workshops on all aspects of language technology, as well as papers on substantial, original, and unpublished research. Deadlines for submissions are December 5th, 2008 (Workshop proposals), January 12, 2009 (regular and student papers), and February 18, 2009 (short papers).
16-18 April 2009, Semantics and Philosophy in Europe (SPE), London, UKLocation: London, UKDeadline: 12 February 2009
The purpose of the colloquium is to enhance the dialogue between linguists and philosophers and to provide a new forum for presenting research in the interface between linguistic semantics and the various related areas of philosophy (philosophy of language, epistemology, metaphysics, philosophy of mathematics, and philosophy of mind). The colloquium is to take place every year, alternating between Paris, London, St Andrews, Barcelona and Oslo: this is the second colloquium.
For more information, see http://www.philosophy.sas.ac.uk/spe_cfp.php
We invite submissions to any of the interface areas of linguistics, semantics and philosophy for 40 minute talks. Two-page abstract of 1000 words maximum should be sent by email to philosophy at sas.ac.uk by February 12th 2009 (please put "SPE CFP" in subject header).
Special Issue Synthese: "Logic and Social Interaction"Deadline: 1 May 2009
There is now a growing body of research on formal algorithmic models of social procedures and interactions between rational agents. Largely using the language of logic and game theory, these studies have led to new insights into the dynamics of observation, updating of knowledge and belief, preference change, dialogues and processes of strategic interaction. Central to many of these studies is a multi-agent perspective on rational agency that situates inference in an interactive context.
In this context, a workshop on Logic and Social Interaction was held in the Institute of Mathematical Sciences, Chennai during 7-8 January, 2009, focussing on current advances made towards modelling complex multi-agent interactive situations, attempting to identify logical elements in our daily social activities. As a follow-up of the Workshop, a special issue of the "Knowledge, Rationality and Action" section of the journal "Synthese" is planned on the theme of Logic and Social Interaction.
Deadline for abstracts: May 1st, 2009. For more information, see the Special Issue page at http://www.imsc.res.in/tcsweb/kra-lasi.html and the workshop page at http://ali.cmi.ac.in/icla2009/social.html.
27-29 March 2009, Boise Extravaganza in Set Theory, Boise ID, U.S.A.Location: Boise ID, U.S.A.Deadline: 25 March 2009
We are pleased to announce our eighteenth annual BEST conference. There will be four talks by invited speakers:
Steve Jackson (University of North Texas)
Ljubisa Kocinac (University of Nis, Republic of Serbia)
Assaf Rinot (Tel Aviv University, Israel)
Grigor Sargsyan (University of California, Berkeley)
The talks will be held on Friday, Saturday and Sunday at the Department of Mathematics, Boise State University.
For more information, see http://math.boisestate.edu/~best/best18
The Programme Committee cordially invites all researchers to submit their papers for presentation. The deadline for submitting an abstract is March 25, 2009.
CfP: "The Games of Logic: A Philosophical Perspective"Deadline: 15 March 2009
For more than two decades now, each year has seen a growing number of important results in the emerging field centered on the interactions between game theory and logic. We feel that it is time for the philosopher to assess in which ways those results bear on the fundamental questions of the philosophy of logic. In particular, what insight have we gained on such central notions as truth, validity, proof, proposition, form and formality, logicality, etc. We would thus like to open a series of books that we conceive as a gathering place where philosophical ideas concerning those topics can be expressed, scrutinized and confronted. The series will be published by College Publications (http://www.collegepublications.co.uk/) as a new subseries of the 'Philosophy' series.
We therefore invite submissions related to all aspects of the philosophical consequences of the interactions between games and logic. More specific topics include (but are not limited to): game-theoretical semantics, dialogical logic, ludics, Ehrenfeucht-Fraïssé games, game-theoretical notions of logical form, game-theoretical notion of proposition, logical games between semantics and proof theory, games and modal logic. Paper submission deadline: 15th March 2009.
CfP Special Issue "Information and Computation" on "Intuitionistic Modal Logics and Applications"Deadline: 31 May 2009
Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications are in type disciplines for programming languages, and meta-logics for reasoning about a variety of computational phenomena. Theoretical and methodological issues center around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction and how to implement these efficiently.
There have been a series of LICS-affiliated workshops devoted to the theme. The first one was held as part of FLoC1999, Trento, Italy, the second was part of FLoC2002, Copenhagen, Denmark, the third was associated with LiCS2005, Chicago, USA and the last one was associated with LICS 2008 in Pittsburgh, PA, USA. Two special issues of journals on the theme have already appeared, in 2001 and 2004. We are hereby soliciting papers for a further special volume of Information and Computation, devoted to Intuitionistic Modal Logics and Applications. We hope to cover the novel applications presented in the last two workshops, especially applications to computer security, automated deduction and computational linguistics, but also to include work not presented at the workshops.
Papers (preferably under 20 pages long) should be submitted by 31st May 2009. For more information, see here or contact one of the editors (Valeria de Paiva valeria at cuill.com or Brigitte Pientka bpientka at cs.mcgill.ca).
13-14 December 2009, Workshop on Structural Aspects of Rationality, Kanpur, IndiaLocation: Kanpur, India
Predicting rational play is the central concern of game theory, and game models are built on rationality assumptions. Re-examining notions of rationality in new contexts has led to many interesting questions for game theory, as for instance in games of infinite duration, motivated by computation theory.
This FSTTCS-2009 Pre-Conference Workshop on Structural Aspects of Rationality (STAR) is intended as an occasion for exchanging ideas on foundations of game theory, especially on structural and computational arguments for the analysis of solution concepts.
For more information, see http://www.imsc.res.in/tcsweb/star/star.html
4-5 December 2009, Conference on Eastern and Western Philosophical Themes, New York NY, U.S.A.Location: New York NY, U.S.A.
At one time, there was lively dialogue between Western and Eastern philosophy. Schopenhauer, Nietzsche and William James were strongly influenced by Eastern philosophy. But, during recent years, Western philosophy has shown much less respect for the East than previous and there seems less awareness that issues like epistemology, time, and selfhood have been addressed very intelligently in the East.
The purpose of the conference is to reinvigorate the dialog between Eastern and Western philosophy (philosophy as distinct from religion), and a galaxy of brilliant speakers from all over the globe have agreed to participate.
For more information, see http://web.cs.gc.cuny.edu/~kgb/
16-19 November 2009, Workshop "Combinatorial Set Theory and Forcing Theory", Kyoto, JapanLocation: Kyoto, Japan
A workshop on "Combinatorial set theory and forcing theory" will take place at the Research Institute for Mathematical Sciences of Kyoto University (Japan) from November 16 (Mon.) till November 19 (Thu.), 2009. The workshop is organized by Teruyuki Yorioka (Shizuoka University). The program will feature minicourses by Sy Friedman and Ilijas Farah, as well as many other talks by participants from Japan and abroad.
See the webpage http://www.ipc.shizuoka.ac.jp/~styorio/rims09/ for details. If you are interested in attending, please contact the organizers at styorio at ipc.shizuoka.ac.jp or brendle at kurt.scitec.kobe-u.ac.jp.
10-11 November 2009, PhD Autumn School on Modal Logic, Copenhagen, DenmarkLocation: Copenhagen, Denmark
The goal of the Autumn School on Modal Logic is to prepare PhD students and other researchers for participation in the sixth workshop Methods for Modalities (M4M-6) which takes place November 12-14 2009 in Copenhagen. The workshop Methods for Modalities aims to bring together researchers interested in developing proof tools and decision methods based on modal logics. Here the term "modal logics" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc. The first M4M workshop took place in Amsterdam in 1999. Since then, M4M workshops have taken place in 2001 (Amsterdam), 2003 (Nancy), 2005 (Berlin), and 2007 (Paris).
The Autumn School on Modal Logic is open to anyone interested. The intended participants will have a general background in theoretical computer science, but wish to obtain more concrete knowledge on modal logic and its computational aspects. Besides a working knowledge of English, prerequisites are a basic knowledge of logic and mathematics that is usually covered in undergraduate classes on discrete mathematics.
The registration deadline for the Autumn school is Friday, October 23 2009. For more information, see http://hylocore.ruc.dk/m4m6school.html. See http://m4m.loria.fr/ for more information on the workshop series.
25 September 2009, Workshop "Focus on Discourse and Context-dependence"Speaker: Gabor Alberti, Maria Aloni, Jeroen Groenendijk, Andreas Haida, Kriszta SzendroiLocation: PC Hoofthuis, room 625
The workshop "Focus on Discourse and Context-dependence" will be held in Amsterdam, on Friday, 25 September, 2009. The aim of the workshop is to bring together researchers and discuss the mattersof focus, discourse and context from different perspectives form linguisticsto philosophy.
For more information and abstracts, see http://staff.science.uva.nl/~kbalogh/workshop/.
24 September 2009, Workshop 'Recent Developments in Language Typology'Location: Universiteitstheater, Nieuwe Doelenstraat 16-18, Amsterdam
On the occasion of Eva van Lier's thesis defence, a small workshop on Recent developments in language typology is organized.
For more information, see http://www.hum.uva.nl/aclc/object.cfm/4317883A-3102-4F8A-A31CBC1402EBC5E4/
4-6 September 2009, Conditionals and Conditionalization, Leuven (Belgium)Location: Leuven (Belgium)
While it strikes most as obvious that there exist close conceptual connections between conditionals and conditionalization, it is far less obvious what these connections precisely are. The aim of the workshop is to investigate these connections from an interdisciplinary perspective, drawing on recent work in philosophy and experimental psychology. The time is ripe for such an approach, given that both linguists and psychologists working on conditionals are increasingly turning to the probabilistic theories of conditionals that philosophers have been developing over the past forty years or so. On the other hand, various philosophical claims have been made about conditionals - in particular concerning their semantics and pragmatics - apparently on no other basis than the linguistic intuitions of the philosophers making these claims. It would be interesting, and from a methodological perspective desirable, to subject these claims to more rigorous testing, which is where experimental psychologists could help (and, to some extent, have already helped).
31 August - 4 September 2009, 11th European Agent Systems Summer School (EASSS-2009), Torino, ItalyLocation: Torino, Italy
EASSS is the annual European summer school for PhD and Master's students working in multiagent systems and related fields. Courses include "Game Theory and Mechanism Design", "Coalitional Games", "Negotiation and Auctions", "Fair Division", "Multiagent Planning", "Agents and Arguments", and "Normative Multiagent Systems". This year's edition is colocated with several international workshops (MALLOW-2009).
For more information, see http://agents009.di.unito.it/EASSS.html.
29 August - 4 September 2009, INTERNATIONAL SCHOOL ON EMBODIED LANGUAGE GAMES AND CONSTRUCTION GRAMMAR, Cortona, ItalyLocation: Cortona, ItalyCosts: 690 or 850 euro (accommodation, full board, documentation and fee
Human natural languages are complex adaptive systems, forever emergent and adapting to the needs of their communities. This insight is currently revolutionizing many branches of linguistics and this summer school feels the pulse of these exciting developments. It brings together typologists and historical linguists studying language variation and the emergence of new grammatical structure, evolutionary linguists modeling the origins and evolution of language, cognitive linguists investigating the cognitive foundations of language usage and learning, complex systems researchers using methods from statistical physics to study the semiotic dynamics of evolving languages, and computational linguists and AI researchers carrying out experiments to achieve open-ended communication with autonomous robots.
For more information, see http://www.alear.eu/events/cortona2009/Home.html.
17-21 August 2009, EMU 2009: Effective Mathematics of the Uncountable, New York, U.S.A.Location: New York, U.S.A.
Although classical computable model theory is most naturally concerned with countable domains, several methods---some old, some new---extend its basic concepts to uncountable structures. The purpose of this workshop is to study these various extensions of effectivity to the uncountable, bringing together experts in such topics as sigma-definable structures, alpha-recursion theory, E-recursion thoery, ordinal computability, Blum-Shub-Smale machines, infinite time Turing machines and locally computable structures, among others.
This workshop is the second of its kind, after the inaugural EMU in 2008. In the 2009 workshop we plan to provide tutorial-type introductions to models of computation which were not discussed last year, as well as discuss progress made since last year. A particular theme we plan to focus on is the role of a computable well-ordering of the universe of a structure. We will contrast the approaches which allow such an ordering with those which forbid it. We expect this will have methodological repercussions for the study of effective model theory on countable structures as well.
20-31 July 2009, "Conditionals: Philosophical and Linguistic Issues" at CEU Summer UniversityLocation: Central European University, Budapest, HungaryCosts: € 500,- (financial aid is available)
The aims of this summer school are 1) to teach and discuss recent philosophical and linguistic advances on our understanding of conditionals and 2) to promote discussions among the faculty and participants of issues involving conditionals from the perspectives of linguistics, philosophy of language, philosophical logic, cognitive psychology, and philosophy of science 3) to help establish a network of young researchers on issues in philosophy of language and philosophical logic.
Application deadline: 16 February 2009. For more information about the course, see http://www.sun.ceu.hu/conditionals. CEU Summer University web page: http://www.sun.ceu.hu/. Please address your inquiries to summeru at ceu.hu.
13-16 July 2009, 16th International Medieval Congress (IMC 2009): Logic and Heresy in the Middle Ages, Leeds, EnglandLocation: Leeds, England
13-31 July 2009, UCLA Summer School in Logic for Undergraduates, Los Angeles CA (U.S.A.), July 2009, Los Angeles, USA.Location: Los Angeles, USA.
The UCLA Logic Center is organizing a summer school for undergraduates this July. The goal of the school is to introduce future mathematicians to methods and central results from mathematical logic. Courses are very intensive, designed to assume little if any prior experience with logic, yet reach highly advanced material within three weeks.
For more information, see http://www.math.ucla.edu/~ineeman/Summer-2009/
6-7 July 2009, FTP 2009 - International Workshop on First-Order Theorem Proving, Oslo, NorwayLocation: Oslo, Norway
FTP 2009 is the seventh in a series of workshops intended to focus effort on First-Order Theorem Proving as a core theme of Automated Deduction, and to provide a forum for presentation of recent work and discussion of research in progress.
The workshop welcomes original contributions on theorem proving in first-order classical, many-valued, modal and description logics, including (but not restricted to): resolution, tableau methods, equational reasoning, term-rewriting, model construction, constraint reasoning, unification, description logics, propositional logic, specialized decision procedures; strategies and complexity of theorem proving procedures; implementation techniques and applications of first-order theorem provers to verification, artificial intelligence, mathematics and education.
For more information, see http://www.mpi-inf.mpg.de/~sofronie/ftp09/.
5-10 July 2009, 2nd European Set Theory Meeting, Bedlewo, PolandLocation: Bedlewo, Poland
This is an ESF Mathematics Conference in Partnership with EMS and ERCOM. Chair: Prof. Jouko Väänänen, University of Helsinki, FI/University of Amsterdam, NL. The conference will be in honor of Ronald Jensen's lifelong achievements in set theory.
The conference focuses on three main topics. The first topic is inner model theory and large cardinals. The second direction is descriptive set theory, which studies properties of definable sets of reals, and more generally Polish spaces. Finally, combinatorial set theory deals with uncountable structures without any definability restrictions. As a fourth scientific topic of the conference, we can list applications of set theory to Banach spaces, measure theory, general topology, and other neighboring areas.
We encourage all interested participants, especially young scientists, to submit abstracts of their work for the poster sessions. Closing date for application (as well as for abstract submission): 08 April 2009. Grants are available for young researchers to cover the conference fee and travel costs.
3-16 July 2009, Leeds Symposium on Proof Theory and Constructivism, Leeds, U.K.Location: Leeds, U.K.
A two week symposium on Proof Theory and Constructivism will be held in the Research Visitors' Centre of the School of Mathematics at Leeds, from 3rd July (arrival) to 16th July (departure) this year. It will comprise three connected events:
4th & 5th July: An LMS-funded conference on Proofs and Computations. This meeting will be in honour of Stan Wainer on the occasion of his 65th birthday.
5th & 6th July: A Gentzen Centenary Conference, celebrating 100 years since the birth of Gerhard Gentzen, the founder of structural proof theory.
7th - 16th July: An EPSRC-funded Research Workshop on Proof Theory and Constructivism.
26 June 2009, Workshop on Proof Theory, Gent, BelgiumLocation: Gent, Belgium
There will be a small workshop on proof theory on Friday 26th of June (next week). Everyone is cordially invited to attend the talks. If you are interested in giving a talk yourself, please do not hesitate to contact the organisers.
14-27 June 2009, ESI Workshop on Large Cardinals and Descriptive Set Theory, Vienna, AustriaLocation: Vienna, Austria
Set theory has recently experienced major new developments concerning the construction of models for large cardinals, combinatorial set theory, descriptive set theory, generalisations of Martin's axiom, strong absoluteness and the theory of forcing.
Particularly encouraging is the fact that many unusually talented young people have recently entered the subject, who have established remarkable results concerning the Proper Forcing Axiom and its variants, the Singular Cardinal Hypothesis, subtle properties of stationary sets, and important aspects of applied set theory, including topological dynamics, Borel equivalence relations and metric geometry.
Our two-week workshop, which will be open to the set theory community at large, will focus around two principal themes: Large Cardinals and Descriptive Set Theory. The workshop is organized by the Erwin Schrödinger Institute (ESI) and financed by the ESI and Austrian Science Fund (FWF).
For more information, see http://www.logic.univie.ac.at/conferences/2009_esi/
8-10 June 2009, Controlled Natural Languages (CNL 2009), Marettimo Island, ItalyLocation: Marettimo Island, Italy
Controlled natural languages (CNLs) are subsets of natural languages, obtained by restricting the grammar and vocabulary in order to reduce or eliminate ambiguity and complexity. This workshop is dedicated to discussing the similarities and differences of existing controlled natural languages of the second type (those that enable reliable automatic semantic analysis of the language), possible improvements to these languages, relations to other knowledge representation languages, tool support, existing and future applications, and further topics of interest.
For more information, see http://attempto.ifi.uzh.ch/site/cnl2009/
8-26 June 2009, Carnegie Mellon Summer School in Logic and Formal Epistemology, Pittsburgh PA, U.S.A.Location: Pittsburgh PA, U.S.A.
In the summer of 2009, the Department of Philosophy at Carnegie Mellon University will hold 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 students to cross-disciplinary fields of research at an early stage in their career, forge lasting links between the various disciplines.
The summer school will be held from Monday, June 8 to Friday, June 26, 2009. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events. This year's topics are: Categories and Structures, Decisions and Games, and Logic and Formal Verification.
Instructions for applying can be found on the summer school web page, http://www.phil.cmu.edu/summerschool Materials must be received by the Philosophy Department by March 15, 2009. Inquiries may be directed to Jeremy Avigad (avigad at cmu.edu).
31 May - 6 June 2009, GAMES Spring School, Bertinoro (Italy)Location: Bertinoro (Italy)Costs: € 400,-
A GAMES spring school will take place in the Centro Residenziale Universitario in Bertinoro (near Bologna), Italy, organised by the ESF Research Networking Programme Games for Design and Verification. The school is addressed to Ph.D. students and young researchers with a background in computer science or mathematics who are interested in the field of game theory and its applications to logic, verification and automata theory.
The number of participants will be limited to 70. If you want to participate, please apply before February 28, 2009. For more information, see http://www.games.rwth-aachen.de/Activities/bertinoro.html
28-30 May 2009, Workshop "Preference Change", London, U.K.Location: London, U.K.
Preference change is a phenomenon that everyone experiences in himself or herself. Such change can be gradual or radical, expected or surprising, caused by external experiences (such as encountering another culture) or by internal influences (such as aging), and so on. How should preference change be explained and modelled? This is a methodological question of tremendous importance, with repercussions in various areas such as dynamic decision theory, welfare economics, consumer theory, moral psychology, philosophy of mind, political science, and the study of deliberation. Yet the question is far from settled, and a science of preference change, if it exists at all at this point, is certainly in its infancy. To mention only one point of disagreement, standard rational choice models explain every preference change by an underlying belief change, whereas critics reject this reduction. The aim of this workshop is to bring together different researchers with interests in this area and to discuss fresh perspectives.
For more information, see http://www.lse.ac.uk/collections/CPNSS/projects/ChoiceGroup/PreferenceChange.htm
25-26 May 2009, "Mathematical Logic in the Netherlands", Nijmegen, The NetherlandsLocation: Nijmegen, The Netherlands
This meeting is intended to be the first issue of a series of yearly meetings on Mathematical Logic (and related areas) in the Netherlands. Rather than a specialized conference, where advanced research results are reported, we aim to get to know each other better and, by understanding the various branches of logic represented in the Netherlands, strengthen our community.
We have reserved a generous amount of time for expository talks, but also strongly encourage contributions by young researchers and Ph.D. students. In all, we hope to create an environment where we can share common interests and where we may fruitfully explore possibilities of collaboration in research, Ph.D. projects, and teaching.
See also the web site of the symposium: http://www.math.ru.nl/~mgehrke/MLNL09/MLNL09-mainpage.htm. Please register with the local organization. If you'd like to speak, please send an e-mail to Bas Spitters: spitters at cs.ru.nl.
21-24 May 2009, 7th Conference on Formal Concept Analysis (ICFCA 2009), Darmstadt, GermanyLocation: Darmstadt, Germany
Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory to promote better communication between lattice theorists and potential users of lattice theory. Since then, Formal Concept Analysis has developed into a growing research field in its own right with a thriving theoretical community and an increasing number of applications in information and knowledge processing including visualization, data mining, analysis and knowledge management.
The conference aims to unify theoretical and applied practitioners using Formal Concept Analysis drawing from the fields of Mathematics, Computer and Information Sciences, Software Engineering, as well as diverse application domains such as Linguistics or Life Sciences. Other aspects are welcome.
For more information, see http://www.icfca2009.h-da.de/
11 May 2009, Conditional Logic - A One-Day Workshop at the University of DuesseldorfLocation: Room 00.46A, Building 23.21, University of DuesseldorfCosts: Free
In this workshop conditionals are analyzed from a logical, epistemological and psychological perspective. The focus lies on uncertain conditionals, their non-monotonic character and probabilistic reliability.
For more information, see http://www.phil-fak.uni-duesseldorf.de/philo/personal/thphil/conditionals. If you plan to attend, please contact us at unterhuber at phil-fak.uni-duesseldorf.de.
10-15 May 2009, AAMAS-09: Autonomous Agents and Multi-Agent Systems, Budapest, HungaryLocation: Budapest, Hungary
AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging highly respected individual conferences ICMAS, ATAL and AA. The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. The main theme of AAMAS-09, based on feedback from previous conferences, will be reinforcing the rich panorama of *interconnections* in the field.
Oct 10, 2008 EDT (GMT-4): electronic abstract submission deadline Oct 14, 2008 EDT (GMT-4): electronic paper submission deadline Dec 19, 2008: paper notification Feb 06, 2009: camera-ready copy submission deadline
For more information, see http://www.conferences.hu/AAMAS2009/
23-24 April 2009, Symposium on Games, Argumentation and Logic Programming, LuxembourgLocation: LuxembourgCosts: Free
The symposium brings together leading researchers working at the interface of the three disciplines: game theory, logic programming, and argumentation theory. Inspired by Dung's seminal work "On the Acceptability of Arguments and its Fundamental Role in Non-monotonic Reasoning, Logic Programming and N-persons games" (Artificial Intelligence, 1995), it aims at fostering the interaction between these active but historically autonomous subareas of nonmonotonic and practical reasoning.
The symposium is organized by the Individual and Collective Reasoning Group of the University of Luxembourg. Registration is free but required. More info: http://eqas.gforge.uni.lu/Galp/galp.html
14-18 April 2009, 2nd Young Set Theory Workshop, Bellaterra, SpainLocation: Bellaterra, Spain
The aim of this conference is to bring together PhD students and postdocs in Set Theory in order to learn from leading researchers in the field, hear about the latest research and to discuss research issues in a co-operative environment. Four senior set theorists have been invited to represent a branch of Set Theory and give morning tutorials about their work. The afternoons will be devoted to small group discussion sessions.
The deadline for registration is 28th February 2009. For more information, see http://wwwmath.uni-muenster.de/logik/YS09/
8 April 2009, Annual CSCA symposium 2009
This symposium marks the start of a new initiative to boost Cognitive Science research at the University of Amsterdam. Following the designation of Cognition as a key research area of the UvA, a small committee of researchers from the CSCA was asked to draw up a proposal to promote collaborative research between groups of different institutes. One of the key elements of the proposal is the establishment of a new institute where researchers from different disciplines will work together on a programme to resolve questions regarding the mechanisms underlying human (and animal) cognition. The new institute will be located near the Spinoza Center for Neuroimaging.
6-7 April 2009, Symposium on AI and Games (AISB 2009), Edinburgh, ScotlandLocation: Edinburgh, Scotland
The AISB convention is an annual event organised as a number of collocated symposia loosely organised around a theme, and interspersed with invited plenary talks and poster sessions. This symposium focuses on the application of artificial intelligence or intelligent-like techniques, frameworks and theories to the creation of interactive engaging intelligent games.
For more information, see http://www.aisb.org.uk/convention/aisb09/
3-5 April 2009, Conference on "Foundations of Mathematics", New York NY, U.S.A.Location: New York NY, U.S.A.
The philosophy department at New York University will be hosting a conference on the Foundations of Mathematics, in April of 2009. The conference will explore methodological issues surrounding the adoption of new axioms, as well as semantic and metaphysical issues surrounding mathematical truth.
Attendance is open, and there is no registration fee. However, anyone planning to attend must register by emailing shievak at hotmail.com no later than February 31st, 2009. The conference website can be found here: http://homepages.nyu.edu/~sjk362/NYU_Conference.html
30 March - 3 April 2009, 10th Midlands Graduate School in the Foundations of Computing Science (MGS 2009), Leicester, U.K.Location: Leicester, U.K.
The MGS is an intensive course of lectures on the Foundations of Computing. It is very well established, with this being our 10th anniversary, and has always proved a very popular and successful event. This year we have Professor Peter Dybjer, Chalmers, Sweden, as guest lecturer.
The lectures are aimed at graduate students, typically in their first or second year of study for a PhD. However, the school is open to anyone who is interested in learning more about mathematical computing foundations. We very much welcome international applications as well as from those from the UK.
For further details and registration visit http://www.cs.le.ac.uk/events/mgs2009. All registrations must be received by 2pm on 30th January 2009.
20 March 2009, NVTI Theory Day, Hoog Brabant, Utrecht (close to Central Station)Location: Hoog Brabant, Utrecht (close to Central Station)
NVTI is the "Nederlandse Vereniging voor Theoretische Informatica". One of the main activities of the NVTI is the organization of the yearly Theory Day. This year, as usual, there is an interesting program with excellent speakers, both domestic and foreign, covering the wide spectrum of theoretical computer science from algorithmics to logic.
The speakers will be:
*E. Allen Emerson (U Texas, Austin)
*Barbara Terhal (IBM Watson, NY)
*Frank de Boer (CWI, U Leiden)
*Paul Vitanyi (CWI, U v Amsterdam)
Attendance is free. Registration deadline for the organized lunch (at € 15,-) is March 13, 2009. For more information, see http://www.nvti.nl/
6-9 March 2009, 2nd Conference on Artificial General Intelligence, Arlington VA, U.S.A.Location: Arlington VA, U.S.A.
Continuing the mission of the highly successful first AGI conference (AGI-08), AGI-09 will gather an international group of leading academic and industry researchers involved in serious scientific and engineering work aimed directly toward the goal of artificial general intelligence.
This is the only major conference series devoted wholly and specifically to the creation of AI systems possessing general intelligence at the human level and ultimately beyond. By gathering together active researchers in the field, for presentation of results and discussion of ideas, we accelerate our progress toward our common goal.
For more information, see http://www.agi-09.org/
26-28 February 2009, STACS 2009: Symposium on Theoretical Aspects of Computer Science, Freiburg, GermanyLocation: Freiburg, Germany
The STACS conference Symposium on Theoretical Aspects of Computer Science takes place each year since 1984, alternately in Germany and France. STACS 2009 will be held in the city of Freiburg (located in the Southern Black Forest) on February 26-28, 2009.
For more information, see http://stacs2009.informatik.uni-freiburg.de/
19-20 February 2009, Colloquium "PhDs in Logic", Ghent, BelgiumLocation: Ghent, Belgium
The aim of the colloquium is to bring together young researchers in the field of logic. During these two days there will be 6 tutorials in total, 3 about mathematical and 3 about philosophical logic. In addition, PhD students and postdocs in mathematical or philosophical logic are invited to give a presentation. In combination with the planned social activity this will hopefully lead to a better overview of the current research in logic and even joint work.
19-20 February 2009, PhD's in Logic, GhentLocation: GhentCosts: 30 Euro
The aim of the colloquium is to bring together young researchers in the field of logic. During these two days there will be 6 tutorials in total, 3 about mathematical and 3 about philosophical logic. In addition, PhD students and postdocs in mathematical or philosophical logic are invited to give a presentation. Of course, everyone is kindly invited to attend the tutorials and contributed talks!
For more information, see http://www.phdsinlogic.ugent.be/.
18-20 February 2009, WALCOM 2009: Workshop on Algorithms and Computation, Kolkata (India)Location: Kolkata (India)
The third International Workshop on Algorithms and Computation (WALCOM 2009) will take place in Kolkata, India, during February 18-20, 2009. The workshop is intended to provide a forum for researchers working in algorithms and theory of computation.
WALCOM 2009 will be preceded by the Second National Workshop on Nano-Science and Bio-chips (February 16-17, 2009), whose theme is "Combinatorial and Algorithmic aspects of Bio-chips"
Conference web site: http://www.isical.ac.in/~walcom.
8 February 2009, Common Sense and Intelligent User Interfaces 2009: Story Understanding and Generation for Context-Aware Interface Design, Sanibel Island, FloridaLocation: Sanibel Island, Florida
Capturing common sense knowledge often involves uncovering the implicit, unstated assumptions behind communication, often best expressed through stories. Work in story representations dates back to Schank-style scripts and other efforts in the 80s, but recent developments have unleashed new potential in this area. The maturity of common sense knowledge bases such as Cyc, Open Mind and ThoughtTreasure; statistical and corpora-based natural language understanding techniques; the explosion of participatory knowledge collection over the Web; progress in cognitive science; the popularity of Web-based storytelling media such as blogs; and new common sense reasoning techniques are all enablers of the new generation of work on common sense stories.
We are accepting both papers and demos to our workshop. Submission deadline is November 20th. For more information, see http://csc.media.mit.edu/iuiStories/.
26 January - 6 February 2009, Summer Schools in Logic and Learning, Canberra, AustraliaLocation: Canberra, Australia
One of the grand challenges in science and engineering is to build computer systems that are trustworthy and intelligent. While achieving this goal could be many decades away, computer systems are clearly getting smarter and more reliable year by year and human society is becoming more reliant on exploiting their increasing intelligence. Logic and machine learning are two indispensable parts of the efforts to meet this challenge. The Summer Schools in Logic and Learning bring together two annual summer schools in the area of logic and machine learning: the Logic Summer School and the Machine Learning Summer School.
The Logic courses will consist of short courses on aspects of pure and applied logic. The Machine Learning courses will consist of short courses on the theory and practice of machine learning, which combine deep theory from areas as diverse as Statistics, Mathematics, Engineering, and Information Technology with many practical and relevant real life applications. The courses will be taught by experts from Australia and overseas. The summer schools this year will also include a special track on Artificial Intelligence (AI), which will feature courses on aspects of both logic and machine learning. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.
Deadline for early registration: 19 December 2008. For more information, an online registration form and a preliminary program, see http://ssll.cecs.anu.edu.au/
26 January - 6 February 2009, Summer Schools in Logic and Learning 2009, The Australian National University, AustraliaLocation: The Australian National University, Australia
One of the grand challenges in science and engineering is to build computer systems that are trustworthy and intelligent. While achieving this goal could be many decades away, computer systems are clearly getting smarter and more reliable year by year and human society is becoming more reliant on exploiting their increasing intelligence. Logic and machine learning are two indispensable parts of the efforts to meet this challenge.
Join us for a new summer school experience where you have a unique two week opportunity to combine the solid foundations of logic and machine learning, with an introductory track in artificial intelligence. Courses are taught by some of the world's leading computer scientists and blend practical and theoretical short courses with lectures and demonstrations in state-of-the-art computer facilities at ANU.
Details (including Fees and Registration, and Accommodation) are available from the website at http://ssll.cecs.anu.edu.au/.
23 January 2009, Workshop "Explanation, Indispensability of Mathematics, and Scientific Realism", Leeds, U.K.Location: Leeds, U.K.
This is a workshop on current perspectives on the indispensability argument for mathematical platonism. Many scientic realists are willing to commit to various esoteric unobservable features of the world, but at the same time they treat mathematical platonism with great suspicion. According to the indispensability argument such preference for concrete theoretical posits is unjustified, because mathematics plays an indispensable role in scientific theorising.
The present state of debate turns on an attempt at a more precise characterisation of mathematics's role in our best science. In particular, it has been argued that the explanatory function of mathematics is decisive here, given the realist's reliance on inference to the best explanation in defending realism about unobservable concreta. If mathematical entities can play a bona fide explanatory role in science, then arguably commitment to those entities follows by inference to the best explanation.
22 January 2009, Computational Linguistics in The Netherlands (CLIN), GroningenLocation: Groningen
CLIN 19 is the Nineteenth Meeting of Computational Linguistics in The Netherlands (Deadline for abstract submission: Monday 17 November 2008). The meeting will take place in Groningen, The Netherlands. It will be held on Thursday 22 January 2009 in conjunction with the Treebanks and Linguistic Theory (TLT) conference.
For more information, see http://www.let.rug.nl/clin/
22-23 January 2009, 3rd Bi-Annual Conference of the Dutch-Flemish Association for Analytic Philosophy (VAF 2009), Tilburg, The NetherlandsLocation: Tilburg, The Netherlands
Analytic philosophy has a prominent place in Dutch and Flemish philosophy departments. In order to promote analytic philosophy in the Dutch and Flemish communities, the Vereniging voor Analytische Filosofie (VAF) was founded in 2006. The third bi-annual organised event of the VAF will be a two-day conference on recent trends in philosophy of language.
For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/VAF2009/
17-18 January 2009, CfP Second Cambridge Graduate Conference on the Philosophy of Logic and Mathematics, Cambridge, U.K.Location: Cambridge, U.K.
The Philosophy Faculty of Cambridge University is pleased to announce its second graduate conference on the Philosophy of Logic and Mathematics. The conference will be held in The Fisher Building of St. John's College, Cambridge (CB2 1TP). Keynote speakers are Prof. Hannes Leitgeb (Bristol) and Prof. Timothy Williamson (Oxford).
For more information, see http://www.phil.cam.ac.uk/news_events/camgradphilconf.html or contact the conference organizers, Luca Incurvati & Florian Steinberger, at cam.phil.grad.conf at googlemail.com.
7-11 January 2009, 3rd Indian Conference on Logic and its Application, Chennai (India)Location: Chennai (India)
ALI, the Association for Logic in India, announces the next edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Institute of Mathematical Sciences, Chennai, from January 7 to 11, 2009.
ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.
The earlier events in this series featured many eminent logicians as invited speakers, as will be the case this year as well. See http://ali.cmi.ac.in/icla2009/ for updates on this conference as well as links to information on past events.
7-8 January 2009, Workshop on Logic and Social Interaction, Institute of Mathematical Sciences, Chennai, IndiaLocation: Institute of Mathematical Sciences, Chennai, India
The Association for Logic in India (ALI) announces a pre-conference workshop on logic and social interaction to be held during January 7-8, 2009, in the Institute of Mathematical Sciences, Chennai prior to the 3rd Indian Conference on Logic and its applications (ICLA 2009).
For more information, see http://ali.cmi.ac.in/icla2009/social.html
3-6 January 2009, LFCS 2009: Logical Foundations of Computer Science, Deerfield Beach FL (U.S.A.)Location: Deerfield Beach FL (U.S.A.)
The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989 and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode.
For more information, see http://ww.lfcs.info/.
MoL and PhD defenses
15 December 2009, PhD defense, Tikitu de JagerTitle: "Now that you mention it, I wonder...": Awareness, Attention, AssumptionLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Remko SchaCopromotor: Robert van Rooij
Note that Michael Franke's defence is the same day, at 10am, also in the Agnietenkapel.
15 December 2009, PhD defense, Michael FrankeTitle: Signal to Act: Game Theory in PragmaticsLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Martin StokhofCopromotor: Robert van Rooij
Note that Tikitu de Jager will also defend at 12.00 the same day, also in the Agnietenkapel.
14 December 2009, Master of Logic defense, Salvador MascarenhasTitle: Inquisitive Semantics and LogicLocation: Room A1.06, Science Park 904, AmsterdamSupervisor: Jeroen Groenendijk en Dick de Jongh
11 December 2009, PhD Defense, Joel UckelmanTitle: More Than the Sum of Its Parts: Compact Preference Representations Over Combinatorial DomainsLocation: AgnietenkapelPromotor: Prof. Dr. K. AptCopromotor: Dr. U. Endriss
30 November 2009, Master of Logic defense, Sam van GoolTitle: Methods of CanonicityLocation: Room C3.158, Science Park 904, AmsterdamSupervisor: Alessandra Palmigiano
If you want to visit this defense and you do not own a UvAcard, please tell the receptionist of the Science Park building that you are there to attend the defense of Sam van Gool at 15.30 in room C3.158. That way you should get a visitors card to enter the elevators.
17 November 2009, Master of Logic defense, Karel van OudheusdenTitle: The Advent of Recursion & Logic in Computer Science.Location: Room A1.08 Science Park 904, AmsterdamSupervisor: Gerard Alberts
29 October 2009, Master of Logic defense, Lisa FulfordTitle: A Study of Canonicity for Bi-Imlicative AlgebrasLocation: Room A1.04, Science Park 904, AmsterdamSupervisor: Alessandra Palmigiano
27 October 2009, PhD defense, Olivia LadinigTitle: Temporal expectations and their violationsLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Prof. Dr. R.J.H. SchaCopromotor: Dr. H.J. Honing
For more information, see http://www.illc.uva.nl/Publications/Dissertations/DS-2009-09.abstract.txt
9 October 2009, Master of Logic defense, Olga GrigoriadouTitle: A Momentary Lapse Of Reason: Comparing Davidson's account of rationality and reasoning to that of van Lambalgen & Stenning.Location: Room 0.01A, Nieuwe Doelenstraat 15, AmsterdamSupervisor: Martin Stokhof and Michiel van Lambalgen
25 September 2009, Master of Logic defense, Floor SietsmaTitle: A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic Transition SystemsLocation: Room A1.14, Science Park 904, AmsterdamSupervisor: Inge Bethke
24 September 2009, PhD defense, Kata BaloghTitle: Theme with Variations. A Context based Analysis of Focus.Location: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Prof. Dr. J.A.G. Groenendijk
For more information, see http://www.illc.uva.nl/Publications/Dissertations/DS-2009-07.abstract.txt
23 September 2009, PhD defense, Chantal BaxTitle: Subjectivity after WittgensteinLocation: Aula van de UvA, Singel 411, AmsterdamPromotor: Prof. Dr. M.J.B. Stokhof
For more information, see http://home.medewerker.uva.nl/c.bax/index.html
3 September 2009, Master of Logic defense, Ivano CiardelliTitle: Inquisitive Semantics and Intermediate LogicsLocation: Room A 114, Science Park 904, AmsterdamSupervisor: Jeroen Groenendijk, Dick de Jongh and Floris Roelofsen
3 September 2009, PhD defense, Andreas WitzelTitle: Knowledge and Games: Theory and ImplementationLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Prof.Dr. Krzysztof R. Apt
For more information, see http://www.andreaswitzel.de/.
1 September 2009, PhD defense, Sara L. UckelmanTitle: Modalities in Medieval LogicLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Prof.Dr. Benedikt Loewe
For more information, contact Sara Uckelman at S.L.Uckelman at uva.nl
31 August 2009, Master of Logic defense, Maria SpychalskaTitle: Scalar Implicatures and Existential Import: Experimental Study on Quantifiers in Natural LanguageLocation: Room A 104, Science Park 904, AmsterdamSupervisor: Michiel van Lambalgen
28 August 2009, Master of Logic defense, Daniele ChiffiTitle: Analysis of Knowledge, Assertion, VerificationLocation: Room A 114, Science Park 904, AmsterdamSupervisor: Martin Stokhof
28 august 2009, Master of Logic defense, Maarten VersteeghTitle: Modelling Language Change with DOPLocation: Room A1.08, Science Park 904, AmsterdamSupervisor: Jelle Zuidema
26 August 2009, Master of Logic defense, Nikki HausenTitle: Wittgenstein's Investigation and Damasio's Explanations: A Comparative Study of EmotionLocation: Oudezijds Achterburgwal 233-237, Amsterdam, room BG5 2.05Supervisor: Martin Stokhof
24 August 2009, Master of Logic defense, Wouter BeekTitle: Truth-Theoretic ContextualismLocation: Oudezijds Achterburgwal 233-237, Amsterdam, room BG5 2.05Supervisor: Martin Stokhof
20 August 2009, Master of Logic defense, Pablo Cubides KovacsicsTitle: Decomposition Theorem for Abstract Elementary ClassesLocation: Oudezijds Achterburgwal 233-237, Amsterdam, room BG5 2.05Supervisor: Jouko Väänänen
2 July 2009, Master of Logic defense, Inés CrespoTitle: Normativity and interaction: from ethics to semanticsLocation: Room BG5 2.05, Oudezijds Achterburgwal 233-237, AmsterdamSupervisor: Martin Stokhof
1 July 2009, PhD defense, Hartmut FitzTitle: Neural SyntaxLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Prof. Dr. M. van Lambalgen
9 June 2009, Master of Logic defense, Chris BrumwellTitle: A Dynamic Analysis of Epistemic PossibilityLocation: Room A1.08, Science Park 904, AmsterdamSupervisor: Paul Dekker and Jeroen Groenendijk
26 May 2009, PhD defense, Brian SemmesTitle: A Game for the Borel FunctionsLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Prof.dr Dick de JonghCopromotor: Prof. dr. Benedikt Loewe
23 April 2009, Master of Logic defense, Petros StamatisTitle: Going for a walk on a Fine Summer's Day While a Sea-battle is Taking Place, or, Concerning Future Contingents and Intentional ActionLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Martin Stokhof
21 April 2009, Master of Logic defense, Daan Dirk de JongeTitle: Autistic Number LearningLocation: Room 3.27, Euclides Building, Plantage Muidergracht 24, AmsterdamSupervisor: Michiel van Lambalgen
6 March 2009, PhD defense, Jakub SzymanikTitle: Quantifiers in TIME and SPACELocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Johan van Benthem and Marcin MostowskiCopromotor: Theo Janssen
Projects and Awards
INFTY: New Frontiers of Infinity. Mathematical, Philosophical and Computational Prospects.
At the ESF headquarters in Strasbourg, the new Research Networking Programme INFTY: "New Frontiers of Infinity" was launched on 16 March 2009. This programme covers set theory and its interdisciplinary applications (for instance, philosophical questions about the foundations of mathematics, constructive set theory, applications in computability theory and computer science) and will be run by currently nine partner countries for the coming five years (until March 2014). The programme will be funding conferences, workshops, schools, and in particular bilateral research visits between partner countries.
The ILLC is represented by Jouko Väänänen in the executive group of the network. Benedikt Löwe is the Dutch representative on the Steering Committee.
The Women in FNWI network announces best publication award 2008
In 2007, female scientists in the UvA Science Faculty have initiated a Women in FNWI (WiF) Network. The main objectives of this network are to serve as a platform for women in the FNWI to regularly meet each other in an informal setting, and to identify realistic ways to increase the proportion of female academic staff within the FNWI over the next decade.
For more information, see k.h.hair at uva.nl
Or see here.
Johan van Benthem has been endowed with The Henry Waldgrave Stuart Professorship in Philosophy at Stanford University
Endowed professorships are living memorials to the donor's belief in intellectual values and social responsibility as well as the chairholder's commitment to increasing knowledge and understanding. The donor, the person in whose honor the donor may choose to name the chair, each successive holder, and the university all share in the prestige that surrounds each endowment. At Stanford, the roster of endowed chairholders stands as an honor roll of the university's most distinguished faculty members. The list of donors is an honor roll of Stanford's most far-sighted and generous friends - friends who have made enduring contributions to the university's excellence and independence.
For more information, see http://professorships.stanford.edu/get/layout/pbooks/has4
Johan van Benthem has been awarded with the Weilun visiting professorship of Humanities at Tsinghua University
Johan van Benthem was awarded the Weilun Visiting Professorship of Humanities at Tsinghua University in October. An honorary title presented to him by the Vice-President of the University.
For more information, please contact P.vanOrmondt at uva.nl
Lorenz Demey winner of ANTW-Selexyz Essay price
Lorenz Demey, one of our MSc Logic student, has won the ANTW-Selexyz Essay prize for his essay titled: "Een geunificeerde theorie van bepaalde en onbepaalde beschrijvingen" (In Dutch only, I'm afraid).
The ANTW is the Algemeen Nederlands Tijdschrift voor Wijsbegeerte, or the General Dutch Journal for Philosophy.
We congratulate Lorenz with his award.
For more information, please contact T.Kassenaar at uva.nl
Katrin Schultz wins LOT publieksprijs
Katrin Schulz has won the LOT publieksprijs for her dissertation ``Minimal Models in Semantics and Pragmatics. Free Choice, Exhaustivity and Conditionals''. The price was handed out at the Taalgala 2008, held on November 14 in Utrecht.
Voor meer informatie, zie http://wwwlot.let.uu.nl/News&Events/Events/Taalgala%202008/
Funding, Grants and Competitions
New EG-Liason/SenterNovem Newsletters 'R&D in Europa'
The october and november editions of the EGL newsletter "R&D in Europa" (dutch only) are available from the SenterNovem website, at http://www.senternovem.nl/egl/nieuwsbrief/.
Grant Update 2-12 available
Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.
The 12th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-12.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.
Grant Update 2-11 available
Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.
The 11th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-11.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.
Grant Update 2-10 available
Grant Update offers the latest information on grant applications and deadlines. It is published monthly by the grant advisory team of Bureau Kennistransfer UvA (Knowledge Transfer Office UvA), formerly known as the UvA Liaison Office. The grant advisory team offers support and expertise concerning procedures for applying for national and international grants.
The 10th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-10.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.
The Lorentz Fellowship program is a joint venture between the Netherlands Institute for Advanced Study in the Social Sciences and Humanities in Wassenaar (NIAS) and the Lorentz Center in Leiden. The programme was (formally) launched in 2006 to promote interdisciplinary research that bridges the gap between the humanities and/or the social sciences on the one hand and the natural sciences on the other; Lorentz Fellowships are awarded by NIAS to scholars whose research reaches across this boundary. Project proposals are welcomed that approach research topics from an inherently interdisciplinary viewpoint.
For more information, see http://www.lorentzcenter.nl/fellowships.php
Call for proposals for Marie Curie Initial Training Networks launched
The European Commission's Directorate-General for Research is calling for proposals for Marie Curie Initial Training Networks (ITNs). In support of training and career development for researchers, the action addresses joint research training networks in the form of either multi- or mono-partner ITNs. Multi-partner ITNs require at least three participants from three different Member States or Associated Countries. Mono-partner ITNs, on the other hand, are composed of just one single participant in a Member State or Associated Country and a network of associated partners.
The indicative budget of this call for proposals amounts to EUR 243.79 million. Submission deadline for proposals: 22 December 2009. For more information, see http://cordis.europa.eu/fp7/dc/
Grant Update 2-9 available
The 9th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-09.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.
Imperial College London Junior Research Fellowships
Applications are open for Imperial's second round of Junior Research Fellowships, to give the world's top early-career researchers freedom to focus on research, by providing a competitive salary and laboratory support costs; there will be no teaching or administrative duties associated with the appointments.
Deadline for applications October 30th 2009. For more information, see http://www3.imperial.ac.uk/juniorresearchfellowships
Sigurur Nordal Institute Fellowships
Annually The Árni Magnússon Institute for Icelandic Studies invites applications for the Snorri Sturluson Icelandic Fellowships. The Snorri Sturluson Fellowships are granted to writers, translators and scholars (not to university students) in the field of humanities, from outside Iceland, to enable them to stay in Iceland for a period of at least three months, in order to improve their knowledge of the Icelandic language, culture and society.
Applications should be sent by ordinary mail (no e-mail application) no later than 31 October. For more information, see http://www.arnastofnun.is/page/a_inter_snorri_sturluson_fellowships
Call for Research Group proposals at the ZiF in Bielefeld (Germany)
The Center for Interdisciplinary Research of Bielefeld University intends to establish a new research group in the academic year 2011/2012. Research Groups are the ZiF's primary format to support long-term interdisciplinary collaboration. The fellows of the research group reside at the ZiF and work together on a broader research theme. Support by the ZiF comprises financial assistance (for a research group up to € 500.000) as well as providing its infrastructure, i. e. accommodation, workspaces, conference facilities.
Applications for a ZiF research group may be submitted by any scientist or scholar from Germany or abroad. In the initial phase, a draft proposal for a research group (up to 5 pages) is required. Draft proposals should be received by the Managing Director of the ZiF Professor Dr. Jörg Bergmann by October 31, 2009 at the latest. For further information, see http://www.uni-bielefeld.de/ZIF/ or Dr. Britta Padberg at britta.padberg at uni-bielefeld.de.
Grant Update 2-8 available
The 8th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-08.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.
Call for applications ESF Travel Grants
Research in experimental pragmatics generates data as it tests between theories of pragmatics. After having seen accelerated growth over the last ten years, experimental pragmatics is now in a better position to resolve theoretical disputes, to advance beyond armchair theory-making and to make pragmatic theories more accessible to the cognitive science community at large. As part of an effort to provide a more permanent platform, a Research Network Program known as EURO-XPRAG supported by the ESF is now kicking off through a call for proposals that will support collaborative research by means of travel grants for short visits.
Deadline: September 15th, 2009. For more information, see http://www.euro-xprag.org/.
New EG-Liaison/SenterNovem Newsletter 'R&D in Europa'
The june edition of the EGL newsletter "R&D in Europa" (dutch only) is available from the SenterNovem website, at http://www.senternovem.nl/egl/nieuwsbrief/.
Seventh Research Framework Programme (FP7): Marie Curie
Within the Seventh Research Framework Programme (FP7) 3 grants have been made available:
- Intra-European Fellowships for Career Development
- International Incoming Fellowships
- International Outgoing Fellowships for Career Development
These Marie Curie grants are intended for postdocs or researchers with at least 4 years of research experience together with a research group abroad which will be the host organisation.
Deadline: 18 August 2009. For more information, see
http://cordis.europa.eu/fp7/dc/ (Intra -European)
http://cordis.europa.eu/fp7/dc/ (International Outgoing)
http://cordis.europa.eu/fp7/dc/ (International Incoming)
Investment Subsidy NWO Medium
The purpose of this investment subsidy is stimulating a balanced national investment policy and a balanced investment policy of research institutes.
This investment subsidy is meant for investments with financial contributions from NWO between 110,000 and 900,000 euro.
For more information, see http://www.nwo.nl/NWOhome.nsf/pages/NWOP_5K4ENS_Eng
Grant Update 2-7 available
The 7th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-07.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.
KNAW Heineken prizes call for nominations
The Heineken Prizes are international prizes awarded biannually to five internationally renowned scientists and one highly talented Dutch visual artist for their great merits to science, Dutch art and society.
The deadline for nomination is 1 November 2009. The laureates will be announced in April 2010. For more information, see http://www.knaw.nl/heinekenprizes/
NWO Humanities G-programmes
The Humanities area of NWO will start a pilot of scientific theme programmes. So-called G-programmes focus on innovation of content. The research should have the potential to determine future research agenda's. Because this is a pilot only one proposal will be accpeted.
For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOA_7S6KJS
Investment Subsidy NWO Medium
The aim of this subsidy is to strengthen the social sciences research infrastructure. The Divisional Board of the Division for Humanities wants to realise this objective by addressing medium-sized, research-driven, thematically organised and/or discipline wide infrastructural initiatives that promote the humanities in the Netherlands in general. Such large-scale projects with a broader scientific importance can only be realised if researchers match their research agendas with each other. The Start Subsidies actively support the setting up of such coordinated large-scale collaborations.
For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOA_4XHD5Z_Eng
New EG-Liason/SenterNovem Newsletter 'R&D in Europa'
The february and april editions of the EGL newsletter "R&D in Europa" (dutch only) are available from the SenterNovem website, at http://www.senternovem.nl/egl/nieuwsbrief/.
Grant Update 2-6 available
The 6th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-06.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.
NWO programme Brain & Cognition: an integrated approach
The NWO programme ‘Brain & Cognition: an integrated approach’ is part of the larger National Initiative on Brain and Cognition. The programme is financed by the boards of three NWO divisions – Earth & Life Sciences, Humanities, and Behavioral & Social Sciences - as well as ZonMW, and has a budget of 7,5 M€.
The overall and most important aim of the programme is to promote research that uses an integrative approach. Within this framework, three specific goals are set:
- Stimulation of excellent research;
- Formation of (inter)national networks;
- Support for the scientific development of high potential junior investigators.
For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOA_7BBK4H
Grant Update 2-5 available
The 5th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-05.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.
Cooperation Germany - von Humboldt Stiftung
The Von Humboldt Stiftung (VHS) at Bonn every year offers two research prizes to Dutch senior researchers affiliated with a German research institute. NWO offers the same opportunity to two German senior researchers at Dutch research institutes.
For more information, see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_5GPHN9?Open
Grant Update 2-4 available
The 4th issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-04.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.
ESF Exploratory Workshops: Call for proposals 2009
Each year, ESF supports approximately 50 Exploratory Workshops across all scientific domains.
These small, interactive group sessions are aimed at opening up new directions in research to explore new fields with a potential impact on developments in science. The workshops, which usually last 1-3 days, have a wide participation from across Europe and involve mature scientists as well as young, independent researchers and scholars with leadership potential. The relatively small scale (in terms of people involved) provides an ideal platform for focus on the topic and for all participants to contribute to discussions and plan follow-up collaborative work. Interdisciplinary topics are greatly encouraged.
Proposal submission deadline: 30 April 2009. For more information, see http://www.esf.org/activities/exploratory-workshops.html
Van Gogh grants for French-Dutch research exchange
The French Dutch Academy seeks to promote and support collaboration between research institutions by offering grants for research exchanges.
For more information, see http://www.frnl.org/fr/ [In Dutch/French only].
Grant Update 2-3 available
The 3rd issue of 2009 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-03.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.
EAAS Travel Grants
The European Association for American Studies is pleased to announce the 2009 EAAS travel grants for postgraduate students in the Humanities and Social Sciences who are registered for a higher research degree at any European university. Two kinds of grants are available: the Transatlantic Grant and the Intra-European Grant. It is expected that four scholarships will be available this year. The maximum single award granted may amount to EUR 2,000.
For more information, see http://www.eaas.eu/travel_grants.htm
New Edition Knowledge Transfer Office "Best New Idea" competition
On the 12th of May there will be a new edition of Science Park Amsterdam Nieuwe Ideeën Prijsvraag'. Students and employees based at the Science Park are asked for ideas that are new, innovating and applicable.
Deadline: 30 maart 2009, 18.00u. For more information [in Dutch only], see http://www.uva.nl/bureaukennistransfer/nieuweideeenprijsvraag.cfm.
The aim of the Rubicon programme is to encourage talented researchers at Dutch universities and research institutes run by KNAW and NWO to dedicate themselves to a career in postdoctoral research. Rubicon offers researchers who have completed their doctorates in the past year the chance to gain experience at a top research institution outside the Netherlands (maximum of two years).
The Rubicon programme also offers talented researchers from abroad the opportunity to obtain grants to spend one year conducting research in the Netherlands.
For more information, see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_6H2G7R_Eng
KNAW Visiting Professors Programme
The Royal Netherlands Academy of Arts and Sciences (KNAW) has launched its Visiting Professors Programme in the Summer of 2008. The Visiting Professors Programme is an Academy initiative to allow excellent researchers working outside the Netherlands to spend some time in the Netherlands to contribute towards strengthening Dutch science.
Members of KNAW and of KNAW's The Young Academy, as well as researchers at all of KNAW's research institutes, are invited to submit nominations.
For more information, see http://www.knaw.nl/visitingprofessors/
NWO Call for Programmes for Excellence (Brain & Cognition: an Integrated Approach)
The overall and most important aim of the programme Brain & Cognition: an integrated approach is to promote research that uses an integrative approach. Within this framework, four specific goals are set:
- Stimulation of excellent research;
- Formation of (inter)national interdisciplinary networks;
- Interdisciplinary education of high-potential junior investigators;
- Contribution to new insights into neural substrates of human cognition.
The programme Brain and Cognition: an integrated approach is looking for innovative, risk-taking, out of the box and unusual crosslinks between disciplines. The present Call for Programmes for Excellence offers scientists the possibility to apply for a subsidy up to 500 k€. Proposals should be dedicated to integrative interdisciplinary research on brain and cognition and should contribute to new insights in the connection between human cognition and neural substrates.
For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOA_7NSJJD_Eng
Grant Updates 2-1 and 2-2 available
The 1st and 2nd issue of 2009 are now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-01.pdf and http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_2-02.pdf. For more information, see the website of the Bureau Kennistransfer at http://www.uva.nl/bureaukennistransfer/.
NWO grant opportunity: Internationalisation in the Humanities
With this grant instrument, the Humanities Divisional Board wants to facilitate the international cooperation between Dutch research groups and their foreign colleagues, stimulate the formation of international networks within the social sciences and encourage social sciences applications to international agencies.
Senior researchers at Dutch institutes for university education and research and/or researchers at institutes recognised by NWO can apply. Researchers not employed at an institute recognised by NWO, can submit an application in collaboration with senior university researchers. The application must be submitted by a Dutch research group that wants to work with at least two foreign research groups. A second Dutch research group may be involved in the project.
For more information, see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOA_6JVJDY_Eng?Opendocument
Call for Nominations: Influential Papers in Agents and Multiagent Systems
The International Foundation for Autonomous Agents and Multi-Agent Systems has established an award to recognize publications that have made influential and long-lasting contributions to the field. Candidates for this award are papers that have proved a key result, led to the development of a new subfield, demonstrated a significant new application or system, or simply presented a new way of thinking about a topic that has proved influential.
This award is presented annually at the AAMAS Conference, in this case AAMAS-09 in Budapest in May. Winning papers must have been published at least 10 years before the award presentation, therefore this year's eligible set comprises papers published in 1999 or earlier, in any recognized forum (journal, conference, workshop).
To nominate a publication for this award, please send the full reference plus a brief statement (150 words or fewer) about the significance of the paper to Michael Wellman (chair of the 2009 award cmte), wellman at umich.edu. Nominations are due by 4 February 2009. For more information, see http://www.conferences.hu/AAMAS2009/nominations.html#IFAAMAS
15 January 2009, NWO Information Meeting VENI, VIDI & VICI
The Innovational Research Incentives Scheme will change in 2009: * higher grants
* no contribution from the institute
* no prior embedding
* also for professors.
Would you like to know how high the grant payments will be? Are you interested in what changes will take place in the procedures? Or are you curious about tips from successful applicants? Then make sure you attend one of NWO's morning or afternoon information meetings about the Innovational Research Incentives Scheme. There you will hear from successful applicants, coordinators and (ex) committee members about what is new, what to pay attention to when completing your grant application and which alternatives are available if your application is not successful. And in the speed date sessions of five minutes you can ask them all you ever wanted to know.
For more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOA_7HYFHV_Eng
Association for Symbolic Logic: Call for Nominations for Sacks prize
The Association for Symbolic Logic is seeking nominations for the Sacks Prize. The Sacks Prize is awarded for the most outstanding doctoral dissertation in mathematical logic; it was established to honor Professor Gerald Sacks of MIT and Harvard for his unique contribution to mathematical logic, particularly as adviser to a large number of excellent Ph.D. students. The Prize became an ASL Prize in 1999; the Fund on which the Prize is based is now administered by the ASL and the selection of the recipient is made by the ASL Committee on Prizes and Awards. The Sacks Prize consists of a cash award plus five years free membership in the ASL.
This is an international prize, with no restriction on the nationality of the candidate or the university where the doctorate is granted.
Deadline for nominations: 30 september 2009. For more information, see http://www.aslonline.org/Sacks_nominations.html
The ERCIM "Alain Bensoussan" Fellowship Programme
The European Research Consortium for Informatics and Mathematics (ERCIM) offers fellowships for young promoted researchers who would like to do research at two ERCIM affiliated institutes.
Deadline: 30 april.
For more information, see http://www.ercim.org/activity/fellows.
Marie Curie International Research Staff Exchange Scheme (IRSES)
The Marie Curie International Research Staff Exchange Scheme aims at strengthening research partnerships through short period staff exchanges and networking activities between European research organisations and organisations from countries with which the Community has an S&T agreement or are in the process of negotiating one, and countries covered by the European Neighbourhood policy.
Deadline for proposals: 27 March 2009. For more information, see http://cordis.europa.eu/fp7/dc/
British Academy Visiting Fellowships
The Academy's Visiting Fellowship scheme, launched in 2005, enables early-career scholars from overseas to apply directly to the Academy, in conjunction with their UK hosts, for research visits to the UK of two to six months. The main purpose of the visit should be to enable the visitor to pursue research.
Deadline for applications: 12 January 2009. For more information, see http://www.britac.ac.uk/funding/guide/intl/visfells.cfm
Call for Nominations: Ackermann Award (EACSL outstanding dissertation award for logic in computer science)
Eligible for the 2009 Ackermann Award are PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2007 and 31.12. 2008. The 2009 Ackermann Award will be presented to the recipients at the annual conference of the EACSL (CSL'09).
The deadline for submission is 15.3.2009. For more information, see http://www.dimi.uniud.it/eacsl/submissionsAck.html
Marie Curie Co-Funding of Regional, National and International Programmes
The COFUND action supports existing or new regional and national fellowship programmes (to open up to and provide for trans-national mobility), as well as international programmes. COFUND will support fellowship programmes for the most promising experienced researchers, helping them in their career development. The programmes must run an open, merit-based competition for the applying researchers, founded on international peer-review. The freedom of the fellows to choose a research topic and the appropriate research organisation fitting their individual needs is a key element for the COFUND action.
Deadline for applications: 19 February 2009 at 17:00:00 Brussels local time. For more information, see http://cordis.europa.eu/fp7/dc/
ERC Calls for Proposals
The European Research Council is a European funding body. ERC Grants aim to support single research leaders ('Principal Investigators') heading a research team to conduct a frontier research project on the condition that he/she is engaged by a legally established host organisation. The ERC now calls for proposals for Advanced Investigators grants. The ERC Advanced Investigator Grant (ERC Advanced Grant) funding scheme targets researchers who have already established themselves as independent research leaders in their own right.
Deadline for submissions is March 25th, April 15th or May 6th, depending on the subject area of the research proposal. For more information, see http://erc.europa.eu/index.cfm?fuseaction=page.display&topicID=67
Grant Update 12 available
The 12th issue of 2008 is now available from the ILLC website at http://www.illc.uva.nl/NewsandEvents/GrantUpdate/Grant_Update_1-12.pdf.
International Cooperation with Mediterranean Countries
Subsidies are available for cooperation with mediterranean countries. Subsidies are intended for coordination and support.
For more information, see http://cordis.europa.eu/
Newton Fellowship for research in the natural or social sciences, engineering or humanities
The Newton International Fellowship scheme will select the very best early stage post-doctoral researchers from all over the world, and offer support for two years at UK research institutions.
Submission period: from 15 October 2008 to 12 January 2009. For more information, see http://www.newtonfellowships.org/
Marie Curie re-integration grants
There are two types of Reintegration Grants , the first being the European Reintegration Grant. Researchers who are from EU Member States or Associated States and who have been Marie Curie fellows for at least 2 years can apply for this award. This fellowship seeks to assist the fellow with professional reintegration after the initial Marie Curie fellowship, preferably (but not necessarily) in his or her country or region of origin.
The second type is the International Reintegration Grant. European researchers who have carried out research outside Europe for at least 5 years (with or without a Marie Curie fellowship) who wish to return to Europe can apply.
The program is open for continuous submission with 'cut-off dates' for evaluation of proposals received until then on 2 April 2009 and 8 October 2009, for both dates at 17.00.00 Brussels local time. For more information, see http://cordis.europa.eu/fp7/dc/.
Marie Curie Action: Researcher's night
The Researchers NIGHT action will be on Friday, 26, September, and will be the next occasion for a European wide public and media event for the promotion of research careers. The aim of this action is to bring the researchers closer to the large public, with a view to enhancing their important role in society and in particular within the citizens' daily life.
Proposals are requested for events to be part of the 'Researchers Night' action. Deadline for proposals is 14 January 2009 at 17.00.00 Brussels local time.
For more information, see http://cordis.europa.eu/fp7/dc/.
NWO programme: Mozaïek
Ethnic minorities are currently under-represented in Dutch academic research. The Netherlands Organisation for Scientific Research (NWO) and the Ministry of Education, Culture and Science are keen to promote diversity and are concerned about the present loss of talent to the academic world. The Mozaïek (Mosaic) programme, started in 2004, aims at helping representatives of ethnic minorities into the world of science.
The deadline for submitting brief research proposals is 8 January 2009. For more information, see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_5RNBJK_Eng?Opendocument
Subsidies from De Bussy Foundation
De Bussy Foundation offers financial support for the publication and/or translation of dissertations in the area of philosophy.
Deadlines: 1 March 2009 and 1 October 2009. For more information, please contact
De Bussy Stichting
Veenweg 62, 7416 BD Deventer
tel. 0570 608811
Call for Workshop proposals Lorentz Center
The Lorentz Center of the University of Leiden calls for proposals of Workshops. Deadlines are: 15 January, 15 May, 15 September.
For more information, see http://www.lorentzcenter.nl/.
Annual research prizes of the Von Humboldt Stiftung (VHS)
The Von Humboldt Stiftung (VHS) in Bonn has made two annual research prizes available for senior researchers to work at a German research centre for at least 4 months and at most 12. NWO offers the same for German researchers to work in The Netherlands.
For more information, see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOA_4XGLAK?Opendocument
Open Positions, General
Two postdoctoral positions in "The parameterized complexity of reasoning problems", Vienna (Austria)
Within the ERC-funded project "The Parameterized Complexity of Reasoning Problems" lead by Prof. Stefan Szeider applications are invited for two postdoctoral positions in computer science. The aim of the project is to study computational reasoning problems in the framework of parameterized complexity theory. The positions are for the duration of two years with the possibility to extend. The earliest starting date is January 2010.
The candidates should have a PhD degree in Computer Science or related area; research experience at postdoctoral level is of advantage. The review of applicants will begin immediately and continue until the positions are filled. Applications received by 19 December 2009 will receive full consideration.
Further details on the requirements and information on how to apply can be found at http://www.kr.tuwien.ac.at/drm/jobs.
Associate Professorship in Computational Complexity, Aarhus (Denmark)
A position as associate professor in the area of Computational complexity theory is available at the Department of Computer Science (www.cs.au.dk), starting January 1, 2010.
The Department conducts research and teaching in theoretical as well as experimental computer science. The staff is close to 200 people, including 30 full or associate professors, and 60 PhD students. The number of students is approximately 600. Applicants must document a strong record of original research and have teaching experience at both the undergraduate and graduate level.
For more information about the job vacancy, see http://science.au.dk/stillinger-og-stipendier/videnskabelige-stillinger/. Application date: 20/11/2009
Temporary Lectureship in Philosophy, Oxford (U.K.)
Applications are invited for a Departmental Lecturership in Philosophy, in association with a Non-Stipendiary Lecturership in Philosophy at New College, for the period 1 October 2010 to 30 September 2012. The post is a temporary replacement for Professor Timothy Williamson who has been awarded a Leverhulme Major Research Fellowship and who will be on special research leave during this period.
The areas of research specialization for this post are as follows: epistemology, metaphysics, philosophical logic, and philosophy of language. The successful candidate must be able to teach one or more of these areas at graduate level.
For more information, see http://www.philosophy.ox.ac.uk/vacancies/ or contact the Assistant Administrator at catriona.hopton at philosophy.ox.ac.uk. The deadline for receipt of applications is 12noon on Monday 7 December 2009.
Professor of Philosophy at Umeå University, Sweden
A position as Professor of Philosophy has been announced at Umeå University. Deadline for application is December 18, 2009.
For more information, see http://www8.umu.se/umu/aktuellt/arkiv/lediga_tjanster/311-991-09.html#eng
Associate professorship in analytic philosophy at KTH (Stockholm)
KTH is Sweden's largest technological university. Its Division of Philosophy (around 30 employees including PhD students) conducts research and education in areas such as ethics, philosophy of risk, decision theory, logic, and philosophy of science. We now have an open position as associate professor (senior lecturer) in analytic philosophy. This is a permanent, tenured position. The primary emphasis is on subject areas that are of particular interest to KTH as a technological university, which includes ethics, decision theory, epistemology, logic, and the philosophy of science and technology.
CMI Postdoctoral Fellowships Program (Mathematics of Information), 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 2010. The CMI is dedicated to fundamental mathematical research with an eye to the roles of information and computation throughout science and engineering. Areas of interest include algorithms, complexity, algorithmic game theory, applied combinatorics, applied probability, statistics, machine learning, information and coding theory, control, optimization, networked systems, geometry processing, multiresolution methods, and molecular programming.
Please apply and have three reference letters sent directly as instructed at http://www.ist.caltech.edu/joinus/positions.html. All candidate materials are due by Friday, December 18, 2009 and reference letters are due by Monday, December 21, 2009.
European Post-Doctoral Institute for the Mathematical Sciences, Call for Applications, Barcelona, Catalonia
The European Post-Doctoral Institute for the Mathematical Sciences has an open call for applications for EPDI Fellowships for 2010-2012. Each year, 7 European laureates and 1 Japanese fellow are selected by an International Jury on the basis of excellency. Deadline for applications: November 29, 2009.
Research fellowship (postdoctoral) in diagrammatic reasoning and formal languages, Brighton (U.K.)
Based within the School of Computing, Mathematical and Information Sciences, you will join the school's Visual Modelling Group which is internationally renowned in the visual languages research community. Diagrammatic reasoning was noted as a particular strength in the school's RAE 2008 Computer Science and Informatics results, with 65% of the submitted research outputs being graded as 3* (Internationally Excellent) or 4* (World Leading). Working on the EPSRC funded project Defining Regular Languages with Diagrams, you will develop a diagrammatic logic that can be used to define regular languages, including its formalization and devising inference rules. The post is fixed-term for 12 months as funding is limited to this period.
Closing date: 10 November 2009 For more information, see http://www.jobs.ac.uk/job/AAD838/ or contact Dr Gem Stapleton, Senior Research Fellow at g.e.stapleton at brighton.ac.uk (please quote reference number MM4037).
Five postdoctoral positions (E14) in all areas at the Zukunftskolleg, Konstanz (Germany)
The Zukunftskolleg is a central scientific institution of the University of Konstanz for the promotion of young scientists in the natural sciences, humanities and social sciences. It forms a platform for interdisciplinary discourse between distinguished researchers in Germany and abroad, and provides young scientists with resources for obtaining third-party funding.
The Zukunftskolleg is offering 5 Research Positions (Salary Scale 14 TV-L) for the development and implementation of individual research projects / research groups. Each position can, in principle, be divided into two half-time positions. The initial appointments will commence on April 1, 2010 and end on September 30, 2011. An extension of the work contract for an additional 3.5 years will be financed by the Zukunftskolleg, provided that substantial external third-party funding for a research project has been granted.
The prerequisites for acceptance are a doctoral degree and outstanding scientific qualification as documented by research activities and publications. The ideal candidate has just finished her/his dissertation or has acquired initial work experience as a postdoctoral researcher. International experience in teaching or research and a strong interest in interdisciplinary topics are desirable.
Application deadline: November 30, 2009. Fellows will be selected on the basis of their project outlines and a two-day workshop to be held on February 22-23, 2010 at the University of Konstanz. For more information, see http://www.uni-konstanz.de/news/index.php?cont=stellausw&seite=2009/.
PhD scholarships in Algorithms and Logic, Technical University of Denmark
The Algorithms and Logic Section (AlgoLog) at DTU Informatics, Technical University of Denmark, encourages applications for PhD scholarships starting in spring 2010.
For more information on AlgoLog and the PhD scholarships, see http://www.imm.dtu.dk/English/Research/Algorithms_and_Logic.aspx and http://www.dtu.dk/English/About_DTU/. Applications must be received by October 14, 2009.
Assistant or Associate Professorship in Formal Epistemology / Philosophical Logic, College Park MD (U.S.A.)
The University of Maryland is looking for an Assistant or Associate Professor (tenure track). Junior candidates are preferrred, but outstanding applicants at the Associate level will also be considered. AOS: formal epistemology or related areas of philosophical logic, decision theory, or game theory. AOC: the ability to teach logic or traditional epistemology at the graduate level would be an advantage.
Applications will be considered until the position is filled, but for best consideration all materials should arrive by November 23, 2009. For more information, see here or http://philosophy.umd.edu/.
Visiting Fellowships at the Tilburg Center for Logic and Philosophy of Science
The Tilburg Center for Logic and Philosophy of Science (TiLPS) invites candidates for three- to nine-months visiting fellowships in the academic year 2010/11 intended for advanced Ph.D. students or faculty. Candidates should work in one of the areas the Center covers and have a commitment to interdisciplinary and collaborative work.
The deadline for applications is December 15, 2009. For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/jobs/
CRM Postdoctoral Grants in Mathematics, Barcelona (Catalonia, Spain)
Doctoral degree holders can apply for postdoctoral stays at the CRM, provided that their doctorate has been awarded no earlier than 5 years before the application date. A certificate of doctoral award must be presented before the starting date of the stay. Applicants must have a written acceptance by a host research group, stating their conformity with the research plan of the applicant and their willingness to host him or her as a participant in the activities of the group during his or her stay at the CRM. A member of the host research group will act as responsible for liaison with the applicant and follow-up.
The normal duration of a postdoctoral grant is one year, although shorter stays are also possible with lower priority, and extensions for a second period may be negotiated. The gross salary will amount to 24,480 euros per year. Successful applicants will be provided with office space and working facilities at the Centre, as well as house-finding assistance if necessary. They are expected to start their stay at the CRM in September 2010 under normal circumstances. Delayed arrivals are acceptable under request, provided that the starting date of the stay does not surpass February 2011.
Applications can be submitted before October 31, 2009. For more information, see http://www.crm.es/CALLS/postdoctoral_grants_guidelines.htm
Research assistant position in "Interactions on the Move", London (U.K.)
Applications are invited for the post of Research Assistant to join the Interactions on the Move project at the UCL Interaction Centre. The RA will be responsible for the running of experiments aimed at investigating how people perform multiple ongoing tasks while driving. Candidates should have a degree in Psychology (or equivalent subject) and have experience of running controlled experiments with human subjects. Effective working knowledge of statistical data analysis tools is essential (preferably R). Working knowledge of JAVA is desirable. This post is flexible in terms of working hours. It can be either a full-time position for one year starting November 2009, or a half-time position for two years.
(Senior) Lectureship in Computing Science (Knowledge Technologies, Natural Language Generation), Aberdeen (Scotland)
The University of Aberdeen is currently advertising for a lecturer/senior lecturer in Computing Science. The research interests of the applicant should enhance and complement our existing activities in Intelligent Systems: Knowledge Technologies, Intelligent Agents, Natural Language Generation, and Computational Analysis and Modelling. The successful candidate will be expected to work with colleagues in one or more of these research themes, but also to have the ambition to develop new areas of strength for the Department.
Applications must be received before 19 October 2009. For more information, see: http://www.abdn.ac.uk/jobs/display.php?recordid=COM003AX
Research Fellowships at Rural Digital Economy Hub, Aberdeen (Scotland)
The University of Aberdeen is recruiting to two three year research fellow positions in connection with the new RCUK-funded digital research hub, in the areas of Computational Models of Argumentation and Natural Language Generation, respectively.
Applications must be received before 30 September or 7 October 2009, respectively. For more information, see http://www.abdn.ac.uk/jobs/display.php?recordid=RDH006R and http://www.abdn.ac.uk/jobs/display.php?recordid=RDH007R.
Professorship in Philosophy (Epistemology, Philosophy of Technology, Philosophy of Science), Roskilde (Denmark)
At the Institute for Culture and Identity, Roskilde University, a full professorship in philosophy with special emphasis on epistemology, philosophy of technology, and philosophy of science together with applications of formal methods in some of these areas is vacant. The position is connected to the Research Group in Science Studies. The position starts on 1 February 2010 or soon thereafter.
In order to be considered for the position, the applicant must demonstrate an original and internationally recognized scientific production in epistemology, philosophy of science, Philosophy of technology, or formal logic. The applicant must document pedagogical skills and competence at a high level. Since the professor is expected to actively partake in the institute's international research and publication activity the applicant must in addition document considerable experience with research management and editorial work.
Please send your application marked 62.01/04 together with appendices in triplicate to Rector at Roskilde University. Closing date: Monday 9 November 2009 at 12:00 noon. More information about the position may be obtained from http://www.ruc.dk/ruc_en/about/Positions/620104/ or by contacting Professor Stig Andur Pedersen, phone 4674 2265.
PhD position in computer science, Utrecht (The Netherlands)
Within the Software Technology group of the Information and Computing Sciences department of Utrecht University there is a vacancy for a 4-year PhD student to work on the efficient implementation of functional languages.
For efficient implementation of functional languages, graph-based term representations are used in which identical subterms can be (but not always are) shared. The question arises whether graph-representations and their reductions that are optimal in a theoretical sense can also be practical from an implementer's point of view. The overall-goal of this project is to answer this question in a back-and-forth communication between theoretical concepts and practical realizations. Project leaders are Prof.dr. Doaitse Swierstra and dr. Vincent van Oostrom.
Application deadline: Sept 31, 2009. For more information, see http://www.cs.uu.nl/wiki/bin/view/Center/OptimalSharing or here, or contact Doaitse Swierstra at doaitse at cs.uu.nl. Note vacancy nr 62910 in communications.
Two 18-month postdoctoral positions on automated verification of probabilstic programmes, Oxford (UK)
The Oxford University Computing Laboratory is looking to recruit two Grade 7 Postdoctoral Research Assistants to work on the EPSRC-funded project "Automated Verification of Probabilistic Programs", under the direction of Joel Ouaknine, Andrzej Murawski, and James Worrell.
Applicants should have (or shortly expect to receive) a PhD in Computer Science or a closely related field, and either strong programming skills, some experience of tool construction, and basic knowledge of program analysis, or a strong background in theoretical computer science or mathematics and exposure to topics in system or program verification.
Further particulars, including details of how to apply, are available from: http://www.comlab.ox.ac.uk/news/122-full.html or by email request to: job1 at comlab.ox.ac.uk. The closing date for applications is Sunday 20th September 2009.
Computational Mechanisms of Nonverbal Communication
There is a PhD position available at the Donders Institute for Brain, Cognition and Behaviour for the project "The meaning of movements: A computational model of nonverbal communication", funded by a DCC-PhD grant.
As a PhD student in this project you will study the cognitive computational bases of human non-verbal communication. You will test the computational necessity and sufficiency of several basic cognitive abilities for effective human communication. You will formalize these abilities in a computer program that engages humans in an open-ended (nonverbal and non-linguistic) communicative game.
The project has both scientific and technological aims.
For more information, see http://www.ru.nl/vacaturedetails?recid=496347
Postdoctoral position in Logic / Theoretical Computer Science (2y), Bern (Switzerland)
1 Postdoc position is available in the research group "Theoretical Computer Science and Logic" at the Institute for Computer Science and Applied Mathematics of Bern University. The position is available from October 1, 2009 for a period of two years, after which time an extension may be possible.
This position is within a research project about proof theory focussing on reflections and (non-)monotone inductive definitions, operational set theory, and feasible and subrecursive proof and type systems. An excellent background in logic and previous working experience in proof theory are required.
Interested candidates should send an application letter and a detailed CV (including a list of courses completed and marks received) to G. Jaeger (email: jaeger at iam.unibe.ch, phone: +41 31 631 85 60, fax: +41 31 631 32 60). See http://www.iam.unibe.ch/~til/ for further information about the research group.
Full Professorship in Algorithms in Data Structures, Vienna (Austria)
The successful candidate is expected to lead his/her own group and to conduct research and teaching in the area of Algorithms and Data Structures. Ideally, candidates are sought, who are able to combine theoretical research with novel applications.
Applicants are expected to have an outstanding research record, experience in project acquisition and management, and experience in university teaching. Duties include teaching mandatory and elective courses of the informatics curricula (in English or German). The professor is expected to contribute to the management of the institute and the faculty. Applicants must meet the following requirements: a doctoral degree, an outstanding track record in research and teaching, didactic skills and leadership abilities.
Application deadline: November 20, 2009 For more information, see http://www.informatik.tuwien.ac.at/events/forschung/202.
Lecturer Position (Assistant Professor) at University of Southampton
The School of Electronics and Computer Science at the University of Southampton is seeking to appoint a candidate to complement the existing research programme in the Intelligence, Agents, Multimedia (IAM) Research Group.
Salary range: £34,435 - £43,622 per annum.
The closing date for completed applications is 15 September 2009 at 12.00 noon. For more information, see http://www.jobs.ac.uk/jobs/ZM436/.
1y fixed-term stipendiary lectureship in philosophy, Oxford (U.K.)
Applications are invited for a one-year fixed-term stipendiary lecturership in Philosophy, to provide tutorial teaching during the 2009-10 academic year when Professor Frank Arntzenius will be on research leave. Candidates must be able to provide teaching for the following subjects: Introduction to Logic (for first-year students), General Philosophy (for first-year students); and either Ethics or History of Philosophy from Descartes to Kant (for second-year and third-year students). In addition, it may be an advantage to be able to teach one or more further subjects from the list of options available to second-year and third-year students.
The post is for a fixed period of one year from 15 September 2009. The salary will be on the Senior Tutors' stipendiary lecturers scale. In addition to teaching six contact hours per week, averaged over the three eight-week terms of the year, the lecturer will be expected to participate in undergraduate admissions, and be responsible, jointly with Dr Bill Child, for the organization of the subject and for the provision of pastoral care and the academic welfare of Univ's students reading Philosophy.
Applications must be received before 14 August 2009. For more information, see http://www.univ.ox.ac.uk/news_and_announcements/vacancies/academic_appointments/ or contact Professor Frank Arntzenius (frank.arntzenius at univ.ox.ac.uk) or Dr Bill Child (bill.child at univ.ox.ac.uk) for additional information or for an informal discussion about the post. Please note that interviews for the post will take place on Thursday 20 August 2009.
Research Assistant (neurolinguistics) needed at RWTH Aachen University
'Anthropological universals - cultural differences'; is an interdisciplinary project funded by the Federal Ministry of education and Research. In the project involved are Prof. Dr. Christian Stetter (Institute for Language and Communication Studies, project leader), Prof. Dr. Walter Huber (Section Neurolinguistic at the Department of Neurology) and Prof. Dr. Martina Ziefle (Humtec). The aim of the project is to compare the writing systems of German alphabetic writing and Japanese Kanji as well as their cognitive processing. Thereby developing an empirically appropriate cognitive model for single word recognition that is based upon a coherent theory of writing systems is developed.
You will have to program and analyse full artificial, neuronal networks of single-word recognition and of lexical determination in German and Japanese (Kanji). Besides you will derive word-meanings from text-corpora. You have to cooperate closely with the researchers of the other sub-projects.
Professorship in ICT, Media and Learning, Umea (Sweden)
The Umeä University campus is a creative and exciting place of work and study for our 4,000 employees and 29,000 students. At Umea University world-leading research is conducted within several areas. One of these areas is Information and Communication Technology (ICT), Media and Learning, where a professorship is announced. Attached to this professorship are two PhD positions and two post-doc positions that are to be announced by the professor after appointment and also funding for visiting guest professors and an additional € 140.000 at the professor's disposal.
The area of ICT, Media and Learning represents an inter-disciplinary and applied field of educational research at the intersection of learning and technology in social and cultural contexts. The field includes technology enhanced learning, professional development and the design and development of learning environments.
Ref. nr is 311-400-09. Applications must be received before September 15, 2009. For more information, see http://www8.umu.se/umu/aktuellt/arkiv/lediga_tjanster/311-400-09.html Or contact Eva Lindgren at eva.lindgren at adm.umu.se or Johan Lithner at johan.lithner at math.umu.se.
PhD student position in "Formal Analysis of Social Procedures", Tilburg (The Netherlands)
The Department of Philosophy and the Tilburg Center for Logic and Philosophy of Science invite applications for a four-year full-time PhD position, commencing February 1, 2010. The successful candidate will work as part of the Vidi project 'A Formal Analysis of Social Procedures' led by Eric Pacuit and complete a PhD thesis within four years.
The deadline for applications is October 15, 2009. For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/jobs/. Informal enquiries may be directed to Dr. Eric Pacuit at E.J.Pacuit at uvt.nl (mentioning the vacancy number 500.09.24).
Two PhD student positions in computation and learning in networks of spiking neurons, Graz (Austria)
In the research group of Wolfgang Maass and Robert Legenstein at the Graz University of Technology in Austria there are positions for two PhD students for research on computation and learning in networks of spiking neurons, models for complex autonomously learning neural systems (including neuronal implementations of reinforcement learning), and models for self-organization and self-calibration of biologically realistic models for cortical microcircuits and areas. A keen interest in understanding brain function as well as knowledge in machine learning, computational theory, and programming skills are expected.
PhD student position on "Homogeneous structures", Leeds (U.K.)
As part of an EPSRC grant at the University of Leeds with the title above, there will be a fully funded PhD studentship, and we seek suitably qualified candidates to begin their PhD in the autumn of 2009. The project concerns aspects of homogeneous structures. The very general framework of homogeneity means that the subject touches many parts of mathematics, such as model theory, connections of finite model theory with computer science, group theory, descriptive set theory, and, in particular, combinatorics. Much of this has developed since Cherlin's 1998 memoir. For example, there is now wide interest in homogeneous metric spaces, in connections with structural Ramsey theory in combinatorics, and with topological dynamics. It has become urgent to revisit classification in homogeneous structures, to identify how far it can reasonably be taken, and whether, if one requires less than full classification, meaningful descriptions remain.
This is a project in combinatorics, but it has strong connections with model theory, group theory, and theoretical computer science. Candidates with interests in any or all of these areas may apply.
The studentship is advertised on http://www.findaphd.com/search/showproject.asp?projectid=22740&searchtype=n and anyone interested is encouraged to contact one or both of the investigators on pmtjkt at leeds.ac.uk or pmthdm at leeds.ac.uk.
Two research assistant positions, one PhD student position on "Computational Models of Argument", Dundee (Scotland)
Applications are invited for two research assistants and one PhD student to work on an EPSRC-funded project in computational models of argument. The Dialectical Argumentation Machines project aims to deploy argumentation technologies in real world settings and involves working with providers of some of the world's largest and most popular websites. The posts will be held in the Argumentation Research Group in the School of Computing at the University of Dundee.
The theoretical side of the project involves working to tie together abstract, mathematical models of argument, with concrete, linguistic representations. The foundation that results will then put the applied side of the project on a sound footing that is both flexible and extensible.
The practical side of the project involves building a platform to enable an ambitious vision of the "World Wide Argument Web", bringing together semantically rich representations of data with large-scale infrastructure into a coherent and open platform for online debate. Applications and tools that make use of this platform must then be easy to use and immediately appealing.
Closing Date: 31 July 2009. For more information, see http://www.jobs.dundee.ac.uk/vacancies/20090731_00003-y.html and http://www.jobs.dundee.ac.uk/vacancies/20090731_00004-y.html.
Postdoc Positions in Algorithmic Game Theory in Liverpool and Warwick
There are two postdoc positions available in a research project on "Efficient Decentralised Approaches in Algorithmic Game Theory" at the Universities of Liverpool and Warwick, UK. The emphasis of the research is to analyse models of decentralised interaction in game-theoretic settings, and the impact of decentralisation on the computational task of reaching a solution.
The application procedures for these positions are separate; you are welcome to apply for both jobs by submitting separate applications.
Salary: approx 30k pounds
Duration: 3 years, to start October 1st 2009, or shortly afterwards
Closing date for applications: 17th July 2009.
For more information see http://www.csc.liv.ac.uk/~pwg/advertisement.html and http://www2.warwick.ac.uk/fac/cross_fac/dimap/agt-postdoc or contact Paul Goldberg (P.W.Goldberg at liverpool.ac.uk) or Artur Czumaj (A.Czumaj at warwick.ac.uk).
PhD student position on "Security by Logic for Multithreaded applications", Enschede (The Netherlands)
This project develops a uniform verification framework for the protection of data. Key innovation on which the proposal is based is the notion of self-composition. This gives a different view on classical security properties, recasting them into safety properties of a single program, and allows reuse of existing program verification techniques. This project will demonstrate how this approach can handle a wide range of data-related security properties, such as confidentiality, integrity and anonymity, in a uniform way, allowing easier comparison. To make the framework usable for realistic applications, which interact with their environment, we concentrate on multithreaded applications, and properties that specify complete executions of an application. Model checking will be the targeted program verification technique.
We seek an enthusiastic PhD student with an MSc degree in Computer Science (or an equivalent qualification). The candidate should have a thorough theoretical background, and a demonstrable interest in program verification and security.
Vacancy number: 09/124. Please send your application by E-mail, as soon as possible but no later than 15th of July. For more information, see http://fmt.cs.utwente.nl/projects/SlaLoM/vacancy.html Or contact Dr. Marieke Huisman at marieke at cs.utwente.nl.
PhD student position in computer science / economics, Toulouse (France)
We invite applications for an interdisciplinary 3 years PhD position in computer science and economics. The projects title is: "Epistemic states, Trust and responsibility of economical agents: from theoretical aspects to experimental studies"
The objective of this research project is to study situations requiring responsibility and trust with experimental economic paradigms. Within the domain of multi-agent systems we will evaluate how and when responsibility will lead to trust when interactions are repeated. The results will then be theoretically extended from an individual to an institutional level, and the resulting states will be formally characterized by using epistemological concepts of trust and responsibility.
Applications must be received before 19 September 2009. For more information, see http://www.irit.fr/~Andreas.Herzig/boursePres.txt.
Two PhD student positions in Algorithms and Complexity, Oxford (UK)
The Verification Research Group is offering two D.Phil studentships in Oxford University's Computing Laboratory (web.comlab.ox.ac.uk). These positions are associated with the EPSRC project "Model Checking Real-Time Systems: Algorithms and Complexity'' under the supervision of Dr James Worrell, which will deal with a logical and automata-theoretic framework for model checking real-time systems.
The studentships will suit candidates with a strong background in theoretical computer science, including at least one of the following areas: algorithms, automata theory, complexity theory and logic.
W3 Professorship in Theory of Humanities, Philosophy of Language, Philosophy of Mind, Konstanz (Germany)
Professor for Philosophy (W3), University of Konstanz, Germany Department of Philosophy. The position is to be filled from April 1st, 2010. AOS: Theory of Geisteswissenschaften (Humanities and Hermeneutics), philosophy of language, philosophy of mind AOC: broadly within philosophy from the systematic and the historical point of view. Applicants should be habilitated or hold an equivalent qualification.
Application deadline: July 8, 2009. The reference number of this vacancy is 2009/086. For further information, see http://www.uni-konstanz.de/news/index.php?cont=stellausw&seite=2009/ or contact the acting head of the department, Prof. Dr. Peter Stemmer.
PhD scholarship in modal logic for social software, Bergen (Norway)
At the University of Bergen (Norway) there is currently an open position for a Research Fellow, in the form of a 4 years PhD scholarship, in information science. Project proposals are invited, and projects on modal logic for social software are of particular interest. Note that the deadline is (already!) 20 June.
Thomas Ågotnes (thomas.agotnes at infomedia.uib.no) can be contacted for enquiries regarding projects on that particular theme. For contact information for more general enquiries and for application details, see https://secure.jobbnorge.no/visstilling2.aspx?stillid=58692 (choose "English" from the menu in the upper right corner)
PhD student position on logic and formal verification, Liverpool (U.K.)
The "Verifying Interoperability Requirements in Pervasive Systems" project is a collaboration between the universities of Birmingham, Glasgow and Liverpool. As part of this project we are supporting a 3 year PhD project to tackle relevant aspects in logic and formal verification.
The project tackles the development of logical foundations and verification techniques for pervasive systems. This PhD will involve one or more of: formal specification; autonomous systems; security; organisational/context models; model-checking; non-classical logics; deductive verification; executable specifications; fault tolerance.
You will study under the supervision of Prof. Michael Fisher in the Logic and Computation group of the Department of Computer Science at the University of Liverpool. The group has an international reputation for research in the areas of formal logics, verification, and execution.
Closing date for receipt of applications: 6 July 2009. Ref: FISHER/WWW. For more information, see http://www.liv.ac.uk/working/job_vacancies/studentships/PhD_Studentship_Fish.htm or contact email Michael Fisher at MFisher at liverpool.ac.uk
Six PhD student positions in Computer Science, Swansea (Wales)
Six PhD studentships are available in Computer Science at Swansea University, with funding of up to 12,940 GBP stipend plus fees. UK candidates are eligible to apply for all six studentships. Computer Science at Swansea University offers an active and stimulating research atmosphere for PhD students, with internationally-leading research groups in Theory, Graphics and HCI.
Deadline: 15th June 2009. To ensure consideration for an award, please apply to the University for admission as a PhD student in Computer Science at http://www.swan.ac.uk/postgraduate/apply/. Queries may be addressed to Dr Arnold Beckmann at a.beckmann at swansea.ac.uk. For further details of our research, see: http://www.swan.ac.uk/compsci/research/.
PhD Scholarship in Computer Science
The Department of Communication, Business and Information Technologies (CBIT) at Roskilde University invites applications for a PhD scholarship in Computer Science to be filled by 1 September 2009 or as soon as possible thereafter.
The scholarship is two-thirds funded by Roskilde University and one-third by a grant from the Danish Agency for Science, Technology and Innovation (http://www.fi.dk/) to the FIRST Graduate School (Foundations of Research in Software Technologies) (http://www.first.dk/) of which Roskilde University is a member. The topics of the PhD are expected to fall within the overall themes of the FIRST, in particular modeling, analysis, and verification of computer systems. Topics focusing on both theory and practice are welcome.
The successful applicant will be attached to the Programming, Logic and Intelligent Systems (PLIS) research group (http://plis.ruc.dk/), whose research areas include knowledge-based systems and intelligent interaction with systems, logic and knowledge representation, programming languages and tools.
For more information, see http://www.ruc.dk/ledigestillinger/vip/PHDcomputer05.09
Junior Professorship (W1) in Computer Science, Darmstadt (Germany)
Within the framework of the Graduate School of Computational Engineering, the TU Darmstadt invites applications for a Junior Professorship (W1) Computer Science (Ref. No. 192) in the Department of Computer Science. Specific areas of interest include, but are not limited to:
- Semantic modeling and simulation methods which combine first principle approaches (i.e. continuous in time and/or space) with abstract (i.e. discrete) properties and their application in computer-aided engineering and design, virtual environments or intelligent robots,
- Simulated reality and the interaction of realistic physics-based simulation, optimization and visualization/animation methods subject to real-time constraints.
Applications must be received before 11 June 2009. For more information, see http://www1.tu-darmstadt.de/pvw/dez_iii/stellen/192.tud or http://www.graduate-school-ce.de, or contact Prof. Dr. Oskar von Stryk at stryk at sim.tu-darmstadt.de.
PhD student position "Argumentative Networks", Brussels (Belgium)
At the Vrije Universiteit Brussel, Center for Logic and Philosophy of Science, a full-time and fully funded position for a Ph.D. student is available for a four-year period, starting at the earliest moment (as early as 1 July 2009).
The topic of the research project, funded by the FWO-Vlaanderen (Research Foundation Flanders), is: "Argumentative networks: a still missing integration of philosophical approaches to argumentation with AI-models, with an application to mathematical practice." The intended application is the classification theorem of the finite, simple groups. We are therefore looking for a student with a philosophical training, but with the required mathematical background to handle such proofs.
Please send your CV and a letter of motivation to Jean Paul Van Bendegem (jpvbende at vub.ac.be) before June 15, 2009. A more detailed project description can be found at http://www.vub.ac.be/CLWF/activities/argumentativenetworks.pdf
Postdoc position in philosophy of complexity
We have an opening for a postdoc position in philosophy of complexity/systems biology at the University of Kent, UK. We are primarily looking for people with a background in philosophy of science, but also biologists with an interest in philosophy of science.
Closing date: June 5, 2009. Please contact d.f.chu at kent.ac.uk for informal inquiries. See for more information and application procedures: http://www.cs.kent.ac.uk/people/staff/dfc/site/ad.html.
PhD student position in Computer Science, Heriot-Watt University
One PhD studentship is available in Computer Science at Heriot-Watt University funded under the EPSRC Doctoral Training Awards. These pay fees and a stipend at an EPRSC-set level, currently 12,940 GBP a year for UK candidates, and fees only (no subsistence) for EU candidates. Overseas candidates are NOT eligible.
Potential candidates should have a Bachelor's degree in Computer Science or a cognate discipline at the 2(1) level or an equivalent academic qualification. To apply, please send a CV (including the names of two academic referees) and short (max 6-pages) research proposal in one of the areas relating to our research groups to ruth at macs.hw.ac.uk, with a short covering email which must indicate which research group and specified research area your proposal covers. Deadline: June 19th.
Details of research groups and their members are available at http://www.macs.hw.ac.uk/cs/resareas/.
Associate Professorship in History and Philosophy of Mathematics and Computer Science, Aarhus (Denmark)
The Department of Science Studies at Aarhus University (Denmark) (http://www.ivs.au.dk) invites applications for a permanent position as Associate Professor beginning January 1, 2010. The Department seeks a historian or philosopher of mathematics and/or computer science with significant publications and research interest within the fields of history and philosophy of mathematics and computer science broadly conceived.
The deadline for receipt of all applications is July 1, 2009, at 12,00 noon. For more information see http://www.ivs.au.dk/en or contact the head of the department Keld Nielsen at keld.nielsen at ivs.au.dk, or vice head of department Hanne Andersen at hanne.andersen at ivs.au.dk.
PhD student position in Type Theory, Nottingham (U.K.)
A new PhD position is available in the Functional Programming Laboratory at the University of Nottingham. The topic of research for the project is "Programming and Reasoning with Infinite Structures": it consists in the theoretical study and development of software tools for coinductive types and structured corecursion.
Postdoctoral position "Dynamics of Argumentation" (DYNAR, Luxembourg)
The Dynamics of Argumentation (DYNAR) project aims to examine the dynamic aspects related to formal argumentation. In particular, the aim is to construct a theory on issues like how to do incremental updates without the need for global recomputation, how to make (minimal) changes to the argumentation network in order to change the status of a particular argument, and how sensitive the various argumentation semantics are regarding the global effects of relatively small updates. Apart from that, the project also aims to study the question of when it is rational for an agent to accept an argument given to it, and aims to construct a formal model for simulating how knowledge, expressed in the form of argumentation, is spread in a social setting where the individual agents have to protect themselves from various forms of dishonesty of other agents.
The project is a collaboration between the University of Luxembourg (UNI.LU), the Institute of Research in Informatics of Toulouse (IRIT) and the Center of Research in Informatics of Lens (CRIL). The main working place of the postdoc position will be Luxembourg.
Applications are to be sent no later than June 15 2009. For inquiries about the project and its positions, please contact Prof. Dr. Leon van der Torre (leon.vandertorre at uni.lu, +352 4666445261) or Dr. Martin Caminada (martin.caminada at uni.lu, +352 4666445485). Or see http://wwwen.uni.lu/universite/offres_d_emploi/.
Postdoctoral research fellowship in philosophy ("online personal identities"), Hatfield (U.K.)
We invite applications for the position of Postdoctoral Research Fellow in the Department of Philosophy, to work on the project "The Construction of Personal Identities Online". The position is full-time, fixed term (18 months).
The aim of the project is to investigate the construction of personal identities (PI) when they are digitally mediated, that is, when individuals are embedded in virtual environments that provide unprecedented affordances and different constraints for PI development, as well as innovative opportunities of interactions with other agents, both human and artificial.
Closing date: 29/05/2009. For further information about the job description and how to apply, please visit http://web-apps.herts.ac.uk/uhweb/apps/hr/ or contact the principal investigator, Professor Luciano Floridi, at l.floridi at herts.ac.uk (Ref Number: EN8899).
Two 2-year research fellowships at the Centre for Reasoning, Canterbury (U.K.)
The Centre for Reasoning (www.kent.ac.uk/reasoning) is a multi-disciplinary research centre with members from all faculties of the University. It is the University's hub for the study of reasoning, inference and method, broadly construed, and is at the centre of international research efforts in this area.
Currently there is an opening for a Research Associate to conduct original research on a research project of the Associate's choice from the following options:
1. Reasoning in coordination games
2. Reasoning about complex biological systems: analysis and critique
3. Reasoning about evolving computer programs
Closing date for applications: 5 June 2009. Please visit http://jobs.kent.ac.uk/ entering reference HUM0078 for a full job description and the application procedure. Please visit http://www.kent.ac.uk/reasoning/projects.pdf for more information about the three projects.
2 PhD student positions, Philosophy of Mind / Cognitive Science, Tuebingen (Germany), Deadline 7 June 2009
Two PhD scholarships are available for applicants with a Masters degree (or equivalent) in Philosophy or Cognitive Science to work in the newly formed "Junior Research Group on Neurophilosophy" in the Center for Integrative Neuroscience (CIN) at the University of Tübingen (Germany). Candidates are invited to submit research proposals on any given topic in the Philosophy of Mind and Cognitive Sciences. Interdisciplinary projects are especially welcome.
Please send applications before June 7th 2009 directly to Dr Tobias Schlicht at cin at uni-tuebingen.de. For more information, see http://www.neuroscience-tuebingen.de/cin/index.php?id=121
Max Planck Scholarship for Excellent Women in Computer Science, Saarbrücken (Germany)
The Max Planck Institute for Informatics (MPI-INF) is inviting applications from female postgraduate computer scientists for a two-year research scholarship of up to 72,000 Euro. The MPI-INF encourages women to excel in computer science and become active role models and leaders in the field. The group of algorithms and complexity is looking for applicants from all areas of algorithmics, including related areas like computer algebra, complexity theory and discrete mathematics. We are also explicitly looking for people interested in algorithm engineering and the design and implementation of algorithm libraries.
PhD student positions in "Theory and Applications of Induction Recursion", Nottingham & Swansea (U.K.)
We have recently obtained funding for a project on "Theory And Applications of Induction Recursion" from EPSRC. This project is concerned with investigating the concept of datatypes defined by mutual induction and recursion, with applications to functional programming and constructive reasoning. The project involves the University of Nottingham, University of Strathclyde, and the University of Swansea.
We are looking for two oustanding and enthusiastic PhD students (one at Nottingham and one at Swansea) with an excellent degree in Computer Science or Mathematics at MSc (preferred) or BSc level (average at least 2:1 (UK) or equivalent). The applicant should have a good background in theoretical computer science, functional programming or mathematical logic and should be keen to get up to speed in Category Theory, Intuitionistic Type Theory and foundations of formal reasoning.
We offer: PhD places with living expenses (standard UK level) for 3.5 years. The grants also provide laptops and travel expenses for conference and workshop visits. Both Unversities provide a vibrant research culture with the Functional Programming Laboratory at Nottingham and the Theory Group for Algebraic and Logical Design Methods at Swansea.
Deadline for applications: 15 May 2009. Please contact us, if you are interested or need further information: At Nottingham: Dr. Thorsten Altenkirch (txa at cs.nott.ac.uk) At Swansea: Dr. Anton Setzer (A.G.Setzer at swansea.ac.uk). Or see http://www.swansea.ac.uk/personnel/Vacancies/Other/PostTitle,31725,en.php.
PhD student positions, postdoctoral positions, fellowships in "Formal Methods and Theoretical Computer Science", Macao
Positions are available at the United Nations University's International Institute for Software Technology (UNU-IIST) in Macao for post-doctoral researchers, PhD students and fellows. The positions are funded by UNU-IIST and the Macau Science and Technology Development Fund through "PEARL - Process Expansion: Action Refinement in the Large", a project run in collaboration with the University of Macau. The PEARL team includes Jeff Sanders, Xu Qiwen, Wang Xu, Yang Shaofa and Chris Ma.
The project concerns the top-down development of information systems. One convincing way to understand the complex systems that confront us daily in Computer Science is to specify their behaviour, abstacting implementation detail. But usually it is the implementations themselves that are of interest; for instance we may have just a specification and wish to find an implementation; or we may wish to understand, in greater detail than its specification, an existing implementation. By adopting the standard approach of Science, the top-down incremental method posits a series of designs, starting with the specification and ending with the implementation and having the property that each design conforms to its successor in the series.
18 PhD Positions in Mathematical Logic (MALOA Network)
The Marie Curie (FP7) Initial Training Network in Mathematical Logic (MALOA) is a network with 8 Full Partners (Leeds (coordinator), Manchester, Oxford, Lyon (Lyon 1 and Lyon ENS), Paris (UPD), Muenster, Munich, Prague) and 3 Associated Partners (UEA, BT, Onera). Contract negotiations are still not concluded, so funding is nor absolutely confirmed, but it is expected to start on 1 October 2009, and run for 4 years. It will fund 18 PhD students and 20 short-term visitors (at least 3 months). All the full partners expect to make appointments for October 2009.
Postdoctoral fellowship on causation & probability, Paris (France)
The IHPST, Paris is offering a postdoctoral fellowship through the CAUSAPROBA project dealing with the connection between causation and probability. The postdoctoral fellow will work at the IHPST in Paris in cooperation with the Konstanz team. S/He will be in charge of the website for the CAUSAPROBA project and the organization of the closing international conference. The fellowship is 12-months, beginning October 1, 2009, with the possibility of a 12-month extension.
PhD student & Postdoc positions in "Foundations of XML", Dortmund/Paris (Germany/France)
FoX, "Foundations of XML - Safe Processing of Dynamic Data over the Internet" is a research project funded by the EU involving seven universities in Europe. The FoX research program is to study the fundamental issues raised by distributed XML repositories. Topics range from modeling and reasoning issues, querying and extracting data, verifying critical properties of distributed XML repositories and learning. This reserach will include theoretical investigations as well as prototypical implementation of tools.
The FoX program is scheduled to start on May 2009 and last until May 2012. Within this project two post-doc positions are currently available: one in Dortmund and one in Paris. The position in Dortmund can also be given to a PhD student.
For more information, see here. Interested applicants cam also contact Thomas Schwentick for Dortmund's position (thomas.schwentick at udo.edu) or Luc Segoufin for Paris' position (luc.segoufin at inria.fr).
Seven PhD student grants ("Lichtenberg grants") in Cognitive Science at Osnabrueck, Germany
The PhD Programme Cognitive Science is a curricular PhD programme, associated with the Institute of Cognitive Science and research groups from the Institutes of Informatics and Psychology. It includes research groups in Artificial Intelligence, Computational Linguistics, Neurobiopsychology, Neuroinformatics, Philosophy of Cognition, Knowledge Based Systems, and Differential Psychology.
We invite applications for 7 Georg Christoph Lichtenberg PhD scholarships from all Cognitive Science areas. Scholarships are € 1400 (plus allowances) per month for a maximum of three years, to start at October 1st, 2009.
The application deadline is June 15th, 2009. For more information, see http://www.cogsci.uni-osnabrueck.de/en/cogsci/phd/application, or contact Prof. Dr. Peter Bosch at pbosch at uos.de.
Postdoctoral position in cognitive modelling, RPI, Troy NY (U.S.A.)
The Cognitive Science Department at Rensselaer Polytechnic Institute is looking for a post-doctoral researcher, to join in a basic research project investigating cognitive modeling, cognitive architectures, and cognitive social simulation.
The starting date is August 1, 2009. This will be a full-time research position, with the expectation that you devote 90% of your time to project-related research work (not your own research topics).
Professorship in Computer Science (Intelligent Systems), Innsbruck (Austria)
The University of Innsbruck invites applications for the position of university professor in computer science with a focus on intelligent systems.
The application deadline is April 30. For more information, see http://www.uibk.ac.at/fakultaeten/mip/
PhD student position in Formal Methods for distributed systems, Bergen (Norway)
At Bergen University College, Bergen, Norway, there is an open position for a PhD student, as a fully employed research fellow, in formal methods for distributed systems. The research project will be to employ formal methods, in particular multi-agent logics and/or category theory, to model and analyse aspects of grid computing systems.
The position is full-time for four years. Closing date for applications is 18 April 2009. For further details and application procedure, see: http://hib.easycruit.com/vacancy/291792/41311 or contact: Dr. Thomas Ågotnes, tag at hib.no, +47 55587229.
Graduate Student Teaching Assistantship (4 years) in Computer Science at Leicester
Applications are invited for a Graduate Teaching Assistant (0.2FTE) in Computer Science. A Graduate Teaching Assistant is expected to undertake teaching-related duties within the Department, not normally exceeding seven contact hours per week during term, while undertaking research leading to a PhD supervised by a member of staff. The position is available from 1 September 2009 to 31 August 2013.
Closing Date: 22 May 2009 If you wish to apply, please download an application form and further information from http://www.le.ac.uk/personnel/jobs/a&r.html or contact Personnel Services on recruitment3 at le.ac.uk or +44 116 252 5114. Reference number for this position is S4143.
For more information, see http://www.le.ac.uk/personnel/jobs/a&r.html
Lecturer in Computer Science ("Formal Foundations") at Leicester
The successful candidate will have a strong or promising research record in computer science, with a background in formal foundations (either algorithms and complexity, or semantics of programming or modelling languages), and will be able to contribute to undergraduate and postgraduate teaching and supervision in software engineering.
Lectureship (Universitair Docent) in Algebra and Logic, Nijmegen (The Netherlands)
The Algebra&Logic group of IMAPP at Radboud University seeks a tenure-track assistant professor with preference for applicants working in the area between algebra, logic, and computer science. We seek candidates with international experience that have a demonstrable commitment to excellence in both research and teaching. The candidate should be motivated to contribute independently and through collaboration to the research and growth of the group. This includes contributing to the supervision of Master and PhD students and securing of funding for PhD positions through grant applications. The candidate must be a good communicator with experience in as well as enthusiasm for teaching that can contribute across the undergraduate mathematics curriculum as well as at the graduate level in algebra and especially in logic and in the joint research master with computer science.
Review of applications will begin May 1, 2009. For further information, see http://www.math.ru.nl/~mgehrke/Algebra&LogicUD.htm or contact Mai Gehrke at mgehrke at math.ru.nl
2y postdoctoral position in Algorithms, Bristol (U.K.)
Based in the Department of Computer Science in Algorithms Group, you will work on an EPSRC funded project related to string algorithms. This project will directly address the algorithmic and theoretical underpinnings of online and approximate matching. We will consider both problems where fast polynomial time solutions can be expected to be found and also look for approximation algorithms for more general NP-Hard problems. We will also consider extensions and improvements to data structures such as suffix trees and arrays to provide fast and small indexes. An interesting feature of research in string algorithms is the connections that are made to related fields in Computer Science. Those particularly relevant to this research project include algebraic coding theory, approximation algorithms, complexity theory, metric embeddings, external memory algorithms, Fourier transforms, streaming and sketching and group testing.
Assistant Professorship in Computing Science at Uppsala University
Uppsala university has an open position for an Assistant Professor in Computer Science.
Deadline for applications: April 14th, 2009. For more information, see http://www.personalavd.uu.se/ledigaplatser/487bitrunlekt_eng.html
Three "free-floater" tenure-track professorships in any area of research, Göttingen (Germany)
The University of Göttingen, together with the non-university research institutions of the Göttingen Research Campus, invites applications for 3 Tenure-Track Professorships and the establishment of Independent Research Groups in all areas of the University's research fields. The positions as head of so-called Free-Floater Research Groups will be at the W1 salary level (Junior Professorship), have a reduced teaching load (2 hrs/wk), six years of funding to build up an Independent Research Group, and a tenure-track Option (W2/W3) dependent on successful review after 3 and 6 years.
The Free-Floater Research Groups will be established to support competitive and innovative research ideas. Proposals can be made without topical constraints: The allocation of the Free-Floater Research Groups within the university will depend on the interests and research profile of the group leaders and is open for joint appointments together with non-university research institutions of the Göttingen Research Campus. Successful applicants for a Free-Floater Research Group must be able to make a significant contribution to the strategic development of the university and its faculties.
Applications must be submitted by April 26, via our online application platform at: http://www.uni-goettingen.de/positions-exini. For more information, see http://www.uni-goettingen.de/en/106198.html or http://www.uni-goettingen.de/free-floater. Or contact Prof. Dr. Hiltraud Casper-Hehne at Hiltraud.Casper-Hehne at zvw.uni-qoettingen.de.
Ubbo Emmius Programme for Ph.D. Scholarships in Groningen
The Ubbo Emmius Programme for Ph.D. Scholarships at the Groningen Graduate School of Science (GGSS) is now open for applications. Topics include o.a. Logic. First Deadline: 1 May 2009.
For more information, see http://www.rug.nl/gradschoolscience/scholarships/phdscholarships/UbboEmmius
Thirteen PhD scholarships in discrete mathematics and theoretical computer science, Warwick (U.K.)
DIMAP is a multidisciplinary research centre supporting an internationally competitive programme of research in discrete modelling, algorithmic analysis, and combinatorial (discrete) optimisation. It has been recently established by the University of Warwick and is partially funded by the prestigious Engineering and Physical Sciences Research Council (EPSRC) Science and Innovation Award.
The Centre has initial funding for about 13 PhD scholarships, and is developing a doctoral training programme supporting a continuing stream of research students in discrete mathematics, theoretical computer science, and related areas. Available scholarships are for 3 years of PhD study. Applicants should have a degree in Computer Science, Mathematics, or Operational Research, with excellent grades and references.
For any further questions related to PhD scholarships in DIMAP, please send an email to: dimap at dcs.warwick.ac.uk
Applications are welcome for the study starting in the academic year 2009/2010. Further information is available at: http://go.warwick.ac.uk/dimap/phd-ad/
(Associate) Professorship in Discrete Mathematics or Algorithms, Warwick (U.K.)
The Centre for Discrete Mathematics and its Applications (DIMAP), the Department of Computer Science, and the Warwick Mathematics Institute at the University of Warwick, UK, have a faculty opening at a level of Professor or Associate Professor.
We seek a candidate with an excellent research record in Discrete Mathematics or in Algorithms and Complexity, or in relevant areas on the boundary of Computer Science and Mathematics. Depending on who is appointed, the postholder will be formally based either in Computer Science or Mathematics, or jointly between the Departments of Computer Science and Mathematics. The postholder is expected to undertake research, teaching, administration and other activities supporting the work of the Centre for Discrete Mathematics and its Applications (DIMAP), the Department of Computer Science, and the Mathematics Institute, developing and enhancing their reputation, both internal and external to the University of Warwick. We seek a candidate who will play a key role in the development and direction of the DIMAP Research Centre and our principal concern is to find an individual of the highest quality with ambitions to play a leading role in the Centre, supporting the Director in his duties, in research, postgraduate and undergraduate teaching.
The deadline for the applications is on March 30, 2009. To apply, please follow the instructions on the official advert web page https://secure.admin.warwick.ac.uk/webjobs/jobs/academic/job10778.html.
Informal enquiries regarding this post may be made to Prof. Artur Czumaj (Computer Science, Director of DIMAP, Anna.Guszcza at warwick.ac.uk) or Prof. Colin Sparrow (Mathematics, Georgina.Copeland at warwick.ac.uk).
Postdoctoral and PhD student position in philosophy of science and technology, Stuttgart (Germany)
The Institute of Philosophy at Stuttgart University is asking for applications for a scientist at the postdoc level and a PhD student to pursue research in philosophy of science and technology, reflecting and evaluating the research activities of the SimTech Cluster. (http://www.simtech.uni-stuttgart.de/).
The Postdoc position is for a researcher working in epistemology of simulation with a particular focus on conceptualisations of and methodological strategies for coping with uncertainty. The position with the designated salary bracket TV-L 13 has a limited tenure of three years with a possible extension.
The PhD Student is supposed to work on a project concerned with the normative evaluation of simulation studies. Special attention will be paid to potential value conflicts, which may arise when evaluating technology projects. The position with the designated salary bracket 50% TV-L 13 has a limited tenure of three years with a possible extension.
Applications must be received before April 30 (extended), 2009. For more information, see http://www.simtech.uni-stuttgart.de/stellen/?show=docs.
Postdoctoral and PhD position in the MathWiki project, Nijmegen (The Netherlands)
The Institute for Computing and Information Science of the Radboud University Nijmegen (NL) is looking for 2 researchers to work on the NWO project "MathWiki a Web-based Collaborative Authoring Environment for Formal Proofs". The vacancies are for a Postdoc (3 year) and a PhD (4 year) position.
The aim of the MathWiki project is to open up to a wider community the rich collections of knowledge stored in the repositories of proof assistants. To this end we will build a web-based collaborative authoring environment for formal mathematics, the MathWiki system. This system will provide interactive web access through a standardized interface to a number of proof assistants. The MathWiki system will also be a platform for the development of formal proofs within those proof assistants and it will provide high level access (through Wikipedia-like web pages) to their repositories of formalised mathematics.
For more information, see http://www.fnds.cs.ru.nl/fndswiki/Vacancies. For inquiries about the project and its positions, please contact the project leader Prof. Dr. Herman Geuvers (H.Geuvers at cs.ru.nl. Deadline for application is May 1, 2009.
Lectureship in Mathematics, London School of Economics, London (U.K.)
Applications are invited from candidates with proven research ability in Mathematics, especially those with research interests in an area where the Department has current strengths, such as algorithms and discrete mathematics, control theory, financial mathematics, game theory and probability theory. Interest in applications of Mathematics or Computer Science to the Social Sciences is an asset.
Ideally, the post will commence on 1 September 2009. The closing date for the receipt of applications is 31 March 2009 at 5.30pm. Regrettably, we are unable to accept any applications that are received after this date.
For more information, see http://www.lse.ac.uk/collections/recruitment/jobsAtLSE/CurrentVacancies.htm#22/ or email HR.Recruit.Lec at lse.ac.uk quoting reference 22/08/LEC.
PhD positions at Nottingham and Swansea in Theoretical Computer Science / Logic
We have two fully funded PhD positions in our project on induction-recursion: one at Swansea (with Anton Setzer) and one at Nottingham (with Thorsten Altenkirch). This would be perfect for people who are interested in the foundations of Type Theory.
Deadline for applications: 15 May 2009. For more information, see http://www.cs.nott.ac.uk/~txa/phd.html.
Assistant Professorship in Philosophy (Metaphysics / Logic), Oberlin OH (U.S.A.)
The Philosophy Department at Oberlin College invites applications for a full-time, non-continuing faculty position in the College of Arts and Sciences. Appointment to this position will be for a term of one year, beginning Fall 2009, and will carry the rank of Visiting Assistant Professor.
The incumbent will teach a total of five courses: Metaphysics, Deductive Logic, and three introductory courses. Among the qualifications required for appointment is the Ph.D. degree in hand or expected by the beginning of fall semester, 2009. Candidates must demonstrate interest and potential excellence in undergraduate teaching. Successful teaching experience at the college level is desirable.
Application Due Date: March 15, 2009 For more information, see http://new.oberlin.edu/home/jobs/jobs_detail.dot?id=742209.
Postdoc and PhD positions in Algorithmic Game Theory (Singapore)
The Algorithmic Game Theory group at Nanyang Technological University
(Singapore) has openings for several research fellows (post-docs) and PhD students, to start from August 1st 2009 or shortly thereafter.
Research Fellowship / Tutorship in Logic (4y), Oxford (U.K.)
Keble College (Oxford) proposes to elect a Research Fellow and Tutor in Logic for a period of four years (fixed-term, non-renewable) from 1 October 2009. Scholars in receipt of another source of income, who would like a college association, are welcome to apply. The research interests of the person elected should include Logic or neighbouring areas of philosophy or mathematics, and there will be a requirement to teach Logic at undergraduate level.
The closing date for applications is 20 March 2008. For more information, see http://www.philosophy.ox.ac.uk/vacancies/. Informal enquiries may be made to Dr Edward Harcourt at edward.harcourt at keble.ox.ac.uk.
PhD student position in "The Mind and the Self", Lausanne (Switzerland)
Within the Research Module "The Mind and the Self", directed by Prof. A. Schniewind (Lausanne) and Prof. A. de Libera (Geneva), the Department of Philosophy of Lausanne offers one PhD position at the University of Lausanne /Switzerland starting date preferably 1st September 2009, for a duration of three years.
The Research Module « The Mind and the Self » is part of the Swiss National Science Foundation doctoral programme (Pro*Doc) « Mind, Normativity, Self and Properties ». The PhD candidate will have to take part in the training programme of that Pro*Doc (http://www.philosophie.ch/prodoc-romand).
Applications may be sent until 15th April 2009. For more information, see here or http://www.philosophie.ch/prodoc-romand. or contact Prof. Alexandrine Schniewind at alexandrine.schniewind at unil.ch.
Ph.D. Scholarship in Logic, University of Groningen
We invite applications for a fully-funded 4 year bursary position for a Ph.D. student at the University of Groningen. The scholarship is offered jointly by the Department of Artificial Intelligence and the Department of Philosophy. Applicants must submit a research proposal for the intended PhD research covering the four-year duration of the scholarship. The application for the scholarship should be made no later than 1 May 2009.
Candidates should have (or obtain before 1 September 2009) a Masters degree in Logic, Computer Science, Artificial Intelligence, Philosophy, Mathematics or Physics. We are looking for candidates with a strong interest in Logic and its applications to modelling information flow, learning, agency, interaction and rationality in Artificial Intelligence, Theoretical Philosophy, Computer Science, Quantum Physics or Game Theory. Fluent English is a prerequisite.
W1 Junior Professorship in Theoretical Computer Science (tenure track to W3), Karlsruhe (Germany)
At the faculty of computer science of the Universität Karlsruhe a position of a W1-Junior Professor (Assistant Professor) for Theoretical Computer Science is available. This position is a tenure track position, which will become a full professor position (W3) after a positive evaluation. The focus of research should complement the existing chairs at the faculty and allow for cooperation in at least one of the areas of Cryptography/Security, Algorithms, and Formal Methods.
The candidate is very welcome to give lectures on his research area. In addition, an adequate contribution to courses on bachelor level is expected. Requirements are a strong scientific record, e.g. acquired through an excellent PhD thesis, and a teaching aptitude.
Applications containing a curriculum vitae, scientific achievements, a list of publications and a research plan (of up to two pages) shall be sent to the dean of the Fakultät für Informatik, Universität Karlsruhe (TH), Am Fasanengarten 5, D-76131 Karlsruhe, Tel. 0721-608-3976, email: dekanat at ira.uka.de. The application deadline is 20. April 2009. For more information please contact Dr. Jörn Müller-Quade (Phone: +49 - 721 / 608 - 4327) or Prof. Dr. Ralf Reussner (Phone: +49 - 721 / 608 - 5993).
PhD student position in epistemology or philosophy of science, Tilburg (The Netherlands)
The Department of Philosophy and the Tilburg Center for Logic and Philosophy of Science (TiLPS) invite applications for one three-year full-time PhD position, commencing at the latest September 1, 2009.
The successful candidate is expected to work on a topic from epistemology or philosophy of science and complete a PhD thesis within maximally three years. The position is open to candidates with a master degree or equivalent in philosophy. We expect the willingness to work in an international interdisciplinary research environment.
The deadline for applications is April 1, 2009. Informal enquiries may be directed to Professor Stephan Hartmann (email: S.Hartmann at uvt.nl). Please indicate the vacancy number 500.09.03. For more information, please visit http://www.tilburguniversity.nl/faculties/humanities/tilps/jobs/.
PhD student positions in Foundations of Computer Science, Edinburgh (Scotland) (non-EU)
The Laboratory for Foundations of Computer Science (LFCS), which is part of the School of Informatics, University of Edinburgh, UK, invites applications from prospective PhD students. A list of concrete PhD projects is available at http://wcms.inf.ed.ac.uk/pgrguide/prospectus/research-topics/. In many of these projects there are PhD studentships available, funded, e.g., by the Engineering and Physical Sciences Research Council (EPSRC) or by the Scottish Informatics and Computer Science Initiative (SICSA).
Deadline for applications is mid-March. For more information, see http://www.lfcs.inf.ed.ac.uk/research/students.html.
Postdoctoral positions in Theoretical Computer Science at UT Austin, Austin TX (U.S.A.)
Professors Adam Klivans (http://www.cs.utexas.edu/~klivans) and David Zuckerman (http://www.cs.utexas.edu/~diz) are each looking for a postdoc for the 2009-2010 academic year (total of two postdocs). The positions will not require any teaching. Applicants should send a CV, research statement, and have three letters of reference forwarded to the faculty member (Klivans or Zuckerman or both) who best matches the applicant's research interests. The Theory group at UT-Austin anticipates several short and long-term visitors for the 2009-2010 academic year who are focused on complexity theory and its applications to randomness, cryptography, and learning theory. Priority will be given to applications received before March 1, 2009, but applications received by April 1 will still be considered.
Postdoc Position in Logic and Probability, Sao Paulo, Brazil
A post-doc position is open at the Universidade de Sao Paulo, Brasil, for research on reasoning by agents that combine logical and probabilistic components. The project is multi-disciplinary and includes both theoretical and practical aspects, with a focus on inference, learning, estimation, and decision making. Open software packages, to be distributed to the research community, will be produced during the work.
Candidates must have excellent research record in the interface between logic and probabilities. Programming skills are necessary. An interview with candidates may be requested after initial selection.
The project is to begin in March 2009. Candidates must send a short CV, list of publications and two letters of recommendation, by email, to Prof. Marcelo Finger (mfinger at ime.usp.br), until March 12 2009.
Post-doc in formal semantics at Institut Jean Nicod, Paris, France
The Institut Jean Nicod is seeking to appoint a postdoctoral fellow in the area of formal semantics for a period of one year (non-renewable) beginning September 1, 2009 (flexible). The post-doc is founded by the ANR Project "GENIUS: Genericity Interpretation and Uses" and will primarily work on temporal, aspectual and modal aspects of genericity in Romance languages and/or on the individual level versus stage level distinction.
The post-doc will be benefiting of the highly stimulating environment of the Institut Jean Nicod, in collaboration with the members of the project on genericity. The post-doc will also be in charge of the organization of the bimensual seminar linked to the project.
Postdoctoral researcher position in Natural Language Processsing, York (U.K.)
We are looking for a talented Postdoctoral researcher to start work on the INDECT project. He/she will be expected to work on relationship mining and entity resolution. Applicants should possess PhD or equivalent in experience in machine learning and/or computational linguistics. The post will be for a minimum of 3 years duration with possibility of further extension. Salary is expected to be in the range £28-32K. Actual salary will depend upon qualification and experience.
Indect is a 5 Year project funded by th EU under the FP7 IP programme. Further details can be found at the project web site located at: http://www.cs.york.ac.uk/aig/projects/indect. Please contact Suresh Manandhar (suresh at cs.york.ac.uk) if you are interested.
Postdoctoral positions in "Computational Logic, Implementation and Parallelism", Madrid (Spain)
The CLIP (Computational Logic, Implementation and Parallelism) group is searching for candidates for postdoctoral research positions in the research areas in which the group is involved. A PhD in Computer Science or related areas is required. These are research positions (no teaching is compulsory, although it is allowed) and renewable for up to 3 or 5 years.
Application deadline is 13th of February (for the 5 years position) and 18th of February (for the 3 years position) For more information, see http://clip.dia.fi.upm.es/Job_Openings/RyC2009.html or contact hats-grants at clip.dia.fi.upm.es
Postdoctoral fellowship in "Computational Logic and Combinatorial Optimization", West Virginia (U.S.A.)
West Virginia University, Lane Department of Computer Science and Electrical Engineering is seeking a Post-Doctoral Fellow to work in the areas of computational logic and combinatorial optimization. The successful candidate is expected to participate actively in research activities, including the drafting of research proposals and guiding graduate students.
An earned Ph.D. in computer science or mathematics with a commensurate record of archival publications is required. It is anticipated that the position will start in the Fall of 2009 and will continue for a period of twelve (12) months. Extension to this appointment is possible based on the successful candidate's performance and the availability of research funding.
It is anticipated that a review of applications will commence March 1, 2009 and continue until the position is filled. For more information, see http://www.lcsee.cemr.wvu.edu/ or contact Dr. K. Subramani at k.subramani at mail.wvu.edu.
PhD student position in algorithms engineering, Munich (Germany)
Modern computers have faster and faster CPUs, such that it is getting more and more difficult to supply them with the data bandwidth to leverage this speed. This works reasonably well if data is accessed linearly, and basically impossible if memory accesses are random. Hence, to help the design of fast algorithms, it is useful to consider the so called I/O-model, that captures the data transfer between different types of memory like cache and main memory. In this setting the project is concerned with the multiplication of a dense vector with a sparse matrix.
This is not only an important building block of many applications, but also an abstract formulation of a data-flow problem. The focus is to understand the influence of the structure in the non-zero entries of the matrix on the I/O-complexity of the problem. The concrete research topic will range between intriguing theoretical questions and the engineering of an implementation of the theoretically analyzed algorithms.
Your application should include a CV and copies of academic degrees showing your grades. Please send your application by March 5. Further information is available at http://www14.in.tum.de/personen/jacob/jobs.html.en or directly from Riko Jacob, jacob at in.tum.de.
Lectureships in Economics & Computation, Liverpool
The Department of Computer Science was ranked in the top 10 UK Computer Science departments in RAE2008, and building on this success, they seek to significantly expand current research around existing strengths at the intersection of economics/game theory and computer science. The successful candidates will join Professor Paul Goldberg and Dr Piotr Krysta in establishing a new research group in this area.
The group will carry out research in the computational foundations of economics/game theory and economic theory in computer science. The group will enjoy close collaborative links with the existing Complexity, Theory and Algorithms research group and the Agent Applications, Research, and Technology research group.
Closing Date: 27 February 2009. For more information, see http://www.csc.liv.ac.uk/department/vacancies/lectureships.html or contact Prof Paul Goldberg, Head of Group at goldberg at liverpool.ac.uk. Please quote Job Ref A-569104 in all enquiries.
PhD student position in Computer Science, Liverpool (England)
The Computer Science department at the University of Liverpool has funds to support a PhD student to begin during the next few months. To be eligible, a candidate would have to be from the EU.
Applications must be received before March 1st, 2009. More details are at http://www.csc.liv.ac.uk/~pwg/2009-studentships.htm. People interested in applying are encouraged to contact Prof. Wiebe van der hoek informally at Wiebe.Van-Der-Hoek@liverpool.ac.uk, also to check the web pages that give an overview of main research interests at the department: http://www.csc.liv.ac.uk/research.html.
Postdoctoral and PhD student position in "Security and Games", Luxembourg (Luxembourg)
The university of Luxembourg has vacancies for 1 Postdoc position and 1 PhD student position in the project "Game-theoretic Approaches to Security"
The project aims to develop new approaches to the design and analysis of secure systems based on the observation that the security of a system can be considered as the result of a game between a defender and an attacker of the system. This observation opens up a wealth of analysis methods from the field of game theory. It is expected that game theoretic approaches have an impact on the design and analysis of fair-exchange protocols and other types of security protocols. Research will be conducted on the study of security attacks and counter-measures to prevent or mitigate such attacks. The project will focus on the application of non-zero sum games and games of imperfect information.
The PhD student will be employed for a period of 3 or 4 years (40 hrs/week), starting on April 1, 2009 (or shortly after). The Postdoc will be employed for a period of 3 years (40 hrs/week) starting in the first half of 2009. The project will be supervised by Prof. Dr. Leon van der Torre and Prof. Dr. Sjouke Mauw.
Deadline for application is February 20, 2009. For more information, see http://satoss.uni.lu/vacancies/sgames.php or contact Prof. Dr. Leon van der Torre (leon.vandertorre at uni.lu, +352 4666445261) or Prof. Dr. Sjouke Mauw (sjouke.mauw at uni.lu, +352 4666445480).
Polonsky Postdoctoral Fellowship in any field of the humanities or social sciences, Jerusalem (Israel)
The Van Leer Jerusalem Institute proposes to award two Polonsky Postdoctoral Fellowships in any field of the Humanities or Social Sciences, for a period of up to five years, beginning October 1, 2009. The Fellowships offer an annual stipend of $40,000. Yearly renewal of the Fellowships will be contingent upon demonstrated progress in research. Fellows will be expected to work on their research at the Institute for consecutive years during the period of the award.
Although these are postdoctoral fellowships, other candidates may be considered in those fields in which a doctoral degree is not a prerequisite for career progress.
Candidates should submit to the Van Leer Jerusalem Institute at polonsky at vanleer.org.il a 3-5 page statement of research plans; a 3-page summary of previous research; one published article or equivalent unpublished work; a curriculum vitae, including a list of publications; along with names and contact information for three referees. Please indicate where you saw this advertisement. The deadline for submission of completed applications is April 20, 2009. For more information, see http://www.vanleer.org.il/Eng/content.asp?Id=712
PhD student scholarship in "Language and Cognition", Bielefeld (Germany)
Within CITEC (the Center of Excellence "Cognitive Interaction Technology" at Bielefeld University, Germany) the newly established research group "Language and Cognition" conducts research on online language processing, also in interaction with other cognitive sub-systems, and is leading a project that explores how humans interact linguistically with one another and with virtual characters.
In this context, we are inviting applications for a PhD scholarship for the duration of 3 years. The applicant should have a degree in Cognitive Science, Psychology, (Psycho-) Linguistics, or a related discipline (ref: 2789).
Applications will be considered until all positions have been filled. For full consideration please submit applications by 28.02.2009. For more information, see here or contact: Dr. Pia Knoeferle (E-Mail: knoeferl at cit-ec.uni-bielefeld.de).
PhD student position and postdoctoral position on "Causality and Probability", Konstanz (Germany)
The Agence Nationale des Recherches and the Deutsche Forschungsgemeinschaft are sponsoring a French-German cooperation between L'Institut d'Histoire et de la Philosophie des Sciences et des Techniques, Paris, and the Philosophy Department of the University of Konstanz on the joint research project Causality and Probability directed by Prof. Jacques Dubucs and Prof. Wolfgang Spohn. A description of the project is to be found at the homepage of Prof. Spohn: http://www.uni-konstanz.de/FuF/Philo/Philosophie/philosophie/25-0-NoName.html.
The German side at Konstanz offers two positions for three years starting at April 1, 2009: a full post-doc position (salary: E13) for the subproject D, and a half Ph.D. position (salary: 0,5 E13) for the subproject A. The tasks to be performed are:
(a) research on the topics and issues described,
(b) fulfilment of the deliverables and milestones as described,
(c) engagement in the French-German cooperation,
(d) engagement in the Philosophy Department at the University of Konstanz.
Please send your application (CV, degrees, possibly writing samples and letters of reference) either by mail to Prof. Dr. Wolfgang Spohn, Fachbereich Philosophie, Universität Konstanz, Fach D 21, 78457 Konstanz, Germany, or by e-mail to ruth.katzmarek at uni-konstanz.de till February 13, 2009.
Three PhD student positions on "Understanding and the A Priori", Cologne (Germany)
The Emmy Noether Research Group 'Understanding and the A Priori' at the Philosophy Department, Universität zu Köln funded by the Deutsche Forschungsgemeinschaft DFG seeks to fill 3 PhD Research Positions (Doktorandenstellen), 2-year appointment with 1-year extension,
The research group is dedicated to the study of a priori knowledge. We are especially interested in the cognitive capacity of understanding and its role in a priori justification, the relationship between apriority and necessity, and the methodology of philosophy as a distinctive armchair discipline. The project brings together work in epistemology, philosophy of language, philosophy of mind, metaphysics and phenomenology. The group will consist of 3 post-doctoral researchers and 3 doctoral researchers. Planned activities include weekly seminars, semi-annual workshops, two major international conferences and a graduate conference. We have cooperations with research institutions in Germany, Australia and the US. The main project language is English.
Start date for the positions is 1. April 2009 (or earliest possible thereafter). The deadline for applications is 31. January 2009.
Lectureship in Computer Science, Bristol (U.K.)
Bristol University has an opening for a Lecturer in Computer Science. The succesful candidate will be based in the Department of Computer Science, which has a lively research culture with current strengths in Digital Media, Cryptography and Security, Machine Learning and Biological Computation, Architecture and Design, and Quantum Computing, as well as many links with the computer, communications, microelectronics and media industries in the Bristol region, providing opportunities for collaborative research and teaching, secondments and new ventures.
Further details and an application form can be found at https://www.bris.ac.uk/boris/jobs/ads?ID=76686. For informal enquiries, you can also contact Prof Nishan Canagarajah at nishan at cs.bristol.ac.uk, or send a mail to Recruitment at bris.ac.uk (stating postal address ONLY), quoting reference number 14499. The closing date for applications is 9.00am, 30 January 2009
Postdoctoral position in Algorithms, Darthmouth College (Hanover NH, U.S.A.)
The Computer Science Department at Dartmouth College has an opening for a postdoc in Algorithms, starting summer or fall 2009. Areas of interest include but are not limited to graph and network routing, design, and partitioning; approximation algorithms; and game theoretic and economic aspects of algorithms.
Review of applications will begin January 31, 2009, 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.
PhD student positions on ontology reasoning, Aberdeen (Scotland)
The Knowledge Technology (KT) group in the Department of Computing Science at the University of Aberdeen is one of the key players in the area of semantics and ontology technologies with excellent balance between theoretical work and pragmatic applications.
The KT group is looking for PhD researchers who are willing to do research within one of our new projects. The goal of the project is to combine benefits and synergy of Web 2.0 and semantic and ontology technologies. To reach this goal, it will develop a seamless integration technology for ontologies into social Web 2.0 applications, resulting in ontology-driven social Web 2.0 development. Scalable ontology reasoning technologies will play a key role in the project. Successful candidates will be awarded SICSA (Scottish Informatics and Computer Science Alliance, http://www.sicsa.ac.uk/) studentships, which worth around £18,000 per year for 3.5 years.
Applications Deadline: Jan 27, 2009. For further information regarding to the research in the KT group and the project, please contact Dr. Jeff Z. Pan (http://www.csd.abdn.ac.uk/~jpan/).
Three open Full Professor positions in Computer Science, Brasilia (Brazil)
The Department of Computer Science (CIC/UnB) of the University of Brasilia has three open faculty positions at the so called "titular professor" level. These are permanent, highest level positions for federal public institutions in Brazil; they are equivalent to a "full professor" position in the USA.
The basic formal requirement is a PhD degree obtained 10 years ago (or more), in any area of Computer Science. The Department seeks experienced candidates with a strong research record, willing to lead research activities and teach courses at all levels.
Applications should be submitted from December 22nd, 2008, to February 1st, 2009. The selection process will take place by the end of February, 2009 (probably, from 16th to 20th, February) in Brasilia.
Detailed information about the positions can be found (in Portuguese) in: http://srh.unb.br/extra/concursos_selecoes/2008/ed_398_08.pdf and http://srh.unb.br/concursos. For further questions, please, contact Profa. Célia Ghedini Ralha (ghedini at cic.unb.br), or Prof. Guilherme Pinto (gap at cic.unb.br).
Several postdoctoral positions in Algorithms and Complexity, Saarbruecken (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, including related areas like computer algebra, 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 should be sent by January 31, 2009. For further information, also on other offers, please refer to http://www.mpi-inf.mpg.de/departments/d1/offers.html#postdocs.
Assistant professor semantics at Tübingen University (Germany)
The Department of Linguistics at T¨ebingen University offers two junior positions (phonology/phonetics and semantics) with the beginning of summer semester 2009.
For both positions duties include teaching at the undergraduate and the graduate level. The teaching load is four hours per week, i.e. two courses per semester. Furthermore, the candidates are expected to conduct original research in their area of expertise, and to actively participate in larger linguistic research endeavours at T¨ebingen University. Candidates should hold a PhD at the time of the appointment.
The appointments should start as soon as possibe after April 1, 2009, and not later than October 1, 2009. Interviews will be conducted until the positions are filled. For more information, see http://wwwhomes.uni-bielefeld.de/gjaeger/jobsTuebingen.html or http://www.sfs.nphil.uni-tuebingen.de/, or contact prof. Gerhard Jaeger at Gerhard.Jaeger at uni-bielefeld.de.
Faculty position in Computer Sciences, Lausanne (Switzerland)
The School of Computer and Communication Sciences at EPFL invites applications for faculty positions in computer science. We are primarily seeking candidates for tenure-track assistant professor positions, but suitably qualified candidates for senior positions will also be considered.
Successful candidates will develop an independent and creative research program, participate in both undergraduate and graduate teaching, and supervise PhD students. Candidates from all areas of computer science will be considered, but preference will be given to candidates with interests in algorithms, bioinformatics, graphics, machine learning, and design methodologies for integrated systems.
PhD grants in "transdisciplinary mind and brain research", Berlin, Germany
The Berlin School of Mind and Brain offers a three-year doctoral program. Teaching takes place in English and covers all fields relevant to mind/brain-related research. The focus is on the interface of humanities and behavioral sciences with neurosciences. Main research topics are 'conscious and unconscious perception', 'decision-making', 'language', 'brain plasticity and lifespan ontogeny', and 'mental disorders and brain dysfunction'. Students will be supervised by two professors, one from the 'mind sciences' and one from the 'brain sciences'.
Apply by 15 January 2009 for funded three-year doctoral program in transdisciplinary mind and brain research. Applications especially invited for Brain disorders and mental dysfunction brain plasticity and lifespan ontogeny. Further research topics: Conscious and unconscious perception, Language, Decision-making.
For more information, see http://www.mind-and-brain.de
PhD student position in the study of networks at University of New Mexico
Ph.D. Research Assistantships, starting in Fall 2009, are available in the study of social, biological, and technological networks in the Computer Science Department at the University of New Mexico (Albuquerque, U.S.A).
Cristopher Moore's research group uses both rigorous mathematical techniques and data-driven techniques from machine learning, statistical inference, and statistical physics to study networks.
Postdoctoral fellowship in Algorithms and Randomness, Georgia Tech (U.S.A.)
The Georgia Tech Algorithms and Randomness Center is looking for a postdoctoral fellow to participate in ongoing investigations. Candidates with a PhD in Computer Science, Mathematics, Operations Research or a related field are encouraged to apply. The selected candidate will work on algorithms and models for problems and phenomena from within computer science as well as the natural sciences, and will collaborate closely with the faculty associated with the center. Candidates should have substantial experience with algorithms and complexity, as well as probability.
The position is for one year and renewable for a second year. The start date is flexible between July 1 and September 1, 2009. There is no teaching requirement, but the postdoc is encouraged to lead a research seminar.
Interested candidates should send a CV and research statement to arc-postdoc at cc.gatech.edu and request 3 letters of recommendation be sent to the same address. Applications should be received by January 5, 2009 for full consideration.
Assistant Professorship in Pure Mathematics (Logic), New York NY (U.S.A.)
The Mathematics Department of the College of Staten Island, a senior college of The City University of New York (CUNY), invites applications for a tenure-track position in pure mathematics, to begin September 2009 at the rank of Assistant Professor. Postdoctoral experience is desirable. Candidates working in the areas of algebra, geometry, mathematical logic, number theory, probability theory or topology are especially encouraged to apply. Responsibilities will include teaching, college service and the advancement of an active, productive research program.
The position is open until filled with review of applications to begin January 10, 2009. For more information, see https://www.mathjobs.org/jobs?joblist-276-1590 and http://www.math.csi.cuny.edu/, or contact Professor Joel David Hamkins at hamkins at mail.csi.cuny.edu.
Scholarships for PhD students in computer science, Oxford (U.K.)
The Oxford University Computing Laboratory invites applications for full and partial scholarships for D.Phil. (Doctor of Philosophy) study to commence in October 2009. The scholarships available for full-time D.Phil. study include EPSRC Doctoral Training Awards (DTA), Clarendon scholarships and departmental awards.
Scholarship applications must be received by 23 January 2009 at the latest to be considered for 2009 start. For more details and application details see http://www.comlab.ox.ac.uk/news/58-full.html. or email graduate.admissions at comlab.ox.ac.uk.
Junior Professorship (W1) in Algorithm Engineering, Jena (Germany)
The Institute of Informatics at the Friedrich-Schiller-University Jena, Germany, announces a new faculty position, open to all qualified applicants: Assistant Professor (W1) for Algorithm Engineering.
The position is supported by the Carl Zeiss Foundation. A successful candidate will become part of the Jena research focus on data-driven algorithmics. Our group has a strong interest in research concerning algorithms for NP-hard problems (particularly, but not exclusively, parameterized algorithmics). Activities in cooperation with the Jena research teams could target applications in such areas as computational biology, computational geometry, algorithmic graph theory, or computational social choice. A successful candidate is expected to take part in university-wide projects as well as to successfully apply for external research funding.
The deadline for submission is January 25, 2009. For more information, see http://theinf1.informatik.uni-jena.de/
Post doc position in verification at St. Francis Xavier University, Canada
A two-year postdoctoral position for research in verification is available at St. Francis Xavier University, Antigonish, Canada, in a collaborative university/industry multi-year project in modeling and reasoning about dynamically changing processes. The project involves modeling and verifying intelligent and adaptive workflow processes with particular reference to distributed processes that require run time monitoring and, by their nature, are highly variable. Motivating applications will be taken from the health care field.
Ontology Research Position at St. Francis Xavier University, Canada
A position for ontology research and development in conjunction with semantic web technologies and languages is open at St. Francis Xavier University, Antigonish, Canada, in a multi-year University/Industry/Health Authority collaborative project entitled 'Building Decision Support Through Dynamic Workflow Systems for Health Care'.
Faculty Position in Intelligent System, Burlington VT (U.S.A.)
As part of its continued growth and investment in excellence, the University of Vermont College of Engineering and Mathematical Sciences (UVM CEMS) is hiring up to five tenure-track faculty in Complex Systems during the 2009-10 academic year, with a key hire in Intelligent Systems being made in the UVM CEMS Department of Computer Science at the Assistant Professor level.
Complete applications received by January 16, 2009 will be fully considered. For more information, go to https://www.uvmjobs.com/ and search for job requisition number #032529. For more information about the Department, the College, and the University please see http://www.cs.uvm.edu or email to cssearch at cs.uvm.edu.
PhD scholarships: Berlin School of Mind and Brain, Berlin (Germany)
The Berlin School of Mind and Brain offers a three-year doctoral program. Teaching takes place in English and covers all fields relevant to mind/brain-related research. The focus is on the interface of humanities and behavioral sciences with neurosciences. Main research topics are 'conscious and unconscious perception', 'decision-making', 'language', 'brain plasticity and lifespan ontogeny', and 'mental disorders and brain dysfunction'. Students will be supervised by two professors, one from the 'mind sciences' and one from the 'brain sciences'.
Students can apply to the doctoral program while completing their Master's course. Deadline: 15 January 2009. For more information, see http://www.mind-and-brain.de/ or contact the school at admissions at mind-and-brain.de.
Postdoctoral research fellow in machine learning / information theory / artificial intelligence, Canberra, Australia
The Research School of Information Sciences and Engineering at the Australian National University is seeking an outstanding Research Fellow with excellent mathematical background and research expertise in Machine Learning, (Algorithmic) Information Theory, (Bayesian) Statistics, Artificial Intelligence or related area. Possible backgrounds are a PhD, or near completion of a PhD, in mathematics, physics, computer science, engineering, or related. The new employee will interact with Dr. Marcus Hutter and other people in the RSISE at the ANU. The initial appointment will be for 2-3 years.
Postdoc positions at Feinberg Graduate SchoolLocation: Weizmann Institute, Israel
The Feinberg Graduate School of the Weizmann Institute calls for applications for postdoc fellowships in the the following disciplines: life sciences, chemical sciences, physical sciences, mathematical sciences, computer sciences, science teaching. A fellowship is awarded for the duration of 1 or 2 years. Applications can be made twice a year. First upcoming deadline: 01-01-09
For more information, see http://www.weizmann.ac.il/feinberg/postdoc_fell/e_information.html
PhD Position in Reasoning with Preferences in Cork
Three types of logic positions at UIUC, Urbana-Champaign IL (U.S.A.)
At the University of Illinois at Urbana-Champaign there are faculty openings in the Department of Mathematics for which logic has a high priority. Strong applicants in model theory and set theory are especially encouraged to apply.
(1) Associate Professor (potentially with tenure): this newly created search is limited to logic; the application deadline is Dec. 15, 2008.
(2) Assistant Professor (tenure-track): this is a general search in mathematics, but logic has priority; the application deadline is Nov. 14, 2008.
(3) J.L Doob 3-year postdoctoral positions: the application deadline is Dec. 5, 2008.
For more information, see http://www.math.uiuc.edu/Positions/
Postdoc Position at Padova University
The constraint reasoning group of the University of Padova (Italy), led by prof. Francesca Rossi, is looking for a motivated Postdoc fellow to work on constraint issues related to "Modelling and solving soft constraint problems with incompleteness, imprecision, and instability".
Faculty Positions at EPFL (tenure-track assistant professors) in computer science, Lausanne (Switzerland)
The School of Computer and Communication Sciences at EPFL invites applications for faculty positions in computer science. We are primarily seeking candidates for tenure-track assistant professor positions, but suitably qualified candidates for senior positions will also be considered. Candidates from all areas of computer science will be considered, but preference will be given to candidates with interests in algorithms, bioinformatics, graphics, machine learning, and design methodologies for integrated systems.
Fall 2009 Semester on "Mathematical Logic: Set Theory and Model Theory" at the Mittag-Leffler InstituteLocation: Djursholm, Sweden
The Institut Mittag-Leffler is a Nordic research institute for mathematics, under the auspices of the Royal Swedish Academy of Sciences, created by Gösta and Signe Mittag-Leffler who donated their house, library and fortune to the Academy. The Institute runs year-long research programs in specialized areas of mathematics.
For more information, see http://www.mittag-leffler.se/programs/0910f/, or for postdoctoral fellowship grants, http://www.mittag-leffler.se/programs/0910/grants.php, or contact Erik Palmgren at palmgren at math.uu.se.
New Appointments: Aline Honingh
Aline Honingh has been appointed as postdoctoral researcher in the VICI project "Integrating Cognition" of Rens Bod. Aline received her PhD at the ILLC in 2006 and worked till recently in the Music Informatics Research Group at City University London. She has come back to the University of Amsterdam where she will work in the field of music cognition and data-oriented parsing.
Martin Stokhof in NWO Geestesoog 2009-03
New Book: Argumentation in Artificial Intelligence
This volume is a systematic, expansive presentation of the major achievements in the intersection between two fields of inquiry: Argumentation Theory and Artificial Intelligence. Contributions from international researchers who have helped shape this dynamic area offer a progressive development of intuitions, ideas and techniques, from philosophical backgrounds, to abstract argument systems, to computing arguments, to the appearance of applications producing innovative results. Each chapter features extensive examples to ensure that readers develop the right intuitions before they move from one topic to another.
In particular, the book exhibits an overview of key concepts in Argumentation Theory and of formal models of Argumentation in AI. After laying a strong foundation by covering the fundamentals of argumentation and formal argument modeling, the book expands its focus to more specialized topics, such as algorithmic issues, argumentation in multi-agent systems, and strategic aspects of argumentation. Finally, as a coda, the book explores some practical applications of argumentation in AI and applications of AI in argumentation.
For more information, see: http://www.springer.com/computer/artificial/book/978-0-387-98196-3
'Logica in Actie' is Online
As announced on the site of "de Automatiseringsgids", as of the 20th of April the Open University course "Logica in Action" by Prof. dr. Johan van Benthem is available online and freely accessible.
For more information, see the full announcement at http://www.automatiseringgids.nl/PeopleWare/Carriere/2009/16/.
AMS Graduate Student Blog
The AMS Graduate Student Blog is a new blog by and for math graduate students, managed by Frank Morgan, AMS vice-president, and professor of mathematics at Williams College. "Graduate students are the future of the AMS, and they have a lot to talk about," says Morgan.
The blog entries to date concern organizing a reading seminar, how to give a good mathematics talk, advice for beginning teaching assistants, navigating seminars and finding an advisor--topics of great importance to graduate students, who are all are invited to join the community by posting comments, questions and advice on the blog, hosted by Williams College, at http://mathgradblog.williams.edu/.
Call for nominations for the next Editor-in-Chief of ACM Transactions on Computational Logic (ToCL)
Nominations (including self nominations) are invited for the next Editor-in-Chief of ACM Transactions on Computational Logic (ToCL). The position is for a term (renewable once) of three years, starting on July 1, 2009.
Candidates should be well-established researchers in areas related to computational logic, broadly conceived, and should have sufficient experience serving on conference program committees and journal editorial boards. Nominations, including a current curriculum vita and a brief (one page) statement of vision for ToCL, should be sent to Joseph Halpern <halpern at cs.cornell.edu>, by May 1, 2009.
Final selection will be made by a Selection Committee, consisting of Joseph Halpern (chair -- Cornell University), Kryzsztof Apt (CWI), Prakash Panangaden (McGill University), and Gordon Plotkin (University of Edinburgh). Nominations received after May 1, 2009, will be considered up until the position is filled.
For more information, see http://www.acm.org/pubs/tocl/
Call for nominations Cor Baayen award
The Cor Baayen Award is awarded each year to a promising young researcher in computer science and applied mathematics. The award was created in 1995 to honour the first ERCIM President.
The award consists of a cheque for 5000 Euro together with an award certificate. The selected fellow will be invited to the ERCIM meetings in autumn. A short article on the winner, together with the list of all candidates nominated, will be published in ERCIM News.
Nominations must be submitted by 15 April 2009..
For more information, see http://www.ercim.org/activity/cor-baayen
Jeroen Groenendijk on shortlist "Lecturer of the year 2008"
ILLC professor (and future director) Jeroen Groenendijk is on the shortlist for the "Docent van het Jaar 2008 (Lecturer of the year 2008)" award.
The Lecturer of the Year prize is awarded by students to an excellent UvA lecturer. The winner is not chosen on the basis of popularity, but on the basis of teaching excellence.
On the basis of students' nominations, each student association nominated one candidate for consideration. The jury, made up of one student per faculty, then selected nominees for the shortlist. On Thursday 11 December, the semi-finals evening will be held at the Comedy Theater in which the nominees will be promoted in a playful manner by each student association. After the semi-finalist evening, the jury will select the Lecturer of the Year 2008. Their choice will be announced at the Dies Natalis (the University's birthday) on Thursday 8 January 2009.
For more information, see http://www.docentvanhetjaar.uva.nl/lectureroftheyear/
Former Regular Events
The "Cool Logic" MeetingsLocation: MoL Room (P.130), Euclides building, Plantage Muidergracht 24, Amsterdam
The Master of Logic Committee organises the "Cool Logic" meetings. These are a series of one to two hour sessions in which a master of logic student gives a talk about his/her thesis (in progress) or a particular topic he/she is enthusiastic about.
For more information, see http://student.science.uva.nl/~ckissig/mol/cool_logic.html
The Amsterdam-Utrecht Workshops are organized under the auspices of the Utrecht Institute of Linguistics (UiL OTS) at the Utrecht University, and Institute of Logic, Language and Computation (ILLC) at the University of Amsterdam. The initiative was proposed in 2001 by Johan van Benthem and Michael Moortgat with the intent of increasing the collaboration between the ILLC and OTS researchers. Since then this proposal has been materialized in a growing number of jointly organized and successful workshops.
For more information, see http://www-uilots.let.uu.nl/~ctl/workshops/am-ut.html.