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.
The calender view is not available on the mobile version of the website. You can view this information as a list.
You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
| << March 2009 | ||||||
|---|---|---|---|---|---|---|
| Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
|
1
|
2
|
3
|
4
|
5
|
6
|
7
|
|
8
|
9
|
10
|
11
|
12
|
13
|
14
|
|
15
|
16
|
17
|
18
|
19
|
20
|
21
|
|
22
|
23
|
24
|
25
|
26
|
27
|
28
|
|
29
|
30
|
31
|
||||
15-17 July 2009, International Workshop on Hybrid Logic 2009 (HyLo 2009), Nancy, France
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
31 August - 2 September 2009, Workshop "Practice-based philosophy of logic and mathematics", Amsterdam, The Netherlands
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 https://www.illc.uva.nl/pplm/
Although the workshop will feature primarily invited speakers, there will be about four slots for contributed papers. Deadline for submissions: 1 March 2009.
29 June - 3 July 2009, 4th Conference on Logic, Computability and Randomness, Marseille, France
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.
6-8 July 2009, Twelfth Conference on Theoretical Aspects of Rationality and Knowledge (TARK XII), Stanford University, USA
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.
25 May 2009, NWO: Bessensap 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
27-31 July 2009, Workshop on Logics and Agent Programming Languages, Bordeaux
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/.
20-25 July 2009, Workshop Logical Methods for Social Concepts (LMSC), Bordeaux
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
5-6 March 2009, Games, Logic, Language, and Computation
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-6 November 2009, Formal Methods 2009, Eindhoven, The Netherlands
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.
5-6 March 2009, Games, Logic, Language, and Computation
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
6-9 March 2009, 2nd Conference on Artificial General Intelligence, 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/
6-9 March 2009, 2nd Conference on Artificial General Intelligence, 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/
6-9 March 2009, 2nd Conference on Artificial General Intelligence, 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/
200 July 9, LSIR-2: Logic and the Simulation of Interaction and Reasoning, Pasadena CA (U.S.A.)
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 https://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.
We invite all researchers in the relevant fields to submit extended abstracts of one to four pages of text. Submission deadline is 6 March 2009.
6-9 March 2009, 2nd Conference on Artificial General Intelligence, 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/
12-16 March 2009, 10th Szklarska Poreba Workshop: The Roots of Pragmasemantics, The mountaintop Szrenica, Szklarska Poreba, Poland
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
For more information, see http://amor.rz.hu-berlin.de/~h0998dgh/Sklarska/Workshop%2010
12-16 March 2009, 10th Szklarska Poreba Workshop: The Roots of Pragmasemantics, The mountaintop Szrenica, Szklarska Poreba, Poland
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
For more information, see http://amor.rz.hu-berlin.de/~h0998dgh/Sklarska/Workshop%2010
12-16 March 2009, 10th Szklarska Poreba Workshop: The Roots of Pragmasemantics, The mountaintop Szrenica, Szklarska Poreba, Poland
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
For more information, see http://amor.rz.hu-berlin.de/~h0998dgh/Sklarska/Workshop%2010
4-5 June 2009, RaAM 2009: Researching and Applying Metaphor Workshop on Metaphor, Metonymy & Multimodality, Amsterdam, The Netherlands
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/
22-27 June 2009, 11th Asian Logic Conference (ALC2009), Singapore
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.
CfP: "The Games of Logic: A Philosophical Perspective"
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.
For more information, see here or http://www.collegepublications.co.uk/.
7-11 July 2009, Topology, Algebra and Categories in Logic (TACL 2009), Euclides Building, Plantage Muidergracht 24, Amsterdam
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 https://www.illc.uva.nl/tacl09/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is March 15, 2009.
12-16 March 2009, 10th Szklarska Poreba Workshop: The Roots of Pragmasemantics, The mountaintop Szrenica, Szklarska Poreba, Poland
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
For more information, see http://amor.rz.hu-berlin.de/~h0998dgh/Sklarska/Workshop%2010
12-16 March 2009, 10th Szklarska Poreba Workshop: The Roots of Pragmasemantics, The mountaintop Szrenica, Szklarska Poreba, Poland
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
For more information, see http://amor.rz.hu-berlin.de/~h0998dgh/Sklarska/Workshop%2010
20 March 2009, NVTI Theory Day, 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/
29-31 May 2009, 2nd Formal Epistemology Festival: Causal Decision Theory and Scoring Rules, Ann Arbor MI, U.S.A.
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.
27-29 March 2009, Boise Extravaganza in Set Theory, Boise ID, U.S.A.
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.
15-19 July 2009, 7th Panhellenic Logic Symposium, Patras, Greece
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.
27-29 March 2009, Boise Extravaganza in Set Theory, Boise ID, U.S.A.
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
27-29 March 2009, Boise Extravaganza in Set Theory, Boise ID, U.S.A.
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
27-29 March 2009, Boise Extravaganza in Set Theory, Boise ID, U.S.A.
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
7-11 September 2009, CSL 2009: 18th Conference on Computer Science Logic, Coimbra, Portugal
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.
15-17 June 2009, Third Workshop in Decisions, Games & Logic, HEC Lausanne
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.
For more information, see the website at http://meansandends.com/DGL09/ or email christianwoldemar.bach at unil.ch.
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.
7-11 September 2009, Computer Science Logic 2009 (CSL'09), Coimbra, Portugal
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.
Early registration deadline is 31 July, 2009. For more information, see http://www.mat.uc.pt/CSL09 or contact csl at mat.uc.pt
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline (title & abstract) is 30 March, 2009.
30 March - 3 April 2009, 10th Midlands Graduate School in the Foundations of Computing Science (MGS 2009), 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.
1-4 September 2009, Foundations of Uncertainty, Prague, Czech Republic
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.
For further information please see the conference website http://www.flu.cas.cz/colloquium/. The conference mail address is colloquium at flu.cas.cz
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.
3-7 August 2009, Logic and Mathematics 2009, York, U.K.
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/York2009
30 March - 3 April 2009, 10th Midlands Graduate School in the Foundations of Computing Science (MGS 2009), 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.