News and Events: Conferences
These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Headlines Calls for Paper
Headlines Upcoming conferences
Calls for Paper
28 - 30 November 2018, 29th Novembertagung on the History of Mathematics: "History of Mathematical Concepts & Conceptual History of Mathematics", Sevilla, SpainLocation: Sevilla, Spain
The Novembertagung on the History of Mathematics is an annual international conference aimed at PhD and postdoctoral students (young scholars) in the history of mathematics. In 2018 the Novembertagung will be held in Spain for the first time, at the Institute of Mathematics of the University of Seville (IMUS). The conference will commence on November 28th with a lunch reception; presentations will then begin after lunch and continue throughout the next two days.
We encourage submissions that engage with historical considerations of key concepts in mathematics, as well as those that are guided by a conceptual approach to the history and philosophy of mathematics. Abstracts, of around 250 words, should be submitted by May 15th 2018. Please note that the theme serves as a guide, not a criterion for exclusion, and as such it is not necessary for a submission to engage with the theme to be accepted.
(Updated) 27 - 28 October 2018, 19th Annual Midwest PhilMath Workshop (MWPMW 19), Notre Dame IN, U.S.A.Location: Notre Dame IN, U.S.A.
As usual, the plan is for a full day of talks and discussions on Saturday and a half day on Sunday. As usual, too, there will be a workshop lunch and workshop dinner on Saturday, with all participants invited to attend as guests of the university.
If you would like to give a talk, please email a pdf of your talk or a substantial summary of it to the organizers. We would like to have all proposals for talks by August 31st so that we can set the program by mid September. Talks should be 35--40 minutes in length, with 15--20 minutes left for discussion.For more information, see https://mdetlefsen.nd.edu/midwest-philmath-workshop/midwest-philmath-workshop-19/ or contact Mic Detlefsen at mdetlef1 at nd.edu, Paddy Blanchette at pblanche at nd.edu, Tim Bays at tbays at nd.edu, or Curtis Franks at cfranks at nd.edu.
(New) 22 - 23 March 2019, Mathematics in Philosophy: Purity and Idealization, Notre Dame IN, U.S.A.Location: Notre Dame IN, U.S.A.
In honor of the 70th birthday of Professor Mic Detlefsen, the University of Notre Dame will host a conference on twin themes in Detlefsen's work: Purity and Idealization in the Philosophy of Mathematics. All are welcome.
We invite submissions from graduate students for contributed talks on topics related to the conference theme. Student contributions (complete paper or extended abstract, suitable for a 30-minute presentation) should be sent to Patricia Blanchette by January 10, 2019
(Updated) 27 - 30 March 2019, Third Tübingen Conference on Proof-Theoretic Semantics (PTS3): Assessment and Future Perspectives, Tübingen, GermanyLocation: Tübingen, GermanyDeadline: Monday 1 October 2018
We invite submissions for 30min-talks on any topic of proof-theoretic semantics. We especially encourage young researchers to contribute. If you would like to give a talk, please send a one-page abstract.For more information, see http://ls.informatik.uni-tuebingen.de/PTS3/.
(Updated) 16 - 21 November 2018, Logic for Programming, AI & Reasoning (LPAR-22), Awassa, Ethiopia, Haile ResortLocation: Awassa, Ethiopia, Haile ResortDeadline: Wednesday 3 October 2018
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 22nd LPAR will be held will be held in Haile Resort, Awassa, Ethiopia, 16-21 November 2018. The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright.
In keeping with the tradition of LPAR, researchers and practitioners are invited to submit short presentation papers (the papers can be full length, the presentation slots will be short), reporting on interesting work in progress, system and tool descriptions, experimental results, etc. They need not be original, and extended or revised versions of the papers may be submitted concurrently with or after LPAR to another conference or a journal. Authors of accepted papers are required to ensure that at least one of them will be present at the conference. Papers that do not adhere to this policy will not be published.For more information, see http://www.LPAR-22.info.
21 - 25 January 2019, Syntax Meets Semantics 2019Location: Doelenzaal, University Library, Singel 425 Amsterdam NederlandDeadline: Friday 5 October 2018
Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This conference is the last of a series of meetings planned in the SYSMICS RISE project during 2016-2019.
Contributed talks can be on any topic related to substructural logic. The Programme Committee will accept submissions of abstracts ranging from 2 to 4 pages.For more information, see http://events.illc.uva.nl/SYSMICS2019/.
CfP special issue of Synthese on "Reliability"Deadline: Sunday 11 November 2018
Current political, social and even scientific debates all hinge upon whether data, inferences and/or belief forming processes are reliable. We are calling for philosophical/methodological contributions which help us through these difficult circumstances.
Given the variety of intertwined problems we are calling for contributions addressing the notion of reliability [broadly construed]. Submissions should be prepared like any other submission to Synthese prepared to under-go double-blind peer-review.
(New) 13 - 16 April 2019, 15th Annual Conference on Theory and Applications of Models of Computation (TAMC 2019), Kitakyushu, JapanLocation: Kitakyushu, JapanDeadline: Thursday 15 November 2018
TAMC 2019 aims at bringing together a wide range of researchers with interest in computational theory and its applications. The main themes of the conference are computability, computer science logic, complexity, algorithms, models of computation and systems theory. TAMC is happening in Japan after a gap of Eight Years with special sessions on “Soft Computing and AI models”. TAMC 2011 was held in Tokyo, Japan.
All papers must be original and not simultaneously submitted to another journal or conference. Submitted papers should be Full papers [10-20 Pages] where a page constitutes 300-400 words.For more information, see https://drive.google.com/open?id=1tYAEUR1pRw9PBLcvVnm7bRgZ0hk1G5EV.
8 - 10 May 2019, 16th European Conference on Logics in Artificial Intelligence (JELIA-2019), Rende, ItalyLocation: Rende, ItalyDeadline: Monday 26 November 2018
The European Conference on Logics in Artificial Intelligence (or Journées Européennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially. JELIA aims at bringing together researchers active in all aspects concerning the use of logics in AI to discuss current research, results, problems, and applications of both a theoretical and a practical nature.
Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence.For more information, see https://jelia2019.mat.unical.it/.
(Updated) CfP special issue of the Artificial Intelligence Journal (AIJ) on Epistemic PlanningDeadline: Saturday 1 December 2018
Epistemic planning is the enrichment of automated planning with epistemic notions such as knowledge and belief. In order to achieve formalisms and systems for epistemic planning that are both expressive and practically efficient, it is necessary to combine state of the art from several such sub-areas of artificial intelligence that have so far been considered mostly in separation. Epistemic planning has applications in game playing, human-robot interaction, social robotics, etc.
For this special issue of AIJ, we invite papers on theory, applications, and implemented systems of epistemic planning.For more information, see here or at https://www.journals.elsevier.com/artificial-intelligence/call-for-papers/special-issue-on-epistemic-planning.
5 - 10 August 2019, 16th Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST XVI), Prague, Czech RepublicLocation: Prague, Czech RepublicDeadline: Saturday 15 December 2018
The 16th Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST) will take place in Prague, August 5-10, 2019, organised under the auspices of the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST) by the Institute of Philosophy of the Czech Academy of Sciences.
The congress has a long history and a unique character, bringing together the communities of logicians, philosophers of logic and philosophers and historians of science and technology. The theme of the 16th edition of the congress is "Bridging across academic cultures". We believe that the communities and societies in both logic and philosophy/history of science are often fragmented and isolated from each other. We want to contribute to redressing this state of things.
CLMPST 2019 calls for contributed papers and contributed symposia in 20 thematic sections within the general areas of 'Logic', 'General Philosophy of Science' and 'Philosophical Issues of Particular Disciplines'. For contributed papers, please submit, in EasyChair, an abstract of 500 words (including the references), prepared for anonymous review. Symposia are groups of talks on a common theme. Each symposium consists of four to twelve papers - please make a submission for each paper, as well as a submission for the symposium as a whole.For more information, see http://clmpst2019.flu.cas.cz/.
(Updated) 1 - 5 July 2019, 14th Computer Science Symposium in Russia (CSR'19), Novosibirsk, RussiaLocation: Novosibirsk, RussiaTarget audience: researchers and students in Theoretical Computer ScienceCosts: TBADeadline: Sunday 23 December 2018
The International Computer Science Symposium in Russia (CSR) is an annual international conference held in Russia that intends to cover a broad range of topics in Theoretical Computer Science. CSR'19 will be part of the Computer Science Summer in Russia which will also include the Ershov Informatics Conference (PSI'19) and a summer school in Computer Science for students.
Authors are invited to submit papers presenting original research in the conference topics, in electronic form (pdf format). Submissions must be unpublished, not under review for publication elsewhere,
and provide sufficient information to judge their merits.
Submissions must be in English, and not exceed 12 pages, including the title page, in Springer's LNCS LaTeX style. Additional material, to be read at the discretion of reviewers and PC members, may be provided in a clearly marked appendix or by reference to a manuscript on a web site.
24 - 26 April 2019, PhDs in Logic XI , BernLocation: BernTarget audience: PhD students, master students, first-year postdocsCosts: No registration feesDeadline: Monday 7 January 2019
PhDs in Logic is an annual graduate conference organised by local graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It usually involves tutorials by established researchers as well as short presentations by PhD students, master students and first-year postdocs on their research. The 11th edition of PhDs in Logic will take place in Bern on April 24-26 2019 at the Institutes of Mathematics and Computer Science of the University of Bern. This edition of the conference will involve six tutorials in total, three of which will be delivered by young researchers.
We welcome students to participate in PhDs in Logic XI regardless of whether they want to submit a contribution. We also encourage students and postdocs in logic from disciplines other than computer science, mathematics, and philosophy to apply.
PhD students, master students, and first-year postdocs in logic from disciplines that include but are not limited to computer science, mathematics, and philosophy are invited to submit an extended abstract on their research.
Abstracts of contributed talks of 2 pages (not including references) are to be prepared using the EasyChair class style and submitted via EasyChair. Each abstract will be reviewed by the scientific committee. The accepted abstracts will be presented by their authors in a short presentation during the conference.
The deadline for contribution is on 7th of January 2019, and the notification of acceptance will be sent by 22nd of February 2019.For more information, see https://mathsites.unibe.ch/phdlogic2019/index.html or contact Almudena Colacito at phdsinlogic at gmail.com.
(New) 25 - 28 June 2019, ICFCA 2019: Formal Concept Analysis, Frankfurt, GermanyLocation: Frankfurt, GermanyDeadline: Friday 18 January 2019
Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory in order to promote better communication between lattice theorists and potential users of lattice theory. Since its early years, Formal Concept Analysis has developed into a research field in its own right with a thriving theoretical community and a rapidly expanding range of applications in information and knowledge processing including visualization, data analysis (mining) and knowledge management and discovery. The ICFCA conference series aims at bringing together researchers and practitioners working on theoretical or applied aspects of Formal Concept Analysis within major related areas such as Mathematics and Computer and Information Sciences and their diverse applications to fields like Software Engineering, Linguistics, Environment, Life and Social Sciences, etc.
We invite scientific publications on theory and applications of Formal Concept Analysis. Papers of up to sixteen pages may be submitted in PDF format via the Easychair system. Main topics of interest include, but are not limited to: Fundamental aspects of FCA, Bridging FCA to information sciences and artificial intelligence, and Understanding, modelling real-world data and phenomena with FCA. All accepted submissions will be refereed, and the conference proceedings will be published by Springer in the LNCS/LNAI series.For more information, see https://www.informatik.fb2.frankfurt-university.de/~icfca2019/.
(New) 4 - 7 June 2019, 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019), Philadelphia PA, U.S.A.Location: Philadelphia PA, U.S.A.Deadline: Tuesday 29 January 2019
LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program.
Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. LPNMR 2019 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: Technical papers, System descriptions and Application descriptions. This year's edition of the conference seeks to raise submissions devoted towards use of LPNMR techniques in emerging applications stemming from such areas as deep learning, robotics, cybersecurity, modeling cyberphysical systems, and human-aware AI.
(New) 1 - 3 March 2019, 97th Workshop on General Algebra (Arbeitstagung Allgemeine Algebra - AAA 97), Vienna, AustriaLocation: Vienna, AustriaDeadline: Sunday 17 February 2019
The 97th edition of the "Arbeitstagung Allgemeine Algebra" (Workshop on General Algebra, AAA) conference series is going to be held at Technische Universität Wien in Vienna, Austria. The conference topics include Universal Algebra, Connections with Model Theory, Lattices, Categories, Semigroups, Applications in Computer Science, Classical Algebra, and Interactions with Philosophy. The program will consist of five invited plenary lectures of one hour, as well as contributed talks of about 20-25 minutes held in up to three parallel sessions.
All participants are welcome to give a contributed talk.
CfP topical issue of Open Philosophy on "Computer Modeling in Philosophy"Deadline: Thursday 28 February 2019
Computational modeling opens new prospects for philosophical exploration and argument. The role played by logic in 20th century philosophy, it can be argued, will be played by computational modeling in the 21st. This special issue is devoted first and foremost to examples of computer-aided or computer-instantiated modeling across the discipline, including but not limited to philosophy of science, cognitive science, philosophy of mind, theory of evolution, logic, philosophy of language, epistemology, and social and political philosophy. Computational techniques range from agent-based modeling to neural networks and data mining. Results can expand the role of intuition pumps and thought experiments, can be used to measure the robustness and parameter-sensitivity of basic models, can put techniques from other disciplines to work in philosophical analysis, can track unexpected consequences of basic assumptions, and can force philosophical assumptions to be made explicit. Beyond new answers, computational techniques can highlight new questions, including questions regarding model validation, complexity, computability, representation, and reality.
Submissions will be collected from October 1, 2018 to February 28, 2019. There are no specific length limitations. To submit an article for the special issue of Open Philosophy, authors are asked to access the on-line submission system.Before submission the authors should carefully read over the Instruction for Authors. All contributions will undergo critical review before being accepted for publication.
17 - 26 September 2018, Luxembourg Logic for AI Summit (LuxLogAI 2018), Luxembourg, LuxembourgLocation: Luxembourg, Luxembourg
The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together the 2nd International Joint Conference on Rule and Reasoning (RuleML+RR 2018), the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), DecisionCAMP 2018 and the annual meeting of the Deduction Systems group (Deduktionstreffen 2018) of the German Gesellschaft fuer Informatik (GI).
With its special focus theme on methods and tools for responsible AI, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable.For more information, see https://luxlogai.uni.lu.
24 - 28 September 2018, 1st workshop of Formal Reasoning and Semantics (FORMALS 2018), Dubrovnik, CroatiaLocation: Dubrovnik, Croatia
The 1st workshop of Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC) as a part of the 7th conference Logic and Applications (LAP 2018). The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS).
The emphasis of the project is on applications of logic in computer science, and vice versa, the application of computational tools in logical and mathematical research. Another goal is to apply logic to specific problems of linguistics or, more generally, cognitive and information sciences, as well as interdisciplinary areas in which economics and mathematics overlap (game theory, social choice theory).
Invited speakers: Vivek Nigam.
24 - 27 September 2018, Trends in Logic XVIII: Fine-Grained Semantics for Modal Logic, Milan, ItalyLocation: Milan, Italy
In the last few decades an impressive amount of foundational research in philosophical logic has been devoted to the development of semantical tools which provide sufficiently fine-grained semantics to deal with important topics of pure and applied modal logic, such as the representation of situations, states of affairs, structured contents, hyperintensional contexts, and agent-related attitudes, like epistemic and prohairetic attitudes. A number of different modal frameworks have emerged to tackle these themes. The aim of this conference is to study the potential of these approaches and to explore new connections between them, by providing a forum to present new ideas and analytical methods.
Invited Speakers: Sergei Artemov (New York), Marta Bilkova (Prague), Hannes Leitgeb (Munich) and Sonja Smets (Amsterdam).For more information, see http://www.unicatt.it/meetings/trends2018.
24 - 27 September 2018, Ninth conference on Non-Classical Logic: Theory and Applications, Torun, PolandLocation: Torun, Poland
The conference is devoted to non-classical 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 the deeper analysis of traditional philosophical problems. We will also celebrate the 25th anniversary of the journal Logic and Logical Philosophy published by the Nicolaus Copernicus University in Toruń and edited by the Department of Logic.
The conference is organized by Departament of Logic and Methodology of Sciences of Lodz University and Department of Logic of Nicolaus Copernicus University.
24 - 28 September 2018, 41st German Conference on Artificial Intelligence (KI 2018), Berlin, GermanyLocation: Berlin, Germany
KI traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The technical program of KI 2018 comprises paper presentations as well as tutorials, workshops, and a doctoral consortium.
24 - 28 September 2018, Continuity, Computability, Constructivity (CCC 2018), Faro, PortugalLocation: Faro, Portugal
CCC is a workshop series bringing together researchers from exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. 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.
Invited Speakers: Vasco Brattka (Munich, Germany), Akitoshi Kawamura (Fukuoka, Japan), Jaap van Oosten (Utrecht, Netherlands), and Warwick Tucker (Uppsala, Sweden). Tutorial Speaker: Martin Ziegler (Daejeon, South Korea).
24 - 28 September 2018, 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and 6th Workshop KI & Kognition (KIK-2018): Formal and Cognitive Reasoning, Berlin, GermanyLocation: Berlin, Germany
The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. The 2018 workshop will be part of the 41st German Conference on Artificial Intelligence (KI-2018).For more information, see https://www.easychair.org/conferences/?conf=dkbkik2018.
26 - 28 September 2018, Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018), Saarbruecken, GermanyLocation: Saarbruecken, Germany
The aim of GandALF 2018 is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.For more information, see https://www.react.uni-saarland.de/gandalf2018/.
26 - 28 September 2018, 13th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2018), Fortaleza, BrazilLocation: Fortaleza, Brazil
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.
Invited Speakers: Yiannis Moschovakis (Los Angeles & Athens), Andreas Herzig (CNRS, IRIT, Toulouse), Alessandra Palmigiano (TU Delft) and Amy Felty (Ottawa).
(New) 1 - 11 October 2018, Model theory of valued fields, Tehran, IranLocation: Tehran, Iran
An international workshop on the model theory of valued fields will be held at the Institute for Research in Fundamental Sciences (IPM) in Tehran from the 1st to the 11th of October 2018.For more information, see http://math.ipm.ac.ir/conferences/2018/MT2018/.
1 - 2 October 2018, International Conference "Formal Philosophy", Moscow, RussiaLocation: Moscow, Russia
The international conference "Formal Philosophy" will be held from 1st to 2nd October 2018 ( Moscow, Higher School of Economics). Conference topics include philosophical logic, formal epistemology, formal ontology, formal ethics and other branches of formal and mathematical philosophy. Invited speakers: Jacek Malinowski (Institute of Philosophy and Sociology, Polish Academy of Sciences), Ahti-Veikko Pietarinen (Nazarbayev University), Allard Tamminga (University of Groningen) and Paul Weingartner (University of Salzburg).For more information, see https://sites.google.com/site/formalphilosophy2018 or contact Vitaliy Dolgorukov at formphil2018 at gmail.com..
4 - 5 October 2018, Bridging the gap between formal argumentation & actual human reasoning, Institute for Philosophy II, Ruhr-University Bochum, GermanyLocation: Institute for Philosophy II, Ruhr-University Bochum, Germany
Non-monotonic reasoning has received a lot of attention in the fields of artificial intelligence and philosophical logic. One of the most promising paradigms is formal argumentation. One central goal of this research program is to give a (normative) account of actual human reasoning. However, there is still a substantial gap between these formal models and many real-life instances of the formalized phenomena.For more information, see http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/ArgRea-2018.html.
6 - 7 October 2018, 104th Peripatetic Seminar on Sheaves & Logic (PSSL), Amsterdam, The NetherlandsLocation: Amsterdam, The Netherlands
The next Peripatetic Seminar on Sheaves and Logic (PSSL), the 104th, will be held in Amsterdam during the weekend of October 6 and 7, 2018. We will use the occasion to celebrate the 60th birthdays of Jaap van Oosten and Thomas Streicher.For more information, see http://mysite.science.uottawa.ca/phofstra/PSSL18.html or contact Benno van den Berg at Benno van den Berg.
(New) 8 - 9 October 2018, Real Algebraic Geometry & Model Theory (RAGMT), Konstanz, GermanyLocation: Konstanz, Germany
A two-days conference to bring together senior and junior researchers from real algebraic geometry and model theory. The participation is open to anyone and free of charge.
Mickaël Matusinski (Université de Bordeaux)
Françoise Point (Université de Mons / Université Paris-Diderot)
Tobias Kuna (University of Reading)
Siegfried Van Hille (KU Leuven)
Nikolaas Verhulst (TU Dresden)
Andre Opris (Universität Passau)
Gabriel Dill (Universität Basel)
Pablo Andújar Guerrero (McMaster University)
Christoph Schulze (Universität Konstanz)
Alexander Taveira Blomenhofer (Universität Konstanz)For more information, see http://www.math.uni-konstanz.de/~krapp/RAGMT/index.html or contact ragmt at uni-konstanz.de.
15 - 17 October 2018, 25th International Symposium on Temporal Representation and Reasoning (TIME 2018), Warsaw, PolandLocation: Warsaw, Poland
TIME 2018 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 25th edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass four tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases (3) Logic and Verification, and (4) New areas and Applications.For more information, see https://time2018.ipipan.waw.pl/.
19 - 21 October 2018, 4th Workshop on Connexive Logics, Bochum, GermanyLocation: Bochum, Germany
Modern connexive logic started in the 1960s with seminal papers by Richard B. Angell and Storrs McCall. Systems of connexive logic have been motivated by considerations on a content connection between the antecedent and succedent of valid implications and by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications. As we are observing some growing interests in topics related to connexive logics, the fourth workshop aims at discussing directions for future research in connexive logics. Moreover, we will have a special session on contra-classical logics, namely a broad family of nonclassical logics, including connexive logics, that are orthogonal to classical logic.For more information, see here or at http://plato.stanford.edu/archives/fall2014/entries/logic-connexive/ or contact Hitoshi Omori at hitoshiomori at gmail.com, or Heinrich Wansing at heinrich.wansing at rub.de.
20 - 21 October 2018, The 4th Asian Workshop on Philosophical Logic (AWPL-2018), Beijing, ChinaLocation: Beijing, ChinaTarget audience: Logicians and philosophers who interested in non-classical logics, philosophical logics, algebraic logics, and their applications in computer science, cognitive science, and social sciences
The Asian Workshop on Philosophical Logic (AWPL) is an event-series initiated by a group of Asian logicians, and in 2012 the first installment took place at the JAIST in Japan. It is devoted to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. The workshop emphasizes the interplay of philosophical ideas and formal theories. Topics of interest include non-classical logics, philosophical logics, algebraic logics, and their applications in computer science, cognitive science, and social sciences. The second and third workshop took place successfully in Guangzhou (2014) and Taipei (2016), respectively. And the two post conference proceedings were published in the Studia Logica book series "Logic in Asia" (http://www.springer.com/series/13080?detailsPage=titles) with Springer.
The Fourth Asian Workshop on Philosophical Logic (AWPL 2018) will be held in Beijing, China, on 20-21 October 2018, organized by the Tsinghua-UvA Joint Research Centre for Logic at Tsinghua University.
26 - 29 October 2018, 31st International Workshop on Description Logics(DL 2018), Tempe AZ, U.S.A.Location: Tempe AZ, U.S.A.
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. The 31st edition will be collocated with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018).For more information, see http://dl.kr.org/dl2018/.
(Updated) 29 October - 1 November 2018, 17th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2018), Groningen, The NetherlandsLocation: Groningen, The Netherlands
Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond.For more information, see http://www.ramics-conference.org/.
30 October - 2 November 2018, 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe AZ, U.S.A.Location: Tempe AZ, U.S.A.
Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents.
The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018.
KR also features a Doctoral Consortium program, a student mentoring program bringing together PhD students and senior researchers from the area of KR. Application deadline: June 24, 2018.For more information, see http://reasoning.eas.asu.edu/kr2018/.
1 - 5 November 2018, 6th World Congress on the Square of Opposition, Chania/Crete (Greece)
This will be the 6th world congress organized about the square of opposition after very successful previous editions in Montreux 2007, Corsica 2010, Beirut, 2012, Vatican, 2014, Easter Island, 2016. This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitive scientists, artists, linguists and computer scientists.
8 - 10 November 2018, 22nd Workshop on Semantics and Pragmatics of Dialogue (SemDial 2018 / AixDial), Aix-en-Provence (France)Location: Aix-en-Provence (France)
AixDial will be the 22nd edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2018 the workshop will be hosted by Aix Marseille University, and organized by the Language and Speech Lab (LPL) as well as the Computer Science Lab (LIS). It will be collocated with the Workshop on Prosody and Meaning: Information Structure and Beyond.For more information, see http://semdial.hypotheses.org/.
10 November 2018, Conference in Honour of Ken Manders, Pittsburgh PA, U.S.A.Location: Pittsburgh PA, U.S.A.
The Philosophy Department at the University of Pittsburgh will host a one day conference at the University Club in honor of Ken Manders's contributions to the History and Philosophy of Mathematics on November 10, 2018.
The scheduled list of speakers is: Karine Chemla (Paris), Marco Panza (Paris), Josh Hunt (Ann Arbor), Paolo Mancosu (Berkeley), Becky Morris (Stanford), Mary Domski (New Mexico) and Jeremy Heis (Irvine).
Details to follow. All events are open to the public, but please notify Kathleen Labuda if you plan to attend.For more information, contact Kathleen Labuda at kathleenlabuda at pitt.edu.
18 - 20 November 2018, 12th Multi-disciplinary International Conference on Artificial Intelligence Venue (MIWAI 2018), Hanoi, VietnamLocation: Hanoi, Vietnam
MIWAI aims to promote AI research in both theoretical and applied research addressing real-world applications. The main objective of the conference is to present the latest research and results of scientists related to AI topics. The theme for this year's event is "Intelligent World". MIWAI 2018 provides opportunities for the delegates to exchange new ideas and establish future collaborations. This year the conference is organized by Mahasarakham University, with association of Vietnam Academy of Science and Technology and University of Science and Technology of Hanoi, Vietnam.
(New) 3 - 15 December 2018, Cantor Meets Robinson: Set theory, model theory, & their philosophy, Sao Paulo & Campinas (Brazil)Location: Sao Paulo & Campinas (Brazil)
The topic of the conference is the interplay between set theory and model theory, both from a mathematical and a philosophical perspective, with particular emphasis on the method of forcing. This method, invented by Cohen in 1963, facilitated not only a proof of the independence of the Continuum Hypothesis, but also placed at the center of set theory the study of its models. Its model theoretic version, invented by Robinson, attempts to generalize the notion of algebraic closed fields to other areas of mathematics.
The conferece aims to gather early career scholars in order to foster collaborations and to present a wide perspective on the topics that Cantor and Robinson helped to create and develop. A series of three mini-courses will be held the week before the conference on the topics of Large Cardinals, Robinson Forcing, and Forcing Axioms.
8 - 9 December 2018, 13th International Symposium on Cognition, Logic, & Communication: "Events & Objects in Perception, Cognition, & Language", Riga, LatviaLocation: Riga, Latvia
Object and event perception are core features of human cognitive processing. Further, these core human cognitive abilities may be reflected differently in language and in perception. This symposium aims to integrate perspectives from different areas (including psychology, neuroscience, linguistics, computer science, AI, and philosophy).
The conference will include the Robert Blumberg Distinguished Lecture.
17 - 21 December 2018, 13th International Conference on Computability, Complexity and Randomness (CCR 2018), Santiago de Chile, ChileLocation: Santiago de Chile, Chile
The theme of the conference is algorithmic randomness and related topics in computability, complexity and logic such as Kolmogorov complexity and reverse mathematics. This year, the conference has special attention to the connections between these topics and dynamical systems and ergodic theory.For more information, see http://www.mat-unab.cl/~ccr2018/.
6 - 8 March 2019, Post-truth: The semantics and pragmatics of saying "what you believe to be false", BremenLocation: Bremen
Grice's first maxim of quality says "do not say what you believe to be false", but we often do. We tell lies ("I did not have sexual relations with that woman"), we deceive (e.g. by lying by implicature), we bullshit ("Trade wars are easy to win"), we make up stories ("When Harry Potter first came to Hogwarts …"), we pretend (Kids playing: "You were Batgirl and I was Wonder Woman"), or we use irony ("Losing the key was very smart!"). In all such speech acts there is a clear sense in which we're not, or at least not literally, speaking the truth. In this workshop we want to discuss the challenges that these and other deviations from the Gricean norm of quality pose for semantics and pragmatics and see if we can incorporate ideas from philosophy, literary theory, cognitive science and other related fields to extend the coverage of our theories of meaning and our understanding of the dynamics and logic of (non-)cooperative conversation.
Invited speakers: Regine Eckardt (Konstanz) and Jörg Meibauer (Mainz). Organized by Daniel Gutzmann (Cologne), Emar Maier (Groningen), and Katharina Turgay (Landau).
5 - 16 August 2019, 31st European Summer School in Logic, Language and Information (ESSLLI 2019), Riga, LatviaLocation: Riga, Latvia
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.
16 - 19 September 2019, Thirteenth International Tbilisi Symposium on Language, Logic and Computation, GeorgiaLocation: Georgia
The Symposium series is organized by the Tbilisi State University and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam in conjunction with the Institute of Linguistics and Information Science of the Heinrich-Heine-University Düsseldorf. There have been ten instalments of this series of biannual Symposia. The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009), Kutaisi (2011), Gudauri (2013), Tbilisi (2015) and Lagodekhi (2017).