News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 27 August 2015). 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.
The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.
The 20th Amsterdam Colloquium will feature two workshops on Negation and on Reasoning in Natural Language; and one evening lecture, jointly organized with the E.W. Beth Foundation.
Furthermore, there will be a special issue of the journal Topoi with selected contributions presented at the Colloquium, both in the main programme and in the workshops.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is September 1, 2015.
For more information, see http://www.illc.uva.nl/AC/AC2015/
The LABEX CIMI Pluridisciplinary Workshop on Game Theory will be the highlight of the the Thematic Trimester on Game Theory held in Toulouse this yar. The workshop will be structured along four themes: Logic and Games; Algorithmic Game Theory; Games and Voting on Networks; and Learning in Games.
If you would like to present your work at the workshop, please send a four-page extended abstract to the organisers by 20 September. There will be no proceedings, and there are no restrictions concerning whether the work is original or has been published. We particularly encourage Master and PhD students to apply. For a number of students, grants (travel and accomodation paid by the LABEX CIMI) are available.
If you would like to present your work at the workshop, please send a four-page extended abstract to the organisers by 20 September. We particularly encourage Master and Phd students to apply.
For more information, see http://www.cimi.univ-toulouse.fr/gametheory/en/pluridisciplinary-workshop
The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989 and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submissions deadline: midnight September 6, 2015, any time zone.
For more information, see http://lfcs.info/lfcs-2016/
The 2015-16 Winter Meeting of the Association for Symbolic Logic will take place in conjunction with the Joint Mathematics Meetings. The invited speakers include: D. Bartosova, N. Dobrinen, L. van den Dries, J. Freitag, C. Jockusch, B. Khoussainov, and J. Zapletal.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstracts must be received by the deadline of September 11, 2015.
For more information, see http://www.aslonline.org/asl_meetings.php
The LABEX CIMI Pluridisciplinary Workshop on Game Theory will be the highlight of the LABEX CIMI Thematic Trimester. The workshop will be structured along four themes: Logic and Games, Algorithmic Game Theory, Games and Voting on Networks, and Learning in Games.
On each theme, we plan to have 3 invited talks by internationally renowned experts. In addition, per theme we plan to have one talk by a local researcher and one or two submitted contributions, primarily by PhD students. Anyone can attend the workshop but registration (registration fees will be moderate if any) will be required.
If you would like to present your work at the workshop, please send a four-page extended abstract to the organisers by 20 September.
For more information, see http://www.cimi.univ-toulouse.fr/gametheory/en/pluridisciplinary-workshop
The Eleventh Tbilisi Symposium on Language, Logic and Computation will be held in Tbilisi, Georgia from 21 September until 26 September 2015.
The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. The 2015 forum is the eleventh instalment of a series of biannual Symposia.
The programme committee invites submissions of maximum three page abstracts (including references) in LNCS style on all aspects of language, logic and computation. Work of an interdisciplinary nature is particularly welcome. The submission deadline is the 1st of March 2015.
For more information, see http://www.illc.uva.nl/Tbilisi/Tbilisi2015/
The seventh North American Summer School for Logic, Language, and Information (NASSLLI) will be hosted by Rutgers, The State University of New Jersey - New Brunswick from July 8-16 2016. The summer school is aimed at graduate students and advanced undergraduates in fields such as Cognitive Science, Computer Science, Linguistics, and Philosophy. It will consist of a series of courses and workshops, among which are five featured courses taught by Johan van Benthem, Maria Bittner, Reinhard Muskens, Uli Sattler, and Brian Skyrms. In addition, there will be intensive training on a small set of foundational topics the weekend prior to the start of courses.
We invite proposals for courses and workshops that fall into the areas of logic, linguistics, computer science, cognitive science, philosophy and artificial intelligence, and interdisciplinary overlap among them. Examples of possible topics include logics for communication, computational semantics, modal logics, game theory and decision theory, dynamic semantics, machine learning, Bayesian cognitive modeling, probabilistic models of language and communication, and automated theorem proving. By default, courses and workshops meet for 90 minutes on each of five days. Classes may be co-taught by up to two people. Deadline for proposals: September 30, 2015.
For more information, see http://ruccs.rutgers.edu/nasslli2016/
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 School offers an interdisciplinary programme of tutorials from leading experts in various areas of Artificial Intelligence, linguistics, and cognitive science that study evolving and negotiated meaning in natural and artificial systems, including knowledge representation, ontologies, multiagent systems, language evolution, dialogue systems, vision, robotics, and machine learning.
Registration is free (but limited), and a number of bursaries to support external participants is available (deadline for applications: 4th August). For more information, see https://www.essence-network.com/essence-events/summer-school/.
The 5ESTC is the fifth meeting in a series of biennial meetings coordinated by the European Set Theory Society. As part of 5ESTC we will celebrate the 70th birthday of Adrian Mathias during the Mathias Day (Thursday 27).
For more information, see http://www.newton.ac.uk/event/hifw01
As part of the celebrations of Boole's bicentenary, the George Boole Mathematical Sciences (GBMS) Conference will be held in University College Cork (UCC) during the last two weeks of August 2015. George Boole (1815 ' 1864) was the first professor of mathematics at Cork. Boole's efforts to mathematize logical thinking caused a lasting paradigm shift in the 19th century which enlarged the scope and potency of modern mathematics, and provided a wealth of ideas for applications in diverse scientific areas resulting in ground-breaking innovations during the 20th century and beyond.
This event will include 100-150 lectures on selected areas, and embed the folllowing events:
- 2015 Annual Meeting of the Irish Mathematical Society (IMS)
- Domains XII
- When Boole Meets Shannon
Information on the GBMS conference program is available at: http://booleconferences.ucc.ie/gbmsc2015
NAT@Logic 2015 is a pool of workshops related to Logic in Computer Science, in Philosophy, and in Mathematics. The full programme will boast 10 keynote speakers, plus at least 60 contributed talks and 15 tutorials. The collocated events that constitute NAT@Logic 2015 are:
- LSFA X (10th Workshop on Logical and Semantic Frameworks, with Applications)
- GeTFun 3.0 (3rd Workshop on Generalizations of Truth-Functionality)
- Filomena 2 (2nd Workshop on Philosophy, Logic and Applied Metaphysics)
- LFIs^15 (Workshop commemorating the 15 years of the LFIs)
- TRS Reasoning School (TRS = TRS Reasoning School)
For more information, see http://natalogic-2015.dimap.ufrn.br/
This workshop aims at bringing together philosophers and semanticists, and host a discussion on pressing issues related to how subjectivity and evaluativity appear in natural language, and how these features can best be modeled.
The workshop is co-located with the PhD defence of Inés Crespo.
For more information, see http://inescrespo.altervista.org/workshop.html
The second edition of the FILOMENA Workshop (FIlosofia, LOgica e MEtafísica aNAlítica), promoted by the Group on Logic and Formal Philosophy from the UFRN, has the purpose of gathering logicians working at the intersection of Logic and Metaphysics, through the application of formal methods in Philosophy.
Logic, while initially considered as a branch of Philosophy, has outgrown its original purposes and found connections with other areas of Philosophy, such as Philosophy of Language, Philosophy of Mathematics, Philosophy of Science and Philosophy of Mind. Since its modern development, Logic has proved to be a powerful tool for analyzing different philosophical theories, as well as their foundations and implications; moreover, the birth and development of non-classical logics has expanded its domain of application much beyond the dreams of its progenitors.
For more information, see https://sites.google.com/a/dimap.ufrn.br/natalogic-2015/segundo-filomena
BRITISH LOGIC COLLOQUIUM 2015 Cambridge, England 2-4 September 2015 https://www.newton.ac.uk/event/blc-2015
The 2015 meeting of the British Logic Colloquium will be held in Cambridge on 2nd-4th September. It will be preceded by BLC PhD day (1st-2nd September). This is a general Logic meeting covering a variety of topics within mathematical, philosophical and computer science logic. The meeting will include ten invited talks (speakers listed below) and a number of contributed talks.
For more information, see https://www.newton.ac.uk/event/blc-2015
SOPhiA 2015 provides an opportunity for students and doctoral candidates in philosophy to take a first peek into the philosophical business and to get in touch with prospective or well established philosophers. Contributions in every discipline of philosophy (epistemology, ethics, logic, metaphysics, philosophy of religion, philosophy of science, etc.) are welcome. As common in analytic philosophy, contributors should make use of understandable language as well as rational argumentation. In addition to the conference presentations there will also be three affiliated workshops on selected topics in analytic philosophy.
Keynote Speakers: Christopher Gauker, Friederike Moltmann, Sonja Smets and Ulla Wessels
For more information, see http://www.sophia-conference.org/
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.
On 11-12 september two co-located events will take place:
- The 11th International Workshop on Fixed Points in Computer Science (FICS'15)
- YuriFest, a celebration of Yuri Gurevich's 75th birthday with a symposium in his honour
For more information, see http://logic.las.tu-berlin.de/csl2015/
The aim of the workshop is to contribute to developing a unified perspective towards the theory and applications of non-classical logics. The workshop will focus on the recent developments of methodologies for correspondence and canonicity in non-classical logics.
The "Entia et Nomina" series features English language workshops for young researchers in formally oriented philosophy, in particular in logic, philosophy of science, formal epistemology or philosophy of language. The aim of the workshop is to foster cooperation among young philosophers with a formal bent from various research groups. The fifth workshop in the series will take place from 9 to 11 September in Krakow, Poland.
The Entia et Nomina V workshop will be preceded by the 4th workshop of The Budapest-Krakow Research Group on Probability, Causality and Determinism (http://bp-k.tumblr.com/), which will take place on the 7th and 8th of September at the same venue. We welcome anyone interested in these topics to visit that workshop too!
For more information, see the conference website at http://entia2015.tumblr.com/.
The aim of this workshop is to create a forum to present new developments, exchange ideas, explore and establish new connections between logic, mathematics, computer science and physics.
Topics include the following list but are not restricted to: modal logic, non-classical logic, spatial logic, mathematical structures in logic, quantum computation and quantum information, the foundations of quantum theory.
This workshop is associated with the PhD defense of Shengyang Zhong.
For more information, see https://workshop20150910.wordpress.com/.
The summer school "Reasoning" is a platform for knowledge transfer within a very rapid increasing research community in the field of "Computational Logic". We will offer introductory courses covering the fundamentals of reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art. All lecturers are leading researchers in their field and have been awarded prizes.
For the participants of the summer school, the participation at the 38th German AI conference, also held at TU Dresden, is free of charge.
You can find more information about the summer school at https://ddll.inf.tu-dresden.de/web/Norbert_Manthey/SummerSchool2015
LQMR'15 aims at bringing together researchers from various fields interested in qualitative modelling and reasoning. In particular, the workshop will focus on the formal approaches to qualitative reasoning, its philosophical aspects and practical applications of QR methods in engineering and computer science.
For more information, see https://www.fedcsis.org/2015/lqmr
CCC is a workshop series bringing together researchers from real analysis, computability theory, and constructive mathematics. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.
GAP.9 will take place in Osnabrück (Germany), September 14-17, 2015, hosted by the GAP and Osnabrück University. It is locally organized by the Philosophy of Mind and Cognition group of the Institute of Cognitive Science at Osnabrück University. The title of GAP.9 is "Philosophy Between Armchair and Lab".
In addition to more than 250 national and international speakers in nine colloquia and thirteen sections, the four day conference will feature three plenary lectures, by Kirsten Meyer (Humboldt Universität Berlin, Germany), Jennifer Lackey (Northwestern University, USA) and Martine Nida-Rümelin (Université de Fribourg, Switzerland).
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. Invited speakers: Hermann Ney, Dan Roth, Björn W. Schuller, Peter D. Turney and Alexander Waibel.
For more information, see http://www.tsdconference.org/tsd2015
HIGHLIGHTS 2015 is the third conference on Highlights of Logic, Games and Automata which aims at integrating the community working in these fields. A visit to Highlights conference should offer a wide picture of the latest research in the area and a chance to meet everybody in the field, not just those who happen to publish in one particular proceedings volume. The participants present their best work, be it published elsewhere or yet unpublished.
The conference is three days long (Sept. 16-18) and it is preceeded by the Highlights tutorial day (Sept. 15). The contributed talks are around ten minutes. The participation costs are modest (around 80 Euro) and some cheap accomodation close to conference site is arranged. Prague is easy to reach.
Detailed information about Highlights 2015 is available at http://highlights-conference.org.
Improved computational models of semantics hold great promise for applications in language technology, be it semantics at the lexical level, sentence level or discourse level. Large-scale corpora with corresponding annotations (word senses, propositions, attributions and discourse relations) are making it possible to develop statistical models for many tasks and applications. However, developments in lexical and sentence-level semantics remain largely distinct from those in discourse semantics. This workshop aims at bridging this gap by bringing together researchers to discuss how multiple levels of semantics can be integrated and implemented in various applications.
Our goal is to gather and showcase theoretical and computational approaches to joint models of semantics, and applications that incorporate multi-level semantics. We hope to bring together researchers from various areas: computational linguistics who strive for more expressive models of language understanding, linguists and cognitive scientists interested in aspects of representing text with multiple levels of semantics, machine learning researchers interested in joint inference over different types of semantic cues, and also researchers who are interested in applications that require or will benefit from multi-level semantics. A dialog between researchers has great potential to advance work in each of these areas and bring about more powerful and enriched models of text semantics.
For more information, see http://homepages.inf.ed.ac.uk/mroth/LSDSem/
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 symposium covers an ample spectrum of themes, ranging from theory to applications, and encourages 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 22, 2015.
For more information, see http://gandalf2015.dibris.unige.it/
Ever since philosophers first started formulating theories of science those theories have been compared with (reconstructions of) episodes in the history of science. On this issue one finds heated discussion in the 1960s and 70s, when some sought to turn philosophy into a testable enterprise, with history taking the place of scientific experiment. The purpose of this workshop is to bring this debate back to the table, assessing it in light of the fact that so many contemporary debates in the philosophy of science make implicit assumptions about how history of science can bear on philosophy of science.
This is a one-day workshop, 21st September 2015, organised by The Oulu Centre for Theoretical and Philosophical Studies of History and the AHRC project 'Contemporary Scientific Realism and the Challenge from the History of Science. The event is designed to bring together historians and philosophers of science. Keynote Speakers: James McAllister (Leiden), Helge Kragh (Aarhus), Katherina Kinzel (Vienna) and Bart Karstens (Amsterdam).
Please find more information on this workshop at http://community.dur.ac.uk/evaluating.realism/events03.html.
Strategic reasoning is one of the most active research areas in the multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modelling strategic ability. Theoretical results are now being used in many exciting domains, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversary, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent strategies that take into account the likely behaviour of adversaries. The SR international workshop aims to bring together researchers working on different aspects of strategic reasoning in computer science, artificial intelligence and multi-agent systems research, both from a theoretical and a practical viewpoint.
For more information, see https://sites.google.com/site/sr2015homepage/
The Hyperuniverse Programme, launched in 2012, and currently pursued within a Templeton-funded research project at the Kurt Gödel Research Center in Vienna, aims to identify and philosophically motivate the adoption of new set-theoretic axioms.
The programme intersects several topics in the philosophy of set theory and of mathematics, such as the nature of mathematical (set-theoretic) truth, the universe/multiverse dichotomy, the alternative conceptions of the set-theoretic multiverse, the conceptual and epistemological status of new axioms and their alternative justificatory frameworks.
The aim of SotFoM III+The Hyperuniverse Programme Joint Conference is to bring together scholars who, over the last years, have contributed mathematically and philosophically to the ongoing work and debate on the foundations and the philosophy of set theory, in particular, to the understanding and the elucidation of the aforementioned topics. The three-day conference, taking place September 21-23 at the KGRC in Vienna, will feature invited and contributed speakers.
The 2015 annual meeting of the Deutschen Mathematiker-Vereinigung (DMV) will be hosted by the Department of Mathematics of the University of Hamburg from 21 to 25 September 2015. The organisers collaborated with the Dansk Matematisk Forening during the composition of the scientific programme; Danish-German research collaboration in mathematics is one of the special themes of this meeting.
Satellite workshops (20 & 21 September 2015): "Current Trends in Stochastic Analysis and Related Topics", "Generalized Baire Space", "History of Mathematics", and "Trends in Proof Theory".
For more information, see http://www.math.uni-hamburg.de/DMV2015/
KI 2015 is the 38th 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 2015 will comprise paper and poster presentations, a variety of workshops, and a doctoral consortium.
For more information, see http://ki2015.computational-logic.org/
The aim of the interdisciplinary workshop is to bring together recent work addressing questions related to open issues in neural-cognitive integration, i.e., research trying to bridge the gap(s) between different levels of description, explanation, representation, and computation in symbolic and sub-symbolic paradigms, and which sheds light onto canonical solutions or principled approaches occurring in the context of neural-cognitive integration.
For more information, see https://sites.google.com/site/nciki2015/
TIME 2015 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 22nd edition, has a wide remit and intends to cater both for theoretical aspects and well-founded applications. One of the key aspects of the time symposium is its interdisciplinarity with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond.
The symposium will encompass three tracks on temporal representation and reasoning in AI, Databases, as well as Logic and Verification.
For more information, see http://time2015.uni-kassel.de
This is the seventh conference on this topic. The first, second, fourth and sixth editions of Conference were organized by Departament of Logic and Methodology at Lodz University. The third and fifth edition was organized by Department of Logic at NCU in Torun. The thematic range of the conference remains the same: theories of nonclassical logics (modal, many-valued, temporal, paraconsistent, epistemic, deontic, substructural, and nonmonotonic logic) and their applications in computer science, artificial intelligence, formal linguistics, cognitive studies, as well as to the deeper analysis of traditional philosophical problems.
For more information, see the conference webpage at http://www.logika.umk.pl/lnk15/lnk15_en.html
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.
For more information, see http://ramics2015.di.uminho.pt
The MATES conference series aims at the promotion of and the cross-fertilization between theory and application of intelligent agents and multiagent systems. It provides an interdisciplinary forum for researchers and members of business and industry to present and discuss latest advances in multiagent systems and agent-based computing with prototyped or fielded systems in various application domains.
In 2015 the MATES conference will be co-located with the 45th Symposium of the German Computer Science Association GI (INFORMATIK 2015). Moreover, the event will also host a Doctoral Consortium to support young researchers of this broad field in their PhD studies.
For more information, see http://www.mates2015.de/
The bi-annual meeting of the German Society for Computational Linguistics and Language Technology (GSCL) in 2015 will take place from September 30 to October 2 at the University of Duisburg-Essen. The main conference theme is "Deep vs. shallow?".
For more information, see http://www.gscl.org/
ALT-2015 is a conference on the theoretical foundations of machine learning. The conference will be co-located with the 18th International Conference on Discovery Science (DS 2015).
The DHST commission for the history and philosophy of computing (www.hapoc.org) is happy to announce the third HAPOC conference. The series aims at creating an interdisciplinary focus on computing, stimulating a dialogue between the historical and philosophical viewpoints. To this end, the conference hopes to bring together researchers interested in the historical developments of computing, as well as those reflecting on the sociological and philosophical issues springing from the rise and ubiquity of computing machines in the contemporary landscape. In the past editions, the conference has successfully presented a variety of voices, contributing to the creation of a fruitful dialogue between researchers with different backgrounds and sensibilities.
Please check out the website of HaPoC 2015 for more information on the conference at http://hapoc2015.sciencesconf.org
The 11th Syntax and Semantics Conference in Paris (CSSP 2015) will take place on October 8-10th, 2015 at Université Paris 7 - Paris Diderot. CSSP conferences combine a general session and a thematic session. The thematic session will focus on the issue of 'Global or genre/domain-dependent grammar'.
For more information, see http://www.cssp.cnrs.fr/cssp2015/index_en.html
Agent-based Computing addresses the challenges in managing distributed computing systems and networks through monitoring, communication, consensus-based decision-making and coordinated actuation. As a result, intelligent agents and multi-agent systems have demonstrated the capability to use intelligence, knowledge representation and reasoning, and other social metaphors like 'trust', 'game' and 'institution', not only to address real-world problems in a human-like way but also to transcend human performance. This has had a transformative impact in many application domains, particularly in e-commerce, and also in planning, logistics, manufacturing, robotics, decision support, transportation, entertainment, emergency relief & disaster management, and data mining & analytics.
For more information, see http://prima2015.apice.unibo.it/
The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.
For detailed conference information and registration, please visit the website of LORI-V at https://www.yoursaas.cc/websites/36224472513387025486/. All inquiries concerning the submission of papers should be addressed to Wiebe van der Hoek (wiebeliverpool.ac.uk) and Wesley Holliday (weshollidayberkeley.edu). For questions concerning conference details, please contact conferenceonlogicgmail.
The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking approach to understanding mathematics that engages with mathematics in practice –including issues in history of mathematics, the applications of mathematics, cognitive science, etc.
Invited Speakers: Abel Lassalle Casanave (Brasil), Leo Corry (Israel, to be confirmed), Silvia De Toffoli (USA), Jeremy Gray (UK), Danielle Macbeth (USA), Paolo Mancosu (USA).
Note that the Seventh French Philosophy of Mathematics Workshop (FPMW7) will be held in Paris immediately following the APMP, on November 5-7.
For more information, see http://institucional.us.es/apmp/index_APMP2015.htm
Context '15 will provide a forum for presenting and discussing high-quality research and applications on context modeling and use. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium.
The main theme of CONTEXT 2015 is 'Back to the roots', focusing on the importance of interdisciplinary cooperations and studies of the phenomenon. Context, context modeling and context comprehension are central topics in linguistics, philosophy, sociology, artificial intelligence, computer science, art, law, organizational sciences, cognitive science, psychology, etc. and are also essential for the effectiveness of modern, complex and distributed software systems.
For more information, see http://cyprusconferences.org/context2015/
The Intelligent Narrative Technologies (INT) workshop series aims to advance research in artificial intelligence for the computational understanding and expression of narrative. INT8, the eighth workshop in the series, will be co-located with the Eleventh Annual AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE 2015) at University of California, Santa Cruz.
Recent years have witnessed significant advances in the technical, creative, and aesthetic interpretation of narratives with digital media, including games, simulations, interactive fiction, and electronic literature. Our goal is to contribute to this forward momentum by congregating a multidisciplinary group of researchers and practitioners to share their latest work at the intersection of narrative and technology. Previous meetings of this workshop have brought together computer scientists, psychologists, narrative theorists, media theorists, artists, writers, and members of the interactive entertainment industry. From this broad expertise, the workshop focuses on computational systems to represent, reason about, create, adapt, and perform interactive and non-interactive narrative experiences. This also includes fundamental research in relevant fields such as natural language processing, believable virtual characters, commonsense reasoning, computer vision, computational media, and human storytelling.
For more information, see http://go.ncsu.edu/int8
This workshop aims at promoting and exploring the possibilities for research and practical applications involving Natural Language Processing (NLP) and Games. The main objective is to provide a forum for researchers and practitioners to discuss and share ideas regarding how the NLP research community can contribute to games research and vice versa. The workshop welcomes the participation of both academics and industry practitioners interested in the use of NLP in games or vice versa. It is to be held at the 11th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE-15).
The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 20th LPAR will be held at the University of the South Pacific, Suva, Fiji in 2015.
For more information, see http://www.LPAR-20.org/
General proof theory studies how proofs are structured, and not primarily what can be proved in particular formal systems. It has been developed within the framework of Gentzen-style proof theory, as well as in categorial proof theory.
For more information, see http://ls.informatik.uni-tuebingen.de/GPT/
Over the past decade, research in theoretical computer science, artificial intelligence, and microeconomics has joined forces to tackle problems involving incentives and computation. These problems are of particular importance in application areas like the Web and the Internet that involve large and diverse populations. WINE is an interdisciplinary forum for the exchange of ideas and results on incentives and computation arising from these various fields.
For more information, see http://event.cwi.nl/wine2015/.
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://esslli2016.unibz.it/.