News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 14 April 2014). 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.
Items which are new or have been updated within the last week are marked "(New)" or "(Updated)".
Headlines Calls for Papers
Headlines Upcoming Conferences
Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.
PRUV 2014 is the first Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness. The aim of PRUV is to make researchers aware of and fruitfully discuss the most recent application areas, new challenges and the existing body of work on logics for reasoning about preferences, uncertainty, and vagueness, and to bring together people from different communities (such as the Artificial Intelligence and the Semantic Web community, among others), including theorists and practitioners, that are working on these topics.
PRUV 2014 is associated with the Vienna Summer of Logic, a major event hosting logic conferences and workshops. In particular, PRUV will be hosted by FLoC and associated to IJCAR.
PRUV welcomes submissions relating logic with preferences, uncertainty and vagueness. We accept submissions of papers and results previously published in other major conferences and journals. Paper submission deadline: April 20, 2014.
For more information, see http://vsl2014.at/pruv/
Hypothetical reasoning or reasoning under assumptions is a key concept of logic, philosophy of science and mathematics. This conference focusses on its logical aspects.
This conference is organised as part of the French-German ANR-DFG project HYPOTHESES, In conjunction with ESSLLI 2014.
We invite contributed talks on any of the conference topics. Contributions on related topics are welcome, too. We especially encourage young researchers, including students, to contribute. There will be 12 slots for contributed talks (30 min) and 5 slots for shorter presentations. The deadline for submission is 22 April 2014.
For more information, see http://ls.informatik.uni-tuebingen.de/hypo/
Semantic Technologies encode meanings explicitly and independent from concrete formats and application logic. This enables machines and people likewise to understand, share, and reason over semantically represented data during retrieval and processing time. In the light of the W3C’s vision of a Web of linked data, Semantic Technologies are substantial constituents for the creation of data stores, the building of vocabularies for various domains, and the specification of rules for handling data.
The application of Semantic Technologies is currently being investigated in various fields. The AST 2014 workshop will bring together researchers and practitioners who work on applications of Semantic Technologies in order to foster cross-fertilisation between application areas and aid technology transfer from foundational research into practice. The workshop will provide an open and stimulating environment that brings together researchers, practitioners and users from various fields to discuss goals, limitations and real experiences related to the application and deployment of semantic technologies.
We invite you to submit original research, case studies, in-use, or position papers in English language of up to 12 pages. We also encourage you to submit demonstration papers, which will be given special attention in a separate slot (max. 8 pages). Submission deadline: April 22, 2014
The scope of SLS 2014 is broad, ranging over the whole areas of Mathematical and Philosophical Logic, as well as Logical Methods in Computer Science, Artificial Intelligence, Linguistics, etc. As with previous editions, the primary aims of the Symposium are to reflect the current activities in logic in the Nordic countries and to provide a local meeting forum for their logical communities, broadly conceived. Besides, it invites and warmly welcomes participation of logicians from all over the world.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline: April 25, 2014
Confirmed keynote speakers: Kit Fine (New York), Øystein Linnebo (Birbeck), David McCarty (Indiana) and Gabriel Sandu (Helsinki).
We are looking for high-quality contributions on logic and philosophy of logic. Presentations will be 30 minutes, followed by 15 minutes for discussion. Deadline for submission is April 25th, 2014.
Euler diagrams represent relationships between sets, including intersection, containment, and disjointness. These diagrams have become the foundations of various visual languages and have notably facilitated the modelling of, and logical reasoning about, complex systems. This workshop of peer-reviewed submissions will afford the growing Euler diagrams community the opportunity to present and discuss new research, and share multi-interdisciplinary expertise. We envisage that this will stimulate collaborations on current and future research needs.
We solicit submissions on any of the conference topics, both full papers (consisting of original research or surveys) and short paperse (consisting of systems descriptions, software demonstrations, position statements or original research contributions). Paper submission deadline: April 28th (abstracts April 21st).
The ARQNL workshop aims at fostering the development of proof calculi, ATP systems and model finders for all sorts of quantified non-classical logics. The workshop will provide a forum for researchers to present and discuss recent developments in this area. In particular, we are interested in all sorts of applications and problem formalizations that use a quantified non-classical logic. A particular emphasis of the first edition of the ARQNL workshop will be on quantified modal logics.
We welcome contributions from computer scientists, linguists, philosophers, and mathematicians. These contributions may range from theory to system descriptions and implementations; they may also outline relevant applications and describe example problems and benchmarks. Research papers (up to 15 pages), short papers, talk abstracts, and system demonstrations (up to 5 pages) are solicited. The submission deadline is April 28th.
For further information see the workshop web page at http://vsl2014.at/arqnl/.
Describing intelligent agents with the help of cognitive and social notions is now well established in the domain of artificial intelligence. In the recent years, concepts such as trust, reputation, delegation, commitment and convention have been proposed in order to describe how artificial agents interact in an artificial society or in a virtual organization. This workshop aimed at discussing formal theories and logics of information dynamics - including formal theories and logics of belief and preference change, learning theory, social choice theory and judgement aggregation - in order to better understand how information circulates in an artificial society, and how it influences the individual and collective cognitive attitudes.
The workshop is an event of ESSLLI-14 and will take place on August 18-22 2014, Tubingen, Germany. It will form part of the coordination activities of SINTELNET, the European Network for Social intelligence (FP7-286370), within the Working Group co-chaired by Emiliano Lorini.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is April 30, 2014.
For more information, see http://www.irit.fr/~Laurent.Perrussel/idas-14/
KI 2014 is the 37th edition of the German Conference on Artificial Intelligence, which traditionally brings together academic and industrial researchers from all areas of AI, providing a premier forum for exchanging news and research results on theory and applications of intelligent system technology. The technical program of KI 2014 will comprise paper and poster presentations and a variety of workshops and tutorials. KI 2014 will be co-located with Informatik 2014 (Annual Conference of the German Informatics Society) and MATES 2014 (The 12th German Conference on Multi- Agent System Technologies).
The conference invites original research papers from all areas of AI, its fundamentals, its algorithms, its history and its applications. We especially welcome application papers that provide novel insights on the interplay of AI and the real world, as well as papers that bring useful computational technologies from other areas of computer science into AI. Paper submission deadline: May 1st.
Despite its austere appearance, formal logic can often be viewed through the lens of game theory, whereby various logical concepts -- validity, consequence, provability, satisfiability, (in)dependence, possibility, etc. -- become animated as games. Going in the other direction, one can start with games and find logics, and various logical concepts, therein. The idea of viewing logics as games, and vice versa, is by no means new, but it has enjoyed a certain renaissance in recent years. The workshop is intended to serve as a magnet to attract the latest research in the spirit of connecting logic to games.
Logic and Games will be a one-day event consisting of three invited 60-minute talks, together with selected shorter contributed talks. Invited speakers: Gabriel Sandu (Helsinki), Ondrej Majer (Prague) and Kazushige Terui (Kyoto).
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is May 1st.
The extraction of computational content from proofs has a long tradition in logic, but usually depends on a concrete encoding that allows us to turn proofs into algorithms. A recent trend in this field is the departure from such encoding which not only makes it simpler to represent the mathematical content, but also makes the extracted computational content encoding independent. This shift in focus allows us to focus on what is relevant: the computational aspects of proofs and the specification (not representation) of the structures involved. We now have growing evidence that this move from representations (e.g. the signed digit representation of the reals) to axioms (e.g. of the real numbers) is possible. This development largely parallels the step from assembler to high level languages in programming. As a by-product this move has already opened up the possibility to gain computational information from axiomatic proofs in more abstract and genuinely structural areas of mathematics such as algebra and topology.
We welcome 1-2-page abstracts presenting (finished, ongoing, or if clearly stated even published) work on proof, structure, and computation. Submission deadline is 1 May 2014.
LCC 2014/ImmermanFest will be held in Vienna, Austria, on July 12-13, 2014, as an affiliated meeting of the Vienna Summer of Logic. The program will consist of a first day (July 12th) of talks which include both invited lectures and contributed talks selected by the program committee (based on submitted abstracts), and a second day (July 13th) devoted entirely to invited talks in celebration of Neil Immerman's 60th birthday.
LCC meetings are aimed at the foundational interconnections between logic and computational complexity, to which Neil Immerman has made numerous fundamental and inspiring contributions. In particular, he has been one of the leading figures in the development of descriptive complexity, which has elucidated intimate and beautiful connections between complexity theory and finite model theory. This year, day two of LCC 2014 will honor Neil's 60th birthday with a series of invited lectures by some of the leading researchers working in areas that have been influenced by Neil's work.
We welcome submissions of abstracts, including submissions based on work submitted or published elsewhere, provided that all pertinent information is disclosed at submission time. Abstract submission deadline: May 2nd, 2014
For more information, see http://www.cs.swansea.ac.uk/lcc2014/
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.
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 10th, 2014.
Please visit the conference website http://gandalf2014.di.univr.it for more information.
XVI SLALM will include four tutorial courses in Model Theory, Computability Theory, Set Theory and Non-classical Logic. About a hundred researchers and students from Latin-America and other continents will participate in the meeting. The Symposium has the scientific sponsorship of the Association for Symbolic Logic.
Contributed presentations can be submitted in one of the four parallel sessions: Model Theory, Computability Theory, Set Theory and Non-classical Logic. Abstract submission deadline: May 10th, 2014.
For more information, see the conference web site at http://www-2.dc.uba.ar/congresos/slalm2014/
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 fourteen, very successful, editions, the 15th CLIMA will take place in Prague, Czech Repulblic, on the 18th and 19th of August 2014. It will be co-located with ECAI’14. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on 'Logics for Games, Strategic Reasoning, and Social Choice' and on 'Logics for Agreement Technologies'.
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. Submissions will be peer-reviewed by at least three PC members. Submission deadline is May 11th.
For more information, see http://www-sop.inria.fr/members/Serena.Villata/climaXV.html
Strategic reasoning occurs in many multi-agent scenarios. This is evident in theoretical approaches to MAS, as well as in practical solutions used, for example, in computer games, IT infrastructures for e-voting procedures, social network services, etc. This special session at CLIMA XV (Computational Logic in Multi-Agent Systems) addresses the question how formal logic can contribute to our understanding, modeling and analysis of strategic behavior, and investigates how the metaphors of game and social interaction can help in constructing and using logical formalisms.
We encourage submission of high quality, original papers which have not been accepted for publication nor are currently under review for another journal or conference. Submissions should not exceed 16 pages in the Springer LNCS format. Note that, while theoretical papers are welcome, submissions must include at least some illustrating examples. Submission deadline: May 11, 2014
For more information, see http://www-sop.inria.fr/members/Serena.Villata/climaXVsessions.html or contact the organizer, Wojtek Jamroga (University of Luxembourg), at wojtek.jamrogauni.lu. For general information on CLIMA XI, see http://centria.di.fct.unl.pt/events/climaXIV/ or contact clima2014easychair.org .
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML-2014 is the tenth conference in the series.
Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. Authors are also invited to submit short presentations, intended for presentation at the conference but not for the published proceedings. Submission deadline is 14 March 2014 (12 May 2014 for short presentations).
For more information, see http://www.philos.rug.nl/AiML2014/
The 7th European Starting AI Researcher Symposium will be held as a satellite event of ECAI-2014, the 21st European Conference in Artificial Intelligence, in Prague in August 2014.
STAIRS is aimed at young researchers in Europe and beyond, particularly PhD students, but also advanced Master's students and postdoctoral researchers holding a PhD for less than one year at the time of the paper submission deadline. STAIRS offers opportunities to gain experience with submitting to and presenting at an international event with a broad scientific scope.
We welcome submissions in all areas of AI, ranging from foundations to applications. Accepted papers will be presented either orally or in a poster session. The paper submission deadline is 15 May 2014.
For more information, see http://www.ecai2014.org/stairs/.
This workshop is the sixth in an annual series of workshops in philosophy of mathematics organized by a team of scholars from France and abroad. The forthcoming workshop will be held at the Institut de Mathématiques de Toulouse (France). It will consist, as the previous workshops, in a three-day meeting, and feature both invited and contributed talks: 4 invited talks and 6 contributed talks.
Submissions of papers in any topic of philosophy of mathematics are welcome. The languages of the workshop are French and English. The deadline for submission is May 15, 2014. The Scientific Committee (see below) will evaluate each submission and notifies acceptance by July 1, 2014.
Each talk should be no longer than 45 minutes, and will be followed by a 30 minutes discussion. Each submission should be no more than 15,000 characters, and formatted in Word, RTF or PDF. It should be sent to both brice.halimiu-paris10.fr and sebastien.maronnemath.univ-toulouse.fr. Receipt of submissions will be acknowledged by email.
Younger scholars and graduate students working on their dissertations are particularly encouraged to submit, as the workshop wll provide them with an opportunity to discuss their work with internationally renowned experts in the field.
The program of last year's workshop is available at: http://phier.univ-bpclermont.fr/article76.html
SemDial 2014 (DialWatt) will be the 18th edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2014 the workshop will be hosted by the Interaction Lab, Heriot-Watt University, Edinburgh. It will be collocated with Ro-Man (The 23rd IEEE Symposium on Robot and Human Interactive Communication) and the world-famous Edinburgh festival.
Paper submissions are invited on all topics related to the semantics and pragmatics of dialogue. The deadline is the 16th of May 2014.
For more information, see http://www.macs.hw.ac.uk/InteractionLab/Semdial/
The aim of JELIA-2014 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.
Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence. Deadline: 19 May 2014.
For more information, see http://www.uma.pt/jelia2014/.
The traditional notion of mathematical proof faces in the 21st century what we will call "the computer challenge". Three different aspects are worth separating. 'Proof search' has its known limitations due to undecidability and complexity results. However, special areas, such as semigroup theory, already enjoy considerable support from computer-generated proofs. 'Proof check' is recently the 'hottest' area, in no small part due to the attempt to formally verify the proof of the Kepler conjecture by its author Hales. 'Proof representation' seems currently be the stumbling block for convincing the mathematical community to accept computer-aided theorem proving as a viable complement to everyday mathematical research.
For our workshop we solicit contributions for discussions about the current state-of-the-art of automated theorem proving (ATP), approaching the topic from the mathematical (or even philosophical) side, as well as from computer science.
In addition to standard scientific/philosophical papers, descriptions and demonstrations of computer systems that bear on these issues are also welcome. Submission deadline is May 20.
For more information, see the workshop homepage at http://cicm-conference.org/2014/cicm.php?event=nop.
The International Workshop on Defeasible and Ampliative Reasoning (DARe), held in conjunction with ECAI 2014 in Prague, Czech Republic, aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss the defeasible and ampliative aspects of reasoning in a multi-disciplinary forum.
The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community.
DARe welcomes contributions on all aspects of defeasible and ampliative reasoning. We invite submissions of papers presenting original research results or position statements. Submission deadline: 25 May 2014
Aristotle is the founder of modal logic. His system of modal syllogisms has been studied for many centuries, with less than successful results. In 1955, Jan Lukasiewicz declared that "in contrast to the assertoric syllogistic which is perfectly clear and nearly free of errors, Aristotle's modal syllogistic is almost incomprehensible because of its many faults and inconsistencies". Some scholars have been trying to resist this pessimistic judgement and to articulate interpretations of the modal syllogistic that are, at the same time, logically consistent and plausible on exegetical grounds. This workshop wants to provide a forum for discussion and to reflect, via the contributed talks and informal discussions, the state of art of the subject.
We invite submissions of long abstracts or short papers on any aspect of the modal syllogistic. The time slot is 80 minutes (50' talk + 30' discussion). We aim at accepting five contributed papers. Submission deadline: May 31, 2014.
For more information, see http://www.lancog.com/modalsyllogistics.html
Recent debates about semantic content have called into question traditional accounts and have renewed interest in unorthodox approaches, in particular approaches that operate with semantic contents that do not have absolute truth-values. These novel approaches to semantic content challenge the simple models of communication and information transfer that have traditionally been assumed. They also raise independently interesting questions about linguistic communication.
The project 'Semantic Content and Conversational Dynamics' organizes an international workshop on topics relevant to these issues. Invited speakers include Frank Veltman.
Contributions are invited. There will be space for up to 8 contributed papers. Submission deadline: 31st of May 2014.
For more information, see http://semcon.wordpress.com/workshop-2/.
This is the fourth of a biennially organized conference that brings together scholars and historians interested in the comparative history of the humanities (philology, art history, historiography, linguistics, logic, literary studies, musicology, theatre studies, media studies, a.o.). Although histories of single humanities disciplines already exist for a long time, the history of the humanities as a whole has only very recently been investigated, and the first monographs have just appeared.
We welcome papers on any aspect of the history of humanities, but we especially encourage submissions on the conference theme Connecting Disciplines. Deadline for abstract submissions: 1 June 2014
For more information, see http://makingofthehumanities.blogspot.nl/
The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world. There will be about 50 courses at introductory and advanced levels, as well as workshops, invited lectures and a student session to foster interdisciplinary discussion of current research.
Proposals for courses and workshops at ESSLLI'2015 are invited in all areas of Logic, Linguistics and Computing Sciences. Cross-disciplinary and innovative topics are particularly encouraged. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposal submission deadline: 1 June 2014.
The cognitive diversity of agents has been a recurrent topic of contemporary investigations in the fields of artificial intelligence, information science, psychology, linguistics, neurosciences and logic, opening new horizons for logical inquiry that focuses on the in-depth analysis of rational agency. Today it is a novel challenge and a cross point for various lines of research including the study of formal theories, informal philosophical and logical approaches as well as that of their wider application. We encourage the discussions related to the logical aspects of the diversity of agents.
The Programme Committee invites submissions centered on the following topics:
-Logic and Pragmatics of Speech Communication
-Logical Models of Agents' Interaction
-Action Analysis: Game-Theoretic, Model-Theoretic and Dynamic approaches
-Epistemic and Dynamic Epistemic Logics
-Logical Theory of Rational Choice and Free Will
-Game Theory and Game-Theoretical Semantics in the Studies of Agency
-Modality and Time
-Formal Semantics for Modelling Rational Agents' Behavior
-Historical Issues in the Logical Theory of Agency
Deadline for submission of short abstracts (up to 500 words): 1 June 2014. After the first selection round, a second selection round will take place based on reviews of full papers (12 pages).
For more information, see http://ocs.philosophy.spbu.ru/index.php/LARA/
In the past two decades, agent-based models (ABMs) have become ubiquitous in philosophy and various sciences. In contrast with classical economic models or population-level models in biology, ABMs are praised for their lack of assumptions and their flexibility. Nonetheless, many of the methodological and epistemological questions raised by ABMs have yet to be fully articulated and answered. This conference aims to bring together an interdisciplinary group of researchers aimed at understanding the foundations of agent-based modeling and how the practice can inform and be informed by philosophy.
We invite submissions of extended abstracts of 750-1000 words for contributed talks by 1 June 2014.
For more information, see http://www.lmu.de/abmp2014
The conference brings together researchers from various fields of logic with applications in computer science. Student sessions will be organized.
The first conference Proof Systems was held in Dubrovnik on June 28, 2012, co-located with the conference LICS 2012. LAP 2013 was held in Dubrovnik, September 16-20, 2013.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstract Submission deadline: June 2, 2014.
For more information, see http://imft.ftn.uns.ac.rs/math/cms/LAP2014
The Colloquium Logicum is organized every two years by the DVMLG, the German association of logicians in mathematics, philosophy and theoretical computer science. In 2014 the conference will take place in Munich at the Universität der Bundeswehr München, Neubiberg. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences, in particular, logic in philosophy, computer science and artificial intelligence.
Besides the regular scientific programme it is planned to include a PhD Colloquium with invited presentations of excellent recent PhD graduates.
The programme committee invites the submission of abstracts of papers of all fields of research covered by the DVMLG: mathematical logic and the foundations of the exact sciences (including logic in philosophy, computer science and artificial intelligence). The submission deadline is Monday, June 16, 2014.
For more information, see the web page at http://cca-net.de/cl2014/
There is a distinct community in theoretical computer science, which studies logic, games and automata. Results produced by this community are dispersed across many conferences, which makes them difficult to follow, and the community rarely gathers. Also, since conferences are mainly used for publication, there are few incentives to make good talks. A new conference: Highlights of Logic, Games and Automata, aims to provide a solution to this problem.
A visit to this conference gives you a wide picture of the latest research in the area. Also, a chance to meet everybody in the field, not just those who happen to publish in one particular proceedings volume. We intend to achieve this popularity by having no proceedings, a short and cheap event, and building on the tradition of the similar proceedings-free GAMES workshop.
The conference has no published proceedings. Participants are invited to present their best work, be it published elsewhere or yet unpublished. The conference is three days long. The contributed talks are around ten minutes. Submission deadline TBA.
For more information, see http://highlights-conference.org/
The Balkan Journal of Philosophy is pleased to announce the topic of the 2015 issue: 'Facets of Rationality: Reasoning, Communication and Decision making'.
"Human actions in all their appearances are evaluated and assessed as rational or irrational. Subject to evaluation are everyday thinking and decision-making, scientific research, economic and political behavior, even love-affaires and sport competitions, as well as communication and speech acts of all kinds. Rationality is a normative concept in the sense that it is supposed to provide a standard or criteria to evaluate a piece of reasoning or an instance of decision-making. Why is this important? Using these criteria we are able to evaluate, control and regulate our own and others actions, thinking and decision-making".
You are kindly invited to submit a paper on any of these topics. Papers should be between 6000 and 8000 words. The deadline for receiving manuscripts is the end of November 2014 but earlier submissions would be appreciated. This special issue will appear in 2015.
For more information, see http://www.issk-bas.org/BJP/call_for_papers.htm
The great tradition of international congresses of LMPS, under the auspices of the Division of Logic, Methodology and Philosophy of Science, was started in 1960 at Stanford University. Every four years these meetings bring together logicians and philosophers of science from all over the world to present and discuss their current work.
The programme covers all systematic and historical aspects of formal logic, general philosophy of science, and philosophical issues of special sciences. The theme of the 15th Congress is "Models and Modelling". A special feature of the LMPS in 2015 is the co-location of the Logic Colloquium, the European Summer Meeting of the Association for Symbolic Logic (ASL), in Helsinki, which allows the participants also to enjoy a rich supply of lectures in mathematical logic.
CLMPS 2015 calls for Contributed Papers, Contributed Symposia, and Affiliated Meetings. Submission deadline: 30 November 2014.
For more information, see http://www.helsinki.fi/clmps
Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.
The London Mathematical Society Lecture series given by Jouko Vaananen will take place in London and Norwich April 14-17. There will be a series of 10 lectures on the following topics:
1. Games, Trees and Models.
2. Second Order Logic and Foundations of Mathematics.
3. The Mathematical Theory of Dependence and Independence.
There will also be supporting lectures by Samson Abramsky (Oxford), Joan Bagaria (Barcelona), Mirna Dzamonja (UEA), Pietro Galliani (Clausthal), Dan Isaacson (Oxford) and Philip Welch (Bristol). The series is organized by Mirna Dzamonja and will take place at UEA/London and UEA/Norwich. First 3 lectures on Monday are in London starting 12:30.
For further information see: http://www.uea.ac.uk/~h020/Jouko.html.
The conference PhML-2014 is a sequel in the series of conferences intended to provide a forum for philosophers, mathematicians, linguists, logicians, and computer scientists who share an interest in cross-disciplinary research. The scientific program of PhML-2014 will include plenary sessions, thematic sessions to present contributed papers and Panel Discussion "Understanding complexity in cross-disciplinary research". Papers will be given in English.
For further practical information, see: http://www.pdmi.ras.ru/EIMI/2014/PhML/.
'PhDs in Logic' is a graduate conference organized by local graduate students. Its aim is to bring together PhD candidates and researchers as well as to foster contact between graduate students. Earlier editions of the event took place in Ghent (2009, 2012), Tilburg (2010), Brussels (2011) and Munich (2013).
Following the previous meetings, the academic setup of the conference consists of two main parts:
(i) Four established researchers in logic will each give two 45-minute tutorial sessions on a relevant topic in logic;
(ii) About 15 PhD candidates will give 20-minute presentations on their work.
There will also be opportunities for informal gatherings, including a conference dinner.
The Third International Conference on the History of Logic in China will take place on 26-28 April, 2014, Tianjin. Besides the general academic exchange, one of the main purposes of this conference is to advance our larger project, the production of the Handbook of Logical Thought in China, to be published by Springer-Verlag both online and in print in a few years. Many of the presentations will be of material aimed at chapters of the Handbook, for discussion and comment among experts both mainland China and outside.
For more information, see http://holicnet.net/?page_id=324
Since 1994, the RelMiCS meetings on Relational Methods in Computer Science have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. The AKA workshop series on Applications of Kleene algebra started with a Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference until 2009. Since 2011, joint RAMiCS conferences continue to encompass the scope of both RelMiCS and AKA.
The conference will be accompanied by a PhD training program. Details will be published in due time in a special call and on the conference website.
For more information, see http://mathcs.chapman.edu/ramics2014
The 3rd Lund Conference on 'Games, Interaction, Reasoning, Learning and Semantics' (GIRLS14@LUND) welcomes researchers in philosophy, cognitive science, economics & linguistics, using agent based models with bounded rationality, models of evolutionary dynamics, and other naturalistic approaches. The primary conference aims are to foster cooperation between these groups and help establish common ground. G.I.R.L.S.14@LUND will be themed around Evolution and Cooperation.
For more information, see the GIRLS14@LUND website at http://girls.loriweb.org/.
The Department of Philosophy, History, Culture and Arts Studies at the University of Helsinki is holding a Colloquium on " Issues in Aristotle's modal ontology, logic, and moral epistemology". The colloquium is open to all interested in Aristotle's philosophy and these issues in general.
For more information, see http://helsinginyliopisto.etapahtuma.fi/Default.aspx?tabid=310&id=8921 or contact the organizer Mika Perälä (mika.peralahelsinki.fi).
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: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the 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.
For more information, see http://aamas2014.lip6.fr/
There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop is a satellite workshop of AAMAS 2014 that serves the community as a platform for presentation, exchange, and publication of ideas.
For more information, see http://lamas2014.in.tu-clausthal.de
The principal aim of this workshop series is to provide a consistent and high-quality forum for sharing new ideas and developments in trust within the context of agent societies and socio-technical systems in general. The 17th edition of this international workshop will be co-located with AAMAS 2014, the 13th International Conference on Autonomous Agents and Multiagent Systems to be held in Paris, France, 5-9 May 2014.
For more information, see https://sites.google.com/site/trustworkshop/trust2014
MS6 is the latest in a series of international conferences to explore philosophical issues arising from the construction and use of models and computer simulations in the natural and social sciences, after meetings in Paris, Tilburg, Charlottesville, Toronto, and Helsinki.
Plenary speakers are William Bechtel (California), Philip Mirowski (Notre Dame) and Andrea Woody (Washington).
Rosemarie Rheinwald died, all too early, five years ago at the age of 60. She was a professor at the philosophy department of the Universtity of Münster and worked mainly in the fields of philosophy of science, philosophy of language, and logics. Her publications were not large in number, but deep in thought. Her very original and excellent work does not yet seem to have the repercussions it deserves.The convenors wish to help changing this a little bit and honour Rosemarie Rheinwald by discussing some of the main topics she worked on, and relating their own philosophical work to her thoughts and results.
To register, please send an email at your earliest convenience, preferably before April 30, to Claudia.guestrauuni-muenster.de. For more information, see https://www.uni-muenster.de/imperia/md/content/philosophischesseminar/ (PDF). or contact the local organizer at ulrich.krohsuni-muenster.de.
Purpose of this course: The EpiCenter, our research center on Epistemic Game Theory at Maastricht University, offers this two-week intensive course as an introduction to the blooming field of Epistemic Game Theory. This field studies how people reason in game theoretic situations before they eventually make a choice.
This course is primarily meant for master students and PhD students in the Netherlands and abroad. But researchers are also very welcome.
For more information, see http://www.epicenter.name/course
The aims of the "Young Set Theory Workshops" are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.
YSTW will keep its typical framework: tutorials and invited lectures during morning sessions; afternoons reserved mainly for free discussions in small groups. The following mathematicians will give mini-courses: Piotr Koszmider, Lajos Soukup, Simon Thomas and Jindrich Zapletal. The invited speakers are: David Chodounsky, Aleksandra Kwiatkowska, Philipp Luecke, Nam Trang and Konstantinos Tyros.
For more information, see http://bcc.impan.pl/14Young/
The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.
PCC 2014 is organised as a satellite event of TYPES 2014. Registration for PCC 2014 will be through the TYPES 2014 site, with details to be announced later on. The workshop is scheduled for the full day of Friday, May 16. The participants are encouraged to attend the Thursday sessions of TYPES 2014. If the number and quality of submissions justifies this, then PCC 2014 will start in the afternoon of Thursday, May 15. This will be known by the notification date.
For more information, see http://www.irit.fr/PCC2014/
The aim of this workshop is to bring together experts in algebra, coalgebra, and proof theory to share ideas and methods. Everybody is welcome to attend the workshop. Giving a talk is by invitation only. This is the fifth issue of this workshop. Previous meetings were held in London, Bern, Prague and Utrecht. This meeting is partially sponsored by the British Logic Colloquium.
Invited Speakers include Samson Abramsky, Michael Rathjen, Sara Negri, Corina Cirstea, Marcelo Fiore and Bart Jacobs. Plus 13 contributed talks.
More details can be found on the workshop webpage: http://www.eecs.qmul.ac.uk/~pbo/workshops/ALCOP2014.html There is no registration fee for attending the workshop, but we need to keep track of numbers. Therefore, if you would like to attend the workshop please register by sending an email to the organisers Mehrnoosh Sadrzadeh and Paulo Oliva. Please also indicate whether you plan to join us for the workshop dinner in the evening of 15 May.
Date and time: 16 May 2014, 09:00-16:45Location: Vergaderruimte Utrecht, Pieterskerkhof 23, Utrecht, The Netherlands
The Dutch Asssociation for Theoretical Computer Science (NVTI) supports the study of theoretical computer science and its applications. One of the main activities of the NVTI is the organization of the yearly Theoryday. This event consists of a scientific part and a business part. In the business part, members of the NVTI discuss the activities of the NVTI and decide what actions and new activities should be undertaken. The scientific part consists of four scientific contributions which are organized as follows: Four speakers are invited, two speakers from abroad and two domestic speakers.
This year, the talks will be by the following speakers: Erika Abraham (RWTH Aachen University, Germany), Marieke Huisman (University of Twente), Elena Marchiori (Radboud University, Nijmegen) and Peter Bro Miltersen (Aarhus University, Denmark).
For more information, see http://www.nvti.nl/Theorydays.html
This combined summer school and workshop aims to take stock of the abstractionist programme after three decades of intensive philosophical and technical study, as well as to make progress on some questions that have recently received much attention, such as the metaontology of abstraction and the variety of responses to the bad company problem, including the possibility of a more 'dynamic' approach to abstraction (recently advocated by Øystein Linnebo, James Studd, and others), which sees abstraction as a process whereby ever greater domains of abstracta are 'generated'.
Speaker: Dale Jacquette (Bern), Wim Veldman (Nijmegen)
The concept of object is one of the most general concepts in philosophy. On the one hand, we may be interested in the general question of what it is to be an object. On the other hand, we face the problem of delineating the criteria of objecthood in connection with specialized topics, giving rise to specific questions on what it is to be an object of a certain kind (such as concrete, abstract, indeterminate, mathematical, etc.). Accepting or refusing things of a certain kind as legitimate objects (of that particular kind) when developing a scientific theory or a philosophical position is likely to have important general repercussions.
In our workshop we wish to investigate the notion of object, both generally and in relation to particular fields of research. The emphasis is on the grounds and consequences of specific views on objects.
For more information, see http://evenements.univ-lille3.fr/oak/ or contact ronzittigmail.com or tero.tulenheimouniv-lille3.fr (for information concerning the workshop) or matthieu.gallaisuniv-lille3.fr (for practical information).
In the year 2014, Peter Koepke and Philip Welch are celebrating their 60th birthdays, and we wish to celebrate this festive occasion with a scientific workshop in their honour. Peter has been a professor at the University of Bonn for many years; Philip was a Mercator professor in Bonn during the academic year 2002/03. The workshop speakers are students, collaborators, colleagues and friends of Peter and Philip whose research was influenced by them.
For more information, see http://www.hcm.uni-bonn.de/events/eventpages/2014/ or contact schlichtmath.uni-bonn.de
The aim of this conference is to bring together students and researchers from around the world in the field of Ramsey Theory. The focus is on structural and infinitary Ramsey theory and applications to other fields of mathematics, including Banach spaces, Boolean algebras, Set Theory, and Topological Dynamics. The conference will consist of a large number of plenary talks and contributed talks of 25 minutes. The official language of the conference is English. As part of the DU Sesquicentennial Celebration, this conference celebrates the contributions of George Boole (1815-1864) to Ramsey Theory and Boolean Algebras.
For more information, see https://portfolio.du.edu/ramsey/
ELRA, the European Language Resources Association, is very pleased to announce that the 9th edition of the Language Resources and Evaluation Conference will take place in Reykjavik (Iceland) on May 26-June 1, 2014.
LREC has become the major event on Language Resources (LRs) and Evaluation for Human Language Technologies (HLT). The aim of LREC is to provide an overview of the state-of-the-art, explore new R&D directions and emerging trends, exchange information regarding LRs and their applications, evaluation methodologies and tools, ongoing and planned activities, industrial uses and needs, requirements coming from the e-society, both with respect to policy issues and to technological and organisational ones.
More information will be available soon on: http://www.lrec-conf.org.
The FilMat network originates from two interconnected needs: to establish and foster exchanges between Italian scholars working in the philosophy of mathematics and strictly related fields, either in Italy or abroad, with special attention to those at early stages of their careers; and to support the relationships between the Italian community and international scholars.
In order to contribute to this process of establishment, the network is now promoting its first international conference, in the hope this will become a regular meeting for Italian and international researchers. The conference will give the opportunity to keep the attention on this field alive at national level, and to make the Italian research community even more visible internationally.
For more information, see http://www.unisr.it/filosofia/filmat
Costs: free, but registration required
The workshop aims to bring together researchers who are employing formal tools to address questions in ethics and/or political philosophy. We encourage graduate students and members of underrepresented groups to submit to this conference.
The 20th European Symposium on Medieval Logic and Semantics will take place in Cambridge (UK) in 2014, as was decided at the last meeting in Geneva. Most probably it will take place in the second half of June, although the exact dates has not yet been fixed. The topic for the meeting is: Theories and Uses of Relations in medieval logic, grammar and science.
For more information, see http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=4819.
Kazan Federal University and Tatarstan Republic Academy of Science organize an International Conference "Algebra and Mathematical Logic: Theory and Applications" dedicated to 80-th anniversary of Department of Algebra of Kazan University and to 70-th anniversary of Professor M.M. Arslanov.
The main topics of the conference include (but are not limited to) Lie Algebras, Group Theory, Ring Theory, Algebraic Geometry, Universal Algebra, Model Theory, Mathematical Logic, Computability Theory, Algebraic and Logic Methods in Computer Science.
For more information, see http://www.kpfu.ru/main_page?p_sub=25931
The AIM at Palo Alto will host a workshop on descriptive inner model theory, June 02-06, 2014, organized by R. Schindler (Münster) and J. Steel (Berkeley).
How to construct canonical inner models satisfying large cardinal hypotheses has been a central problem in pure set theory since the 1960s. In recent years, there has been encouraging progress on two broad fronts: the construction of iteration strategies, and inner models with long extenders. This workshop is devoted to communicating and developing further the new ideas.
If you would like to participate, then you may fill out the online form provided by AIM. Participants will be invited to suggest open problems and questions before the workshop begins, and these will be posted on the workshop website. The deadline to apply is Feb 02, 2014. For more information see http://aimath.org/workshops/upcoming/innermodel/.
In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.
Further information and instructions for applying can be found at http://www.hss.cmu.edu/philosophy/summerschool/home.php
The RTG Research Conference 'Logic, Dynamics, and Their Interactions II' brings together researchers in descriptive set theory, ergodic theory, dynamical systems, and other related areas, and encourages research that crosses boundaries of various different fields.
Full details are available at the conference website at http://math.unt.edu/rtgconference2014. If you have any questions (including if you would like to give a talk), please contact rtgunt.edu. We would like to particularly encourage graduate students and recent PhDs to participate.
The aim of the workshop is to bring together experts who are working in the areas of doxastic agency, belief-revision theory, epistemic deontologism, and epistemic justification, and to discuss recent advances regarding the interplay between doxastic agency and epistemic responsibility. The workshop addresses questions such as: do we have the same kind of control over our beliefs as we have over our actions, what kind of control do we have over our doxastic attitudes and how is epistemic responsibility related to notions such as epistemic justification and practical responsibility?
There is no registration fee, but the number of participants is limited. If you want to participate in the workshop, please register by writing an e-mail to andrea.kruserub.de. For further information visit the website of the workshop: http://www.ruhr-uni-bochum.de/philosophy/logic/doxastic_agency/home-DAER.html
As in the previous editions, the purpose of this meeting is to inform you on various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend. Drinks will be served afterwards in the ILLC Common Room.
For more information, see illcuva.nl
CWAP 2014 is the 1st edition of what is planned to become a new platform for discussing problems in analytical philosophy in a small but stimulating environment. This year's edition shall focus on "normativity" as discussed within three areas of philosophical inquiry: theory of meaning, belief and knowledge.
All information concerning editorial guidelines, deadlines, fees, programme, our speakers and venue are available on-line at http://www.2014.cwap.pl/.
For more information, see https://sites.google.com/site/bws2014edinburgh/
The LMP Graduate Student Conference will bring together philosophers of logic, mathematics, and physics for two days of presentations and discussions with some of the leaders in these fields. Doreen Fraser (University of Waterloo) will be giving the keynote address.
CSR 2014 intends to reflect the broad scope of international cooperation in computer science. It is the 9th conference in a series of regular events started with CSR 2006 in St. Petersburg.
This is the fourth edition of the LSE Graduate Conferences in Philosophy of Probability. It aims to attract researchers working on any philosophical aspect of probability, including, but not limited to, Bayesian epistemology, the foundations of statistics, decision theory, probabilistic causation, probability logic and applications of probabilities in the natural, social and medical sciences.
For more information see http://www.lse.ac.uk/CPNSS/events/GraduateConferences/pop2014/.
The "Logic, Grammar, and Language" Conference explores the the multifarious interactions between logic and natural language. We are interested to explore the relation(s) between logic and natural language from empirical (linguistic), philosophical, and logical perspectives.
June 07 and 08, 2014, UC Berkeley will host a conference honoring William Mitchell on the occasion of his 70th birthday.
See http://wwwmath.uni-muenster.de/logik/Personen/Uhlenbrock/MitchellConference/. If you wish to participate, then please contact R. Schindler (rdswwu.de) and J. Steel ( coremodelberkeley.edu ).
UC Berkeley will host a workshop on descriptive inner model theory June 09-13, 2014, organzed by G. Sargsyan (Rutgers), R. Schindler (Münster), and J. Steel (Berkeley).
See http://wwwmath.uni-muenster.de/logik/Personen/Uhlenbrock/DIMTConference/. If you wish to participate, then please contact R. Schindler (rdswwu.de) and J. Steel (coremodelberkeley.edu).
CCR 2014 will be held at the Institute for Mathematical Sciences in Singapore as a part of the Algorithmic Randomness Programme, 2-30 June 2014. Topics include Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity and Reverse mathematics and logic.
Please register before 15 March 2014. For more information, see the Conference Web Page at http://www2.ims.nus.edu.sg/Programs/014algo/.
Invited speakers are Leslie Valiant (Harvard University) and Michael Jordan (UC Berkeley). COLT 2014 will take place within a larger research program on the Mathematics of Machine Learning organized at the Centre de Recerca Matemática in Barcelona.
For more information, see the conference website at http://orfe.princeton.edu/conferences/colt2014/
Logica 2014 is the 28th in the series of annual international symposia devoted to logic.
The 33rd meeting of JAF (Journées sur les Arithmétiques Faibles) will be held in Gothenburg, Sweden during 16-18 of June 2014. The meeting will feature invited talks, a tutorial on feasible analysis, and a number of contributed talks. Possible topics include:
Provability and Definability in Arithmetics
Model Theory and Arithmetics
(Un)decidability of Arithmetics
Modelling computations on Logical Theories
Abstracts of contributed talks, in PDF format, not exceeding one A4 (11pt) page, should be submitted by May 1, 2014 to: ali.enayatgu.seFor more information, see http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=5681 or contact rasmus.blanckgu.se.
On June 18-20 2014 SILFS, the Italian Society of Logic and Philosophy of Science will hold its triennial conference at the University of Rome 'Roma TRE'. Invited speakers are John Norton, Hannes Leitgeb and Tarja Knuuttila.
Costs: £395 including seven nights accommodation on campus
The Northern Institute of Philosophy at the University of Aberdeen will host a summer school on the Foundations of Logic and Mathematics, led by Jc Beall, Oystein Linnebo, Greg Restall, and Crispin Wright.
Interested parties are asked to register for the summer school before May 15th by contacting Dr. Paula Sweeney on p.sweeneyabdn.ac.uk. As this school has a limited number of participants, interested parties are asked to refrain from booking travel until after 15th May, at which point their registration will be confirmed.
LACL'2014 is the 8th international conference on logical and formal methods in computational linguistics. This conference addresses the use of type theoretic, proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models. It will be held at IRIT, Toulouse, France, from 18 to 20 June 2014 (with support from IRIT, Université Paul Sabatier et INP de Toulouse), and is co-located with CSLP 2014.
The Formal Epistemology Workshop will be held in connection with the 2014 meeting of the Society for Exact Philosophy, which will take place immediately afterwards, at the California Institute of Technology, a short rail ride away in Pasadena.
There will be four contributed talks on Friday, June 20 and four contributed talks on Saturday, June 21. Sunday, June 22 will consist of shared events as part of both FEW and SEP, including a keynote address (by Bas van Fraassen) and a poster session.
For more information, see http://www.kennyeaswaran.org/few/
Costs: $175 for academics
The 6th North American Summer School in Logic, Language and Information (NASSLLI 2014), a bi-annual summer school loosely modeled on the long-running ESSLLI series in Europe, will be held at the University of Maryland, College Park, June 23 - 27, 2014. In addition, we will run three intensive introductory courses ("bootcamps") on Saturday and Sunday, June 21-22. Additional events will be held during the weekend following the summer school, June 28-29.
The summer school will consist of 18 courses, scheduled in five parallel sessions throughout the week. Courses will meet for 90 minutes on each of five days. The instructors are prominent researchers who volunteer their time and energy to present work in their disciplines. NASSLLI courses are aimed at graduate students and advanced undergraduates in any of the fields represented at the summer school, but will also be of interest to post-docs and researchers in those fields. Courses are designed with an interdisciplinary audience in mind, by instructors who enjoy addressing students and colleagues from a wide range of disciplines.
For more information including the full program, see http://www.nasslli2014.com/.
Computational social choice is a 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. Like its predecessors, this 5th edition of COMSOC will bring together theoretical computer scientists, researchers working in artificial intelligence, economicsts, political scientsists, mathematicians, and logicians working on these topics.
CiE 2014 is the tenth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.
The motto of CiE 2014 "Language, Life, Limits" intends to put a special focus on relations between computational linguistics, natural computing, and more traditional fields of computability theory. This is to be understood in its broadest sense including computational aspects of problems in linguistics, studying models of computation and algorithms inspired by physical and biological approaches as well as exhibiting limits (and non-limits) of computability when considering different models of computation arising from such approaches.
For more information, see http://cie2014.inf.elte.hu
The Student Session of the North American Summer School for Logic, Language and Information (NASSLLI) will provides students an excellent opportunity to present their work to experts in their field as well as to a broader, well-informed interdisciplinary audience.
For more information, see http://web.pacuit.org/files/NASSLLI2014StuS_CFP.pdf or contact qharrumd.edu
The purpose of the Semantics and Philosophy in Europe colloquia is provide a forum for presenting research in the interface between linguistic semantics and various areas of philosophy (philosophy of language, logic, philosophy of mind, metaphysics, philosophy of mathematics, epistemology, etc.). Previous SPE meetings have taken place in Paris (SPE1, 2008 and SPE3, 2010), London (SPE2, 2009), Bochum (SPE4, 2011), Turin (SPE5, 2012) and St.Peterburg (SPE6, 2013).
In addition to the general theme, SPE 7 will feature two special topics
- Conceptual structures and truth-conditional semantics
For more information, see http://www.zas.gwz-berlin.de/fileadmin/spe7/
The Institute of Informatics Systems (Russian Academy of Sciences) and the Saint Petersburg State University are jointly organizing the Ershov Informatics Conference (the PSI Conference Series, the 9th edition) to be held in St. Petersburg, Russia, on June 24 - 27, 2014.
The PSI Conference is the premier international forum for research and its applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to present and discuss the most recent trends, experiences and concerns in the conference area.
For more information, see http://psi.nsc.ru
The scope of ISMIS is intended to represent a wide range of topics on applying Artificial Intelligence techniques to areas as diverse as decision support, automated deduction, reasoning, knowledge based systems, machine learning, computer vision, robotics, planning, databases, information retrieval, etc. The focus is on research in intelligent systems. The conference addresses issues involving solutions to problems that are complex to be solved through conventional approaches and that require the simulation of intelligent thought processes, heuristics and applications of knowledge. The integration of these multiple approaches in solving complex problems is of particular importance.
ISMIS'14 is intended to attract individuals who are actively engaged both in theoretical and practical aspects of intelligent systems. The goal is to provide a platform for a useful exchange between theoreticians and practitioners, and to foster the cross-fertilization of ideas.
For more information, see http://isl.ruc.dk/ismis2014/
Location: Doelenzaal, Singel 425, AmsterdamCosts: free
In this workshop, we aim to bring together philosophers, computer scientists, argumentation scholars, and experts in persuasive communication to discuss the nature and dynamics of argumentation on the Internet, how new technologies change the argumentative practices of users, what skills and expertise become critical in such a new info-ecology, how ICT can be used to foster rather than hamper critical reflection and debate, and what implications this should have for education, societal change and policy making.
Trends in Logic is the conference series of the journal 'Studia Logica'. The 13th Trends in Logic international conference will be held at the University of Lodz, Lodz, Poland, July 2-5, 2014 under the title 'Gentzen's and Jaskowski's heritage; 80 years of Natural Deduction and Sequent Calculi'. It is organized by the Department of Logic and Methodology of Sciences at the Institute of Philosophy of the University of Lodz, in co-operation with >>Studia Logica<<.
For more information, see http://filozof.uni.lodz.pl/trends
The Third East-Asian School on Logic, Language and Computation (EASLLC 2014) will take place at Tsinghua University, China on July 2-8, 2014. The event will start with an international workshop "Current Trends in Logic" on July 2, continue with the school on July 3-8. The program of the School will consist of six courses on logic in its interdisciplinary width. The courses cover logic, philosophy, computer science, and linguistics, with an emphasis on interaction between fields. There will be two plenary evening talks for a wider audience.
In addition, there will be student sessions in the late afternoon/early evening. The student session is a forum for students at all levels (Bachelor, Master or PhD) to present original research to the audience. We plan a "mentoring" program in which selected students will be assigned to one of the lecturers for informal interaction and research/career discussions.
For any questions, please contact easllc2014gmail.com. Or see http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=5560 or http://tsinghualogic.net/events/2014/easllc/?p=92.
A Workshop on Computability Theory will be held in Prague on July 3 and July 4, 2014. The workshop will take place in the week between the end of the conference Computability in Europe 2014 Language, Life and Limits in Budapest and the start of the Vienna Summer of Logic.
This will be the seventh in the Workshops on Computability Theory (WCT) Series. The WCT series onsists of short satellite workshops that are meant to attract more computability theorists to the meeting that they are associated with, and to provide a relaxed environment for specialists in all areas of computability theory to give full length talks on their recent work.
More information about the workshop can be found here http://www.math.uconn.edu/~damir/wctprague/
Set theory is taken to serve as a foundation for mathematics. But it is well-known that there are set-theoretic statements that cannot be settled by the standard axioms of set theory. The Zermelo-Fraenkel axioms, with the Axiom of Choice (ZFC), are incomplete. The primary goal of this symposium is to explore the different approaches that one can take to the phenomenon of incompleteness. These different approaches have wider consequences for the concepts of meaning and truth in mathematics and beyond. The conference will address these foundational issues at the intersection of philosophy and mathematics. The primary goal of the conference is to showcase contemporary philosophical research on different approaches to the incompleteness phenomenon.
For more information, see the conference website at http://sotfom.wordpress.com/about/.
Trends in Logic is the conference series of the journal 'Studia Logica'. The focus of the 14th conference is to be on those applications of formal methods in philosophy which might be of interest to people working on philosophical questions of more direct relevance to human life.
Logicians have devoted considerable effort to applying formal methods to what are now considered core disciplines of analytic philosophy: philosophy of mathematics, philosophy of language and metaphysics. Researchers in these fields have been accused of sharpening their knives without actually cutting anything of interest to those outside of philosophy. The focus of formal methods is changing and our intent for this conference is to further counter the impression of idleness with respect to philosophy at large.
For more information, see http://entiaetnomina.blogspot.be/p/trends-in-logic-xiv.html.
This summer school will provide a through introduction to insights coming from political science, economics, experimental economics, game theory, computer science and mathematics that are relevant to the analysis of voting rules and electoral reforms. There is the option to apply for a travel grant and to present a poster at the summer school. Deadline: 25 March 2014.
For more information, see http://www.unicaen.fr/recherche/mrsh/AVR2014
In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world.
The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014
*Keynote Speakers* The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session.
At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology."
The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.
To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL are solliciting volunteers, to help with tasks such as the registration of the participants at the conference or assisting with the use of the technical infrastructure at the conference site. Volunteers may attend all the VSL conferences for free.
For more information: http://vsl2014.at
The Sixth Federated Logic Conference (FLoC 2014) will be part of the Vienna Summer of Logic (VSL), the largest logic event in history, with over 2000 expected participants. FLoC 2014 will host eight conferences and many workshops. Each workshop will be affiliated with one of the eight conferences.
The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON 2014 will encourage a special focus on the topic "Deontic modalities in natural language".
This DEON will be colocated with the 2014 edition of TiL (Trends in Logic), 8 July - 11 July, same venue.
For more information, see http://www.deon2014.ugent.be/
Proof complexity is the study of the complexity of theorem proving procedures. The central question in proof complexity is: given a theorem F and a proof system P, what is the size of the smallest proof of F in the system P? Moreover, how difficult is it to construct a small proof? Many ingenious techniques have been developed to try to answer these questions; and they bare tight relations to intricate theoretical questions from computational complexity (such as the celebrated P vs. NP problem), mathematical logic (e.g. separating theories of Bounded Arithmetic) as well as to practical problems in SAT solving.
The workshop will be part of the Vienna Summer of Logic and will be affiliated with the conferences SAT'14 and CSL/LICS'14.
For more information, see http://vsl2014.at/pages/PC-index.html
This is a workshop on Gentzen-style proof systems, their generalizations, and extensions. Since the introduction of the sequent calculus and natural deduction by Gerhard Gentzen in the 1930s, a wide spectrum of formalisms have been used to construct proof systems for logics resisting a simpler description, including hypersequents, deep inference systems, display calculi, labelled deductive systems, tableaux, and proof nets, to name just a few. The aim of this workshop is to explore and compare the motivations for and relative merits of these different approaches.
A broader aim of the workshop is to build a bridge between researchers into theoretical aspects of structural proof theory and the more application-oriented goals of the proof theory community, particularly in cases where the methods, such as constructing analytic systems, are shared. ------------------------------------------------------------------------------------
For more information, see http://vsl2014.at/pages/GSB-cfp.html
This joint RTA and TLCA conference is the major forum for the presentation of research on all aspects of rewriting and typed lambda-calculi. Areas of interest include but are not limited to Foundations, Algorithmic aspects and implementation, Logic, Types, Semantics and Programming.
For more information, see http://vsl2014.at/rta-tlca
CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.
LICS is an annual international forum on theoretical and practical topics in computer science that relate to logic.
The organizers of these two series of meetings have chosen to join the 2014 editions of these meetings into a single event within the Federated Logic Conference (FLoC) that will be part of the Vienna Summer of Logic 2014. Thus, in 2014, these meetings will have one program committee, one program, and one proceedings. No decision has been made to hold CSL and LICS jointly beyond 2014.
For more information, see and http://lii.rwth-aachen.de/lics/csl-lics14/
The conference "Logic, Algebra and Truth Degrees 2014" will be held on 16-19 July 2014 in Vienna, Austria, as part of the Vienna Summer of Logic event.
Logic, Algebra and Truth Degrees is the fourth official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic. Mathematical Fuzzy Logic is the sub-discipline of Mathematical Logic that is concerned with the notion of comparative truth. The assumption that "truth comes in degrees" has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy.
An International Bernard Bolzano meeting in Prague, Villa Lanna in mid-July (16-19) 2014 will be co-organised by the Institute of Philosophy of the Academy of Sciences of the Czech Republic and the International Bernard Bolzano Society.
The community of Bolzano scholars will be present en masse at the meeting. If you have done any work on BB's thought (plan to, beginning to venture into), this is the place to be! Special Guest: Johan van Benthem.
For more information, see http://bolzano2014.wordpress.com/about/
The NMR workshop series is the premier specialized forum for researchers in non-monotonic reasoning and related areas. This will be the 15th workshop in this series. Its aim is to bring together active researchers in the broad area of non-monotonic reasoning, including belief revision, reasoning about actions, argumentation, declarative programming, preferences, non-monotonic reasoning for ontologies, uncertainty, and other related topics.
NMR will share a joint session with the 27th International Workshop on Description Logics (DL 2014).
The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.
This year the DL workshop is part of the Vienna Summer of Logic, a vast event hosting several major logic conferences and workshops. In particular, the workshop is co-located with KR 2014 and will share a joint session with the International Workshop on Non-Monotonic Reasoning (NMR 2014).
Information about submission, registration, travel information, etc., is available on the DL 2014 homepage: http://dl.kr.org/dl2014. Enquiries about the DL 2014 workshop can be made by contacting the organizing committee.
The conference is concerned with the theory of computability and complexity over real-valued data. The classical approach in these areas is to consider algorithms as operating on finite strings of symbols from a finite alphabet. Most mathematical models in physics and engineering, however, are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed.
Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.
For more information, see the Conference Web Page at http://cca-net.de/cca2014/
The conference aims at bringing together philosophers working in different areas related to the topic of reasoning, broadly understood: practical reasoning and the normativity of rationality, the psychology and phenomenology of reasoning, the formal structure of rationality and reasoning, the epistemology of reasoning and inference, etc. There will be 9-10 sessions, each comprising presentation of a paper, 15 minutes of comments and a discussion.
Anyone working on issues related to the topic of the conference is invited to volunteer as a commentator or a chair. If you would like to volunteer please send an e-mail with your areas of specialization and a very short description of your research to Magdalena Balcerak Jackson: mbalcerakjacksonme.com. The deadline is February 15th 2014.
Further information about the conference: http://www.reasoningconference.net/conference
This is the eleventh in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences.
For more information, see http://folk.uib.no/nmita/LOFT11
The Munich Center for Mathematical Philosophy (MCMP) is organizing the first Summer School on Mathematical Philosophy for Female Students, which will be held from July 27 to August 2, 2014 in Munich, Germany. The summer school is open to excellent female students who want to specialize in mathematical philosophy.
Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school is aimed at encouraging women to engage with mathematical methods and apply them to philosophical problems. The summer school will provide an infrastructure for developing expertise in some of the main formal approaches used in mathematical philosophy, including theories of individual and collective decision-making, agent-based modeling, and epistemic logic. Furthermore, it offers study in an informal setting, lively debate, and a chance to strengthen mathematical self-confidence and independence for female students. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.
The deadline for application is 15 February 2015. For more information, see http://www.mcmp.philosophie.uni-muenchen.de/news/mathsummer2014/
The summer school will consist of 3 intensive days of lectures, seminars, and group discussions. The course addresses a variety of theoretical and foundational issues in quantum computing. It will focus on the logical and physical scope of quantum computing. The course is primarily intended for graduate students in Cognitive Science, Computer Science, and Mathematics
Topics to be addressed include the physical structure of quantum information, strategies and issues in experimental approaches to the physical representation and control of quantum information, mathematical models of quantum computing and quantum algorithms, diagrammatic patterns in quantum computing, and the relation of quantum computing computational models of cognition.
Applications should be submitted by May 10th (extended deadline). For more information, see http://www.lu.lv/isscss/
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. The aim of this workshop series is to address key questions that advance our understanding of narrative at multiple levels: from the psychological and cognitive impact of narratives to our ability to model narrative responses computationally.
For more information, see http://narrative.csail.mit.edu/cmn14/
The AGI conference series is the premier international event aimed at advancing the state of knowledge regarding the original goal of the AI field - the creation of thinking machines with general intelligence at the human level and possibly beyond.
AGI'14 will be co-located with and immediately after AAAI'14 and CogSci 2014. Yoshio Bengio will give a keynote on "Deep Learning for AI"; and AGI-14 will include a Workshop on AGI & Cognitive Science.
For more information, see the conference website here: http://agi-conf.org/2014
The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world. There will be about 50 courses at introductory and advanced levels, as well as workshops, invited lectures and a student session to foster interdisciplinary discussion of current research.
For more information, see http://www.esslli2014.de/
The Student Session of the 26th European Summer School in Logic, Language, and Information (ESSLLI) is a forum for PhD and Master students to present their research at the interfaces of logic, language, and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).
More detailed guidelines and policies regarding submission can be found on the Student Session website: http://www.kr.tuwien.ac.at/drm/dehaan/stus2014/ or by emailing dehaankr.tuwien.ac.at. For general inquiries about ESSLLI 2014, please consult the main ESSLLI 2014 page: http://www.esslli2014.info/.
Historically, with its origins in philosophy, epistemic logic promised to illuminate traditional issues of epistemology, the theory of knowledge. In recent years, epistemic logic has been making good on that promise, with important new applications not only to individual epistemology, a traditional focus of philosophers for the last two-and-a-half thousand years, but also in social epistemology, the more recent investigation of the social dimensions of knowledge and information flow, as well as interactive epistemology, the study of knowledge and belief in strategic, game-theoretic situations.
During five 90-minute sessions, the ELISIEM workshop will feature presentations covering the latest applications of epistemic logic to individual, social, and interactive epistemology, putting work at this fascinating intersection on the map of interdisciplinary activities in logic.
For more information, see https://sites.google.com/site/elisiem2014/.
The recently emerging field of experimental pragmatics has painted a complex picture of the interaction between semantic and pragmatic information in phenomena as diverse as implicature, referentiality, figurative meaning, prosody, and presupposition. In parallel, advances in probabilistic and game-theoretic models that treat pragmatic inference as a problem of reasoning under uncertainty have yielded testable quantitative predictions about the outcome of many different kinds of pragmatic inference. Despite this progress, a great deal of work is needed on the mathematical foundations and quantitative empirical grounding of pragmatics, and, most critically, the connection between the two. The aim of this ESSLLI-2014 workshop is to promote dialog and community for these lines of research: strengthening the search for an empirically grounded formal pragmatics.
For more information, see https://sites.google.com/site/fepesslli2014
The biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier archival venue for presenting scientific results in AI. Organised by the European Coordinating Committee for AI (ECCAI), the ECAI conference provides an opportunity for researchers to present and hear about the very best research in contemporary AI.
As well as a full programme of technical papers, ECAI'14 will include the Prestigious Applications of Intelligent Systems conference (PAIS), the Starting AI Researcher Symposium (STAIRS), the International Web Rule Symposium (RuleML) and an extensive programme of workshops, tutorials, and invited speakers. (Separate calls are issued for PAIS, STAIRS, tutorials, and workshops.) ECAI'14 will be held in the beautiful and historic city of Prague, the capital of the Czech Republic. With excellent opportunities for sightseeing and gastronomy, Prague promises to be a wonderful venue for a memorable conference.
The field of natural-language semantics and pragmatics has undergone a shift away from defining or even mentioning models. Indeed, some scholars find their use redundant at best, harmful at worst. A generation of young semanticists got their first encounters with the formal theory through Heim and Kratzer's textbook, which does not mention models at all. There is little open discussion on these developments, but much anecdotal evidence that people have strong opinions about them. This ESSLII-2014 workshop will give the debate a public forum.
For more information, see http://homepages.uconn.edu/~stk12004/Models_ESSLLI2014/.
The ESSLLI-2014 Workshop 'Sociolingiostics and Network Games' provides a platform of new research on computational models of language use, language change and language contact. It focuses computational and simulation models of artificial multi-agent societies, particularly models that combine (i) techniques from network theory to build and analyze artificial social environments and (ii) decision/game theory to model (linguistic) behavior of its members.
For more information, see http://www.sfs.uni-tuebingen.de/~roland/SLANG/
Researchers in several communities are trying to understand the basic principles underlying creativity-related abilities (such as concept invention, concept formation, creative problem solving, the production of art, and creativity in all its facets e.g. in engineering, science, mathematics, business processes), working on computational models of their functioning, and also their utilization in different contexts and applications (e.g. applications of computational creativity frameworks with respect to mathematical invention and inventions in engineering, to the creation of poems, drawings, and music, to product design and development, to architecture etc.). In particular, a variety of different methodologies are used in such contexts ranging from logic-based frameworks to probabilistic and neuro-inspired approaches. This workshop shall offer a platform for scientists and professional users within relevant areas, on the one hand presenting actual and ongoing work in research, on the other hand also offering a chance for obtaining feedback and input from applications and use-case studies.
For more information, see http://cogsci.uni-osnabrueck.de/~c3gi/
This workshop on controlled natural language (CNL) has a broad scope and embraces all approaches that are based on natural language and apply restrictions on vocabulary, grammar, and/or semantics. This includes (but is certainly not limited to) approaches that have been called simplified language, plain language, formalized language, processable language, fragments of language, phraseologies, conceptual authoring, language generation, and guided natural language interfaces.
Some CNLs are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning and formal knowledge representation from seemingly natural texts. All these types of CNL are covered by this workshop.
For more information, see http://attempto.ifi.uzh.ch/site/cnl2014/
The 4th conference on "*Concept Types and Frames in Language, Cognition, and Science*" (CTF'14) will take place on 25--27 August 2014 at the University of Düsseldorf, Germany. The conference is intended as an interdisciplinary platform that contributes to the development of a general theory of the structure of representation. Special focus is given to accounts using frames understood as recursive attribute-value structures with functional attributes. The topics range from formalisms to describe frames and their ontological interpretation to applications of frames in the modeling of dynamic aspects of concept formation in science and cognition and the description of natural language semantics.
For more information, see http://www.sfb991.uni-duesseldorf.de/ctf-2014/
From 25 to 29 August 2014, the Faculty of Philosophy at the University of Groningen will host two co-located summer schools with a common theme: Epistemology and Cognition. One of the summer schools will focus on contemporary philosophy and is co-organized with the Department of Philosophy of the University of Bristol. The other summer school will have a historical focus and is co-organized with the Department of Philosophy of the Radboud University Nijmegen.
The summer schools are intended for graduate students (master's and PhD), post-docs and early-career researchers in philosophy. Participants can follow exclusively one of the two tracks, or mix-and-match tutorials from both tracks according to their interests. Student sessions and scholarships: we'll be offering 4 scholarships of EUR 400 (including registration fee) for the best student papers.
For more information, see http://www.rug.nl/education/summer-winter-schools/summer-schools-2014/
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 twenty-first WoLLIC will be held at the Universidad Técnica Federico Santa María, from September 1st to 4th, 2014.
WoLLIC is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).
For more information, see http://wollic.org/wollic2014/.
The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series.
Topics of the conference will include Corpora and Language Resources, Speech Recognition, Tagging, Classification and Parsing of Text and Speech , Speech and Spoken Language Generation, Semantic Processing of Text and Speech, Integrating Applications of Text and Speech Processing , Automatic Dialogue Systems, and Multimodal Techniques and Modelling. Papers on processing of languages other than English are strongly encouraged.
The 10th Symposium for Cognition, Logic and Communication, to be held at the University of Latvia in Riga on September 12-13, 2014, will focus on the cognitive processing of space, its cognitive and formal representation, and its linguistic encoding. We will explore the content and the scope of spatial cognition and how universal it is. The impact of non-spatial factors on spatial cognition and transformations of spatial cognition into non-spatial domains will be discussed. Scale-dependency of spatial cognition and differences between small-scale and large-scale spatial cognition will be explored. The syntax and semantics of locative and other spatial expressions will be examined, along with their relations to cognitive structures of spatial representation.
We would like to announce two set-theoretic events in September 2014:
- a Workshop in Set Theory, Bedlewo 14.09-17.09.2014
- and a Thematic Session in Set Theory at the German and the Polish Mathematical Societies joint meeting in Poznan, 17-20.09.2014.
We encourage all set theorists to participate. The initial information can be found here: http://www.impan.pl/~set_theory/dmvptm14/ In particular, everyone participating in the Poznan meeting should register directly at the webpage of the meeting.
Location: F1.21, ILLC Common room, Science Park 107, Amsterdam
Meeting of the board and consortium of the Language and Interaction project.
For more information, contact illcuva.nl
ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of Computing and will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. Another aim of ICTAC is to bring together researchers working on theoretical aspects of computing in order to present their recent results and to discuss new ideas concerning computer science.
Concepts, their acquisition, representation, generation, and adaptation stand in the focus of research in several different areas spanning a very diverse range of fields and disciplines: From artificial intelligence and computational creativity, through cognitive science, psychology and the learning sciences/pedagogics, to theoretical and formal philosophy. In this workshop, we want to shed light on several different key aspects of a concept life cycle.
For more information, see http://cogsci.uni-osnabrueck.de/~cigar/
On 26 and 27 September 2014 the Institute for Logic, Language and Computation (ILLC) and the University of Amsterdam organize a Celebration Event for Johan van Benthem, on the occasion of his official retirement from the University of Amsterdam. The first day will have lectures for the general public, Johan's valedictory lecture, and a reception. The second day is a scientific workshop devoted to current trends in logic, with emphasis on the areas where Johan was or is active.
For more information, see http://www.illc.uva.nl/J65/
The Post-quantum Cryptography Summer School is a two-day program focused on cryptography in a quantum era.
The Post-quantum crypto summer school aims to provide an overview and introduction to the main approaches to providing cryptographic tools that may be safe against quantum algorithmic attacks. The target audience is students and other researchers conducting or interested in conducting research related to designing, testing or deploying quantum-safe cryptography.
The summer school will be followed by the PQCrypto 2014 conference (October 1-3, 2014). Students who come to the summer school are encouraged to attend the conference.
For more information, see http://pqcrypto2014.uwaterloo.ca/summer-school/
SMART Cognitive Science is an initiative of the Faculty of Humanities of the University of Amsterdam to provide a forum for the discussions highlighting the important contributions to cognitive science from traditional humanities disciplines. SMART is an acronym for Speech & language, Music, Art, Reasoning & Thought. The SMART Cognitive Science International Conference will consist of three plenary evening lectures and six 2-day workshops devoted to the topics on the intersection of humanities and cognitive science.
For more information, see http://smartcognitivescience.wordpress.com/2014/02/04/394/ or http://cl.ly/230F1l0W1W42.