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 2012 | ||||||
|---|---|---|---|---|---|---|
| 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
|
||
10-12 September 2012, "Mathematical Cultures 1", London, U.K.
Mathematical Cultures 1 is the first of three on mathematics as culture and mathematics in culture. It is organized by a research network funded by the Arts and Humanities Research Council under the 'science in culture' highlight notice, with additional support from the London Mathematical Society.
The first conference will gather research that explores and maps the variety of and connections among contemporary mathematical cultures. These can be research cultures, but may also include practitioner cultures (e.g. among engineers, economists, social scientists, etc.) and mathematical cultures among instructor and student groups (e.g. primary/secondary/tertiary teachers, school pupils, mathematics students at all levels). The project will not invite contributions on historically or culturally remote mathematical cultures except as these illuminate contemporary mathematical culture in developed societies.
For more information, see https://sites.google.com/site/mathematicalcultures/home.
Speakers wishing to present papers at the first mathematical cultures conference should submit an abstract of no more than 300 words to the Easychair submissions system by 1 May 2012.
20-21 August 2012, 8th Scandinavian Logic Symposium, Roskilde, Denmark
After a gap of fifteen years, the Scandinavian Logic Symposium is back. The Symposium is the first major initiative of the newly revived Scandinavian Logic Society and will be held at Roskilde University (RUC), Denmark. As with previous editions of this conference, the aim of the programme is to reflect current activity in logic in our part of the world. The scope of SLS 2012 is broad, ranging over the whole area of mathematical and philosophical logic, and logical methods in computer science.
Related events: A post-SLS tutorial day will be organized on August 22 . Also note that Advances in Modal Logic (AiML) will be held on 22-25 August 2012, Copenhagen, Denmark.
The conference website will be found at: http://scandinavianlogic.weebly.com/
We hope that participants from Scandinavia, the Baltic countries and Northwestern Russia will take the opportunity to contribute a talk and to meet with fellow logicians from the area. But needless to say, we also extend a warm welcome to logicians from further afield. Abstracts of talks should be submitted by May 1, 2012.
19-21 September 2012, SEMDIAL 2012 (SeineDial), Paris, France
The SEMDIAL series of workshops brings together researchers working on the semantics and pragmatics of dialogue in fields such as artificial intelligence, computational linguistics, formal semantics/pragmatics, philosophy, psychology, and neuroscience. In 2012 the workshop will be hosted by Université Paris-Diderot (Paris 7) and will include invited talks by Eve V. Clark, Gert-Jan M. Kruiff, and François Recanati. SeineDial will be immediately preceded by a workshop on Dialogue and Contextualism and will feature a special session on The Acquisition of Dialogue.
For more information, see the SemDial page at https://www.illc.uva.nl/semdial/ or contact raquel.fernandez at uva.nl
The submission deadline for full papers is the 1st of May, 2012. A preliminary Call for Papers is available.
30 April - 4 May 2012, 5th Young Set Theory Workshop, Luminy, France
The aim of this conference is to bring together PhD students, postdocs and young researchers 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. The conference format will be similar to previous years, including tutorials, research talks and discussion sessions.
if you are interested in attending the conference, please see the registration page on the website and/or contact Lionel Nguyen Van Thé (lionel at latp.univ-mrs.fr).
For more information, please see the conference website at http://math.univ-lyon1.fr/~melleray/yst2012-info.html
30 April - 4 May 2012, 5th Young Set Theory Workshop, Luminy, France
The aim of this conference is to bring together PhD students, postdocs and young researchers 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. The conference format will be similar to previous years, including tutorials, research talks and discussion sessions.
if you are interested in attending the conference, please see the registration page on the website and/or contact Lionel Nguyen Van Thé (lionel at latp.univ-mrs.fr).
For more information, please see the conference website at http://math.univ-lyon1.fr/~melleray/yst2012-info.html
30 April - 4 May 2012, 5th Young Set Theory Workshop, Luminy, France
The aim of this conference is to bring together PhD students, postdocs and young researchers 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. The conference format will be similar to previous years, including tutorials, research talks and discussion sessions.
if you are interested in attending the conference, please see the registration page on the website and/or contact Lionel Nguyen Van Thé (lionel at latp.univ-mrs.fr).
For more information, please see the conference website at http://math.univ-lyon1.fr/~melleray/yst2012-info.html
30 April - 4 May 2012, 5th Young Set Theory Workshop, Luminy, France
The aim of this conference is to bring together PhD students, postdocs and young researchers 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. The conference format will be similar to previous years, including tutorials, research talks and discussion sessions.
if you are interested in attending the conference, please see the registration page on the website and/or contact Lionel Nguyen Van Thé (lionel at latp.univ-mrs.fr).
For more information, please see the conference website at http://math.univ-lyon1.fr/~melleray/yst2012-info.html
7-11 May 2012, 17th Szklarska Poreba Conference on the Applications of
Logic in Philosophy and Foundations of Mathematics: "Part-whole theory", Szklarska Poreba, Poland
Our conference is an interdisciplinary meeting of philosophers, mathematicians and a wide spectrum of researchers whose interests are in the area of pure or applied logic. Each edition of our conference is devoted to a leading theme which usually concerns important issues and ideas in logic. One of them is the part-whole relation which has been intensively investigated by logicians, philosophers and mathematicians over the centuries. Since in the recent years one can observe a growing interest in this area, we decided to put into perspective the research on the part-whole problem. Therefore, the leading theme of the upcoming conference will be *Part-whole Theory*.
The detailed information regarding conference registration, submission of abstracts, and accommodation will be available on the conference's website at http://www.klmn.uni.wroc.pl/conference.html.
7 May 2012, Philosophy of Logic, Padua, Italy
The Cogito research group in Philosophy of Mathematics and Philosophy of Logic is glad to announce the workshop 'Philosophy of Logic' that will take place at the University of Padua on the 7th of May 2012.
For more information and abstracts, see http://cogito.lagado.org/node/641.
7-11 May 2012, 17th Szklarska Poreba Conference on the Applications of
Logic in Philosophy and Foundations of Mathematics: "Part-whole theory", Szklarska Poreba, Poland
Our conference is an interdisciplinary meeting of philosophers, mathematicians and a wide spectrum of researchers whose interests are in the area of pure or applied logic. Each edition of our conference is devoted to a leading theme which usually concerns important issues and ideas in logic. One of them is the part-whole relation which has been intensively investigated by logicians, philosophers and mathematicians over the centuries. Since in the recent years one can observe a growing interest in this area, we decided to put into perspective the research on the part-whole problem. Therefore, the leading theme of the upcoming conference will be *Part-whole Theory*.
The detailed information regarding conference registration, submission of abstracts, and accommodation will be available on the conference's website at http://www.klmn.uni.wroc.pl/conference.html.
6-8 September 2012, 3rd International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2012), Naples, Italy
The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.
Please visit the conference website (http://www.gandalf.unina.it) for more information.
Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers focused on formal methods are especially welcome. Papers discussing new ideas that are at an early stage of development are also welcome. Abstract submission deadline: May 9, 2012
7-11 May 2012, 17th Szklarska Poreba Conference on the Applications of
Logic in Philosophy and Foundations of Mathematics: "Part-whole theory", Szklarska Poreba, Poland
Our conference is an interdisciplinary meeting of philosophers, mathematicians and a wide spectrum of researchers whose interests are in the area of pure or applied logic. Each edition of our conference is devoted to a leading theme which usually concerns important issues and ideas in logic. One of them is the part-whole relation which has been intensively investigated by logicians, philosophers and mathematicians over the centuries. Since in the recent years one can observe a growing interest in this area, we decided to put into perspective the research on the part-whole problem. Therefore, the leading theme of the upcoming conference will be *Part-whole Theory*.
The detailed information regarding conference registration, submission of abstracts, and accommodation will be available on the conference's website at http://www.klmn.uni.wroc.pl/conference.html.
9-10 May 2012, Workshop "Expressivism and Epistemic Normativity", Centre de Recherche des Cordeliers, 15 rue de l'École de Médecine, 75006 Paris
Expressivism is the view according to which normative utterances and thoughts, whether moral, aesthetic or epistemic, do not describe reality, but are rather the expression of practical attitudes. Such an analysis of normative utterances and thoughts in "non-cognitive" terms, as conative mental dispositions of agents, offers a promising way of naturalizing normative judgments. As a general theory of normative statements, however, expressivism runs into difficulties, such as the problem of truth-functional composition. The goal of the workshop is to foster interaction between defenders and critics of expressivism, to examine whether this view necessarily leads to a relativist or irrealist conception of norms, and, finally, to analyze the difficulties involved in integrating it into a general theory of epistemic normativity.
For more information, see here.
7-11 May 2012, 17th Szklarska Poreba Conference on the Applications of
Logic in Philosophy and Foundations of Mathematics: "Part-whole theory", Szklarska Poreba, Poland
Our conference is an interdisciplinary meeting of philosophers, mathematicians and a wide spectrum of researchers whose interests are in the area of pure or applied logic. Each edition of our conference is devoted to a leading theme which usually concerns important issues and ideas in logic. One of them is the part-whole relation which has been intensively investigated by logicians, philosophers and mathematicians over the centuries. Since in the recent years one can observe a growing interest in this area, we decided to put into perspective the research on the part-whole problem. Therefore, the leading theme of the upcoming conference will be *Part-whole Theory*.
The detailed information regarding conference registration, submission of abstracts, and accommodation will be available on the conference's website at http://www.klmn.uni.wroc.pl/conference.html.
9-10 May 2012, Workshop "Expressivism and Epistemic Normativity", Centre de Recherche des Cordeliers, 15 rue de l'École de Médecine, 75006 Paris
Expressivism is the view according to which normative utterances and thoughts, whether moral, aesthetic or epistemic, do not describe reality, but are rather the expression of practical attitudes. Such an analysis of normative utterances and thoughts in "non-cognitive" terms, as conative mental dispositions of agents, offers a promising way of naturalizing normative judgments. As a general theory of normative statements, however, expressivism runs into difficulties, such as the problem of truth-functional composition. The goal of the workshop is to foster interaction between defenders and critics of expressivism, to examine whether this view necessarily leads to a relativist or irrealist conception of norms, and, finally, to analyze the difficulties involved in integrating it into a general theory of epistemic normativity.
For more information, see here.
10-11 May 2012, Fourth Workshop on the Philosophy of Information (4WPI), Hatfield, U.K.
The Fourth Workshop on the Philosophy of Information, will take place at the University of Hertfordshire, 10-11 May 2012. The topic this year will be the intersections between PI, epistemology and philosophical semantics.
The current list of participants includes:
Keynotes: Stephan Hartmann, Gregory Wheeler.
Speakers:
Patrick Allo,
Simon D'Alfonso,
Hilmi Demir,
Luciano Floridi,
Nir Fresco,
Phyllis Illari,
Mark Jago,
Giuseppe Primiero,
Sebastian Sequoiah-Grayson,
Sonja Smets,
Matteo Turilli,
Orlin Vakarelov.
18-23 June 2012, First IFCoLog-CiE Student Session, Cambridge, U.K.
The CiE-IFCoLog student session is an initiative to encourage undergraduate and master students to present their research projects at high profile computer science events, and offer a good opportunity for undergraduate and masters students to interact with more senior researchers. In 2012 CiE is celebrating the life achievements of Alan Turing and we believe that being involved in this event, will be an exciting opportunity for young people contemplating a research career.
More details about the event will become available in http://www.ifcolog.net/?page_id=6149.
Authors are invited to submit an extended abstract (max. 5 pages). The CiE-IFCoLog student sessions will consider papers in all aspects of computability and foundations of computer science, as well as well as papers exploring the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. Submission deadline: 11 May 2012.
26-28 September 2012, 7th IFIP Conference on Theoretical Computer Science 2012 (TCS 2012), Amsterdam, The Netherlands
The conference Theoretical Computer Science, which is held every two years, either in conjunction or in the framework of the IFIP World Computing Congress, is the meeting place of the TC1 community where new results of computation theory are presented and more broadly experts in theoretical computer science meet to share insights and ask questions about the future directions of the field.
Scope and Topics: Algorithms, Complexity and Models of Computation, Logic, Semantics, Specification and Verification.
For more information, see http://tcs.project.cwi.nl/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Paper submission deadline (extended): May 11.
7-11 May 2012, 17th Szklarska Poreba Conference on the Applications of
Logic in Philosophy and Foundations of Mathematics: "Part-whole theory", Szklarska Poreba, Poland
Our conference is an interdisciplinary meeting of philosophers, mathematicians and a wide spectrum of researchers whose interests are in the area of pure or applied logic. Each edition of our conference is devoted to a leading theme which usually concerns important issues and ideas in logic. One of them is the part-whole relation which has been intensively investigated by logicians, philosophers and mathematicians over the centuries. Since in the recent years one can observe a growing interest in this area, we decided to put into perspective the research on the part-whole problem. Therefore, the leading theme of the upcoming conference will be *Part-whole Theory*.
The detailed information regarding conference registration, submission of abstracts, and accommodation will be available on the conference's website at http://www.klmn.uni.wroc.pl/conference.html.
10-11 May 2012, Fourth Workshop on the Philosophy of Information (4WPI), Hatfield, U.K.
The Fourth Workshop on the Philosophy of Information, will take place at the University of Hertfordshire, 10-11 May 2012. The topic this year will be the intersections between PI, epistemology and philosophical semantics.
The current list of participants includes:
Keynotes: Stephan Hartmann, Gregory Wheeler.
Speakers:
Patrick Allo,
Simon D'Alfonso,
Hilmi Demir,
Luciano Floridi,
Nir Fresco,
Phyllis Illari,
Mark Jago,
Giuseppe Primiero,
Sebastian Sequoiah-Grayson,
Sonja Smets,
Matteo Turilli,
Orlin Vakarelov.
11-13 October 2012, Time & Temporality in Language and Human Experience (TIMELing 2012), Poland, Lodz
The conference will offer a forum for the presentation of multidisciplinary perspectives on the concept of time and its embodied, phenomenological experience as expressed in diverse systems, above all human language, and should thus be of interest to students and researchers in philosophy, anthropology and psychology of time.
Also welcome are scholars who investigate temporal experience, time expressions and categorization in language and literature, including metaphor and figurative language, learning-acquisition of temporal concepts as well as annotation and identification of temporal structures in language corpora. In addition, the organizers hope to attract researchers who propose cognitive, formal and other models of time and time-related dimensions in the framework of event structures.
For more information, see http://www.timeling.pl/.
Presentations pertaining to the construal and coding of events in linguistic or non-linguistic narrative, gestures and other forms of human communication systems would be relevant. Deadline for Abstracts: May 15th 2012.
16-21 May 2012, 9th Annual Conference on Theory and Applications of Models of Computation (TAMC 2012), Beijing, China
TAMC 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world. TAMC aims at bringing together a wide range of researchers with interests in computational theory and applications. The main themes of the conference TAMC 2012 will be Computability, Complexity, and Algorithms with extensions to information and networks.
For more information, see http://turing2012.iscas.ac.cn/tamc2012.html or contact Angsheng Li at angsheng at ios.ac.cn.
16-21 May 2012, 9th Annual Conference on Theory and Applications of Models of Computation (TAMC 2012), Beijing, China
TAMC 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world. TAMC aims at bringing together a wide range of researchers with interests in computational theory and applications. The main themes of the conference TAMC 2012 will be Computability, Complexity, and Algorithms with extensions to information and networks.
For more information, see http://turing2012.iscas.ac.cn/tamc2012.html or contact Angsheng Li at angsheng at ios.ac.cn.
17-19 May 2012, First Logic and Cognition Conference, Poznan, Poland
In recent years we are witnessing a cognitive turn in logic. It results in inclusion of some areas of cognitive science, psychology and computer science into its hard core. Consequently, logic becomes capable of modelling actual cognitive activity of real life agents. This turn does not create a rival for the mathematical logic: it forms a next step in the development of logic. It also reminds that for many centuries logic stood in a close and natural relationship to the science of actual reasoning processes.
Poznan Logic and Cognition Conference is an initiative focusing on research on the interplay of logic, cognitive science, psychology and computer science which aim at sheding the light on actual reasoning processes.
For more information, see: http://logicandcognition.org/
16-21 May 2012, 9th Annual Conference on Theory and Applications of Models of Computation (TAMC 2012), Beijing, China
TAMC 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world. TAMC aims at bringing together a wide range of researchers with interests in computational theory and applications. The main themes of the conference TAMC 2012 will be Computability, Complexity, and Algorithms with extensions to information and networks.
For more information, see http://turing2012.iscas.ac.cn/tamc2012.html or contact Angsheng Li at angsheng at ios.ac.cn.
17-19 May 2012, First Logic and Cognition Conference, Poznan, Poland
In recent years we are witnessing a cognitive turn in logic. It results in inclusion of some areas of cognitive science, psychology and computer science into its hard core. Consequently, logic becomes capable of modelling actual cognitive activity of real life agents. This turn does not create a rival for the mathematical logic: it forms a next step in the development of logic. It also reminds that for many centuries logic stood in a close and natural relationship to the science of actual reasoning processes.
Poznan Logic and Cognition Conference is an initiative focusing on research on the interplay of logic, cognitive science, psychology and computer science which aim at sheding the light on actual reasoning processes.
For more information, see: http://logicandcognition.org/
18-20 May 2012, 8th International Symposium of Cognition, Logic and Communication "Games, Game Theory and Game Semantics: Philosophical and Scientific Perspectives", Riga, Latvia
Fundamental results in the mathematical theory of games were obtained early on in the 20th century by Zermelo, Borel, and von Neumann; after the publication of Theory of Games and Economic Behavior by von Neumann & Morgenstern in 1944, it quickly became of fundamental importance to economic theory, being applied later on to other fields such as biology, while in philosophy David Lewis¹ Convention was an important early application. Games also played a significant role within mathematics, especially in model theory with, e.g., the back-and-forth games, and with the work of Lorenzen in the 1950s and Hintikka in the 1960s, game semantics emerged, again leading to important developments in philosophy, e.g., within epistemic logic. Showing again the extraordinary fruitfulness and interdisciplinary nature of the concept of game, game semantics has become since a paradigm in logic and in computer science where it have been used inter alia to model interactive computation and multi-agents systems, as well as in linguistics and argumentation theory. The consequences on philosophy of these numerous developments need to be explored.
In an interdisciplinary spirit, this conference will bring together a number of key contributors to and welcomes papers on the concept of games, game theory and game semantics, with applications in economics, logic, computer science, linguistics, argumentation theory, and philosophy.
For more information, see http://cognition.lu.lv/symp/8-call.html.
16-21 May 2012, 9th Annual Conference on Theory and Applications of Models of Computation (TAMC 2012), Beijing, China
TAMC 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world. TAMC aims at bringing together a wide range of researchers with interests in computational theory and applications. The main themes of the conference TAMC 2012 will be Computability, Complexity, and Algorithms with extensions to information and networks.
For more information, see http://turing2012.iscas.ac.cn/tamc2012.html or contact Angsheng Li at angsheng at ios.ac.cn.
17-19 May 2012, First Logic and Cognition Conference, Poznan, Poland
In recent years we are witnessing a cognitive turn in logic. It results in inclusion of some areas of cognitive science, psychology and computer science into its hard core. Consequently, logic becomes capable of modelling actual cognitive activity of real life agents. This turn does not create a rival for the mathematical logic: it forms a next step in the development of logic. It also reminds that for many centuries logic stood in a close and natural relationship to the science of actual reasoning processes.
Poznan Logic and Cognition Conference is an initiative focusing on research on the interplay of logic, cognitive science, psychology and computer science which aim at sheding the light on actual reasoning processes.
For more information, see: http://logicandcognition.org/
18-20 May 2012, 8th International Symposium of Cognition, Logic and Communication "Games, Game Theory and Game Semantics: Philosophical and Scientific Perspectives", Riga, Latvia
Fundamental results in the mathematical theory of games were obtained early on in the 20th century by Zermelo, Borel, and von Neumann; after the publication of Theory of Games and Economic Behavior by von Neumann & Morgenstern in 1944, it quickly became of fundamental importance to economic theory, being applied later on to other fields such as biology, while in philosophy David Lewis¹ Convention was an important early application. Games also played a significant role within mathematics, especially in model theory with, e.g., the back-and-forth games, and with the work of Lorenzen in the 1950s and Hintikka in the 1960s, game semantics emerged, again leading to important developments in philosophy, e.g., within epistemic logic. Showing again the extraordinary fruitfulness and interdisciplinary nature of the concept of game, game semantics has become since a paradigm in logic and in computer science where it have been used inter alia to model interactive computation and multi-agents systems, as well as in linguistics and argumentation theory. The consequences on philosophy of these numerous developments need to be explored.
In an interdisciplinary spirit, this conference will bring together a number of key contributors to and welcomes papers on the concept of games, game theory and game semantics, with applications in economics, logic, computer science, linguistics, argumentation theory, and philosophy.
For more information, see http://cognition.lu.lv/symp/8-call.html.
16-21 May 2012, 9th Annual Conference on Theory and Applications of Models of Computation (TAMC 2012), Beijing, China
TAMC 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world. TAMC aims at bringing together a wide range of researchers with interests in computational theory and applications. The main themes of the conference TAMC 2012 will be Computability, Complexity, and Algorithms with extensions to information and networks.
For more information, see http://turing2012.iscas.ac.cn/tamc2012.html or contact Angsheng Li at angsheng at ios.ac.cn.
18-20 May 2012, 8th International Symposium of Cognition, Logic and Communication "Games, Game Theory and Game Semantics: Philosophical and Scientific Perspectives", Riga, Latvia
Fundamental results in the mathematical theory of games were obtained early on in the 20th century by Zermelo, Borel, and von Neumann; after the publication of Theory of Games and Economic Behavior by von Neumann & Morgenstern in 1944, it quickly became of fundamental importance to economic theory, being applied later on to other fields such as biology, while in philosophy David Lewis¹ Convention was an important early application. Games also played a significant role within mathematics, especially in model theory with, e.g., the back-and-forth games, and with the work of Lorenzen in the 1950s and Hintikka in the 1960s, game semantics emerged, again leading to important developments in philosophy, e.g., within epistemic logic. Showing again the extraordinary fruitfulness and interdisciplinary nature of the concept of game, game semantics has become since a paradigm in logic and in computer science where it have been used inter alia to model interactive computation and multi-agents systems, as well as in linguistics and argumentation theory. The consequences on philosophy of these numerous developments need to be explored.
In an interdisciplinary spirit, this conference will bring together a number of key contributors to and welcomes papers on the concept of games, game theory and game semantics, with applications in economics, logic, computer science, linguistics, argumentation theory, and philosophy.
For more information, see http://cognition.lu.lv/symp/8-call.html.
16-21 May 2012, 9th Annual Conference on Theory and Applications of Models of Computation (TAMC 2012), Beijing, China
TAMC 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world. TAMC aims at bringing together a wide range of researchers with interests in computational theory and applications. The main themes of the conference TAMC 2012 will be Computability, Complexity, and Algorithms with extensions to information and networks.
For more information, see http://turing2012.iscas.ac.cn/tamc2012.html or contact Angsheng Li at angsheng at ios.ac.cn.
26-28 September 2012, 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse, France
Logics provide a formal basis and key descriptive notation for the study and development of applications and systems in Artificial Intelligence (AI). With the depth and maturity of formalisms, methodologies, and systems today, such logics are increasingly important. The European Conference on Logics in Artificial Intelligence began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organized biennially, with English as the official language, and with proceedings published in Springer-Verlag's Lecture Notes in Artificial Intelligence series. In 2012 the conference is organized in Toulouse, France. The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major forum for the discussion of logic-based approaches to AI.
The aim of JELIA 2012 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.
For more information, see http://www.irit.fr/jelia2012/
Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence. There will be two categories for submissions: Regular papers and System descriptions. (Extended) deadline for abstract submission: May 22.
22-25 May 2012, Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML 2012), St. Petersburg, Russia
The international interdisciplinary conference PhML 2012 is intended to provide a forum for presentation of current research, and to stimulate an interdisciplinary dialogue between mathematicians, logicians, philosophers, computer scientists and linguists. The conference will have plenary sessions to present the latest researches. Apart from plenary sessions, there will also be several sessions to present contributed papers at thematic sections. There will also be held a panel discussion about Kant's logic.
For more information, see http://www.pdmi.ras.ru/EIMI/2012/PhML/
22-25 May 2012, Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML 2012), St. Petersburg, Russia
The international interdisciplinary conference PhML 2012 is intended to provide a forum for presentation of current research, and to stimulate an interdisciplinary dialogue between mathematicians, logicians, philosophers, computer scientists and linguists. The conference will have plenary sessions to present the latest researches. Apart from plenary sessions, there will also be several sessions to present contributed papers at thematic sections. There will also be held a panel discussion about Kant's logic.
For more information, see http://www.pdmi.ras.ru/EIMI/2012/PhML/
23-25 May 2012, The Constructive in Logic and Applications, New York, U.S.A.
Constructivity is fundamental to the application of mathematics to the real world, whether in the exact sciences, the social sciences, or engineering. Constructive logics supporting this tradition have flourished over the last century. This conference is a celebration of the past and future of the constructive tradition.
This conference is in honor of the 60th birthday of the distinguished logician Sergei Artemov. He has made fundamental contributions exploring constructivity in logic, computer science, epistemology, game theory, and other areas. With this conference we honor his work, and by extension a subject whose content he has elucidated and whose boundaries he has expanded.
For more information, see http://fsw01.bcc.cuny.edu/evangelia.antonakos/file/ConstructivityAtCUNY.html
22-25 May 2012, Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML 2012), St. Petersburg, Russia
The international interdisciplinary conference PhML 2012 is intended to provide a forum for presentation of current research, and to stimulate an interdisciplinary dialogue between mathematicians, logicians, philosophers, computer scientists and linguists. The conference will have plenary sessions to present the latest researches. Apart from plenary sessions, there will also be several sessions to present contributed papers at thematic sections. There will also be held a panel discussion about Kant's logic.
For more information, see http://www.pdmi.ras.ru/EIMI/2012/PhML/
23-25 May 2012, The Constructive in Logic and Applications, New York, U.S.A.
Constructivity is fundamental to the application of mathematics to the real world, whether in the exact sciences, the social sciences, or engineering. Constructive logics supporting this tradition have flourished over the last century. This conference is a celebration of the past and future of the constructive tradition.
This conference is in honor of the 60th birthday of the distinguished logician Sergei Artemov. He has made fundamental contributions exploring constructivity in logic, computer science, epistemology, game theory, and other areas. With this conference we honor his work, and by extension a subject whose content he has elucidated and whose boundaries he has expanded.
For more information, see http://fsw01.bcc.cuny.edu/evangelia.antonakos/file/ConstructivityAtCUNY.html
11-13 September 2012, 4th International Workshop on Computational Social Choice (COMSOC-2012), Krakow, Poland
Computational social choice is a rapidly growing discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing.
The aim of the workshop is to bring together different communities: computer scientists interested in computational issues in social choice; people working in artificial intelligence and multiagent systems who are using ideas from social choice to organize societies of artificial software agents; logicians interested in the logic-based specification and analysis of social procedures; computer science theorists analyzing algorithmic properties of social phenomena; and last but not least people coming from social choice theory itself.
For more information, see http://home.agh.edu.pl/~faliszew/COMSOC-2012/.
Submissions of papers on all aspects of computational social choice are now invited. Deadline: 25 May 2012
22-25 May 2012, Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML 2012), St. Petersburg, Russia
The international interdisciplinary conference PhML 2012 is intended to provide a forum for presentation of current research, and to stimulate an interdisciplinary dialogue between mathematicians, logicians, philosophers, computer scientists and linguists. The conference will have plenary sessions to present the latest researches. Apart from plenary sessions, there will also be several sessions to present contributed papers at thematic sections. There will also be held a panel discussion about Kant's logic.
For more information, see http://www.pdmi.ras.ru/EIMI/2012/PhML/
23-25 May 2012, The Constructive in Logic and Applications, New York, U.S.A.
Constructivity is fundamental to the application of mathematics to the real world, whether in the exact sciences, the social sciences, or engineering. Constructive logics supporting this tradition have flourished over the last century. This conference is a celebration of the past and future of the constructive tradition.
This conference is in honor of the 60th birthday of the distinguished logician Sergei Artemov. He has made fundamental contributions exploring constructivity in logic, computer science, epistemology, game theory, and other areas. With this conference we honor his work, and by extension a subject whose content he has elucidated and whose boundaries he has expanded.
For more information, see http://fsw01.bcc.cuny.edu/evangelia.antonakos/file/ConstructivityAtCUNY.html
25-26 May 2012, International Workshop on The Logic and Culture of Lying, Regensburg, Germany
For more information, see http://www.ur.de/lying
25-26 May 2012, International Workshop on The Logic and Culture of Lying, Regensburg, Germany
For more information, see http://www.ur.de/lying
26-27 May 2012, 2012 Workshop on Computational Models of Narrative (CMN 2012), Istanbul, Turkey
Narratives are ubiquitous in human experience. We use them to communicate, convince, explain, and entertain. As far as we know, every society in the world has narratives, which suggests they are rooted in our psychology and serve an important cognitive function. It is becoming increasingly clear that, to truly understand and explain human intelligence, beliefs, and behaviors, we will have to understand why narrative is universal and explain (or explain away) the function it serves.
This meeting will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative. Moreover, the meeting will have a special focus on the identification, collection, and construction of shared resources and corpora that facilitate the computational modeling of narrative. Papers should focus on issues fundamental to computational modeling and scientific understanding, or issues related to building shared resources to advance the field.
For more information, see http://narrative.csail.mit.edu/ws12/
26-27 May 2012, 2012 Workshop on Computational Models of Narrative (CMN 2012), Istanbul, Turkey
Narratives are ubiquitous in human experience. We use them to communicate, convince, explain, and entertain. As far as we know, every society in the world has narratives, which suggests they are rooted in our psychology and serve an important cognitive function. It is becoming increasingly clear that, to truly understand and explain human intelligence, beliefs, and behaviors, we will have to understand why narrative is universal and explain (or explain away) the function it serves.
This meeting will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative. Moreover, the meeting will have a special focus on the identification, collection, and construction of shared resources and corpora that facilitate the computational modeling of narrative. Papers should focus on issues fundamental to computational modeling and scientific understanding, or issues related to building shared resources to advance the field.
For more information, see http://narrative.csail.mit.edu/ws12/
27-28 August 2012, 13th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIII), Montpellier, France
The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.
Following the previous, very successful, editions, the 13th CLIMA will be affiliated with ECAI 2012 and will take place in Montpellier, France, on the 27th and 28th of August 2012. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on Logics for Multi-Agent Programming and on Logics for Agreement Technologies
For more information, see http://www.csc.liv.ac.uk/~michael/clima2012.html
We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. Submission deadline: 28th May
27 or 28 August 2012, Workshop "Computational Creativity, Concept Invention, and General Intelligence 2012", Montpellier, France
The targeted audience for the workshop are researchers associated with the fields working in the development of computational models for creativity, concept formation, concept discovery, idea generation, and their overall relation and role to general intelligence. Furthermore, researchers coming from application areas, like computer-aided innovation (CAI) are welcome to submit papers for this workshop.
For more information, see http://www.cogsci.uos.de/~c3gi. This workshop is part of ECAI 2012.
We invite papers that make a scientific contribution to the fields of computational creativity, idea generation and/or artificial general intelligence, with possible topics ranging from theoretical studies of human creativity, inventive capacities and intelligence (that in some way propose a computational model for the respective capability), through more practical contributions reporting on creative, inventive or generally intelligent computer systems (we particularly welcome implementations offering general or at least multiple sorts of results) and studies of systems and software supporting and/or guiding humans in the creative or inventive act, to application-based reports from fields like design, architecture or arts. Submissions connecting to several of the aforementioned topics are highly encouraged and welcome. Paper submission deadline: 28th of May, 2012.
25-31 August 2012, International Conference and 2nd East-Asian School on Logic, Language, and Computation (EASLLC 2012), Southwest University, Chongqing, China
The International Conference will be held 25-26 August. The program will consist of a combination of invited talks and contributed talks based on papers submitted to the scientific committee of the event.
EASLLC'2012 will be held 27-31 August, and is a school for graduate students and postdoctoral scholars, similar in spirit to the annual ESSLLI summer schools in Europe and also to the Sino-European Summer School on Logic, Language, and Computation, which took place in Guangzhou, China in December 2010.
The program of EASLLC 2012 will consist of nine courses in three different tracks: logic, language, and computation. The program will also feature one plenary evening talk for a wider audience given by one of the lecturers of the School. There will be student sessions in the late afternoon/early evening of some days of the School in which students will give short presentations of work in progress. In addition, a mentoring program is being planned. Selected students will be assigned one of the lecturers as mentor for informal interaction and discussions on research and career goals during the School.
For more information, see http://home.hib.no/prosjekter/easllc2012/
29-30 May 2012, Modality and Modalities, Copenhagen, Denmark
"Modality and Modalities" will be a two day event on all things Modal Logical. This event will be held on Tuesday, 29th May and Wednesday, 30th May at the University of Copenhagen
Our keynote speakers are: Max Cresswell, Adriane Rini, and Krister Segerberg. Special Tutorial Presentation by Valentin Goranko
For more information, see http://modalityandmodalities.weebly.com/. All are welcome to attend, and attendance is free. But please: email us at cadillacdk at gmail.com if you plan on attending, so that we know how many guests to expect.
29 May - 1 June 2012, Workshop "Core Knowledge, Language and Culture", Lorentz Center, Leiden, the Netherlands
This workshop will address the relation between core knowledge, language, music, and culture, with a view to assessing the current understanding of these questions for a theory of the mind/brain. We hope that the participants – scholars from fields as diverse as psychology, linguistics, neurobiology, neurolinguistics, music cognition, and cognitive anthropology – will contribute to defining a research program that may address both new and as yet unresolved research questions in this area.
For more information, see http://musiccognition.blogspot.com/2012/05/ or http://www.lorentzcenter.nl/lc/web/2012/493/info.php3?wsid=493.
29-30 May 2012, Modality and Modalities, Copenhagen, Denmark
"Modality and Modalities" will be a two day event on all things Modal Logical. This event will be held on Tuesday, 29th May and Wednesday, 30th May at the University of Copenhagen
Our keynote speakers are: Max Cresswell, Adriane Rini, and Krister Segerberg. Special Tutorial Presentation by Valentin Goranko
For more information, see http://modalityandmodalities.weebly.com/. All are welcome to attend, and attendance is free. But please: email us at cadillacdk at gmail.com if you plan on attending, so that we know how many guests to expect.
29 May - 1 June 2012, Workshop "Core Knowledge, Language and Culture", Lorentz Center, Leiden, the Netherlands
This workshop will address the relation between core knowledge, language, music, and culture, with a view to assessing the current understanding of these questions for a theory of the mind/brain. We hope that the participants – scholars from fields as diverse as psychology, linguistics, neurobiology, neurolinguistics, music cognition, and cognitive anthropology – will contribute to defining a research program that may address both new and as yet unresolved research questions in this area.
For more information, see http://musiccognition.blogspot.com/2012/05/ or http://www.lorentzcenter.nl/lc/web/2012/493/info.php3?wsid=493.
30 May - 1 June 2012, The First Annual Conference on Complexity and Human Experience (Human Complexity 2012): Modeling Complexity in the Humanities and Social Sciences, Charlotte NC, U.S.A.
The University of North Carolina will inaugurate an annual conference series, beginning in 2012, dedicated to complexity theory, with particular application to understanding the intricacies of human experience across all domains. The goal of the series is to provide a trans-disciplinary venue for scholars from the humanities and the social sciences, as well as some aspects of the natural sciences (such as neuroscience, pharmacology, etc.). Since matters of life and death pertain to human experience in profound and important ways, the conference hopes to attract representatives from the allied health sciences as well.
The conference series will be dedicated to a particular topic each year. The topic for our first conference will be: *Modeling Complexity in the Humanities and Social Sciences.*
For more information, see http://sites.google.com/site/humancomplexity2012/
13-15 September 2012, Salzburg Conference for Young Analytic Philosophy (SOPhiA 2012), Salzburg, Austria
The organizers aim to provide the opportunity for students and doctoral candidates of Philosophy to get in touch with other prospective or well established philosophers, take a first peek into the philosophical business, or simply to attend interesting presentations. Beside the conference presentations there will be two symposia, one on "causality" and one on analytic philosophy of religion.
For more information, see http://www.sophia-conference.org/
Students and doctoral candidates (pre-doc) of philosophy are hereby encouraged to submit an abstract suitable for a presentation. Contributions in every discipline of philosophy (epistemology, ethics, logic, metaphysics, philosophy of religion etc.) are welcome. As customary in analytic philosophy, contributors should make use of understandable language as well as rational argumentation. Deadline: May 31 2012.
29 May - 1 June 2012, Workshop "Core Knowledge, Language and Culture", Lorentz Center, Leiden, the Netherlands
This workshop will address the relation between core knowledge, language, music, and culture, with a view to assessing the current understanding of these questions for a theory of the mind/brain. We hope that the participants – scholars from fields as diverse as psychology, linguistics, neurobiology, neurolinguistics, music cognition, and cognitive anthropology – will contribute to defining a research program that may address both new and as yet unresolved research questions in this area.
For more information, see http://musiccognition.blogspot.com/2012/05/ or http://www.lorentzcenter.nl/lc/web/2012/493/info.php3?wsid=493.
30 May - 1 June 2012, The First Annual Conference on Complexity and Human Experience (Human Complexity 2012): Modeling Complexity in the Humanities and Social Sciences, Charlotte NC, U.S.A.
The University of North Carolina will inaugurate an annual conference series, beginning in 2012, dedicated to complexity theory, with particular application to understanding the intricacies of human experience across all domains. The goal of the series is to provide a trans-disciplinary venue for scholars from the humanities and the social sciences, as well as some aspects of the natural sciences (such as neuroscience, pharmacology, etc.). Since matters of life and death pertain to human experience in profound and important ways, the conference hopes to attract representatives from the allied health sciences as well.
The conference series will be dedicated to a particular topic each year. The topic for our first conference will be: *Modeling Complexity in the Humanities and Social Sciences.*
For more information, see http://sites.google.com/site/humancomplexity2012/