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.
| << May 2011 | ||||||
|---|---|---|---|---|---|---|
| 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
|
||||
25-30 September 2011, 2nd Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS 2011), Rome, Italy
The advent of advanced computing embracing various forms of computational intelligence, large-scale strategies, and technology-oriented approaches relays on fundamental achievements in systems and feature specification, domain-oriented programming and deployment platforms and benchmarking.
COMPUTING TOOLS 2011 continues an event under the umbrella of ComputationWorld 2011 dealing with logics, algebras, advanced computation techniques, specialized programming languages, and tools for distributed computation. Mainly, the event targets those aspects supporting context-oriented systems, adaptive systems, service computing, patterns and content-oriented features, temporal and ubiquitous aspects, and many facets of computational benchmarking.
For more information, see http://www.iaria.org/conferences2011/COMPUTATIONTOOLS11.html
We welcome technical papers presenting research and practical results, position papers addressing the pros and cons of specific proposals, such as those being discussed in the standard fora or in industry consortia, survey papers addressing the key problems and solutions on any of the conference topics, short papers on work in progress, and panel proposals. We also welcome short and long industrial presentations that express industrial position and status. Tutorials on specific related topics and panels on challenging areas are encouraged. Submission deadline: May 1, 2011.
29-30 September 2011, 1st Pittsburgh-Tilburg workshop on "Formal Epistemology meets Experimental Philosophy" (FEMEP 2011), Tilburg, The Netherlands
Over the years, the methodological toolbox of philosophers of science has widened considerably. Today, formal and experimental methods importantly complement more traditional methods such as conceptual analysis and case studies. So far, however, there has not been much interaction between the corresponding communities. The working assumption of this workshop is that philosophy of science can gain a lot from combining formal and experimental studies.
This workshop aims to explore the relation between formal and experimental approaches to the philosophy of science. We invite meta-theoretical papers, but especially papers that fruitfully combine both methods to problems from the philosophy of science. This first Pittsburgh-Tilburg workshop will pay special attention to the philosophy of the social sciences, but a focus on other subfields of philosophy of science is also welcome.
For more information, see http://www.tilburguniversity.edu/research/institutes-and-research-groups/tilps/
We invite submissions of both a short abstract (max. 100 words) and an extended abstract (1000-1500 words) by 1 May 2011.
6-7 September 2010, Second Young Researchers Days & Workshop on the Relation between Logic, Philosophy and History of Science (YRD2), Brussels, Belgium
For more information, see http://www.bslps.be/YRD2.html
6-7 September 2010, Second Young Researchers Days & Workshop on the Relation between Logic, Philosophy and History of Science (YRD2), Brussels, Belgium
For more information, see http://www.bslps.be/YRD2.html
2 May 2011, 1st Workshop on Agent-based Modeling for Policy Engineering (AMPLE 2011), Taipeh, Taiwan
Socio-technical systems are complex adaptive entities that require the engagement of social and technical elements in an environment to reach certain goals. In order to understand, analyze or design such systems, advanced tools are required. One of the major tools for understanding socio-technical systems is agent-based modeling. In recent years, social scientists, including economists and policy makers, have been using agent-based models to tackle their problem domains. Building artificial societies by combining the multi-agent systems view and domain knowledge has become a challenge, because of the complexity involved.
The goal of AMPLE is to connect agent and artificial society research on the one hand, with policy making, institutional analysis and tools like system dynamics and gaming on the other. The combination could have benefits for the further enrichment of agent-based modeling and simulation. By gathering these different perspectives, we aim to explore how agent-research can be used or improved to assist with policy making in the social sciences.
For more information, see http://ample2011.tudelft.nl/ AMPLE-2011 is co-located with the 10th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS2011, http://www.aamas2011.tw/).
2-6 May 2011, The 10th International Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2011), Taipei, Taiwan
AAMAS is the leading scientific conference for research in autonomous agents and multiagent 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 multiagent systems. AAMAS-2011 is the Tenth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Taipei International Convention Center, Taipei, Taiwan.
For more information, see http://www.aamas2011.tw/
6-7 September 2010, Second Young Researchers Days & Workshop on the Relation between Logic, Philosophy and History of Science (YRD2), Brussels, Belgium
For more information, see http://www.bslps.be/YRD2.html
2-6 May 2011, The 10th International Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2011), Taipei, Taiwan
AAMAS is the leading scientific conference for research in autonomous agents and multiagent 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 multiagent systems. AAMAS-2011 is the Tenth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Taipei International Convention Center, Taipei, Taiwan.
For more information, see http://www.aamas2011.tw/
11 July 2011, Reasoning about other minds: Logical and cognitive perspectives, Groningen, the Netherlands
This workshop aims to shed light on models of social reasoning that take into account realistic resource bounds. People reason about other people's mental states in order to understand and predict the others' behavior. This capability to reason about others' knowledge, beliefs and intentions is often referred to as 'theory of mind'. Idealized rational agents are capable of recursion in their social reasoning, and can reason about phenomena like common knowledge. Such idealized social reasoning has been modeled by modal logics such as epistemic logic and BDI (belief, goal, intention) logics and by epistemic game theory. However, in real-world situations, many people seem to lose track of such recursive social reasoning after only a few levels.
The workshop provides a forum for researchers that attempt to analyze, understand and model how resource-bounded agents reason about other minds.
For more information, see http://www.ai.rug.nl/conf/reasoningminds/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Please send your submission by Wednesday May 4, 2011.
6-7 September 2010, Second Young Researchers Days & Workshop on the Relation between Logic, Philosophy and History of Science (YRD2), Brussels, Belgium
For more information, see http://www.bslps.be/YRD2.html
2-6 May 2011, The 10th International Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2011), Taipei, Taiwan
AAMAS is the leading scientific conference for research in autonomous agents and multiagent 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 multiagent systems. AAMAS-2011 is the Tenth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Taipei International Convention Center, Taipei, Taiwan.
For more information, see http://www.aamas2011.tw/
19-20 May 2011, Mathematical Logic in The Netherlands (MLNL'11), University of Groningen
MLNL'11 is the third issue of a series of yearly meetings on Mathematical Logic (and related areas) in the Netherlands. The first meeting was held in Nijmegen and the second one in Utrecht. 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. Advanced master students in logic are most welcome to attend the meeting too.
Registration deadline: 12 May 2011. For more information, see: http://www.ai.rug.nl/MLNL2011/
Please send your abstract (max. 500 words, or max. half a page) to MLNLGroningen(at)gmail.com. Submission deadline: 5 May 2011
6-7 September 2010, Second Young Researchers Days & Workshop on the Relation between Logic, Philosophy and History of Science (YRD2), Brussels, Belgium
For more information, see http://www.bslps.be/YRD2.html
2-6 May 2011, The 10th International Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2011), Taipei, Taiwan
AAMAS is the leading scientific conference for research in autonomous agents and multiagent 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 multiagent systems. AAMAS-2011 is the Tenth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Taipei International Convention Center, Taipei, Taiwan.
For more information, see http://www.aamas2011.tw/
6-7 September 2010, Second Young Researchers Days & Workshop on the Relation between Logic, Philosophy and History of Science (YRD2), Brussels, Belgium
For more information, see http://www.bslps.be/YRD2.html
2-6 May 2011, The 10th International Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2011), Taipei, Taiwan
AAMAS is the leading scientific conference for research in autonomous agents and multiagent 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 multiagent systems. AAMAS-2011 is the Tenth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Taipei International Convention Center, Taipei, Taiwan.
For more information, see http://www.aamas2011.tw/
6-7 September 2010, Second Young Researchers Days & Workshop on the Relation between Logic, Philosophy and History of Science (YRD2), Brussels, Belgium
For more information, see http://www.bslps.be/YRD2.html
26-30 September 2011, The Seventh International and Interdisciplinary Conference on Context (CONTEXT'11), Karlsruhe, Germany
CONTEXT'11 will provide a forum for presenting and discussing high-quality research and applications on context. The conference will include paper, poster, and video presentations, system demonstrations, workshops, and a doctoral consortium. The conference invites researchers and practitioners to share insights and cutting-edge results from the wide range of disciplines concerned with context, including: the Cognitive Sciences (Linguistics, Psychology, Philosophy, Computer Science, Neuroscience), the Social Sciences and Organizational Sciences, and all application areas, including Medicine and Law.
The motto of the CONTEXT'11 special track "Commercialising Context" was chosen to reflect both the fact that context research has found numerous successful applications in recent years and the fact that context itself has become a product that can be sold. Context-aware services can support their users unobtrusively and offer promising revenues. However, when context is no longer something private but processed and shared through the web, profound questions are raised about privacy and the general consequences of the technology. Yet, the new context-aware services can also be a scientific tool for context-research itself.
For more information, see http://context-11.teco.edu/ or contact context11-pch at teco.edu.
CONTEXT welcomes original, high-quality research contributions that advance the state of the art in their field. Works that transcend disciplinary boundaries are especially encouraged. Submissions may be for full papers, poster abstracts, videos with a video abstract, or demonstration abstracts. Deadline for submissions: May 8, 2011.
6-7 September 2010, Second Young Researchers Days & Workshop on the Relation between Logic, Philosophy and History of Science (YRD2), Brussels, Belgium
For more information, see http://www.bslps.be/YRD2.html
17-19 October 2011, 4th International Symposium on Algorithmic Game Theory (SAGT 2011), Salerno, Italy
The purpose of SAGT is to bring together researchers from Computer Science, Economics, Physics, Biology and Mathematics to present and discuss original research at the intersection of Algorithms and Game Theory.
For more information, see http://sagt2011.dia.unisa.it/.
Authors are invited to submit previously unpublished work for possible presentation at the symposium. Submission Deadline is May 9, 2011, 23:59 GMT.
6-7 September 2010, Second Young Researchers Days & Workshop on the Relation between Logic, Philosophy and History of Science (YRD2), Brussels, Belgium
For more information, see http://www.bslps.be/YRD2.html
9-13 May 2011, Brazilian Logic Conference (EBL XVI), Petropolis, Brazil
The conference will be preceded by the Logic School 2011, on May 7-8, 2011.
For more information, see http://www.cle.unicamp.br/ebl2011/
10-13 October 2011, Computational Logic with Applications (COLA@EPIA 2011), Lisbon, Portugal
The COLA thematic track of EPIA 2011 covers the broad area of Computational Logic and its applications, with special interest on topics related with new formalisms, environments, languages, tools, and applications.
The development of sophisticated intelligent systems requires more and more sound and appropriate foundations and tools, resulting in new problems and challenges for the computational logic practitioners. Computational logic has been widely used in complex applications in important areas such as the Deductive Databases, Natural Language Processing and Program Analysis, and more recently on the Semantic Web and related Web Tools. These novel applications have exposed the limits of existing approaches, showing the need for research on better languages and more sophisticated implementations of reasoning systems.
For more information, see http://epia2011.appia.pt/ or contact cola2011 at di.uevora.pt
The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for paper submission: May 10, 2011
6-7 September 2010, Second Young Researchers Days & Workshop on the Relation between Logic, Philosophy and History of Science (YRD2), Brussels, Belgium
For more information, see http://www.bslps.be/YRD2.html
9-13 May 2011, Brazilian Logic Conference (EBL XVI), Petropolis, Brazil
The conference will be preceded by the Logic School 2011, on May 7-8, 2011.
For more information, see http://www.cle.unicamp.br/ebl2011/
6-7 September 2010, Second Young Researchers Days & Workshop on the Relation between Logic, Philosophy and History of Science (YRD2), Brussels, Belgium
For more information, see http://www.bslps.be/YRD2.html
9-13 May 2011, Brazilian Logic Conference (EBL XVI), Petropolis, Brazil
The conference will be preceded by the Logic School 2011, on May 7-8, 2011.
For more information, see http://www.cle.unicamp.br/ebl2011/
6-7 September 2010, Second Young Researchers Days & Workshop on the Relation between Logic, Philosophy and History of Science (YRD2), Brussels, Belgium
For more information, see http://www.bslps.be/YRD2.html
9-13 May 2011, Brazilian Logic Conference (EBL XVI), Petropolis, Brazil
The conference will be preceded by the Logic School 2011, on May 7-8, 2011.
For more information, see http://www.cle.unicamp.br/ebl2011/
6-7 September 2010, Second Young Researchers Days & Workshop on the Relation between Logic, Philosophy and History of Science (YRD2), Brussels, Belgium
For more information, see http://www.bslps.be/YRD2.html
9-13 May 2011, Brazilian Logic Conference (EBL XVI), Petropolis, Brazil
The conference will be preceded by the Logic School 2011, on May 7-8, 2011.
For more information, see http://www.cle.unicamp.br/ebl2011/
6-7 September 2010, Second Young Researchers Days & Workshop on the Relation between Logic, Philosophy and History of Science (YRD2), Brussels, Belgium
For more information, see http://www.bslps.be/YRD2.html
6-7 September 2010, Second Young Researchers Days & Workshop on the Relation between Logic, Philosophy and History of Science (YRD2), Brussels, Belgium
For more information, see http://www.bslps.be/YRD2.html
Abstracts of contributed papers should be submitted before the 15th of May 2010
26-30 September 2011, Ninth International Tbilisi Symposium on Language, Logic and Computation, Kutaisi, Georgia
The Ninth Tbilisi Symposium on Language, Logic and Computation will be held in in Kutaisi, Georgia, from September 26 to 30, 2011. The Symposium is organized by the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam in conjunction with the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and the Akaki Tsereteli State University. The 2011 forum is the ninth instalment of a series of biannual Symposia.
For more information, see https://www.illc.uva.nl/Tbilisi/Tbilisi2011/
The program committee invites submissions of (two page) abstracts on all aspects of language, logic and computation. Work of an interdisciplinary nature is particularly welcome. Submission deadline (extended): 15th May 2011.
1-5 June 2011, Boolean Algebras, Lattices, Algebraic Logic, Set Theory, and Topology (BLAST 2011), Lawrence KS, U.S.A.
BLAST (Boolean algebras, Lattices, Algebraic logic, Set theory, and Topology; quantum logic and point-free topology have been added to the mix) is a series of annual conferences. The first three BLAST conferences were at the University of Denver, New Mexico State University, and the University of Colorado in Boulder.
BLAST 2011 will feature invited talks by Themba Dube, Todd Eisworth, Christian Herrmann, Albin Jones, Milos Kurilic, Keye Martin, and Jorge Martinez, and invited tutorials by Magdalena Grzech, Pieter Hofstra, Marion Scheepers, and Stevo Todorcevic.
Early registration deadline: May 15, 2011. More information can be found at the conference web page at http://www.math.ku.edu/conferences/blast2011/, or contact the conference organizers at blast2011 at math.ku.edu
Abstract submission is through Atlas-conferences; a link to an abstract submission form can be found on the conference website. Deadline for submissions: May 15, 2011.
7-10 November 2011, International Conference "History and Philosophy of Computing", Ghent, Belgium
The computing sciences collect the most diverse complex of experts: philosophers, logicians, historians, mathematicians, computer scientists, programmers, engineers. The number of involved subjects grows accordingly: from foundational issues to their applications; from philosophical questions to problems of realizability and design of specifications; from theoretical studies of computational barriers to the relevance of machines for educational purposes.
A historical awareness of the evolution of computing not only helps to clarify the complex structure of the computing sciences, but it also provides an insight in what computing was, is and maybe could be in the future. Philosophy, on the other hand, helps to tackle some of the fundamental problems of computing, going from the limits of the 'mathematicizing power of homo sapiens' to the design of feasible and concrete models of interactive processes. The aim of this conference is to bring together these two streams: we are strongly convinced that an interplay between the researchers with an interest in the history and philosophy of computing can crucially add to the maturity of the field.
For more information, see http://www.computing-conference.ugent.be or contact computing.conference at ugent.be.
We plan to have up to 30 contributed papers to be presented at the conference. We welcome contributions from logicians and philosophers or historians of science as well as from philosophically and/or historically aware computer scientists and mathematicians. Deadline for Papers Submission: 15th May 2011.
6-7 September 2010, Second Young Researchers Days & Workshop on the Relation between Logic, Philosophy and History of Science (YRD2), Brussels, Belgium
For more information, see http://www.bslps.be/YRD2.html
18-20 May 2011, Algebraic Semantics for Uncertainty and Vagueness, Salerno, Italy
The main goal of this meeting is to foster collaboration among researchers in the area of Many-valued Logic, and to promote communication and cooperation with researchers on related topics. The featured topics include, but are not limited to, Algebraic semantics, First-order fuzzy logics, Proof systems for fuzzy logics and Applied fuzzy logical calculi. The conference's scientific programme includes invited lectures and contributed talks.
For further information please visit the website: http://logica.dmi.unisa.it/AlgebraicSemantics2011/
18-21 May 2011, Workshop on Logic, Language, Information and Computation (WoLLIC 2011), Philadelphia PA, U.S.A.
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 eighteenth WoLLIC will be held at the University of Pennsylvania, Philadelphia, USA, from May 18th to 21st, 2011.
For more information, see http://wollic.org/wollic2011/
18-20 May 2011, Algebraic Semantics for Uncertainty and Vagueness, Salerno, Italy
The main goal of this meeting is to foster collaboration among researchers in the area of Many-valued Logic, and to promote communication and cooperation with researchers on related topics. The featured topics include, but are not limited to, Algebraic semantics, First-order fuzzy logics, Proof systems for fuzzy logics and Applied fuzzy logical calculi. The conference's scientific programme includes invited lectures and contributed talks.
For further information please visit the website: http://logica.dmi.unisa.it/AlgebraicSemantics2011/
18-21 May 2011, Workshop on Logic, Language, Information and Computation (WoLLIC 2011), Philadelphia PA, U.S.A.
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 eighteenth WoLLIC will be held at the University of Pennsylvania, Philadelphia, USA, from May 18th to 21st, 2011.
For more information, see http://wollic.org/wollic2011/
19-20 May 2011, Mathematical Logic in The Netherlands (MLNL'11), University of Groningen
MLNL'11 is the third issue of a series of yearly meetings on Mathematical Logic (and related areas) in the Netherlands. The first meeting was held in Nijmegen and the second one in Utrecht. 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. Advanced master students in logic are most welcome to attend the meeting too.
Registration deadline: 12 May 2011. For more information, see: http://www.ai.rug.nl/MLNL2011/
20 July 2011, Workshop "Optimality Theory as a General Cognitive Architecture", Boston, Massachusetts
Optimality Theory has been a very popular approach to linguistic phenomena, but how does it relate to (higher) cognition in general? Twenty-five years after the publication of Harmony Theory (Smolensky, 1986), and five years after The Harmonic Mind (Smolensky and Legendre, 2006), this half-day workshop at the 33rd annual meeting of the Cognitive Science Society offers an opportunity to discuss the place of OT (and HG, and the ICS Architecture) within the cognitive sciences at large, as well as applications of OT to domains beyond linguistics.
For more information see http://www.birot.hu/events/OTGCA/.
18-20 May 2011, Algebraic Semantics for Uncertainty and Vagueness, Salerno, Italy
The main goal of this meeting is to foster collaboration among researchers in the area of Many-valued Logic, and to promote communication and cooperation with researchers on related topics. The featured topics include, but are not limited to, Algebraic semantics, First-order fuzzy logics, Proof systems for fuzzy logics and Applied fuzzy logical calculi. The conference's scientific programme includes invited lectures and contributed talks.
For further information please visit the website: http://logica.dmi.unisa.it/AlgebraicSemantics2011/
18-21 May 2011, Workshop on Logic, Language, Information and Computation (WoLLIC 2011), Philadelphia PA, U.S.A.
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 eighteenth WoLLIC will be held at the University of Pennsylvania, Philadelphia, USA, from May 18th to 21st, 2011.
For more information, see http://wollic.org/wollic2011/
19-20 May 2011, Mathematical Logic in The Netherlands (MLNL'11), University of Groningen
MLNL'11 is the third issue of a series of yearly meetings on Mathematical Logic (and related areas) in the Netherlands. The first meeting was held in Nijmegen and the second one in Utrecht. 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. Advanced master students in logic are most welcome to attend the meeting too.
Registration deadline: 12 May 2011. For more information, see: http://www.ai.rug.nl/MLNL2011/
20-21 May 2011, PALMYR X: Logic and the Use of Language, Institut Jean Nicod, Paris
Both Paris and Amsterdam host a lively group of young researchers working at the interface of logic, language, and theories of rationality. PALMYR brings them together.
PALMYR is a series of yearly meetings taking place alternatively in Amsterdam and Paris. At each PALMYR meeting, visitors give talks about their current research interests, each presentation being commented by a fellow researcher from the host town. This year's meeting will take place in Paris and is devoted to the theme "Logic and the Use of Language".
For more information, see: https://www.illc.uva.nl/PALMYR/PALMYR-10/.
18-21 May 2011, Workshop on Logic, Language, Information and Computation (WoLLIC 2011), Philadelphia PA, U.S.A.
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 eighteenth WoLLIC will be held at the University of Pennsylvania, Philadelphia, USA, from May 18th to 21st, 2011.
For more information, see http://wollic.org/wollic2011/
20-21 May 2011, PALMYR X: Logic and the Use of Language, Institut Jean Nicod, Paris
Both Paris and Amsterdam host a lively group of young researchers working at the interface of logic, language, and theories of rationality. PALMYR brings them together.
PALMYR is a series of yearly meetings taking place alternatively in Amsterdam and Paris. At each PALMYR meeting, visitors give talks about their current research interests, each presentation being commented by a fellow researcher from the host town. This year's meeting will take place in Paris and is devoted to the theme "Logic and the Use of Language".
For more information, see: https://www.illc.uva.nl/PALMYR/PALMYR-10/.
23-27 May 2011, GAMES-EPIT Spring School 2011, France, near Bordeaux, in Carcans-Maubuisson
The spring school is the 38th School in the series of "Ecole de Printemps d'Informatique Théorique" and is supported by the ESF project 'GAMES'.
It will consist of nine lectures presenting important developments in language theory, automata, and games. The lectures are intended to be accessible to a wide audience, but some familiarity with automata theory and logic is recommended.
Deadline for registration: March 7 (with grant) or April 4th (without grant). For more information, see http://games-epit.labri.fr/
23-27 May 2011, GAMES-EPIT Spring School 2011, France, near Bordeaux, in Carcans-Maubuisson
The spring school is the 38th School in the series of "Ecole de Printemps d'Informatique Théorique" and is supported by the ESF project 'GAMES'.
It will consist of nine lectures presenting important developments in language theory, automata, and games. The lectures are intended to be accessible to a wide audience, but some familiarity with automata theory and logic is recommended.
Deadline for registration: March 7 (with grant) or April 4th (without grant). For more information, see http://games-epit.labri.fr/
23-27 May 2011, GAMES-EPIT Spring School 2011, France, near Bordeaux, in Carcans-Maubuisson
The spring school is the 38th School in the series of "Ecole de Printemps d'Informatique Théorique" and is supported by the ESF project 'GAMES'.
It will consist of nine lectures presenting important developments in language theory, automata, and games. The lectures are intended to be accessible to a wide audience, but some familiarity with automata theory and logic is recommended.
Deadline for registration: March 7 (with grant) or April 4th (without grant). For more information, see http://games-epit.labri.fr/
23-27 May 2011, GAMES-EPIT Spring School 2011, France, near Bordeaux, in Carcans-Maubuisson
The spring school is the 38th School in the series of "Ecole de Printemps d'Informatique Théorique" and is supported by the ESF project 'GAMES'.
It will consist of nine lectures presenting important developments in language theory, automata, and games. The lectures are intended to be accessible to a wide audience, but some familiarity with automata theory and logic is recommended.
Deadline for registration: March 7 (with grant) or April 4th (without grant). For more information, see http://games-epit.labri.fr/
23-27 May 2011, GAMES-EPIT Spring School 2011, France, near Bordeaux, in Carcans-Maubuisson
The spring school is the 38th School in the series of "Ecole de Printemps d'Informatique Théorique" and is supported by the ESF project 'GAMES'.
It will consist of nine lectures presenting important developments in language theory, automata, and games. The lectures are intended to be accessible to a wide audience, but some familiarity with automata theory and logic is recommended.
Deadline for registration: March 7 (with grant) or April 4th (without grant). For more information, see http://games-epit.labri.fr/
30 May - 3 June 2011, 5th International Conference on Language and Automata Theory and Applications (LATA 2011), Tarragona, Spain
LATA is a yearly conference in theoretical computer science and its applications. Inheriting the tradition of the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University in the period 2002-2006, LATA 2011 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.).
For more information, see http://grammars.grlmc.com/LATA2011/.
30 May - 3 June 2011, 5th International Conference on Language and Automata Theory and Applications (LATA 2011), Tarragona, Spain
LATA is a yearly conference in theoretical computer science and its applications. Inheriting the tradition of the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University in the period 2002-2006, LATA 2011 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.).
For more information, see http://grammars.grlmc.com/LATA2011/.
31 May - 3 June 2011, "Philosophy in an Age of Science": A Conference in Honor of Putnam's 85th Birthday, Cambridge MA, U.S.A.
The first and fourth day of the conference will be at 105 Emerson Hall, Harvard University; the second and third day of the conference will be at Brandeis University. Registration includes bus taking people to and from Harvard and Brandeis Universities
For further information, please contact: Putnamconference2011 at gmail.com Also there will be a web site set up at: http://www.fas.harvard.edu/~phildept/putnamconference.html