News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 1 May 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.
Quantifiers play an important role in language extensions of many logics. The use of quantifiers often allows for a more succinct encoding as it would be possible without quantifiers. However, the introduction of quantifiers affects the complexity of the extended formalism in general. Consequently, theoretical results established for the quantifier-free formalism may not directly be transferred to the quantified case. Further, techniques successfully implemented in reasoning tools for quantifier-free formulas cannot directly be lifted to a quantified version.
The goal of the 2nd International Workshop on Quantification (QUANTIFY 2015) is to bring together researchers who investigate the impact of quantification from a theoretical as well as from a practical point of view. Quantification is a topic in different research areas such as in SAT in terms of QBF, in CSP in terms of QCSP, in SMT, etc. This workshop has the aim to provide an interdisciplinary forum where researchers of various fields may exchange their experiences.
The Programme Committee sollicits submission of extended abstracts. Two types of submissions are solicited: talk abstracts (maximum two pages, excluding references) describing already published results, and full papers (maximum 14 pages, excluding references) on novel, unpublished work. Submission deadline is May 8, 2015.
For more information, see http://fmv.jku.at/quantify15/
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'.
CSSP 2015 invites submissions for 30-minute presentations (plus 10-minute discussions). The Conference welcomes papers combining empirical inquiry and formal explicitness. CSSP aims at favouring comparisons between different theoretical frameworks. In light of the fact that work in semantics often addresses pragmatic issues and with the increasing prominence of both experimental and computational approaches, CSSP now welcomes papers employing theoretical/experimental/computational methods. Submission deadline (5-page extended abstract): 10 May 2015.
For more information, see http://www.cssp.cnrs.fr/cssp2015/index_en.html
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?".
Contributions to any topic related to Computational Linguistics and Language Technology are invited, but we especially encourage submissions that are related to the main theme, i.e., connecting broad coverage technologies with linguistic and cognitive theory. Submission Deadline: 15th May 2015.
For more information, see http://www.gscl.org/
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!
Authors of contributed papers are requested to submit extended abstracts of about 1000 words, prepared for blind-review, by May the 15th, 2015.
For more information, see the conference website at http://entia2015.tumblr.com/.
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.
We invite submission of contributed papers on any of the broad themes of the LORI series, Please submit your paper by May 18, 2015.
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.
BLAST (Boolean Algebras, Lattices, Algebraic & Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic & Point-free Topology) is an annual conference sponsored by the National Science Foundation that has been running since 2008. The University of North Texas is proud to host the BLAST conference this year and looks forward to your participation.
BLAST2015@UNT will feature tutorials by Agata Ciabattoni James Cummings Ralph McKenzie and Slawomir Solecki, as well as invited talks by Clifford Bergman, Alan Dow, Michael Hrusak, Peter Jipsen, Aleksandra Kwiatkowska, Dilip Raghavan, Hiroshi Sakai and Grigor Sargsyan.
If you would like to give a talk at the BLAST2015@UNT Conference please submit a title and abstract (not exceeding one page) of your proposed talk by May 18, 2015.
Most Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses.
This workshop aims to bring together researchers working in the two communities of Constraint/Logic Programming (e.g., ICLP and CP) and Program Verification community (e.g., CAV, TACAS, and VMCAI) on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these two communities in different times and from different perspectives and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences.
We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress and presentations covering previously published results that are of interest to the workshop. Deadlines for paper submission: May 22, 2015.
For more information, see http://www.andrew.cmu.edu/user/arieg/hcvs15/
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.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is .
For more information, see http://gandalf2015.dibris.unige.it/
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
Students and doctoral candidates (pre-doc) in philosophy are encouraged to submit an abstract (in English or German) for a presentation of approximately 20 minutes in length. 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. Submission deadline: May 31, 2015.
For more information, see http://www.sophia-conference.org/
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.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is TBA.
For more information, see the conference webpage at http://www.logika.umk.pl/lnk15/lnk15_en.html
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.
CONTEXT 2015 invites high-quality contributions from researchers and practitioners in foundational studies, applications and evaluations of modeling and use of context in all relevant fields. Submissions may be either full papers of up to 14 pages (in Springer LNCS format) or poster abstracts of 4-6 pages. Submission deadline: June 1, 2015.
CONTEXT 2015 workshops will provide a platform for presenting novel and emerging ideas in the use and the modelling of context in a less formal and possibly more focused way than the conference itself. Researchers and practitioners from all relevant fields are invited to submit proposals for review. Workshops that foster collaboration, discussion, group problem-solving and community-building initiatives are particularly encouraged. The length of a workshop may be one half or a whole day, and in exceptional cases, up to two days. Deadline for submission of proposals: March 20, 2015.
For more information, see http://cyprusconferences.org/context2015/
The 2015 annual conference of the Australasian Association of Logic (AAL) will be held in Sydney, Australia, on Thursday 2nd July and Friday 3rd July 2015. The venue is the Muniment Room, Main Quadrangle, University of Sydney.
The AAL was founded in 1965 and this conference marks its fiftieth anniversary.
Papers in any area of philosophical, mathematical or computational logic are welcome. Abstracts of papers should be submitted by email to nicholas.smithsydney.edu.au.
For more information, see http://aal.ltumathstats.com/
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 2016 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. Proposals for two-week courses should be structured and submitted as two independent one-week courses Proposal submission deadline: 1 June 2015.
For more information, see http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=6832 or https://www.easychair.org/conferences/?conf=esslli2016.
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.
The workshop specifically invites contributions in the areas of exact real number computation, effective topology, Scott's domain theory, Weihrauch's type two theory of effectivity category-theoretic approaches to computation on infinite data. hierarchies of unsolvability and related areas. Abstract submission deadline: 15 June 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.
For HaPoC 2015 we welcome contributions from historians and philosophers of computing as well as from philosophically aware computer scientists and mathematicians. Submission deadline: June 19, 2015
Please check out the website of HaPoC 2015 for more information on the conference at http://hapoc2015.sciencesconf.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.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 28 June 2015.
For more information, see http://homepages.inf.ed.ac.uk/mroth/LSDSem/
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.
New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices, as well as experimental and tool papers that describe implementations of systems, report experiments with implemented systems, or compare implemented systems. Abstract submission deadline: 30 June.
For more information, see http://www.LPAR-20.org/
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.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Two types of submission are invited: contributions reporting on novel research, and expository contributions reporting on published work. Abstract submission deadline: July 1st, 2015 (strict).
For more information, see https://sites.google.com/site/sr2015homepage/
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.
We invite submissions of full papers (6 pages plus 1 page of references) describing completed or ongoing relevant research and short papers (4 pages including references) for preliminary work, position papers, or work of limited scope. We also invite demo proposals (1 page) and panel proposals (1 page). Submission deadline: July 3
For more information, see http://go.ncsu.edu/int8
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.
We invite contributed talks on topics of general proof theory, including categorial proof theory. Contributions on related topics are welcome, too. We especially encourage young researchers to contribute. There will be 12 slots for contributed talks (30 min). The deadline for submission is 15 July 2015.
For more information, see http://ls.informatik.uni-tuebingen.de/GPT/
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.
Anyone wishing to contibute a talk should send an abstract (of about 250 words) to blc-2015cl.cam.ac.uk by 15 July, 2015.
For more information, see https://www.newton.ac.uk/event/blc-2015
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 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/
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.
For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.
Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.
The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.
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://www.aamas2015.com/
The LAMAS workshop provides a meeting forum for the research community working on various logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It addresses the whole range of issues that arise in the context of using logic in MAS, from theoretical foundations to algorithmic methods and implemented tools. The workshop is planned to serve two mutually supporting purposes. Primarily, it will be a mini-conference, hosting talks and discussions, and facilitating exchange of information, research ideas, and publication of original research papers on issues listed below. Secondly, the workshop will provide a meeting forum for the research community working on various logical aspects of MAS. The participants will discuss how the community can support coordination of research and dissemination of results.
For more information, see http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm
We are pleased to announce that the *Twentieth Anniversary Conference Applications of Logic in Philosophy and the Foundations of Mathematics* will be held in Szklarska Poreba from May 4 to May 8, 2015. Traditionally, the organizers of the conference are Chair of Logic, University of Wroclaw, Institute of Mathematics and Informatics, Opole University and Institute of Mathematics, University of Silesia at Katowice. The meeting takes place in Szklarska Poreba, in the lovely Sudety Mountains on the Polish-Czech border. The event is being held under the patronage of the Polish Association for Logic and Philosophy of Science.
The detailed information regarding conference registration, submission of abstracts, and accommodation will be available in the forthcoming announcements and on the conference's website http://www.klmn.uni.wroc.pl/conference.html.
This two-day workshop at the University of Amsterdam brings together researchers, scholars, and students to engage in discussions about Quantum Logic, Foundations of Quantum Physics, and Quantum Information Theory.
For more information, see http://events.illc.uva.nl/AQL/AQL15/.
Explanation is one of the central goals of scientific research and abduction is a type of inference in which explanation plays a key role. Thus far, most philosophers will agree. When we consider more specific claims, however, many questions are still open to debate. What are the different forms of explanation and of abduction? How do these interrelate? To what extent are they open for formal explication? What about the relation to other notions, such as confirmation, induction, IBE, causality, belief revision, ...? The aim of this interdisciplinary workshop is to further our understanding of these notions and of their interrelations.
For more information, see http://www.lrr.ugent.be/
The Dutch Organization for Logic and Philosophy of Science (VvL) and the Descartes Centre for the History and Philosophy of Science would like to invite you to attend the symposium "Boole 200" on the occasion of George Boole's 200th birthday.
For more information and a program, see http://www.verenigingvoorlogica.nl/activiteiten.shtml or http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=6793.
Toy models are ubiquitous in the natural and social sciences - prominent examples include the Ising model in physics, the Lotka-Volterra model in the life sciences, and the Schelling model in the social sciences. It is characteristic of toy models that they simplify radically and often succeed in identifying the crucial features that produce a phenomenon. Toy models play an important and, though, insufficiently appreciated role in philosophy of science. This workshop addresses several questions regarding the epistemic functions of toy models in the natural and social sciences.
DATES AND REGISTRATION:
Workshop Date: May 8-9, 2015
Everyone is welcome to attend! Please e-mail the organizers in advance. For more information, see http://www.lmu.de/justplaying2015
PhDs in Logic is an annual graduate conference organized by local graduate students. Its aim is to bring together graduate students and researchers as well as to foster contact between graduate students. This year, the conference includes tutorials by Thomas Eiter (Vienna University of Technology), Michael Moortgat (Universiteit Utrecht), Revantha Ramanayake (Vienna University of Technology) and Torsten Schaub (University Potsdam).
The Department of English and General Linguistics at University of Lodz announces the Fourth International Conference on Philosophy of Language and Linguistics (PhiLang2015). The principal aim of our Conference is to bring together philosophers, logicians and linguists.
For more information, see http://www.csk.uni.lodz.pl/
Historians of logic have known for decades that the 14th century was a tremendously productive period in the Latin West. As far as the relationship between logic and metaphysics is concerned, however, research has tended to focus on the nominalist tradition associated with Ockham and Buridan. The aim of this workshop is to redress the balance a little by focussing instead on the realist tradition that spans the 14th century. We have singled out for special mention the influential figure of John Wyclif, whose Logic is currently being re-edited here at St Andrews, but we welcome contributions involving other figures from Walter Burley to Paul of Venice.
For more information, see http://www.st-andrews.ac.uk/arche/events/event?id=866
St. Louis Annual Conference on Reasons and Rationality provides a forum for new work on practical and theoretical reason, broadly construed. Keynote Speaker: Pamela Hieronymi (UCLA).
One of the central questions in philosophy of language and linguistic semantics in the 20th century was how we refer using proper names. Contemporary work on these issues is being conducted by both linguists and philosophers, and the nature of the topic and some of the recalcitrant problems facing extant accounts call for their collaborative interaction. Accordingly, our invited participants include scholars from both fields. The workshop will consist of six extended sessions over two days, each led by one of our invited speakers, with ample time for discussion and interaction with the distinguished group of invited discussants.
Please let us know by May 5th if you would like to attend, so we can plan accordingly. For more information and a registration form, see http://ias.ceu.edu/node/43092 or contact crobertsling.osu.edu or zvolenszkyelte.hu.
The Formal Epistemology Workshop will be held in connection with the 2015 meeting of the St. Louis Annual Conference on Reasons and Rationality (SLACRR), which will take place immediately before, from May 17-19, 2015.
There will be conference sessions all day on May 20 & 21, and in the morning on May 22. Keynote speakers: Tom Kelly (Princeton), Jeff Horty (University of Maryland, College Park).
For more information, see the conference webpage at https://sites.google.com/site/juliastaffelphilosophy/few.
The list of speakers includes Ulrich Berger (Swansea), Jean-Yves Girard (Luminy), John Longley (Edinburgh), Jan von Plato (Helsinki), Wolfram Pohlers (Munster), Michael Rathjen (Leeds) and Stan S. Wainer (Leeds).
The symposium is co-located with the Workshop PCC 2015 May 23-24, 2015 and following the Abel Prize Award Ceremony, May 19, 2015 and the Abel Lectures and Science Lecture, May 20, 2015.
For more information, see http://www.mn.uio.no/math/english/research/groups/logic/events/conferences/
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.
For more information, see http://www.mn.uio.no/math/english/research/groups/logic/events/conferences/.
Narrative provides a framing structure for understanding, communicating, influencing, and organizing human experience. Systems for its analysis and production are increasingly found embedded in devices and processes, influencing decision-making in venues as diverse as politics, economics, intelligence, and cultural production. This inter-disciplinary workshop will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative, such as the technical implementation of narrative systems, the theoretical bases of these frameworks, and our general understanding of narrative at multiple levels: from the psychological and cognitive impact of narratives to our ability to model narrative responses computationally.
CMN 2015 will be co-located with the Third Annual Conference on Advances in Cognitive Systems (ACS 2015). The workshop will have a special focus on the building cognitive systems that are distinguished by a focus on high-level cognition and decision making, reliance on rich, structured representations, a systems-level perspective, use of heuristics to handle complexity, and incorporation of insights about human thinking, meaning we especially welcome papers relevant to the cognitive aspects of narrative. Invited Speaker: Janet H. Murray (Georgia Institute of Technology, USA)
For more information, see http://narrative.csail.mit.edu/cmn15
Narrative provides a framing structure for understanding, communicating, influencing, and organizing human experience. Systems for its analysis and production are increasingly found embedded in devices and processes, influencing decision-making in venues as diverse as politics, economics, intelligence, and cultural production. The aim of this workshop series is to address the technical implementation of narrative systems, the theoretical bases of these frameworks, and our general understanding of narrative at multiple levels: from the psychological and cognitive impact of narratives to our ability to model narrative responses computationally.
This year's workshop is associated with the Third Annual Conference on Advances in Cognitive Systems (ACS), and will have a special focus on the building cognitive systems that are distinguished by a focus on high-level cognition and decision making, reliance on rich, structured representations, a systems-level perspective, use of heuristics to handle complexity, and incorporation of insights about human thinking, meaning we especially welcome papers relevant to the cognitive aspects of narrative.
This workshop .
For more information, see http://narrative.csail.mit.edu/cmn15/
The workshop is concerned with the semantics of gradability, scale structure and vagueness from an experimental perspective.
For more information, see https://sites.google.com/site/gradexp2015/.
The organizing committee invites you to take part in the Fourth International Congress on Tools for Teaching Logic, which will be held in Rennes on June 1-4, 2015. There will be lectures, discussion sessions, round tables and software demonstrations. You are kindly invited to take active part in discussion sessions and to exhibit your teaching or professional software.
For more information, see http://ttl2015.irisa.fr/
On June 1st the Amsterdam Brain and Cognition center organizes the ABC Brain Day, the yearly conference where ABC members present their research.
For more information, see http://abc.uva.nl/events/item/abc-brainday-2015.html
A workshop on the mathematics surrounding Vaught's Conjecture (on the number of isomorphism types of countable models of a countable complete theory elementary first order theory) will be held at the University of California at Berkeley from June 1 to June 6, 2015. The first workshop on Vaught's Conjecture was held at the University of Notre Dame, in May of 2005. This workshop resulted in a number of new ideas and collaborations, some of which were published in a special issue of the Notre Dame Journal of Formal Logic. We hope that this second workshop will build on the success of the first.
There will be tutorials by Uri Andrews, Su Gao, and Chris Laskowski; the invited speakers currently include: Nate Ackerman, John Baldwin, Howard Becker, Samuel Coskey, Cameron Freer, Sy Friedman, Robin Knight, Paul Larson, David Marker, Ludomir Newelski, Richard Rast, Gerald Sacks, Slawomir Solecki and Ioannis Souldatos
For more information, see https://math.berkeley.edu/~schweber/vcc15/
The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.
TARK 2015 is the 15th conference of the TARK conference series. Previous conferences have been held bi-annually around the world, most recently in 2013 at the Institute of Mathematical Sciences, Chennai, India.
For more information, see http://www.imsc.res.in/tark/tark15.html
. The series of CLfL workshops is designed to bring together NLP researchers interested in working with literary data – prose and poetry – in any human language. This is a friendly forum to discuss ideas, bring up problems and chart new directions. CLfL-2015 is co-located with NAACL 2015.
The Bertrand Russell Society (BRS), an international organization dedicated to the memory of the philosopher Bertrand Russell, will hold its annual meeting in Dublin in 2015. We meet at Trinity College, June 5-7. This meeting will be held in conjunction with the Society for the Study of the History of Analytic Philosophy, which will hold its annual meeting on June 4-6.
Further details about the annual meeting (registration, etc.) will be posted at Alan Schwerin's website at https://sites.google.com/site/alanschwerinsphilosophycorner/home/
This year, the 2015 LMP Conference will precede the annual Philosophy of Physics Conference, taking place June 6-7. Elaine Landry (University of California-Davis) will be giving the keynote address.
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.
Invited Speakers: Carsten Lutz (TU Bremen), Axel Polleres (TU Wien) and Maarten de Rijke (University of Amsterdam).
For more information, see http://dl2015.image.ntua.gr/
Postgraduates are invited to apply for the 2nd PLM Masterclass, to be held at the Department of Philosophy, Stockholm University, 7-8 June 2015. The masterclass will be devoted to the work of David Chalmers, New York University and Australian National University. 9 graduate students will have the opportunity to present papers on David Chalmers's work. Professor Chalmers will comment on the papers and will also present new research.
Each student talk will be 30 minutes long, and will be followed by comments by Professor Chalmers and a general discussion.
Participation in the Masterclass will be free of charge, but students will have to find their own funding support for accommodation and living expenses.
For more information, see http://langmind.eu/
The study of the logical foundations of topology is playing an important role in mathematical logic and foundations of especially constructive mathematics. Early works by Brouwer on the theory of spreads and choice sequences were influencing much work in the area. A modernized form of his ideas is embodied in constructive point-free topology or formal topology. The workshop will gather experts in this field and related areas, including computable aspects and non-classical aspects of topology. A subtheme will be modern developments in the theory of spreads and choice sequences, as well as its history.
This is the fifth of a series of successful meetings on the development of Formal Topology and its connections with related approaches. The workshop is part of the Institut Mittag-Leffler short conferences program 2015. The number of participants is limited to 30 due to reasons of space.
Epistemic game theory is a modern and blooming approach to game theory where the reasoning of people is at center stage. More precisely, it investigates the beliefs that people form – about the opponents' choices, but also about the opponents' beliefs – before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.
For more information about the course, together with a full program of the course, please visit our course website: http://www.epicenter.name/springcourse/
The European Conference on Argumentation (ECA) is a new pan-European initiative aiming to consolidate and advance various streaks of research into argumentation and reasoning: from philosophical, linguistic, discourse analytic, cognitive, to computational approaches. The chief goal of the initiative is to organize on a regular basis a major conference on argumentation. The first of these conferences will be hosted in Lisbon by the ArgLab, Institute of Philosophy (IFILNOVA), Universidade Nova de Lisboa.
The primary idea behind this first edition of the conference is that argumentation and reasoning are the main vehicles for our decisions and actions. They accompany, indeed constitute, a variety of significant social practices: from individual practical reasoning, small group decisions, deliberations of official bodies in various institutional contexts, to large-scale political and social deliberations. Argumentation is understood here as a mode of action - and not just any action, but a reasoned action, comprised of consideration of reasons (whether they are good or bad). Traditionally, argumentation has been assigned many distinct functions: epistemic, moral, conversational, etc. The aim of the conference is to explore how these functions are interrelated with the practical need for deciding on a course of action. Simply put, our chief concern is with the role argumentation and reasoning play when the question of 'what to do?' is addressed.
For more information, see http://www.ecargument.org/
The Panhellenic Logic Symposium(PLS), a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The 10th Panhellenic Logic Symposium will be hosted by the Department of Mathematics at the University of Aegean, Samos, Greece.
The 20th century has witnessed several attempts to build (parts of) mathematics on grounds other than those provided by classical logic. The goal of this seminar, along with presenting recent advances in particular areas (see the list of topics below), is to provide an opportunity for round-table discussions about the common aspects of various `non-classical' approaches, including similarities between results, proof methods, and methodological questions about the role of classical logic/mathematics in our work.
For more information, see http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=6767.
This workshop is held in conjunction with 2015 ICAIL and aims to bring together an interdisciplinary group of researchers in law, artificial intelligence, philosophy and psychology to discuss whether (and if so how) formal, computational and philosophical methods can help us understand key ideas in civil and criminal procedure.
Logica 2015 is the 29th in the series of annual international symposia devoted to logic. The official language of the symposium is English.
Invited speakers are Patricia Blanchette, Walter Carnielli, Melvin Fitting, and Peter Milne.
Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterised by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2015 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods. This is the seventh conference in the series Topology, Algebra, and Categories in Logic (TACL).
Starting from 2013, the conference TACL -Topology, Algebra, and Categories in Logic- is preceded by a one-week school. In 2015 the school will be held at the campus of the University of Salerno and will include four tutorials, each consisting of 1.5 hour lectures for five days.
The Decisions, Games and Logic (DGL) workshop series started in 2007 and aims to bring together graduate students, post-docs and senior researchers from economics, logic and philosophy working on formal approaches to rational individual and interactive decision making.
DGL 2015 will be hosted by the Department of Philosophy, Logic and Scientific Method at the London School of Economics on 17-19 June 2015. The details of this year's workshop and the CFP can be found at the conference website at http://personal.lse.ac.uk/marcoci/dgl2015.html, or contact philosophy.probabilitylse.ac.uk.
Since 1995, the NLDB conference aims at bringing together researchers, industrials and potential users interested in various applications of Natural Language in the Database and Information Systems field. The integration of databases and natural language has been an utopia for many years. However, progress has been made and this is now an established field thanks to developments in Natural Language and technologies that made the storage and manipulation of large linguistic resources and datasets possible. The use of Natural Language in Software Engineering has contributed to both improving the development process from the viewpoints of developers (improve the process of conceptual modeling, validation, etc) and the usability of applications by users (natural language query interfaces, etc). NLDB’2015 will take place in Passau, Germany.
For more information, see http://nldb2015.org/
The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.
For more information, see http://www.illc.uva.nl/ILLCColloquium/
This is the fifth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers many turorials on a wide range of subjects. The congress will follow with invited talks by some of the best alive logicians and a selection of contributed talks. As in previous eiditons there will also be a contest and secret speaker.
This event is intended to be a major event in logic, providing a platform for future research guidelines. Such an event is of interest for all people dealing with logic in one way or another: pure logicians, mathematicians, computer scientists, AI researchers, linguists, psychologists, philosophers, etc.
For more information, see http://www.uni-log.org/enter-istanbul
CCR 2015 will be held in Heidelberg, in the Institute of Computer Science, from the 22nd to the 26th of June 2015. The conference will be in the tradition of the previous meetings Cordoba, Buenos Aires, Nanjing, Luminy, Notre Dame, Cape Town, Cambridge, Moscow and Singapore. Topics covered include: Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic, and Randomness in networks and applications to biology.
For more information, see http://math.uni-heidelberg.de/logic/conferences/ccr2015/
MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. The 31st MFPS will be co-located with the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO)
For more information, see http://events.cs.bham.ac.uk/mfps31/
The international conference series Finite-State Methods and Natural Language Processing (FSMNLP) is the premier forum of the ACL Special Interest Group on Finite-State Methods (SIGFSM). It serves researchers and practitioners working on (i) natural language processing (NLP) applications or language resources, or (ii) theoretical and implementational aspects or their combinations, that have obvious relevance or an explicit relation to finite-state methods.
For more information, see http://fsmnlp2015.phil.hhu.de
Attendance: is free. There is no need to register in advance; simply turn up on the day. Speakers include Matt Parker, Bruno Whittle, Mary Leng, Toby Meadows and Tom Donaldson. The conference is generously funded by Maury Friedman. For more information, see http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=6815
The Society for Philosophy of Science in Practice (SPSP) is an interdisciplinary community of scholars who approach the philosophy of science with a focus on scientific practice and the practical uses of scientific knowledge. The SPSP conferences provide a broad forum for scholars committed to making detailed and systematic studies of scientific practices - neither dismissing concerns about truth and rationality, nor ignoring contextual and pragmatic factors. The conferences aim at cutting through traditional disciplinary barriers and developing novel approaches.
Keynote speakers will include: Marcel Boumans (Eramus University of Rotterdam), Nancy J. Nerssessian (Georgia Institute of Technology), Hans-Jörg Rheinberger (Max Planck Institute for the History of Science), and Léna Soler (University of Paris-I). There will be a pre-conference workshop on teaching philosophy of science to scientists to be held at Aarhus University, Aarhus on 23 June, as well as a pre-conference casual social event that evening.
CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques).
For more information, see http://coalg.org/calco15/
The goal of this workshop is to explore questions about the morpho-syntax, semantics and underlying ontology of words and constructions used to describe dispositions. The central aim of the workshop is to develop a better understanding of how existing and novel insights from different approaches to dispositions can be integrated into a single theory of dispositions and their linguistic descriptions.
Logic as a discipline is not characterized by a stable scope throughout its history. True enough, the historical influence of Aristotelian logic over the centuries is something of a common denominator in Western philosophy. But Aristotelian logic certainly was not alone (see stoic logic for instance), not to mention non-western logics. Even within the Aristotelian tradition there is significant variability. Furthermore, as is well known, in the 19th century logic as a discipline underwent a radical modification, with the development of mathematical logic. This workshop, held at the 5th World Congress on Universal Logic in Istanbul, will focus on both the diversity and the unity of logic through time.
For more information, see http://www.uni-log.org/wk5-IOL.html
There is an ongoing philosophical and logical debate about motivations in accepting or rejecting the principle (law) of (non-)contradiction and the principle (law) of excluded middle. A logic rejecting the principle of non-contradiction is called *paraconsistent* and a logic rejecting the principle of excluded middle is called *paracomplete*. But what does it really mean to reject a classical principle (law)? And what are the philosophical consequences for this refusal? In which sense would it still be possible to defend nowadays that there is just one true logic?
This workshop, held at the 5th World Congress on Universal Logic in Istanbul, shall represent a privileged platform to evaluate proposals for a more integrated and general approach to philosophical motivations and consequences in the emergence of non-classical logics. Keynote speaker: Graham Priest (CUNY).
For more information, see http://www.uni-log.org/wk5-PNC.html
The conference aims at promoting interdisciplinary research and disseminating results at the interface between: Non-Classical Logics, Social choice and related topics, and Formal Approaches to Market Dynamics.
RTA is the major forum for the presentation of research on all aspects of rewriting. RTA 2015 will be co-located with the 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) as part of the International Conference on Rewriting, Deduction, and Programming (RDP-2015).
The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs, broadly interpreted.
CiE 2015 is the 11-th 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.
Evolution of the universe, and us within it, invite a parallel evolution in understanding. The CiE agenda - fundamental and engaged - targets the extracting and developing of computational models basic to current challenges. From the origins of life, to the understanding of human mentality, to the characterising of quantum randomness - computability theoretic questions arise in many guises. The CiE community, this coming year meeting for the first time in Bucharest, carries forward the search for coherence, depth and new thinking across this rich and vital field of research.
For more information, see http://fmi.unibuc.ro/CiE2015/
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://www.cogsci.uos.de/~c3gi
The 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) is a forum for original research in the theory and applications of typed lambda calculus, broadly construed. TLCA 2015 is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2015), together with the International Conference on Rewriting Techniques and Applications (RTA 2015) and several related events.
The formal analysis of ethical concepts and theories (via the application of tools from logic, rational choice theory, natural language semantics, AI) is a rapidly growing field of research. It has shed new light on a variety of concepts that are central to ethical theory, such as freedom, responsibility, values, norms, and conventions. The series Formal Ethics conferences aims at providing an international platform for the discussion and promotion of formal approaches to ethics, to bring together researchers who are employing formal tools to address questions in ethics and/or political philosophy, and to push the frontiers of the research being conduced in this field.
Contact and further information:
Email: organization at formalethics dot net
Web: www dot formalethics dot net
Formal tools coming from logic and category theory are important in both natural language semantics and in computational semantics. Moreover, work on these tools borrows heavily from all areas of theoretical computer science. In the other direction, applications having to do with natural language has inspired developments on the formal side. The workshop invites papers on both topics.
MC'15 is affiliated with 42nd International Colloquium on Automata, Languages and Programming (ICALP 2015) and 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015)
For more information, see http://www.indiana.edu/~iulg/nlcs.html
ICML is the leading international machine learning conference and is supported by the International Machine Learning Society (IMLS). The conference will consist of one day of tutorials, followed by three days of main conference sessions, followed by two days of workshops.
For more information, see http://icml.cc/2015/
RPPW is a biannual summit that seeks to explore innovative means of understanding rhythm production and perception. Rhythms are paramount in human functioning. Walking, talking, music performance – they all have rhythmic components. As of today the neurobiology of the underlying timing is not well understood, let alone the corresponding cognitive processes. The 15th edition of RPPW is therefore devoted to integrating various disciplines like biophysics, neurophysiology, cognitive psychology, and the science of music.
For more information, see http://www.move.vu.nl/en/news-agenda/conferences-and-symposia/rppw15/index.asp
The Spanish Society of Logic, Methodology and Philosophy of Science (SLMFCE) and the Facultat de Filosofia of the Universitat de Barcelona organize the VIII Congress of the society to be held in Barcelona from 7th to 10th July 2015. The congress will host the second edition of the Lullius Lectures, which will be in charge of Prof. Hartry Field (New York U.). The steering committee of the society will organize a symposium on H. Field's work.
The SLMFCE Conference is held every three years (aproximately). Its main aim is to promote the integration of research in Logic and Philosophy of Science, and serve as a meeting place for those who work in such area of research in Spain and abroad.
The International Association for Science and Cultural Diversity (IASCUD) is pleased to announce a one-day workshop being held in Paris, France on Saturday, 11 July 2015. The event will consist of a number of presentations from invited expert speakers and round-table discussions/debates to question the notions of "culture", "diversity", and "comparison" in the history and philosophy of science. This workshop, held in English, will be interactive and discussions will be encouraged. We hope you will join us this summer in Paris.
Registration is free and required ahead of time. On-site registration will not be available. Participation via Skype is possible with a requisite arrangement. On-line or physical participation will be limited, so please let us know as soon as possible if you with to attend this workshop. For more information, see http://www.math.uni-hamburg.de/home/loewe/IASCUD/paris2015.html
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/cca2015/
Costs: free (travel grants available)
This summer school, intended for PhD students, postdocs, and advanced Master's students in a variety of disciplines, will provide a thorough introduction to the research area of fair division, which is concerned with the problem of fairly dividing a number of goods between the members of a group of agents. It is organised by COST Action IC1205 on Computational Social Choice, and in addition supported by a grant from the Persyval Labex.
Participation is free of costs, but you need to apply to be offered a spot (deadline: 10 April 2015). You can apply for a travel grant to cover (most of) your transport and accommodation expenses. Interested participants can present a poster of their own work at the summer school.
CSR 2014 intends to reflect the broad scope of international cooperation in computer science. It is the 10th conference in a series of regular events started with CSR 2006 in St. Petersburg
Distinguished opening lecture: Moshe Y. Vardi (Rice U.). Invited Speakers include Samuel R. Buss (UCSD), Phokion Kolaitis (UCSC and IBM Research/Almaden) and Vladimir Podolskii (Steklov Inst./Moscow).
Further information and contacts:
Email: csr2015 "at" googlegroups.com
This workshop brings together researchers working on mathematical foundations of quantum physics, quantum computing, spatio-temporal causal structures, and related areas such as computational linguistics. Of particular interest are topics that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general. The workshop will be preceded by tutorials
For more information, see http://www.cs.ox.ac.uk/qpl2015/
The invited speakers are: David Beaver (University of Texas)Noah Goodman (Stanford University), Yi Ting Huang (University of Maryland), Hannah Rohde (Edinburgh University), and Michael Tanenhaus (University of Rochester).
For more information, see http://xprag2015.uchicago.edu/
As part of the Emmy Noether Research Group Ontology after Quine: Fictionalism and Fundamentality, the University of Hamburg will host a 2-day workshop on Fiction and Depiction. As its name suggests, the workshop is intended to address issues concerning fiction and depiction, with a particular emphasis on issues that arise at the intersection of philosophical work on fiction and pictorial representation.
The workshop will take place on Friday 17th and Saturday 18th July and the speakers will be: Catharine Abell (Manchester), Paloma Atencia-Linares (UNAM), Rob Hopkins (NYU), Kathleen Stock (Sussex), Kendall Walton (Michigan) and Richard Woodward (Hamburg).
Attendance is free, but please let us know if you intend to attend by emailing richard.woodwarduni-hamburg.de and julia.zakkouuni-hamburg.de For more details, please see the announcement at http://carvingnature.net/2015/02/09/fiction-and-depiction/
Logic was originally meant to systematize and analyze arguments in natural language. But in the 20th century the main developments in logic focused on mathematics and its foundations. Recently, a number of researchers have focused on logical systems tuned to natural language semantics to reconnect with the older tradition. The logical and conceptual underpinnings of some of these systems remains unclear, although some recent work has begun to address formal foundations.
The aim of this conference is to contribute to this direction in semantics and to discuss logics, especially proof systems, well-suited for natural language semantics and to explore comparisons between these systems. We also welcome input from people invoved in computational semantics, psychology of reasoning, and computer implementations of natural reasoning systems.
For more information, see http://www.indiana.edu/~iulg/wollic/coconat.htm
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-second WoLLIC will be held at the School of Informatics and Computing, Indiana University, from July 20th to 23rd, 2015.
It 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) (SBL).
For more information, see http://wollic.org/wollic2015/
IJCAI is the International Joint Conference on Artificial Intelligence, the main international gathering of researchers in AI. Held biennially in odd-numbered years since 1969, IJCAI is sponsored jointly by IJCAI and the national AI societie(s) of the host nation(s).
A theme of IJCAI-15 is Artificial Intelligence and Arts. This theme will highlight AI's increasingly important role in how we create, discover, disseminate, learn and appreciate arts.
For more information, see http://ijcai-15.org/
MoL is a biannual conference, organized by the Association for Mathematics of Language, and devoted to the study of mathematical structures and methods that are of importance to the description of language. The meeting takes place on the last weekend of the Linguistic Summer Institute of the Linguistic Society of America.
For more information, see http://www.molweb.org/mol2015/, or contact mol2015easychair.org (for inquiries about the scientific program of the conference) or mol2015.chicagogmail.com (for inquiries about the local organization and all practical aspects of the conference).
The Munich Center for Mathematical Philosophy (MCMP) is organizing the 2nd Summer School on Mathematical Philosophy for Female Students, which will be held from July 26 to August 1, 2015 in Munich, Germany. The summer school is open to excellent female students who wish to specialize in mathematical philosophy.
Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school aims to encourage 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 formal epistemology, simulation techniques, the semantics-pragmatics interface. 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 March 1, 2015. For more information, see http://www.mathsummer.philosophie.uni-muenchen.de/
The Georg-August-Universität Göttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation". This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.
Encouraged by previous years of success we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Gödel's Incompleteness Theorems, Recursion and Complexity, Ordinal Analysis, Automatic Reasoning in the Automobile Industry, and Hilbert and Bernays in Göttingen
For more information, see http://www.math.uni-goettingen.de/summer
The Scandinavian Logic Society is very pleased to announce the next summer school in logic, taking place July 27-31 in Helsinki this summer of 2015. Notice that the school takes place exactly the week before both the ASL European Summer Meeting and the LMPS, both of which being in Helsinki August 3rd.
Course are offered by a very distinguished group of lecturers: Samson Abramsky (Oxford), Jeremy Avigad (Carnegie Mellon), Laura Fontanella (Hebrew University), Curtis Franks (Notre Dame), Åsa Hirvonen (Helsinki), Nicole Schweikardt (Berlin) and Moshe Vardi (Rice University). There may be funds for students. Also: note the inexpensive registration fee.
The Fourth Hamburg Summer School will be taught by Prof. Stephen Yablo from the Massachusetts Institute of Technology. The course will take place between the 27th July and 31st July 2015 at the University of Hamburg, Germany. Prof. Yablo will present material from his new book Aboutness.
Further information will follow soon on the following website: https://hamburgersommerkurs.wordpress.com/.
Title: Bridging Logical and Probabilistic Approaches to Language and Cognition
Recent years have seen increased interest in applying logical methods and frameworks, the traditional subject matter of ESSLLI, to cognitive modeling, whereby logical models of cognitive phenomena are tested against empirical data. At the same time, there has recently been an explosion of activity in the cognitive sciences around (structured) statistical, and specifically Bayesian, models. With this workshop we propose to bring together two groups of researchers -- logicians focused on cognitive modeling, and cognitive scientists incorporating logical structure into probabilistic models -- with the aim of cross-pollination, and ideally, a consensus on how these two traditions relate, and how we might combine the best of what both have to offer. The primary aim is to gain a better understanding of (i) how cognitive computational models could be enriched by logical insights and (ii) how logical models may be turned into cognitive models.
For more information, see http://www.jakubszymanik.com/PLLC2015/
The annual European Summer Meeting of the Association for Symbolic Logic, the Logic Colloquium 2015 (LC 2015), will be organized in Helsinki, Finland, 3-8 August 2015. Logic Colloquium 2015 is co-located with the 15th Conference of Logic, Methodology and Philosophy of Science (CLMPS 2015), and with the SLS Summer School in Logic.
For more information, see http://www.helsinki.fi/lc2015/
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.
For more information, see http://www.helsinki.fi/clmps
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.
Research in resource-bounded agency contributes both to reasoning about actions in philosophy and artificial intelligence, and to applications of logic in computer science, such as the practical verification of resource-bounded multi-agent systems. The Logics for Resource-Bounded Agents workshop will provide a forum for established researchers and advanced PhD students to present and discuss their work with colleagues working in related areas (particularly those represented at ESSLLI). In addition to logics of strategic ability where actions produce and consume resources, we solicit contributions from researchers working in epistemic logic, game theory, linear logic etc. on alternative approaches to modelling resource-bounded agency.
The workshop is part of ESSLLI and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the second week of ESSLLI. There will be 2 or 3 slots for paper presentation and discussion per session. On the first day the workshop organizers will give an introduction to the topic.
For more information, see http://www.cs.nott.ac.uk/~nza/lrba15/
Professor Kit Fine will use his Anneliese Maier Research Price of the German Humboldt Foundation to finance a series of workshops on truthmaker semantics and related topics. The workshops will be organized by the Phlox research group under the auspices of Professor Benjamin Schnieder. The first instalment of the series will take place at the university of Hamburg on August 3rd and 4th 2015. The talks of the workshop are loosely centred around the themes of Professor Stephen Yablo's latest book 'Aboutness?.
For more information, see http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=6716.
The scale and the heterogenous nature of web data poses many challenges, and turns basic tasks such as query answering and data transformations into complex reasoning problems. Rule-based systems have found many applications in this area. The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems.
RR 2015 also hosts a doctoral consortium, which will provide PhD students with an opportunity to present and discuss their research directions, to be involved in discussions on the state-of-the-art research, and to establish fruitful collaborations. In particular, the doctoral consortium will include a mentoring lunch and a poster session, organized jointly with the 9th International Web Rule Symposium (RuleML 2015).
For more information, see http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=6175 or http://www.csw.inf.fu-berlin.de/RR2015/, or contact lpulinauniss.it
FG-2015 is the 20th conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information, which takes place in 2015 in Barcelona, Spain. FG provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language.
For more information, see http://fg.phil.hhu.de/2015/
Costs: 170 EUR [100 EUR for students]
There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. The aim of this conference series, which take place once every 2 or 3 years, is to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the word interested in these and related areas to exchange new ideas, problems and results.
For more information, see http://www.renyi.hu/conferences/lrb15/.
This workshop provides a forum for discussion of recent empirical advances in categorial grammar (CG). After the revival of interest in CG in linguistics in the 80s, various extensions to the Lambek calculus and an early version of Combinatory Categorial Grammar have been proposed. But the fundamental question of whether CG constitutes an adequate linguistic theory still seems to be wide open. Moreover, there are now numerous variants of CG, both in the TLCG tradition and in CCG. Which of these theories constitutes the most adequate version of an empirical theory of natural language?
Logical, mathematical, and computational analyses have tended to take precedence over empirical ones in the past 30 years in CG research. These are all important and very illuminating, but at the same time we may now want to pause and reflect on the question of just where we are in terms of empirical adequacy. We think that the time is ripe to critically scrutinize the empirical consequences of the various formal techniques/frameworks proposed in the literature in the past 30 years, as well as ones that are being developed at this very moment.
For more information, see http://www.u.tsukuba.ac.jp/~kubota.yusuke.fn/cg2015.html
Costs: $250 CAD registration fee
The 4th International Quantum Key Distribution (QKD) Summer School will be held August 27-31, 2015 at the Institute for Quantum Computing, University of Waterloo.
The program is aimed primarily at graduate students and young postdoctoral fellows with a basic idea of quantum information and cryptography concepts who want to deepen their understanding of the cryptographic context, the theoretical underpinning and the experimental realizations and difficulties.
The application deadline is Monday, June 8, 2015. Upon acceptance into the school a $250 CAD registration fee is due.
For more information and an application form, see https://uwaterloo.ca/institute-for-quantum-computing/qkd
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/
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
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/
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
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
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
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 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/
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.
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/
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
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 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