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
19 - 21 June 2019, Masterclass in the Philosophy of Mathematical Practice with Marcus Giaquinto, Brussels, BelgiumLocation: Brussels, Belgium
The Centre for Logic and Philosophy of Science (CLPS) of the Vrije Universiteit Brussel (VUB) will host its Third Masterclass in the Philosophy of Mathematical Practice on June, 19-21 with Prof. Dr. Marcus Giaquinto. We intend the Masterclass to be a fully interactive event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers (PhD students and Postdocs) with an opportunity to discuss their ongoing work in a helpful and constructive environment.
The Masterclass will be composed of three lectures. The lectures by Marcus Giaquinto will take place in the mornings, and will be followed by afternoon sessions with presentations by early career researchers in the Philosophy of Mathematical Practice.
We invite early career researchers who would be interested to present their work to send us an abstract of at most 1 page by April, 1st. The talks will be of a duration of around 20 minutes (not including discussion).
7 - 10 July 2019, Ninth Workshop on Combining Probability and Logic (PROGIC 2019), Frankfurt, GermanyLocation: Frankfurt, Germany
The focus of this iteration of PROGIC is decision making, with an emphasis on advances in descriptive, normative, and prescriptive models of decision making.
Invited Speakers: Sebastian Ebert (Frankfurt School), Johanna Thoma (LSE), Peter Wakker (Erasmus) and Michael Waldmann (Goettingen).
Scholars who combine probability and logic to models of decision making are invited to submit an extended abstract (~1000 words, pdf format) for presentation at the workshop.For more information, see https://hmi.frankfurt-school.de/events/progic-2019/ or contact g.wheeler at fs.de.
29 - 31 July 2019, Truthmaker Semantics: Applications in Philosophy and Linguistics, Hamburg, GermanyLocation: Hamburg, Germany
Kit Fine and the Emmy Noether Project Relevance are delighted to announce a conference on truthmaker semantics and its applications in philosophy and linguistics.
Truthmaker semantics deviates from the familiar framework of possible world semantics, in that the notion of a possible world is replaced by a more general notion of a state that applies to any fragment of a world, and that a sentence is taken to be made true by a state only if every part of the state is involved in rendering the sentence true. A significant advantage of truthmaker semantics over the possible worlds approach is that it connects sentences with the worldly items that are directly relevant to their truth, thereby allowing important and intuitive hyperintensional distinctions to be drawn in a natural and formally elegant way. While the framework was originally developed as a semantics for relevant entailment by van Fraassen in the 1960s, recent developments have demonstrated its wide applicability in logic, metaphysics, philosophy and epistemology.
Eight one-hour slots (up to 40 minutes for the talk, followed by 20 minutes for discussion) are available for contributed papers on the topic of the conference. If you would like to present a paper, please submit a CV and an extended abstract of up to 2,000 words, suitable for anonymous review.For more information, see https://relevanceproject.wordpress.com/events/tmsconference/ or contact hamburgrelevance at gmail.com..
20 - 21 June 2019, Makkai 80: Logic, categories, & philosophy of mathematics, Budapest, HungaryLocation: Budapest, HungaryDeadline: Friday 24 May 2019
The Alfred Renyi Institute of Mathematics, the Department of Logic, Institute of Philosophy, Eotvos University, and the Faculty of Science, Eotvos University are organizing a conference celebrating the 80th birthday of Prof. Michael Makkai. The main topics of the conference are logic, category theory, model theory and philosophy of mathematics. We also welcome any contribution whose topic is related to prof. Makkai's research interest.
Invited speakers: Jean-Pierre Marquis, Universite de Montreal, Philip Scott, University of Ottawa, Joseph Helfer, Stanford University.
Abstracts of proposed contributed talks may be submitted through the web site of the conference.
16 - 19 September 2019, 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019), Bolzano, ItalyLocation: Bolzano, ItalyDeadline: Friday 24 May 2019
The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.
RuleML+RR 2019 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It provides a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems. RuleML+RR 2019 is part of BRAIN 2019, the Bolzano Rules and Artificial Intelligence Summit.
High-quality papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules are solicited. Particularly encouraged are submissions that combine one or more of the conference topics with the overall focus theme on "Beneficial AI" of the BRAIN 2019 Summit.
We accept long papers (presenting original and significant research and/or development results) and short papers (consisely describing general results or specific applications, systems, or position statements). Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings.
In addition to regular submissions, RuleML+RR 2019 will host an Industry Track together with the DecisionCAMP 2019, the 13th International Rule Challenge, and a joint Doctoral Consortium with the Global Conference on Artificial Intelligence (GCAI 2019).For more information, see http://2019.ruleml-rr.org.
(Updated) 18 - 21 October 2019, The Seventh International Conference on Logic, Rationality and Interaction (LORI-VII), South-West University, Chongqing, ChinaLocation: South-West University, Chongqing, ChinaDeadline: Monday 27 May 2019
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. Submitted papers should be at most 12 pages long, with one additional page for references, in PDF format following the Springer LNCS style. Please submit your title and abstract by May 13, 2019, and your full paper by May 20, 2019. Submission is via the EasyChair for LORI-VII. Accepted papers will be collected as a volume in the FoLLi series on Logic, Language and Information , and some will later be considered for publication in a special issue of an international journal.
15 - 16 October 2019, 3rd Workshop on Philosophy, Logic and Analytical Metaphysics (Filomena 2019), Bergen, NorwayLocation: Bergen, NorwayDeadline: Thursday 30 May 2019
The 4th of the FILOMENA Workshop (FIlosofia, LOgica e MEtafísica aNAlítica) has the purpose of gathering logicians working at the intersection of Logic and Metaphysics, through the application of formal methods in Philosophy. Our keynote speakers are: Daniel Durante (UFRN, Brazil), Michaela Mcsweeney (Boston University, USA) and Peter Peter Verdee (UCLouvain, Belgium).
The 4th Filomena Workshop will be followed on the 17-18 by the workshop 'How do logics explain?'. All participants of Filomena are cordially invited to attend this workshop as well.
The workshop will allow 45 minutes for each contributed talk, divided into 30 minutes for exposition followed by 15 minutes of discussion. Topics of interest for our workshop include, but are not limited to: Logic and metaphysics Science and metaphysics Pluralism vs. monism Logic revision Paradoxes. Abstracts should be written in English, have at most 500 words and be prepared for blind review.For more information, see http://filomenaworkshop.weebly.com/current-edition.html or contact filomenaworkshop at gmail.com.
26 - 29 June 2019, 12th Young Set Theory Workshop (YSTW 2019), Vienna, AustriaLocation: Vienna, AustriaDeadline: Friday 31 May 2019
The 12th Young Set Theory Workshop will be held June 26 - 29, 2019 in Vienna, Austria, as an "Advanced Class in Set Theory".
The workshop features tutorial lectures by leading experts in set theory, research talks, poster and discussion sessions. The tutorial speakers are: Jörg Brendle, Alexander Kechris, Justin Moore, Slawomir Solecki, Matteo Vieale and Hugh Woodin. The postdoctoral speakers are: Thomas Baumhauer, Filippo Calderoni, Spencer Unger and Zoltan Vidnyánszky.
Early career researchers are encouraged to participate in our poster session! If you would like to submit a poster please send an abstract and title by email (or follow the instructions during your electronic registration) by May 31st, 2019.For more information, see https://sites.google.com/view/estc2019/advanced-class-yst or contact yst2019.logic at univie.ac.at.
1 - 5 July 2019, 7th European Set Theory Conference (7ESTC), Vienna, AustriaLocation: Vienna, AustriaDeadline: Friday 31 May 2019
The 7th European Set Theory Conference will be held July 1 - 5, 2019 in Vienna, Austria.
The conference features the presentation of the Hausdorff Medal, an initiative of the European Set Theory Society. The currently confirmed invited speakers are: Jörg Brendle, Mirna Džamonja, Todd Eisworth, Moti Gitik, Alexander Kechris, Piotr Koszmider, Maryanthe Malliaris, Justin Moore, Dima Sinapova, Slawomir Solecki, Boaz Tsaban, Anush Tserunyan, Matteo Viale and Hugh Woodin. The organizing committee includes: Vera Fischer, Sy-David Friedman, Benjamin Miller.
Contributed talks are welcome! If you would like to give a contributed talk please send an abstract and title at <estc2019.logic at univie.ac.at> (or follow the instructions during your electronic registration) by May 31st, 2019.
20 - 22 September 2019, 11th Semantics and Philosophy in Europe Colloquium (SPE11), Warsaw, PolandLocation: Warsaw, PolandDeadline: Friday 31 May 2019
The purpose of the Semantics and Philosophy in Europe (SPE) colloquia is to provide a forum for presenting research in the interface between linguistic semantics and various areas of philosophy (philosophy of language, philosophy of mind/cognition, metaphysics etc.). This year's Semantics and Philosophy in Europe Colloquium features a general session as well as two special sessions (preceded by tutorials):
1 - Subjectivity: Theoretical and Experimental Perspectives
2 - Truthmaker Semantics and Situations
There will also be two invited lectures on the influence of the Lvov-Warsaw School on contemporary semantics and philosophy of language.
We invite abstract submissions for 40-minute talks (30 min + 10min discussion) on the topic of either the general session or one of the two special sessions. Abstracts should contain original research that, at the time of submission, has neither been published nor accepted for publication. One person can submit at most one abstract as sole author and one abstract as co-author (or two co-authored abstracts).
For the general session, we invite any contributions on topics at the interface of linguistics an philosophy, including but not limited to work on truth and meaning, the architecture of language, reference, attitude reports, the formal ontology of language, the relation between syntax, semantics, and pragmatics, semantics and the brain, and semantics of other symbolic systems.For more information, see https://spe2019.uw.edu.pl/index.html.
20 - 23 August 2019, Workshop on Mathematical Logic and Constructivity (MLoC 2019): The Scope and Limits of Neutral Constructivism, Stockholm, SwedenLocation: Stockholm, SwedenDeadline: Friday 31 May 2019
This workshop aims to focus on the scope and limits of neutral constructivism. With Errett Bishop's seminal work Foundations of Constructive Analysis 1967, a neutral position in the foundations of constructive mathematics emerged. It avoided Brouwer's assumptions about choice-sequences and continuity, and it did not assume that every total function on the natural numbers is computable. Successful full-fledged formal logical foundations for neutral constructivism exists, among the most well-known are Aczel-Myhill set theory and Martin-Löf type theory. The study of neutral constructivism paves the way for further developments of interactive proof systems, which is of strategic importance for verification of software, and in particular, correctness-by-construction software. Neutral constructive mathematics may also be studied for systems that make fewer ontological assumptions, which is important for reverse mathematics.
Proposals for contributed talks are welcome and are to be submitted via the EasyChair system.
23 - 25 September 2019, 4th International Workshop on Cognition and Ontologies (CAOS 2019), Graz, AustriaLocation: Graz, AustriaDeadline: Friday 31 May 2019
The purpose of the workshop is to bridge the gap between the cognitive sciences and research on ontologies and, thus, to create a venue for researchers interested in interdisciplinary aspects of knowledge representation. More specifically CAOS addresses the difficult question of how key cognitive phenomena and concepts (and the involved terminology) can be found across language, psychology and reasoning and how this can be formally and ontologically understood, analyzed and represented.
We aim to address to an interdisciplinary audience, by inviting scholars in philosophy, computer science, logic, conceptual modelling, knowledge representation, and cognitive science to contribute to the discussion.
This workshop is part of The Joint Ontology Workshops JOWO 2019.
We welcome submissions on topics related to the ontology of hypothesized building blocks of cognition (such as image schemas, affordances, and related notions) and of cognitive capacities (such as concept invention, language acquisition), as well as system-demonstrations modelling these capacities in application settings. We also welcome submissions addressing the cognitive and epistemological adequacy of ontological modelling.
We welcome two types of submissions:
- Regular articles (8-12 pages including the bibliography) for presenting original unpublished work, neither submitted to, nor accepted for, any other venue.
- Short articles (6 pages including the bibliography) for presenting brief descriptions of ongoing research and projects, preliminary approaches, position papers, or descriptions of related previously published research.For more information, see https://caos.inf.unibz.it/.
23 - 25 September 2019, 2nd International Workshop on Bad Or Good Ontology (BOG 2019), Graz, AustriaLocation: Graz, AustriaDeadline: Friday 31 May 2019
As ontologies are used in more domains and applications and as they grow in size, the consequences of bad ontology design become more critical. Bad ontologies may be inconsistent, have unwanted consequences, be ridden with anti-patterns, or simply be incomprehensible. In general, bad ontologies present design mistakes that make their use and maintenance problematic or impossible.
This workshop, part of the Joint Ontology Workshops (JOWO 2019), aims to bring together research on all aspects to bad or good ontology design, including use cases and systematic reviews of bad or good ontology design, techniques and tools for diagnosing, explaining, and repairing bad ontologies, and approaches or benchmarks for evaluating such techniques.
We welcome original contributions about all topics related to bad or good ontologies, including but not limited to: - systematic analysis of ontologies for symptoms of bad ontology design - cataloguing of symptoms of bad ontology design - methods for detecting or explaining symptoms - metrics and methods to gauge ontology quality - design methods that likely result in bad ontologies - principled methods to avoid building bad ontologies - benchmarks of bad or good ontologies for evaluating diagnostic and repairing methods.
Submissions should be uploaded via EasyChair. They can be accepted for publication as short papers (between 5 - 7 pages) or regular papers (between 10 - 12 pages).For more information, see http://bog.inf.unibz.it/.
23 - 25 September 2019, 3rd Workshop on Foundational Ontology (FOUST III) , Graz, AustriaLocation: Graz, AustriaDeadline: Friday 31 May 2019
Foundational ontologies are attempts to systematise those categories of thought or reality which are common to all or almost all subject-matters. Commonly considered examples of such categories include 'object', 'quality', 'function', 'role', 'process', 'event', 'time', and 'place'. Amongst existing foundational ontologies, there is both a substantial measure of agreement and some dramatic disagreements. There is currently no uniform consensus concerning how a foundational ontology should be organised, how far its 'reach' should be (e.g., is the distinction between physical and non-physical entities sufficiently fundamental to be included here?), and even what role it should play in relation to more specialised domain ontologies.
The purpose of this workshop is to provide a forum for researchers to present work on specific foundational ontologies as well as foundational ontologies in general and their relations to each other and to the wider ontological enterprise. The FOUST III workshop will be co-located with the Joint Ontology Workshops (JOWO 2019).
We encourage different types of contribution: full research paper (not exceeding 10 pages) and short papers (not exceeding 6 pages). Both types must include an abstract of no more than 300 words.
3 - 14 August 2020, 32nd European Summer School in Logic, Language and Information (ESSLLI 2020), Utrecht, The NetherlandsLocation: Utrecht, The NetherlandsDeadline: Saturday 1 June 2019
Under the auspices of FoLLI the European Summer School in Logic, Language, and Information (ESSLLI) is organized every year in a different European country. It takes place over two weeks in the European Summer, hosts approximately 50 different courses at both the introductory and advanced levels, attracting around 400 participants each year from all the world.
The main focus of the program of the summer schools is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited lectures.
Proposals for courses and workshops are invited in all areas of Logic, Linguistics and Computation. Cross-disciplinary and innovative topics are encouraged. Each course/workshop will consist of five 90-minute sessions, offered daily in a single week. Proposals for 2-week courses should be structured and submitted as two independent one-week courses. The ESSLLI program committee reserves the right to accept just one of the two proposals.
The EACSL offers to act as a sponsor for one course or workshop in the areas of Logic and Computation covered by the Computer Science Logic (CSL) conferences. This course or workshop will be designated an EACSL course/workshop. If you wish to be considered for this, please indicate so on your proposal.
CfP for Special issue on "Imprecise Probabilities, Logic and Rationality" of the International Journal of Approximate Reasoning (IJAR)Deadline: Saturday 1 June 2019
This special Issue intends to contribute to the state-of-the-art of the interactions and connections between imprecise probabilities and logic, and more generally with formal theories of rationality, the hope being that this cross-disciplinary view will lead to new exciting perspectives for both communities and related areas.
Topics of interests include but are not limited to the following:
For more information, see https://www.journals.elsevier.com/international-journal-of-approximate-reasoning/call-for-papers/special-issue-imprecise-probabilities-logic-rationality or contact Dr. Fabio Zanasi at f.zanasi at ucl.ac.uk.
- IP and (modal/epistemic/dependence/probabilistic/possibilistic…) logic
- IP and game/decision theory
- IP and formal epistemology/deductive sciences
- IP and StarAI
- IP and coalgebra
- applications of logic and formal languages to IP
- applications of IP to logic
- Logical, algebraic, categorical foundations of IP
24 - 26 October 2019, Conference on Rational Approaches in Language Science (RAILS), Saarbruecken, GermanyLocation: Saarbruecken, GermanyDeadline: Saturday 1 June 2019
The language sciences increasingly have in common their adoption of rational probabilistic approaches, such as Bayesian, Information Theoretic, and Game Theoretic frameworks. The goal of this conference is to bring together speech and language researchers whose scientific contributions reflect the full diversity of disciplines and methodologies - from speech to discourse, on-line processing to corpus-based investigation, through to language change and evolution - that have benefited from, and share, such rational explanations.
Keynote speakers: Gerhard Jaeger (Tuebingen University), Gina Kuperberg (Tufts University), Hannah Rohde (University of Edinburgh) and Rory Turnbull (University of Hawaiʻi at Mānoa).
We therefore seek submissions from across the language sciences - including speech science, theoretical linguistics, empirical linguistics, psycholinguistics and neuroscience, computational linguistics, as well as language development, change and evolution - which apply rational probabilistic explanations to linguistic phenomena, or bring novel experimental findings to bear on such accounts.
Submissions in the form of 400 word abstracts are to be submitted electronically. Submission will be considered for either oral or poster presentation.For more information, see http://rails.sfb1102.uni-saarland.de/.
18 - 21 January 2020, Fifth International Meeting of the Association for the Philosophy of Mathematical Practice (APMP 2020), Zuerich, SwitzerlandLocation: Zuerich, SwitzerlandDeadline: Saturday 1 June 2019
Keynote speakers: Gisele Secco (Univ. Federal de Santa Maria, Brasil), Jemma Lorenat (Pitzer College, USA), Øystein Linnebo (Univ. of Oslo, Norway), Jeremy Avigad (Carnegie Mellon University, USA), Vincenzo De Risi (Laboratoire SPHère, CNRS-Univ. Paris 7, France).
We invite submissions on any areas connected to the philosophy of mathematical practice. A title and abstract (250-500 words) should be submitted before 1 June 2019 via the conference website. Notification will be sent out by August 1. Post-doctoral fellows and doctoral students are strongly encouraged to send proposals.For more information, see http://www.hpm.ethz.ch/apmp2020.html.
(Updated) 4 - 6 September 2019, 23nd Workshop on Semantics and Pragmatics of Dialogue (SemDial 2019 / LondonLogue), London (U.K.)Location: London (U.K.)Deadline: Saturday 1 June 2019
LondonLogue will be the 23rd 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 2019 the workshop will be hosted by Queen Mary University of London by the Cognitive Science Group (CogSci), and Computational Linguistics Lab and Human Interaction Lab.For more information, see https://semdial2019.github.io/.
12 - 17 August 2019, International Conference on Homotopy Type Theory (HoTT 2019), Pittsburgh PA, U.S.A.Location: Pittsburgh PA, U.S.A.Deadline: Saturday 1 June 2019
Invited Speakers: Ulrik Buchholtz (TU Darmstadt, Germany), Dan Licata (Wesleyan University, USA), Andrew Pitts (University of Cambridge, UK), Emily Riehl (Johns Hopkins University, USA), Christian Sattler (University of Gothenburg, Sweden) and Karol Szumilo (University of Leeds, UK),
There will also be an associated Homotopy Type Theory Summer School in the preceding week, August 7th to 10th.
Contributions are welcome in all areas related to homotopy type theory, including but not limited to:
* Homotopical and higher-categorical semantics of type theory * Synthetic homotopy theory * Applications of univalence and higher inductive types * Cubical type theories and cubical models * Formalization of mathematics and computer science in homotopy type theory / univalent foundations
Please submit 1-paragraph abstracts through EasyChair
25 - 26 August 2019, Automated Reasoning: Challenges, Applications, Directions, Exemplary achievements (ARCADE 2019), Natal, BrazilLocation: Natal, BrazilDeadline: Sunday 2 June 2019
The main goal of this workshop is to bring together key people from various subcommunities of automated reasoning---such as SAT/SMT, resolution, tableaux, theory-specific calculi (e.g. for description logic, arithmetic, set theory), interactive theorem proving---to discuss the present, past, and future of the field. The intention is to provide an opportunity to discuss broad issues facing the community. The structure of the workshop will be informal.
We invite extended abstracts in the form of non-technical position statements aimed at prompting lively discussion. The title of the workshop is indicative of the kind of discussions we would like to encourage. At the event, contributions will be grouped into similar themes and authors will be invited to make their case within discussion panels. After the workshop, they will be welcome to extend their abstracts for inclusion in an EPiC post-proceedings, taking into account the discussion.For more information, see http://arcade2019.net/.
16 - 20 December 2019, XVIIIth Simposio Latino Americano de Logica Matematica (SLALM 2019), Conception, ChileLocation: Conception, ChileDeadline: Sunday 2 June 2019
The SLALM was conceived in the late 1960s by Abraham Robinson, who at the time was President of the ASL. It brings together the community of researchers in logic in Latin America and is nourished by the crucial participation of researchers from around the world.
The Programme Committee cordially invites all researchers to submit their abstracts and posters for presentation.For more information, see http://slalmxviii.udec.cl.
16 - 19 October 2019, 26th International Symposium on Temporal Representation and Reasoning (TIME 2019), Malaga, SpainLocation: Malaga, SpainDeadline: Friday 7 June 2019
ince 1994, the TIME International Symposium on Temporal Representation and Reasoning aims to bring together researchers in the area of temporal reasoning in Computer Science. TIME 2019 will be organized as a combination of technical paper presentations, keynote talks, and tutorials, encompassing three tracks (Time in Artificial Intelligence, Temporal DataBases, Temporal Logic and Reasoning).
TIME 2019 accepts submission in PDF format, not longer than 15 pages excluding references and appendix, formatted following the LIPIcs instructions, and preferibly redacted in LaTex. Submitted papers will be refereed for quality, correctness, originality, and relevance to the conference. Submissions to TIME 2019 must be original, and parallel submissions of the same material to other conferences or journals is not allowed.For more information, see https://sites.google.com/unife.it/time-2019.
9 October 2019, Dynamic Logic: New Trends and Applications (DaLí 2019), Porto, PortugalLocation: Porto, PortugalDeadline: Friday 14 June 2019
Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This lead to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make dynamic logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.
Submissions are invited on the general field of dynamic logic, its variants and applications, including, but not restricted to
For more information, see http://workshop.dali.di.uminho.pt/.
- Dynamic logic, foundations and applications
- Logics with regular modalities
- Modal/temporal/epistemic logics
- Kleene and action algebras and their variants
- Quantum dynamic logic
- Coalgebraic modal/dynamic logics
- Graded and fuzzy dynamic logics
- Dynamic logics for cyber-physical systems
- Dynamic epistemic logic
- Complexity and decidability of variants of dynamic logics and temporal logics
- Model checking, model generation and theorem proving for dynamic logics
(New) 17 - 19 September 2019, 5th Global Conference on Artificial Intelligenc (GCAI 2019), Bolzano, ItalyLocation: Bolzano, ItalyDeadline: Friday 14 June 2019
he core objective of GCAI 2019 is to bring together the two main souls of AI, namely symbolic reasoning and machine/deep learning, applied to both software and robotic systems. GCAI 2019 will be held as part of the Bolzano Rules and Artificial INtelligence Summit (BRAIN 2019).
GCAI 2019 accepts submissions of two types: Full paper submissions, which must be original and cannot be submitted simultaneously elsewhere, and Extended abstract submissions, which report on ongoing or preliminary work, or on work that is central to symbolic reasoning and/or machine/deep learning applied to both software and robotic systems, but that has already been submitted or recently published elsewhere as a full paper.
Submissions in all areas of artificial intelligence are welcome. With a special focus theme on "beneficial AI", BRAIN 2019 aims at presenting the latest advancements in AI and rules and their adoption in IT systems towards improving key fields such as environment, health and societies. Submissions that address this theme within the general topics of GCAI are especially welcome.For more information, see https://gcai2019.inf.unibz.it/.
(Updated) 23 - 25 September 2019, Second Workshop on INteraction-based Knowledge Sharing (WINKS-2), Graz, AustriaLocation: Graz, AustriaDeadline: Saturday 15 June 2019
This Second Workshop on INteraction-based Knowledge Sharing (WINKS-2) collocated with JOWO 2019 is aimed at researchers and practitioners investigating issues related to aspects of (autonomous) knowledge sharing, where the integration of knowledge is inherently interaction-based, irrespective of whether the interaction is machine to machine, or human to machine.
Gradually expanding, distributed systems heighten the need of dynamic interactive knowledge-sharing processes and ever more sophisticated mechanisms are used to acquire and elicit knowledge. A paradigm shift has emerged that views knowledge creation, curation and evolution as a collaborative and interactive process between autonomous entities. As a highly interdisciplinary workshop, WINKS-2 invites submissions that address the fundamental issues and challenges posed by interaction-based approaches to knowledge sharing. At the same time, we are interested in submissions that provide solutions for allowing knowledge sharing interactively, with a particular focus on the processes, mechanisms and protocols underlying the proposed solution.
3 types of submissions are sollicited:
- Full papers: mature work describing original research and its validation (10-12 pages including references)
- Short papers: research papers describing interesting new open issues and challenges, and opinions on the status of the field (5-6 pages including references)
- Demonstration notes: research papers describing the development of a system that is to be part of the system demonstration session of the workshop (5-6 pages including references).
Papers should be submitted non-anonymously in PDF format following IOS Press formatting guidelines. All submissions should be double-blind and will receive a minimum of two peer reviews.For more information, see https://www.iiia.csic.es/winks-2/.
(New) 28 - 29 November 2019, Mental Representations in a Mechanical World, Bochum, GermanyLocation: Bochum, GermanyDeadline: Sunday 16 June 2019
The concept of representation is ubiquitous in cognitive science and in the philosophy of mind. Neural representations are postulated by neuroscientists to explain sub-personal phenomena such as the processing of visual information in the brain, while mental representations are taken to explain person-level phenomena, such as imagination, or consciousness. But non-representationalists contend that postulating representations of any sort is unnecessary or problematic. This workshop investigates the status of representations in a mechanical account of the mind and cognition. One core question will be whether the status of neural and mental representation is equally problematic. A second core question concerns the relationship between neural and mental representations.
Speakers: Joe Dewhurst (LMU), Carrie Figdor (Iowa), Jolien Francken (Amsterdam), Matej Kohar (RUB), Beate Krickel (RUB), Marcin Milkowski (Polish Academy of Sciences) and Karina Vold (Cambridge).
A number of further presentation slots have been reserved for interested scholars selected by double-blind peer review process. The contributions should be suitable for a 30 minute presentation.For more information, see http://meta4e.com/workshop/.
26 August 2019, Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019), Amsterdam, The NetherlandsLocation: Amsterdam, The NetherlandsDeadline: Friday 21 June 2019
The EXPRESS/SOS workshop series aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models.
Invited speakers: Yuxin Deng (East China Normal University, China) - Tom Hirschowitz (CNRS / Savoie Mont Blanc University, France) - Kirstin Peters (TU Berlin, Germany).
We invite two types of submissions: * Full papers (up to 15 pages, excluding references) and Short papers (up to 5 pages, excluding references, not included in the workshop proceedings).
We especially welcome contributions bridging the gap between the above topics and neighbouring areas, such as, for instance: - computer security - multi-agent systems - programming languages and formal verification - reversible computation - knowledge representation.
3 - 5 September 2019, Working Formal Methods Symposium 2019 (FROM 2019), Timisoara, RomaniaLocation: Timisoara, RomaniaDeadline: Friday 21 June 2019
FROM 2019 is the third event in a yearly workshop series. It aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions. The program of the symposium will include invited lectures and regular contributions. FROM 2019 will be held in conjunction with SYNASC 2019.
Submissions on the general topic of theoretical computer science, formal methods and applications are solicited. We expect submissions of regular papers of maximum fifteen (15) pages, formatted according to the EPTCS macro package. The paper must represent original work and should not be submitted to another conference at the same time. Regular contributions should be preceded by the submission of a a short abstract.For more information, see http://from2019.projects.uvt.ro.
26 August 2019, 2nd International Workshop on Recent Advancement in Concurrency and Logic (RADICAL 2019) , Amsterdam, The NetherlandsLocation: Amsterdam, The NetherlandsDeadline: Friday 21 June 2019
Concurrency and Logics are two of the most active research areas in the theoretical computer science domain. The literature in these fields is extensive and provides a plethora of logics and models for reasoning about intelligent and distributed systems. More recently, the interplay of concurrency and logic with other research areas has received much attention, as witnessed by recent editions of AI conferences. All these examples share the challenge of developing novel theories and tools for automated reasoning that take into account the behaviour of concurrent and multi-agent entities.
The workshop aims to bring together researchers working on different aspects of logic and concurrency in AI, multi-agent systems, and computer science, both from a theoretical and a practical point of view. Besides, it aims to promote research on Foundation of AI in other research communities that are traditionally Theoretical Computer Science-oriented.
We invite submissions describing talk proposals on the intersection of logic and concurrency. A submission to RADICAL would typically fall within one of the following categories: reports of an ongoing work and/or preliminary results; summaries of an already published paper (or series of papers); overviews of (recent) PhD theses; descriptions of research projects and consortia; manifestos, calls to action, personal views on current and future challenges; overviews of interesting yet underrepresented problems.
Submitted contributions should not exceed 3 pages (not including references) using the EasyChair format. Submissions based on already published works should include explicit references/links as appropriate.For more information, see https://sites.google.com/site/radicalconcur/.
23 - 26 September 2019, 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and 7th Workshop KI & Kognition (KIK-2019): Formal and Cognitive Reasoning , Kassel, GermanyLocation: Kassel, GermanyDeadline: Saturday 22 June 2019
Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical reasoning approaches. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning. 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.
We welcome original papers on any of the workshop topics or related topics. We put a special focus on papers from both fields that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal as well as experimental or heuristic issues.For more information, see https://www.fernuni-hagen.de/wbs/dkbkik2019.html.
(New) 1 - 3 November 2019, 8th International Workshop on Many-Valued Logic (ManyVal 2019), Bucharest, RomaniaLocation: Bucharest, RomaniaDeadline: Monday 24 June 2019
ManyVal is a series of international workshops on the logical and algebraic aspects of many-valued reasoning. The aim of the workshops is to gather both established and young researchers sharing an interest for a specific topic. Accordingly, each edition has a sharp focus. The attendance is limited in order to facilitate close and informal interaction. There are no parallel sessions.
ManyVal 2019 will focus on Probabilities, modalities and algebraic structures in many-valued logics.
Regular contributions will be based on an extended abstract of 2 pages (written in plain LaTex), excepting the references. While many-valued logic is our main topic, contributions from adjacent areas are also welcome.
12 - 13 July 2019, AAL 2019: Australasian Association for Logic, Wollongong, AustraliaLocation: Wollongong, AustraliaDeadline: Friday 28 June 2019
The 2019 Australasian Association for Logic conference will be held at the University of Wollongong on July 12th and 13th, straight after the AAP conference.
Papers can be on any topic in logic. Authors should aim for a time of 45 minutes including discussion time.For more information, see https://news.eis.uow.edu.au/event/2019-australasian-association-for-logic-meeting/ or contact Martin Bunder at mbunder at uow.edu.au.
28 - 31 October 2019, 22nd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2019), Torino, ItalyLocation: Torino, ItalyDeadline: Sunday 30 June 2019
Software systems are becoming more intelligent in the kind of functionality they offer users. At the same time, systems are becoming more decentralized, with components that represent autonomous entities who must communicate among themselves to achieve their goals. Examples of such systems range from healthcare and emergency relief and disaster management to e-business and smarts grids. A multiagent worldview is crucial to properly conceptualizing, building, and governing such systems. It offers abstractions such as intelligent agent, protocol, norm, organization, trust, incentive, and so on, and is rooted in solid computational and software engineering foundations. As a large but still growing research field of Computer Science, multiagent systems today remain a unique enabler of interdisciplinary research.
PRIMA 2019 invites submissions of original, unpublished, theoretical and applied work strongly relevant to multiagent systems, including reports on the development of prototype and deployed agent systems, and of experiments that demonstrate novel agent system capabilities.
The papers can be submitted as Regular Papers or Short ('early-innovation') Papers. All the submitted papers must be in a form suitable for double-blind review. We expect to publish the PRIMA 2019 proceedings in Springer's Lecture Notes in Artificial Intelligence series (LNCS/LNAI).For more information, see http://prima2019.di.unito.it.
2 - 6 September 2019, Workshop Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2019), Ljubljana, SloveniaLocation: Ljubljana, SloveniaDeadline: Monday 1 July 2019
CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include 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 other continuous data, which are of increasing importance in safety critical applications and scientific computation.
Invited Speakers: Hannes Diener (Christchurch, New Zealand) , Fabian Immler (Pittsburgh, USA), Florian Steinberg (Paris, France), Thomas Streicher (Darmstadt, France) and Holger Thies (Fukuoka, Japan). Tutorial Speaker: Helmut Schwichtenberg (Munich, Germany).
Extended abstracts (1-2 pages) of original work are welcome. The workshop specifically invites contributions in the areas of Exact real number computation, Correctness of algorithms on infinite data, Computable analysis, Complexity of real numbers, real-valued functions, etc., Effective descriptive set theory, Domain theory, Constructive analysis, Category-theoretic approaches to computation on infinite data, Weihrauch degrees, and related areas.For more information, see https://www.fmf.uni-lj.si/~simpson/ccc2019.
11 - 12 October 2019, Defeasible Inference in Philosophy & AI, Los Angeles CA, U.S.A.Location: Los Angeles CA, U.S.A.Deadline: Monday 1 July 2019
The purpose of this workshop is to bring together researchers from philosophy, computer science, and allied disciplines who work on non-monotonic logics and defeasible inference. The idea is to bring traditional philosophical reflections on these topics-- such as defeat in epistemology, prima facie duties in ethics, and belief revision in philosophy of science-- together with the rich tradition of non-monotonic logics in computer science and artificial intelligence, including default logic and logic programming.
This will be a 1.5 day workshop (half day Friday 11 October afternoon, full day Saturday 12 October), with approximately 30 participants, including 4 invited talks, 2-3 contributed talks, and a poster session.
Those interested in presenting a paper for a contributed talk should submit an anonymised draft of the paper, and those interested in presenting a poster should submit a short 2-6 page anonymised draft of the poster presentation, in PDF format via EasyChair.
13 - 16 January 2020, CSL 2020: Computer Science Logic, Barcelona, SpainLocation: Barcelona, SpainDeadline: Thursday 4 July 2019
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.
Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC.
12 - 14 September 2019, Workshop: Assertion and Proof (WAP 2019), Lecce, ItalyLocation: Lecce, ItalyDeadline: Friday 5 July 2019
The notion of assertion plays a key inferential role and has a long tradition in logic. It is a key ingredient in most logical systems, either implicitly or explicitly. The idea of assertion thus appears strongly invariant across a range of logical theories, logical methods, and logical notations.
The aim of the workshop is to bring together scholars interested in the analysis of the logical notion of assertion and other related notions such as inference, proof, argument, meaning of logical constants that may receive an assertion-based interpretation.
A satellite event to WAP 2019 is the workshop "Peirce on Assertion".
Please send an abstract of no more than 500 words by email. In the body of the email in which you submit the abstract, please include author name(s), the title of the talk and your affiliation. Include the abstract in a separate document (PDF) attached in the email with no identifying information in the document.
20 - 22 November 2019, Circularity in Syntax and Semantics (CiSS), Gothenburg, SwedenLocation: Gothenburg, SwedenDeadline: TBA
The conference is dedicated to aspects of circularity and ill-foundedness in formal methods. The aim is to gather together researchers who study and/or utilise these phenomena from different perspectives such as provability, formal reasoning, construction, computation and complexity. The 2019 Lindström Lectures will be held in connection with CiSS and delivered by Johan van Benthem.
As well as invited speakers there will be sessions for contributed talks. Topics of interest include (but are not restricted to): Logics with circular or self-referential semantics, Models of infinite computation, including automata and games, Non-wellfounded or circular derivation systems for provability, satisfiability, type-checking, etc., Impredicative constructions in foundations, Self-reference in natural and formal languages and their treatment, and Philosophical considerations of any of the above topics.
14 - 16 November 2019, Eleventh French PhilMath Workshop (FPMW 11), Paris, FranceLocation: Paris, FranceDeadline: Sunday 1 September 2019
This workshop is the eleventh in an annual series of workshops in philosophy of mathematics organized by a team of scholars from France and abroad. As in past years, the forthcoming workshop, held at the universities Panthéon Sorbonne and Paris Diderot, will consist in a three-day meeting and will feature 4 invited as well as 6 contributed talks.
The confirmed invited speakers are: Arianna Betti (University of Amsterdam, ILLC), Patricia Blanchette (University of Notre Dame). Tim Button (Cambridge University) and Frederic Patras (CNRS, Laboratoire J.A. Dieudonne).
Concerning the six contributed talks, submissions of papers in any topic of philosophy of mathematics broadly construed are welcome. Each talk should be no longer than 45 minutes, and will be followed by a 30 minute discussion. The languages of the workshop are French and English.
Younger scholars and graduate students working on their dissertations are encouraged to submit, as the workshop will provide them with an opportunity to discuss their work with internationally renowned experts in the field.For more information, see https://philmath.hypotheses.org/fpmw-2018/11th-fpmw-2019.
18 - 20 December 2019, 22nd Amsterdam Colloquium, Amsterdam Science ParkLocation: Amsterdam Science ParkTarget audience: Linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languagesDeadline: Sunday 1 September 2019
The 22nd Amsterdam Colloquium will be held on 18-20 December, 2019 to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.
The Amsterdam Colloquium will feature two workshops: one on Semantic Universals, featuring Terry Regier (Berkeley) and Susan Rothstein (Bar-Ilan); and one on Super Linguistics, featuring Cornelia Ebert (Berlin) and Gabe Greenberg (UCLA).
The regular programme will feature talks by Kathryn Davidson (Harvard), Lucas Champollion (NYU), Imogen Dickie (St Andrews) and Fabrizio Cariani (Northwestern). The Amsterdam Colloquium will also feature one evening lecture by Ian Rumfitt (Oxford), jointly organized with the E.W. Beth Foundation.
The Amsterdam Colloquium invites the submission of anonymous abstracts of at most two pages. The deadline for the submission of abstracts is September 1, 2019. Authors will be notified of acceptance by October 20, 2019. Full papers (10 pages) to be included in the proceedings are due on December 1, 2019. The proceedings of the Amsterdam Colloquium will be downloadable from the Amsterdam Colloquium website during the conference.
CfP topical collection of Synthese on "Virtue Theory of Mathematical Practices"Deadline: Tuesday 1 October 2019
Virtue theory has an illustrious history as one of the most prominent philosophical traditions, and in the wake of the recent renewed focus on human practices virtue theory once again provides powerful frameworks, tools and insights. Work in such diverse fields as ethics, the philosophy of science, epistemology, philosophy of law, political theory, aesthetics, and argumentation theory shows that virtue theory permits normative discourse without imposing overly rigid criteria. Within the philosophy of mathematics, and mathematics itself, attention to virtues has a variety of sources: theoretical virtues have been put forward both to analyse the practice of proof and to justify axioms, and ethical virtues have been offered as a basis for understanding the social dimensions of mathematical practice. Indeed, some authors have advocated virtue epistemology as the correct epistemology for mathematics (and perhaps even as the basis for progress in the metaphysics of mathematics). In this topical collection we aim to consolidate and encourage this trend in the philosophy of mathematics.
Guest Editors: Andrew Aberdein, Colin Jakob Rittberg, Fenner Stanley Tanswell
We invite contributions which study mathematics and mathematical practices from a virtue perspective. We encourage, amongst others, submissions that
- engage with the social dimensions of mathematics in virtue terms;
- address the application of virtue epistemology to mathematics; - investigate the ethical considerations of mathematical practice in a virtue framework;
- discuss specific virtues or vices of mathematics (or mathematicians);
- explore historical usage of virtue terminology in mathematical contexts;
- or provide accounts in terms of virtue of the objects of mathematical enquiry, such as theorems, proofs, or definitions.For more information, see https://philevents.org/event/show/73058 or contact Andrew Aberdein, Colin Rittberg. Fenner Tanswell at aberdein at fit.edu. Colin.Jakob.Rittberg at vub.be. F.Tanswell at lboro.ac.uk.
8 - 12 June 2020, 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostela, SpainLocation: Santiago de Compostela, SpainDeadline: Friday 15 November 2019
The biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier venue for presenting scientific results in AI. Under the general theme 'Paving the way towards Human-Centric AI', the 24th edition of ECAI will be held in Santiago de Compostela, a UNESCO's World Heritage City which is the destination of unique Routes that cross all Europe since the Middle Ages.
The Program Committee of the 24th European Conference on Artificial Intelligence (ECAI 2020) invites the submission of papers for the technical programme of the Conference. High-quality original submissions are welcome from research results and applications of all areas of AI.
Calls will also be issued for workshop and tutorial proposals, as well as for contributions to PAIS 2020 (the Prestigious Applications of Intelligent Systems conference) and STAIRS 2020 (the Starting AI Researcher Symposium).For more information, see http://www.ecai2020.eu/.
20 May - 14 June 2019, Workshop on Higher Recursion Theory & Set Theory, Singapore, SingaporeLocation: Singapore, Singapore
The programme will focus on the part of recursion theory that studies subsets of the natural numbers beyond arithmetical sets, and the theory of computability or definability on domains beyond the set of natural numbers, including Martin's conjecture and higher randomness. In set theory, it will concern topics that have close connections with definability, such as Woodin's program on ultimate L, the HOD conjecture, and descriptive inner model theory.
This program also marks the 65th birthdays of Ted Slaman and Hugh Woodin, which occur in 2019 and 2020.For more information, see https://ims.nus.edu.sg/events/2019/recur/index.php.
22 - 24 May 2019, International Conference on Simplicities & Complexities, Bonn, GermanyLocation: Bonn, Germany
Throughout the 20th century the sciences have approached more and more complex phenomena, in tune with the increased social relevance of scientific knowledge. The perceived need to address complexity head-on has led to a broader reaction against simplification and reductionism within the sciences. However, if simplicity, in its various outfits, has proven an unreliable guide, what should it be replaced with? Looking at the various strategies of addressing complexity in the sciences and the disciplines reflecting upon them, it appears that the notion is at least as variegated as simplicity.
The aim of the conference is to analyze, differentiate, and connect the various notions and practices of simplicity and complexity, in physics as well as in other sciences. We invite contributors from a spectrum of disciplines, scientists and scholars reflecting on their respective and neighboring research fields, as well as historians, philosophers, and sociologists of science investigating the epistemologies, practices, and discourses of fellow epistemic communities. The conference will thrive on intense discussion surpassing disciplinary boundaries.For more information, see https://www.lhc-epistemologie.uni-wuppertal.de/complexities or contact lhc.epistemology at uni-wuppertal.de.
23 - 27 May 2019, 13th International Conference on Computational Semantics (IWCS Gothenburg 2019), Gothenburg, SwedenLocation: Gothenburg, Sweden
IWCS is the bi-yearly meeting of SIGSEM, the ACL special interest group on semantics. The aim of the IWCS conference is to bring together researchers interested in any aspects of the computation, annotation, extraction, and representation of meaning in natural language, whether from a lexical or structural semantic perspective. IWCS embraces both symbolic and machine learning approaches to computational semantics, and everything in between.
The main conference will be run from 25-27 May 2019, preceded by workshops on 23-24 May. The areas of interest for the conference include all computational aspects of meaning of natural language within written, spoken, or multimodal communication.
23 - 25 May 2019, 65th StuTS, CologneLocation: CologneTarget audience: Students and young researchersCosts: 40€
StuTS is short for German Studentische Tagung Sprachwissenschaften which translates roughly to student conference for linguistics and it offers an interesting programme from linguistics and related disciplines, with expert keynotes, student presentations and workshops, tours and demos, and of course a social programme with the best that Cologne has in store for students. We are looking forward to welcoming you all in Cologne from 23 to 25 Mai, 2019.
23 - 24 May 2019, Social Models of Meaning Acquisition Workshop (SoMMA)Location: University of WarsawCosts: -
There are at least three components to the dynamics of natural language: learning, communication, and evolution. The research project Social models of Semantics Learning. Acquisition and Evolution of Quantifier Meaning (funded by the NCN OPUS Scheme Grant of dr Nina Gierasimczuk) explores the possibilities of capturing them in a single comprehensive mathematical model, with a special focus on the semantics of quantifier expressions.
During the SoMMA Workshop, which marks the end of this three year endeavour, we want to explore further research avenues and connections between various experimental approaches to formal semantics. The presentations will touch upon social networks, coordination games, iterated learning, language evolution, semantic universals, neural networks, and many others. Everybody is welcome to attend!
24 May 2019, IWCS Workshop "Computing Semantics with Types, Frames & Related Structures", Gothenburg, SwedenLocation: Gothenburg, Sweden
The goal of this workshop is to bring together people interested in structured representations of semantic information, especially from a computational perspective. In recent years, there has been a growing body of research which aims to integrate structured entities into formal semantic accounts. Important developments in this direction are the introduction of rich type systems and the use of frame-based representations, among others. The workshop is open to both foundational issues of structured semantic representations and applications to specific linguistic phenomena.
24 May 2019, Sixth Workshop on Natural Language and Computer Science (NLCS'19), Gothenburg, SwedenLocation: Gothenburg, Sweden
A workshop affiliated with the 13th International Conference on Computational Semantics (IWCS 2019)
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.
Invited speakers: Krasimir Angelov (Gothenburg), Rafaella Bernardi, (Trento).For more information, see http://www.indiana.edu/~iulg/nlcs.html.
24 May 2019, IWCS’19 Workshop on Vector Semantics for Dialogue and Discourse (VSDD)Location: Gothenburg, SwedenTarget audience: researchers using vector space methods for semantics in the realm of sentence, dialogue, and discourse
Vector models of meaning have revolutionised computational linguistics via their ability to reflect semantic similarities and regularities while providing flexibility to model dynamics and change. However, despite much recent interest inextending these models from the level of words to larger phrases and sentences, there has been little attempt to extend these to the realm of discourse and dialogue. This requires a shift in perspective, moving beyond the static word/sentence view of language to a dynamic perspective seeing language as a set of mechanisms for real-time interactions, encompassing a whole range of actions both sub- and supra-sentential.
This workshop hopes to bring together researchers using vector space methods for semantics in the realm of dialogue and discourse to discuss these challenges and fill this gap. We are planning this event as an open discussion session, with three keynote speakers (see below) and otherwise individual participants having a short slot to discuss a presented poster, with plenty of time allowed for free interactive exchange.
28 - 29 May 2019, Bergen Workshop on Logical Disagreement, Bergen, NorwayLocation: Bergen, Norway
* Roy Sorensen (Washington University, St. Louis)
* Catarina Dutilh Novaes (Vrije Universiteit Amsterdam)
* Catrin Campbell-Moore (Bristol University)
30 - 31 May 2019, Logic in London I, London, EnglandLocation: London, England
The workshop brings together researchers working on the logic and the philosophy of type-free notions such as functions, classes, properties, and propositions.
Due to the logical paradoxes, the traditional approach arranges such entities in hierarchies: type-theory and traditional set theory are well-known examples. The resulting picture has the obvious drawback of leaving out many legitimate objects. For instance, many innocuous circular properties and propositions cannot be assigned a place in the hierarchical approach. Similarly, it is not possible to accommodate propositions expressing quantification over all levels in a hierarchy.
The aim of the workshop is to explore and compare different approaches to type-free notions that overcome such shortcomings. It will focus in particular on the formal frameworks employed to model them, and on their philosophical motivations and applications.
30 - 31 May 2019, Bergen Early-Career Masterclass on Logical Epistemology, Bergen, NorwayLocation: Bergen, Norway
The philosophy department at the University of Bergen is pleased to invite applications for participation in an early-career masterclass on logical epistemology, with tutorials from both Roy Sorensen and Ole Hjortland. Participants will also have the opportunity to present their own work in the philosophy of logic with a 30-minute presentation, and receive feedback from experts in the field. Applicants should be doctoral candidates, or those within three years of obtaining their PhD.
* Roy Sorensen (Washington University, St. Louis): Topic TBA
* Ole Hjortland (University of Bergen): Logical Anti-Exceptionalism
30 - 31 May 2019, Does Time Always Pass? Temporalities in Scientific Narratives, London, EnglandLocation: London, England
The standard view of narrative is inextricably bound up with the passage of time. Narrative scholars are convinced that time is an essential element in any narrative, and it has been thought equally essential, though treated in different ways, by philosophers of history. But exactly how to think about time in the narratives of science is not self-evident. And if we look at how scientists use time in narratives, we see a number of different ways in which it is taken into account and is deployed.
In this workshop, organised as a collaboration between the Narrative Science Project and The Royal Institution, the focus will be on the different temporalities in narratives as they occur in scientific discourses. The obvious loci for such explorations are what are generally referred to as the historical sciences, that is, those that seek to reconstruct the past on the basis of what can be observed in the present. However, time and its narrative expression are to be found in a wide variety of places, some of which will be explored by the speakers at the workshop. Throughout the workshop, the question of how essential time is to narrative will remain open for argument.For more information, see https://www.narrative-science.org/events-narrative-science-project-workshops.html or contact Dr Dominic Berry at d.j.berry at lse.ac.uk.
31 May - 2 June 2019, MCMP-Western Ontario Workshop on Computation in Scientific Theory & Practice, Munich, GermanyLocation: Munich, Germany
The goal of this interdisciplinary meeting is to explore philosophical and historical issues that arise at the intersection of theoretical computer science, mathematics, and natural science, including issues that arise in the practice of those disciplines.
Conference topics include: the history of computer science; the foundations of computation and mathematical cognition; computational and informational perspectives on scientific decision making, scientific methodology, and the characterisation of scientific theories; physical notions of computation and the 'Physical Church-Turing Thesis'.For more information, see https://www.mcmp.philosophie.uni-muenchen.de/events/workshops/container/ws_comp_sci_theory_practice/index.html or contact cstp2019 at easychair.org.
3 - 7 June 2019, 4th SILFS Postgraduate Conference on Logic & Philosophy of Science, Urbino, ItalyLocation: Urbino, Italy
The aim of the conference is to gather young researchers working in the field of logic and philosophy of sciences and to offer them the opportunity to present and discuss their papers in an informal and stimulating environment.
The conference is divided into eight sessions, namely:
1) Philosophy of Biology and Health Sciences
2) Philosophy of Mind and Cognitive Science
3) Foundations of Computing and Artificial Intelligence
4) Classical and Non-Classical Logics
5) Philosophy and Foundations of Physics
6) Foundations of Logic and Mathematics
7) Philosophy of Social Sciences
8) General Philosophy of Science
Each session will host 4 different talks (30 minutes for each talk + 10 minutes of discussion).For more information, see http://www.silfs.it/conferences/postgraduate-conference-2019/ or contact pierluigi.graziani at uniurb.it.
3 - 21 June 2019, Summer School in Logic & Formal Epistemology, Pittsburgh PA, U.S.A.Location: Pittsburgh PA, U.S.A.
The Department of Philosophy at Carnegie Mellon University holds a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences. The goals are to:
- introduce promising students to cross-disciplinary fields of research at an early stage in their career; and
- forge lasting links between the various disciplines.
Tuition and housing are provided to participating students.For more information, see https://www.cmu.edu/dietrich/philosophy/undergraduate/summer-school/.
3 - 6 June 2019, 8th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), London, EnglandLocation: London, England
CALCO 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). It 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.
The eighth edition will be held in London, UK, colocated with MFPS XXXV. It will have three invited speakers, and a joint special session with MFPS. It will also feature two awards: a Best Paper Award whose recipients will be selected by the PC before the conference and a Best Presentation Award, elected by the participants.For more information, see https://www.coalg.org/calco-mfps-2019/.
3 - 7 June 2019, Summer School "Conditionals in Paris - Logic, Linguistics and Psychology", Paris, FranceLocation: Paris, France
Philosophers and logicians have studied conditional constructions, of the form 'if A then B', for millennia, and have made many deep points about them. However, we are still far from having a full account of them and their essential relation to reasoning, to inferring B from A. More recently, linguists, psychologists, cognitive scientists, and theorists in artificial intelligence have also illuminated this study.
Our Summer School will be truly interdisciplinary, and will be structured around linguistics, philosophical logic, and psychology, bringing together internationally renowned experts in these fields to introduce and advance research on conditionals. We look forward to welcoming everyone who wants to learn about and contribute to this research to Paris.
3 - 4 June 2019, Fifth International Workshop on "Defeasible and Ampliative Reasoning" (DARe 2019), Philadelphia PA, U.S.A.Location: Philadelphia PA, U.S.A.
Everyday human decision making involves various kinds of non-classical reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. These types of reasoning usually show two intertwined aspects, an ampliative aspect (augmenting the underlying reasoning by allowing more conclusions) and a defeasible aspect (curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned). Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. But despite the progress that has been achieved, large avenues remain open for exploration.
DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community.
3 - 14 June 2019, Workshop "The Core Model Induction & Other Inner Model Theoretic Tools", Piscataway NJ, U.S.A.Location: Piscataway NJ, U.S.A.
The meeting will consist of tutorials with a focus on discussions and interactions among the participants. The aim of the tutorials is to introduce all participants to the necessary background to pursue research using the core model induction technique. We encourage all participants to stay one more week at Rutgers University after the meeting for informal discussions and work groups. This workshop is aimed at advanced PhD students and young PostDocs working in inner model theory or related areas, but everyone interested in learning these techniques is welcome to attend.
- Fine Structure and the Core Model (Martin Zeman)
- Determinacy and Scales (Trevor Wilson)
- Prikry-type Forcings and Inner Model Theory (Omer Ben-Neria)
- HOD Computations (Sandra Müller and Grigor Sargsyan)
- The Core Model Induction (Grigor Sargsyan and Nam Trang)For more information, see https://muellersandra.github.io/conferences/CMI2019/.
3 - 4 June 2019, 3rd International Workshop on User-Oriented Logic Paradigms (IULP 2019), Philadelphia PA, U.S.A.Location: Philadelphia PA, U.S.A.
The 3rd International Workshop of User-Oriented Logic Paradigms (IULP) focuses on discussing different aspects involved in making logic paradigms more user-friendly/oriented, where the "user" could be either an expert of the paradigm, or a non-expert who simply uses tools developed for the paradigm in some application. IULP aims to bring together researchers working on different logic paradigms, such as answer set programming, constraint logic programming, probabilistic logic programming, abductive logic programming, inductive logic programming, argumentation, principles of teaching etc., as user- friendliness is an important topic in all of these areas.
IULP aims to provide an international forum for researchers in the AI, KR, and applied sciences community to discuss and present advances in theories, formalisms, and applications to deliver the mature and well-defined methods of logic paradigms to a wider audience.
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.
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.
4 - 8 June 2019, 35th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXV), London, EnglandLocation: London, England
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.
MFPS 2019 is co-located with the 8th Conference on Algebra and Coalgebra in Computer Science (CALCO).
5 - 7 June 2019, International Association for Computing and Philosophy Annual Meeting 2019 (IACAP 2019), Mexico City, MexicoLocation: Mexico City, Mexico
The International Association for Computing and Philosophy promotes philosophical dialogue and interdisciplinary research on all aspects of the computational and informational turn. Coming to these issues from a rich variety of disciplines, IACAP's members have a tradition of helping to shape philosophical and ethical debates about the nature, development, application, and limits of computation, information technologies, and artificial intelligence.
IACAP's 2019 meeting will gather philosophers, mathematicians, ethicists, logicians, roboticists, computer scientists, and cognitive scientists to explore the conference topics.
This year the IACAP Annual Meeting will include a special, one-day track on research related to computing and epistemic logic, with special interest in concurrency; computing systems where multiple sequential computers or microprocessors interact.For more information, see http://www.iacap.org/iacap-2019/.
5 - 6 June 2019, "The pholological conundrum": representation of language, Jerusalem, IsraelLocation: Jerusalem, Israel
The Edelstein Center and the Bergmann Center at the Hebrew University of Jerusalem are happy to announce a workshop on aspects of language representation. The workshop concerns approaches to the representation of linguistic expressions and their implications on issues in logic, semantics and computability theory.
Participants include: Nachum Dershowitz (Tel Aviv University), Michael Goldboim (Tel Aviv University), Balthasar Grabmayr (HU Berlin), David Kashtan (Hebrew University of Jerusalem), Carlo Nicolai (King's College London), Paula Quinon (Lund University), Gil Sagi (Haifa University) and Stewart Shapiro (Ohio State).For more information, see https://sites.google.com/site/thephonologicalconundrum/ or contact phonologicalconundrum2019 at gmail.com.
6 - 8 June 2019, Workshop "Expressing Evidence", Konstanz, GermanyLocation: Konstanz, Germany
Evidential restrictions cross-cut grammars in varied ways. In this workshop, we want to bring together researchers working from different angles on how natural language expresses evidence. We are especially interested in (but not limited to) submissions that straddle the divide between linguistics and philosophy and address the following issues:
1. Evidentiality across syntactic categories
2. Speech acts conveyed by evidentials
3. Evidentiality in a broader context of attitude ascriptions and subjective expressions
4. Types of reasoning and knowledge involved in statements with different evidentials
5. Formal tools for modelling evidence
Invited speakers: Corien Bary (Nijmegen), Lisa Matthewson (British Columbia), Elin McCready (Aoyama) and Dilip Ninan (Tufts).For more information, see http://semantics.uni-konstanz.de/workshops/evidence-2019/.
6 - 7 June 2019, 3rd ILLC Workshop on Collective Decision MakingLocation: De Doelenzaal, University Library, Singel 425, Amsterdam
The scientific programme of this informal workshop will be structured around a number of invited talks on topics broadly related to the design and analysis of mechanisms for collective decision making. Everyone is welcome to attend. This includes in particular ILLC staff and students. Registration is required and free until 25 May 2019.
10 - 11 June 2019, 19th annual Philosophy of Logic, Mathematics, and Physics (LMP) Graduate Conference, London, CanadaLocation: London, Canada
The 19th annual Philosophy of Logic, Mathematics, and Physics (LMP) Graduate Conference will take place on Monday-Tuesday, June 10-11, 2019, at the University of Western Ontario in London, Ontario, Canada. We are pleased to announce that David John Baker (the University of Michigan) will be giving the keynote address for this year's LMP.
The 23rd annual Philosophy of Physics Conference will be on the subject of quantum field theory and will immediately follow the LMP on Wednesday-Friday, June 12-14, 2019.
11 - 13 June 2019, Second Conference on Deliberation, Belief Aggregation, and Epistemic Democracy (DBAED II), Neuville-sur-Oise (France)Location: Neuville-sur-Oise (France)
This interdisciplinary conference will bring together researchers in theoretical economics, formal political science, philosophy, computer science, engineering, psychology, sociology, physics and mathematics who have been independently studying similar questions: namely, opinion formation dynamics, peer interactions and deliberation in social groups, and the implications of these phenomena for the epistemic competency of collective decisions. Participation is free, but registration is required.For more information, see https://sites.google.com/view/dbaed2/.
12 June 2019, JOHAN@70Location: Room F1.21, ILLC Common room, Science Park 107, Amsterdam
On 12 June 2019, ILLC is organizing a workshop and reception to celebrate Johan van Benthem's 70th birthday. The workshop consists of talks by Johan and some of his many former PhD students at UvA and Stanford. The workshop will take place in the ILLC Common Room, to be followed by a Reception (in the same place). Everybody at ILLC is most welcome to attend!
Confirmed speakers, in addition to Johan himself, include in alphabetical order: Nina Gierasimczuk (DTU, Copenhagen), Peter Hawke (ILLC), Fenrong Liu (Tsinghua and ILLC), Oivier Roy (Univ. of Bayreuth), Shane Steinert-Threlkeld (ILLC) and Martin Stokhof (ILLC).
14 June 2019, Dutch Social Choice ColloquiumLocation: Rotterdam
Speakers: Wulf Gaertner (Osnabrück and Berlin), Kirsten Rohde (Rotterdam), and Erik Schokkaert (Leuven).For more information, see http://events.illc.uva.nl/DSCC/meetings.php.
15 - 21 June 2019, 3rd International Conference on Numerical Computations: Theory and Algorithms (NUMTA 2019), Crotone, ItalyLocation: Crotone, Italy
The goal of the NUMTA2019 Conference is to create a multidisciplinary round table for an open discussion on numerical modeling nature by using traditional and emerging computational paradigms. The Conference (including also special streams and sessions) will discuss all aspects of numerical computations and modeling from foundations and philosophy to advanced numerical techniques. New technological challenges and fundamental ideas from theoretical computer science, linguistic, logic, set theory, and philosophy will meet requirements and new fresh applications from physics, chemistry, biology, and economy.
Together with regular presentations at the Conference there will be the Summer School offering tutorials and discussion sections covering the topics of the Conference.For more information, see http://si.dimes.unical.it/~yaro/numta2019/index.php.
17 - 21 June 2019, 16th Asian Logic Conference (ALC 2019), Astana, KazakhstanLocation: Astana, Kazakhstan
The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.For more information, see http://www.alc2019.kz/.
17 - 21 June 2019, Topology, Algebra, and Categories in Logic 2019 (TACL 2019), Nice, FranceLocation: Nice, France
Studying logic via semantics is a well-established and very active branch of mathematical logic with many applications in computer science and elsewhere. The area is characterized 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 2019 will focus on three interconnecting mathematical themes central to the semantic study of logic and their applications: topological, algebraic, and categorical methods.
17 - 21 June 2019, Caleidoscope: Research School in Computational Complexity, Paris, FranceLocation: Paris, France
Computational complexity theory was born more than 50 years ago when researchers started asking themselves what could be computed efficiently. Classifying problems/functions with respect to the amount of resources (e.g. time and/or space) needed to solve/compute them turned out to be an extremely difficult question. This has led researchers to develop a remarkable variety of approaches, employing different mathematical methods and theories.
The future development of complexity theory will require a subtle understanding of the similarities, differences and limitations of the many current approaches. The goal (and peculiarity) of the Caleidoscope school is to reunite in a single event as many different takes on computational complexity as can reasonably be fit in one week. It is intended for graduate students as well as established researchers who wish to learn more about neighbouring areas.For more information, see http://caleidoscope.sciencesconf.org/.
17 - 18 June 2019, 2nd workshop Formal Reasoning and Semantics (FORMALS 2019), Zagreb, CroatiaLocation: Zagreb, Croatia
The 2st workshop Formal Reasoning and Semantics will be held at the Faculty of Teacher Education, University of Zagreb. The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS).
Invited speaker: Vivek Nigam (Paraiba, Brazil and Muenchen, Germany).For more information, see http://formals.ufzg.hr/index.php/workshop/.
18 - 21 June 2019, 14th International Federated Conference on Distributed Computing Techniques (DisCoTec 2019), Kongens Lyngby, DenmarkLocation: Kongens Lyngby, Denmark
DisCoTec 2019 is one of the major events sponsored by the International Federation for Information Processing (IFIP). It gathers conferences and workshops that cover a broad spectrum of distributed computing subjects, ranging from theoretical foundations and formal description techniques to systems research issues.
18 - 21 June 2019, 32nd International Workshop on Description Logics (DL 2019), Oslo, NorwayLocation: Oslo, Norway
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.For more information, see http://dl.kr.org/dl2019/.
19 - 21 June 2019, Formal Epistemology Workshop 2019 (FEW 2019), Torino, ItalyLocation: Torino, Italy
The 15th edition of FEW will take place at the University of Turin, situated in the Piedmont, a region in the Northwest of Italy. The keynote speakers will be Paul Égré (ENS Paris), Ulrike Hahn (Birkbeck) and Stephan Hartmann (LMU Munich).For more information, see https://www.few2019.com/.
19 - 21 June 2019, Sixth Formal Ethics conference (FE2019), Gent, BelgiumLocation: Gent, Belgium
Formal Ethics is a common denominator for the application of tools from logic, decision theory, game theory, and social choice theory to the analysis of concepts in moral and political philosophy and to the development of ethical theory. It is a rapidly growing field of research which goes back to the work of Kenneth Arrow, Amartya Sen, John Harsanyi, Georg Henrik von Wright and others. The field has recently gained new impetus with formal work on non-classical logic, freedom and responsibility, value theory and the evolution of norms and conventions.
Keynote speakers: Edith Elkind (Oxford), Campbell Brown (LSE), and Ray Briggs (Stanford).
19 - 21 June 2019, Masterclass in the Philosophy of Mathematical Practice with Marcus Giaquinto, Brussels, BelgiumLocation: Brussels, BelgiumTarget audience: PhDs and PostdocsCosts: Free
The Centre for Logic and Philosophy of Science (CLPS) of the Vrije Universiteit Brussel (VUB) will host its Third Masterclass in the Philosophy of Mathematical Practice on June, 19-21 with Prof. Dr. Marcus Giaquinto. The Masterclass will be composed of three lectures, the tentative titles of which are as follows:
Lecture 1 (Wednesday, 19/6): A priori and a posteriori in mathematics.
Lecture 2 (Thursday, 20/6): Is the distinction between proofs and non-proofs in mathematics objective?
Lecture 3 (Friday, 21/6): Can mathematical arguments have aesthetic value?
We intend the Masterclass to be a fully interactive event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers (PhD students and Postdocs) with an opportunity to discuss their ongoing work in a helpful and constructive environment. The lectures by Marcus Giaquinto will take place in the mornings, and will be followed by afternoon sessions with presentations by early career researchers in the Philosophy of Mathematical Practice.
19 - 21 June 2019, Boise Extravaganza in Set Theory (BEST 2019), Ashland OR, U.S.A.Location: Ashland OR, U.S.A.
BEST is an international conference featuring talks on a broad range of recent advances in set theory. It particularly aims to support the careers of young researchers in set theory. The conference is organized by the Set Theory group at Boise State University and is structured as a symposium of the 100th annual meeting of the American Association for the Advancement of Science, Pacific Division (AAAS-PD).For more information, see https://math.boisestate.edu/best/.
19 - 21 June 2019, KNAW Colloquium and Master Class on Musicality and GenomicsLocation: KNAW, Trippenhuis, Kloveniersburgwal 29, 1011 JV Amsterdam, The Netherlands
This Academy Colloquium on Musicality and Genomics will bring together leading experts from neurobiology, cognitive psychology, music cognition and genetics to discuss (Day 1) the phenotypes of musicality, how to measure them, and genetic techniques for studying human variation. and (Day 2) the possibilities for combining musicality indices with the latest genomic methods, genetic pleiotropy between traits, and the instalment of an international consortium on the biological bases of musicality.The Colloquium is by invitation only; The Masterclass is open to young researchers,PhD-students, and master students.
21 - 23 June 2019, "Model Theory & Mathematical Logic" Conference in honor of Chris Laskowski's 60th birthday , College Park MD, U.S.A.Location: College Park MD, U.S.A.
A conference, on the occasion of Chris Laskowski's 60th birthday will take place at The University of Maryland.
Invited Speakers: John Baldwin, Elisabeth Bouscaren, Gabriel Conant, Vincent Guingona, John Goodrick, Danul Gunatilleka, Bradd Hart, Julia Knight, Alexei Kolesnikov, Steffen Lempp, Maryanthe Malliaris, David Marker, David Pierce, Saharon Shelah, Charles Steinhorn, Caroline Terry and Douglas Ulrich.
21 - 23 June 2019, 98th Workshop on General Algebra (Arbeitstagung Allgemeine Algebra, AAA 98), Dresden, GermanyLocation: Dresden, GermanyCosts: E50,-
The 98th edition of the `Arbeitstagung Allgemeine Algebra' conference series will be held in Dresden, Germany, June 21?23, 2019 at the campus of TU Dresden. The conference will commence on Friday morning and conclude around noon on Sunday.
The topics of the conference include Universal Algebra, Lattices, Logic, Classical Algebra and Applications in Computer Science, etc. The programme will consist of five invited plenary talks of one hour and contributed talks of approximately 20 minutes each. All participants are welcome to give a talk.For more information, see https://tu-dresden.de/mn/math/algebra/forschung/tagungen/aaaseries/aaa98 or contact aaa98 at mailbox.tu-dresden.de.
22 - 27 June 2019, The thirty-fourth Annual ACM/IEEE Symposium on Logic In Computer Science (LICS'19), Vancouver BC, CanadaLocation: Vancouver BC, Canada
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.
23 June 2019, LICS workshop Learning & Automata (LearnAut 2019), Vancouver BC, CanadaLocation: Vancouver BC, Canada
Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexity of the associated computational problems are major research topics within mathematical logic and computer science, spanning the same communities that the Logic in Computer Science (LICS) conference brings together. The goal of this workshop is to bring together experts on logic who could benefit from grammatical inference tools, and researchers in grammatical inference who could find in logic and verification new fruitful applications for their methods.
Invited speakers: Lise Getoor (UC Santa Cruz). Prakash Panangaden (McGill University) and Nils Jansen (Radboud University, to be confirmed).For more information, see https://learnaut19.github.io.
23 June 2019, 3rd Women in Logic Workshop (WiL 2019), Vancouver BC, CanadaLocation: Vancouver BC, Canada
We are holding the third Women in Logic Workshop (WiL 2019) as a LICS associated workshop on 23 June 2019. The workshop follows the pattern of meetings such as Women in Machine Learning (WiML) or Women in Engineering (WIE) that have been taking place for quite a few years.
Women are chronically underrepresented in the LiCS community. The workshop will provide an opportunity for women in the field to increase awareness of one another and one another's work, to combat the feeling of isolation. It will also provide an environment where women can present to an audience comprising mostly women, replicating the experience that most men have at most LiCS meetings, and lowering the stress of the occasion; we hope that this will be particularly attractive to early-career women. Previous versions of Women in Logic (Reykjavik, Iceland 2017 and Oxford, UK 2018) were very successful in showcasing women's work and as catalysts for recognition of the need for change in the community.For more information, see https://sites.google.com/site/womeninlogic2019/.
23 - 25 June 2019, Fourteenth International Conference on Computability, Complexity and Randomness (CCR 2019), Astana, KazakhstanLocation: Astana, Kazakhstan
Topics: Algorithmic randomness, Computability theory, Computability in analysis, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic. The conference will be co-located with The Sixteenth Asian Logic Conference.For more information, see http://www.ccr2019.info/.
24 - 30 June 2019, Fourth International Conference on Formal Structures for Computation and Deduction (FSCD 2019), Dortmund, GermanyLocation: Dortmund, Germany
FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms).For more information, see http://fscdconference.org/editions/fscd-2019/.
24 - 28 June 2019, LOGICA 2019, Hejnice, Czech RepublicLocation: Hejnice, Czech Republic
The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2019', the 33nd in the series of annual international symposia devoted to logic. The first session begins on the morning of Tuesday, 25 June. The symposium closes at noon Friday, 28 June.
Invited Speakers: David Makinson, Per Martin-Lof, Alessandra Palmigiano and David Ripley.
25 - 28 June 2019, International Conference on Formal Concept Analysis (ICFCA 2019), Frankfurt, GermanyLocation: Frankfurt, Germany
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.For more information, see https://www.informatik.fb2.frankfurt-university.de/~icfca2019/.
26 - 28 June 2019, AUTOMATA 2019, Guadalajara, MexicoLocation: Guadalajara, Mexico
AUTOMATA 2019 is the official annual event of IFIP WG 1.5, the Working Group 5 (on Cellular Automata and Discrete Complex Systems), of the Technical Committee 1 (on Foundations of Computer Science), of the International Federation of Information Processing (IFIP).
The purpose of this conference is to highlight the major advances in the field and the development of new tools, to support the development of theory and applications of CA and DCS, and to identify and study within an inter- and multidisciplinary context the important fundamental aspects, concepts, notions and problems concerning CA and DCS.For more information, see https://automata2019.wordpress.com/.
26 - 30 June 2019, 12th Panhellenic Logic Symposium (PLS12)
The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It 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, the PLS 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.
PLS12 will have Special Sessions on Computer Science, Model Theory and Philosophy & Set Theory, as well as a Poster Session and a Mentoring Session.
26 - 27 June 2019, Inquisitiveness Below and Beyond the Sentence Boundary 3 (InqBnB3)Location: Room C1.23, OMHP (Oudemanhuispoort), Oudemanhuispoort 4-6, Amsterdam
The InqBnB workshop series brings together researchers working on inquisitive semantics and closely related topics. We are particularly interested in research that studies the semantics/pragmatics of questions and other inquisitive constructions, and in work investigating expressions which interact with the meaning of questions in interesting ways.For more information, see https://sites.google.com/site/inquisitivesemantics/workshops/inqbnb3 or contact Nadine Theiler at nadine.theiler at uva.nl.
28 June 2019, ABC Networking Day 2019Location: KIT Royal Tropical Institute, Mauritskade 63, 1092 AD Amsterdam, the Netherlands
The ABC Networking Day provides you with the opportunity to discover all research treasures that ABC holds, and connect with other ABC researchers. All researchers (PhDs, post-docs, assistant/associate/full professors) are invited to attend and actively participate.
The Networking Day will consist of ABC Highlights (talks that showcase recent work from the different ABC research Themes and Transversal Perspectives) and Pitch talks (flash talks that are all about getting to know each other, to foster fresh collaborations, and, possibly, to team-up for grant proposals), followed by a lunch where the discussions continue in an informal atmosphere. Directly following the ABC Networking Day the AMBition Kick-off meeting will take place, also at the KIT.For more information, see http://abc.uva.nl/content/events/conferences/2019/06/abc-day-2019.html.
28 June 2019, Amsterdam Mind and Brain symposium, Amsterdam, the NetherlandsLocation: Amsterdam, the Netherlands
AMBition is a coalition of four leading neuroscience research institutes (NIN, Amsterdam UMC, IBBA and ABC) aimed at building sustainable bridges between Amsterdam’s top research groups in the fields of brain and mind research. With the launch of AMBition, Amsterdam’s international visibility as an attractive and inspiring centre for mind and brain research will grow greatly, pushing Amsterdam in joining the league of worldwide leading institutes in this field. The kick-off of AMBition is scheduled for the 28th of June 2019 during a symposium in the KIT Royal Tropical Institute in Amsterdam.For more information, see https://abc.uva.nl/content/events/conferences/2019/06/ambition.html.
29 - 30 June 2019, 5th Int. Workshop on Structures and Deduction 2019 (SD 2019), Dortmund, GermanyLocation: Dortmund, Germany
SD?19 is the fifth in a series of workshops aiming to gather various communities of structural proof theorists. As well as theoretical work in the form of regular papers, we encourage submission of implementations, tools and system descriptions.
29 - 30 June 2019, 3rd International Workshop on Trends in Linear Logic and Applications (TLLA 2019), Dortmund, GermanyLocation: Dortmund, Germany
Linear Logic is not only a proof theoretical tool to analyse or control the use of resources in logic and computation. It is also a corpus of tools, approaches, and methodologies that, even if developed for studying Linear Logic syntax and semantics, have been applied in several other fields. The TLLA international workshop aims at bringing together researchers working on Linear Logic or applying it or its tools. The main goal is to present and discuss trends in the research on Linear Logic and its applications by means of tutorials, invited talks, open discussions, and contributed talks.
1 - 5 July 2019, 14th Computer Science Symposium in Russia (CSR'19), Novosibirsk, RussiaLocation: Novosibirsk, RussiaTarget audience: researchers and students in Theoretical Computer ScienceCosts: TBA
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.
1 - 15 July 2019, Spring Course in Epistemic Game TheoryLocation: Maastricht University, Maastricht, The Netherlands
Epistemic game theory is a new, fresh approach to game theory where the reasoning of people is at center stage. More precisely, it investigates how people like you and me reason in a game theoretic situation before they make a decision. Not only do we reason about the possible choices of others, but also about the reasoning of others. This type of reasoning will be our main theme of interest. The 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.
1 - 5 July 2019, 17th EurAI Advanced Course on AI (ACAI), Chania (Crete, Greece)
ACAI is the biannual summer school sponsored by the European Association for Artificial Intelligence (EurAI). This year's theme is "AI for Multi-Agent Worlds". The programme will include courses on logic and strategic interaction in multiagent systems, computational social choice, reinforcement learning, argumentation theory, and AI ethics, amongst many others. EurAI will provide a number of scholarhips for participants.For more information, see http://acai2019.tuc.gr.
1 - 6 July 2019, 11th International School on Rewriting (ISR'19), Paris, FranceLocation: Paris, France
Rewriting is a simple yet powerful model of computation with numerous applications in computer science and many other fields: logic, mathematics, programming languages, model checking, quantum computing, biology, music...
This school proposes to master students, PhD students and researchers, two parallel tracks:
For more information, see https://isr2019.inria.fr/.
- Basic track: introduction to first-order term rewriting and λ-calculus
- Advanced track: advanced lectures on rewriting theory (graph rewriting, conditional rewriting, geometry of rewriting, computational complexity of rewrite systems) and an overview of many applications of rewriting techniques in other fields (quantum physics, biology, music, automated deduction, model checking).
2 - 5 July 2019, The Ershov Informatics Conference (PSI 2019), Novosibirsk, RussiaLocation: Novosibirsk, Russia
The Ershov Informatics Conference (the PSI Conference Series, 12th edition) is the premier international forum in Russia for research and applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to discuss the most recent topics in the field. PSI provides an ideal venue for setting up research collaborations between the Russian informatics community and its international counterparts, as well as between established scientists and younger researchers.
PSI 2019 will be a part of the Computer Science Summer in Russia, which will also include the International Computer Science Symposium CSR'19, a workshop track, and a summer school in Computer Science for students.
2 - 5 July 2019, 26th Workshop on Logic, Language, Information and Computation (WoLLIC 2019), Utrecht, The NetherlandsLocation: Utrecht, The Netherlands
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.
Just before and after the main WoLLIC 2019 event, Utrecht University will host two satellite workshops:
-Proof Theory in Logic on 1-2 July 2019. This workshop on the role of structural proof theory in the study of logics will consist of invited talks by researchers in that area.
-Compositionality in formal and distributional models of natural language semantics, on July 6 2019.For more information, see https://wollic2019.sites.uu.nl.
3 - 6 July 2019, International Symposium on Imprecise Probabilities: Theories and Applications (ISIPTA 2019), Gent, BelgiumLocation: Gent, Belgium
ISIPTA 2019 is devoted to robustness and imprecision in uncertainty modelling, inference and decision making, focusing in particular on uncertainty frameworks that extend or replace the probabilistic one.
ISIPTA conferences are characterised by a friendly and cooperative style, a strong emphasis on in-depth discussion and a true openness to new ideas. We hope that you too will both enjoy and contribute to this unique atmosphere.For more information, see http://isipta2019.ugent.be.
(New) 6 - 7 July 2019, Workshop on Abstract objects & circularity, Munich, GermanyLocation: Munich, Germany
This workshop brings together philosophers and logicians working on (meta-ontological) questions pertaining to the existence of abstract objects and (formal) issues arising from circularly defined concepts (e.g. paradoxes), with a special focus on truth, properties, numbers, and abstraction principles.
Confirmed speakers: Jody Azzouni (Tufts), Riccardo Bruni (Florence), Catrin Campbell-Moore (Bristol), Andrea Cantini (Florence), Roy Cook (Minnesota), Thomas Hofweber (North Carolina), Leon Horsten (Bristol), Benjamin Marschall (Cambridge) and Edoardo Rivello (Torino).For more information, see https://www.mcmp.philosophie.uni-muenchen.de/events/workshops/container/abstract_objects_circularity/index.html or contact Thomas Schindler at thomas.schindler1980 at gmail.com.
7 - 13 July 2019, IVR Workshop "Judicial decision-making: integrating empirical and theoretical perspectives"Location: Luzern, Switzerland
Over last decades, the empirical research on judicial decision-making has bloomed. However, the influence of these developments on traditional, conceptual theory of judicial decision-making has been mostly superficial. The impact of empirical findings on concepts such as judicial discretion, formalism, judicial rationality, legal interpretation, or rules vs. standards debate is yet to be determined. The aim of this interdisciplinary workshop is to combine perspectives of psychology, sociology, economics, criminology, neuroscience and other behavioral sciences, with the legal-theoretical approach to judicial decision-making.
Confirmed speakers: Jeffrey J. Rachlinski (Cornell), Frederick Schauer (Virginia).
7 July 2019, International Workshop on Quantified Boolean Formulas and Beyond (QBF 2019), Lisbon, PortugalLocation: Lisbon, Portugal
Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. Many problems from application domains such as model checking, formal verification or synthesis can be encoded as a QBF in a natural way. Considerable progress has been made in QBF solving throughout the past years. However, in contrast to SAT, QBF is not yet widely applied to practical problems in academic or industrial settings. The goal of the International Workshop on Quantified Boolean Formulas and Beyond (QBF 2019) is to bring together researchers working on theoretical and practical aspects of QBF solving.
In addition to that, it addresses (potential) users of QBF in order to reflect on the state-of-the-art and to consolidate on immediate and long-term research challenges. The workshop also welcomes work on reasoning with quantifiers in related problems, such as dependency QBF (DQBF), quantified constraint satisfaction problems (QCSP), and satisfiability modulo theories (SMT) with quantifiers.
8 - 12 July 2019, 46th International Colloquium on Automata, Languages and Programming (ICALP 2019), Patras, GreeceLocation: Patras, Greece
ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on 8 July 2019.
ICALP 2019 will have three tracks:
Track A: Algorithms, Complexity and Games
Track B: Automata, Logic, Semantics, and Theory of Programming
Track C: Foundations of Networks and Multi-Agent Systems: Models, Algorithms and Information ManagementFor more information, see https://icalp2019.upatras.gr/.
8 - 11 July 2019, Sixteenth International Conference on Computability and Complexity in Analysis (CCA 2019), Zagreb, CroatiaLocation: Zagreb, Croatia
The conference is concerned with the theory of computability and complexity over real-valued data.
Most mathematical models in physics and engineering 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. 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.
The conference CCA 2019 is followed by the conference Computability in Europe (CiE 2019).
8 - 12 July 2019, 21st European Agent Systems Summer School (EASSS-2019), Bar-Ilan University, IsraelLocation: Bar-Ilan University, Israel
This is the main annual summer school in the area of multiagent systems, intended for both PhD and MSc students.
The main goal of the European Agent Systems Summer School is to provide an exchange of knowledge among individuals and groups interested in various aspects of autonomous systems. This dissemination is provided by formal state-of-the-art courses conducted by leading experts in the field and by informal meetings during the event. A typical course is 4 hours long and provides a general introduction to the selected topic followed by in-depth exposition of recent and relevant contributions. Both the practical and theoretical aspects of Multi-Agent Systems are within the scope of EASSS.
8 July 2019, 20th International Workshop on Logic and Computational Complexity (LCC 2019), Patras, GreeceLocation: Patras, Greece
LCC meetings are aimed at the foundational interconnections between logic and computational complexity. LCC'19 will be collocated with ICALP 2019. The program will consist of invited lectures as well as contributed talks selected by the Program Committee.
8 July 2019, 2nd Workshop on Formal Verification of Physical Systems (FVPS 2019), Prague, Czech RepublicLocation: Prague, Czech Republic
One of the main issues behind many failing systems is the ad-hoc verification approach that involves a variety of formalism and techniques for the modeling and analysis of various components of the present-age (cyber)-physical systems. The fundamental differences between these modeling and analysis techniques limit us to analyze the whole system as one unit and thus miss many corner cases, which arise due to the operation of all the sub-components of the system together. One of the major concerns is that, despite the above-mentioned evident limitation in the analysis methods, many safety-critical systems, such as aerospace, smart-transportation, smart-grid and e-health, are increasingly involving physical elements. Moreover, we are moving towards integrating more complex physical elements in our engineering systems. Finally, the impact of physical components is relevant to both the safety and security of the overall system.
The objective of the workshop is to gather scientists and engineers interested in formal verification techniques for the modeling, analysis, and verification of safety and security critical physical systems.For more information, see https://www.cicm-conference.org/2019/cicm.php?event=fvps.
13 July 2019, Martin Hofmann Memorial Meeting, Munich, GermanyLocation: Munich, Germany
We will meet to remember and celebrate Martin's life and work. There will be invited talks from friends and colleagues as well as ample time for discussions and exchange of memories during the breaks. The talks will be about various topics in Computer Science and Mathematics that Martin would have enjoyed. The talks will combine scientific content with personal stories about Martin.
If you would like to propose a contribution to the program then contact Jan Hoffmann or Don Sannella.For more information, see http://mmm.tcs.ifi.lmu.de/.
13 July 2019, 31st International Conference on Computer-Aided Verification, New York City NY, U.S.A.Location: New York City NY, U.S.A.
CAV 2019 is the 31st in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security.
CAV 2019 includes the following workshops:
- BeMC: The Best of Model Checking (BeMC) — workshop in honor of Orna Grumberg
- DARS: Design and Analysis of Robust Systems
- VMW: Verification Mentoring Workshop
- NSV: Numerical Software Verification
- VSTTE: Verified Software: Theories, Tools, and Experiments
- Democratizing Software Verification
- FoMLAS: Formal Methods for ML-Enabled Autonomous Systems
- SYNT: Synthesis
15 - 19 July 2019, 15th Conference on Computability in Europe (CiE 2019), Durham, EnglandLocation: Durham, England
CiE 2019 is the 15th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.
The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.
17 - 19 July 2019, 17th Conference onTheoretical Aspects of Rationality & Knowledge (TARK 2019), Toulouse, FranceLocation: Toulouse, France
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.
Topics of interest: include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems. Invited Speakers: Ingela Alger (Toulouse School of Economics), Vincent Conitzer (Duke University), and Brian Hill (HEC Paris).For more information, see https://tark.irit.fr/.
18 - 19 July 2019, 16th Meeting on the Mathematics of Language (MoL 2019), Toronto ON, CanadaLocation: Toronto ON, Canada
MOL is devoted to the study of mathematical structures and methods that are of importance to the description of language.
Specific topics within the scope of the conference include:
- formal and computational analysis of linguistic theories and frameworks
- learnability of formal grammars
- proof-theoretic, model-theoretic and type-theoretic methods in linguistics
- mathematical foundations of statistical approaches to language analysis
- formal models of language use and language change
18 - 19 July 2019, 2nd Graduate Conference of the Italian Network for the Philosophy of Mathematics (FilMat), Milan, ItalyLocation: Milan, Italy
The FilMat network promotes workshops and conferences open to Italian and international researchers in the philosophy of mathematics. To emphasise its attention to those at early stages of their careers, the network is glad to announce, in addition to its biennial main conferences, its second graduate conference. We expect to host up to 6/8 contributed talks by graduate and early career speakers of any nationality, selected by double-blind review.
Invited speakers: Salvatore Florio (University of Birmingham), Lavinia Picollo (UCL) and Jack Woods (University of Leeds).
21 - 27 July 2019, Hilbert-Bernays Summer School on Logic and Computation, Tuebingen, GermanyLocation: Tuebingen, Germany
The University of Tübingen hosts a summer school about the topic "Logic and Computation". The summer school is addressed at students of the subjects mathematics, philosophy and computer science, preferably undergraduate students in their final year and graduate students.
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:
- From the Foundational Crisis of Mathematics to Explicit Mathematics.
- From Hilbert to Gentzen and beyond.
- Automatic Reasoning in the Automobile Industry.
- Foundations of Machine Learning and AI.
Students may anticipate a high professional outcome in a dedicated international environment along with extra-curricular activities.
21 July 2019, Workshop "As a matter of form", Rostock, GermanyLocation: Rostock, Germany
We would like to invite anyone interested to participate in a one-day workshop exploring topics such as form, essence, and hylomorphism.
The workshop is funded through the DFG-project 'Formal Causation in Aristotle and in Analytic Metaphysics and Philosophy of Science'. Speakers: Jonathan Barker (Virginia), Kit Fine (NYU), Ludger Jansen (Bochum/Rostock), Thomas Sattig (Tübingen), Michael Wallner (Graz).For more information, see https://www.iph.uni-rostock.de/forschung/formale-verursachung/workshop-21july-2019-as-a-matter-of-form/ or contact petter.sandstad at uni-rostock.de.
22 - 26 July 2019, 2019 Hamburg Summer School on Truthmaker Semantics, Hamburg, GermanyLocation: Hamburg, Germany
The Phlox Research Group at Hamburg University is delighted to announce the 2019 Hamburg Summer School on Truthmaker Semantics. Truthmaker semantics is an approach to semantics that has attracted a growing amount of interest in recent years. It takes the content of a statement to be given in terms of the states that exactly verify it, wherethis is taken to require that the state-roughly, a part or fragment of a world=be wholly relevant to the truth of the statement.
In this course, after an introduction to the history, the motivations, and the basic framework of truthmaker semantics, we will survey its applications to (i) deontic and imperative logic, (ii) conditionals, (iii) partial content, (iv) intuitionistic and relevance logic, (v) Bayesian epistemology and the theory of rational belief revision, as well as (vi) natural language semantics (attitude reports, modals, and intensional definite descriptions). The Summer School will be taught by Kit Fine (NYU), Mark Jago (Nottingham), Johannes Korbmacher (Utrecht), Stephan Krämer (Hamburg), and Friederike Moltmann (Paris, NYU).For more information, see https://hamburgersommerkurs.wordpress.com.
23 - 27 July 2019, Kurt Goedel's Legacy: Does Future lie in the Past?, Vienna, AustriaLocation: Vienna, Austria
In 1949, Kurt Gödel showed that there exist solutions to Einstein's equations of general relativity allowing for closed timelike curves. The existence of such curves would allow time travel into one's own past leading to all kind of causality paradoxes. Today there is an ongoing debate on how physical such solutions are and whether general relativity would prevent the formation of regions where causality violation is possible. Closely related are Gödel's philosophical ideas on the existence of time, a subject that he intensively discussed with Einstein in Princetown. 'In my view Kurt Gödel's papers represent an important contribution to general relativity, especially his analysis of the concept of time.' said Einstein.
The Kurt Goedel Society intends to celebrate the 70th anniversary of Gödel's seminal publication and the 100th anniversary of the decisive experimental verification of general relativity by organizing a conference at the University of Vienna, Austria. This event will bring together the prominent researchers from the fields of Physics, Mathematics, Philosophy and Artificial Intelligence. The conference will be enhanced with a special exhibition about life and work of Kurt Gödel with emphasis on Gödel's solution.For more information, see https://kgs.logic.at/goedels-legacy/.
28 July - 3 August 2019, 6th Summer School on Mathematical Philosophy for Female Students, Munich, GermanyLocation: Munich, Germany
The Munich Center for Mathematical Philosophy is organising the sixth edition of the Summer School on Mathematical Philosophy for Female Students. The summer school is open to women with a keen interest in mathematical philosophy. Applicants should be students of philosophy (or philosophically minded logicians or scientists) at an advanced undergraduate level, in a master program, or at an early PhD level.
This year, we will have the following lecture streams:
1. "Formal epistemology", led by Anna-Maria Asunta Eder (University of Cologne)
2. "Barriers to Entailment", led by Gillian Russell (UNC Chapel Hill)
3. "Philosophy of Algorithms and Simulations", led by Lena Zuchowski (University of Bristol)For more information, see http://www.mathsummer.philosophie.uni-muenchen.de/ or contact mathsummer2019 at lrz.uni-muenchen.de.
29 - 31 July 2019, 2nd Forcing Project Networking Conference (FPNC 2019): Set Theory, Bridging Maths & Philosophy, Konstanz, GermanyLocation: Konstanz, Germany
The project “Forcing: Conceptual Change in the Foundations of Mathematics” (2018-2023) aims to analyse the development of modern set theory since the introduction of the forcing technique both from a historical and philosophical point of view. It brings together methods and research questions from different research areas in the history and philosophy of mathematics to investigate if and how the extensive use of the forcing method brought about a conceptual change in set theory; and in which ways this may influence the philosophy of set theory and the foundations of mathematics.
The research group organises a series of Networking Conferences with the goal of reaching out to researchers from these different areas. The second instalment will be devoted to the topic of recent set theory as a bridge between mathematics and philosophy and focuses on the interaction between mathematical and philosophical arguments and views in set theory. Set theory has long been both a mathematical discipline and a program with foundational motivations. It seems that this dual character makes it a natural crossway between mathematics and philosophy, possibly more so than other mathematical disciplines.
(New) 31 July - 2 August 2019, 8th Workshop on Philosophical Logic of the Buenos Aires Logic Group, Buenos Aires, ArgentinaLocation: Buenos Aires, Argentina
This is the eighth installment of a series of workshops organized by BA LOGIC, aiming to bring together researchers to discuss different topics in philosophical logic, mainly connected with semantic paradoxes, theories of truth, and non-classical logics.For more information, see http://ba-logic.com/workshops/workshop-on-philosophical-logic-2019/ or contact paulateijeiro at gmail.com.
1 - 2 August 2019, 1st ACL Workshop on Gender Bias for Natural Language Processing, Florence, ItalyLocation: Florence, Italy
Gender and other demographic biases in machine-learned models are of increasing interest to the scientific community and industry. Models of natural language are highly affected by such perceived biases, present in widely used products, can lead to poor user experiences. This workshop will be the first dedicated to the issue of gender bias in NLP techniques and it includes a shared task on coreference resolution. In order to make progress as a field, this workshop will specially focus on discussing and proposing standard tasks which quantify bias.
Keynote Speaker: Pascale Fung, Hong Kong University of Science and Technology
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.
5 - 10 August 2019, 16th Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST XVI), Prague, Czech RepublicLocation: Prague, Czech Republic
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.For more information, see http://clmpst2019.flu.cas.cz/.
5 - 9 August 2019, ESSLLI 2019 Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Sciences, Riga, LatviaLocation: Riga, Latvia
Vector embeddings of word meanings have become a mainstream tool in large scale natural language processing tools. The use of vectors to represent meanings in semantic spaces or feature spaces is also employed in cognitive science. Unrelated to natural language and cognitive science, vectors and vector spaces have been extensively used as models of physical theories and especially the theory of quantum mechanics.
Exploiting the common ground provided by vector spaces, the proposed workshop will bring together researchers working at the intersection of NLP, cognitive science, and physics, offering to them an appropriate forum for presenting their uniquely motivated work and ideas.For more information, see https://sites.google.com/view/semspace2019/.
5 - 16 August 2019, ESSLLI 2019 Student Session, 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.
The ESSLLI Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).For more information, see http://esslli2019.folli.info/programme/student-session/ or contact mmanighe at lix.polytechnique.fr, or m.t.beeksma at let.ru.nl.
(New) 5 - 9 August 2019, Scottish Programming Languages & Verification Summer School, Glasgow, ScotlandLocation: Glasgow, Scotland
The aim of the school is to provide PhD students with core and specialised knowledge in the broad area of Programming Language and Verification research.
The school is aimed at PhD students in programming languages, verification and related areas. Also researchers and practitioners will be very welcome, as will strong master's students with the support of a supervisor. Participants will need to have a background in computer science, mathematics or a related discipline, and have basic familiarity with (functional) programming and logic.
5 - 7 August 2019, CUSO Summer School in Recursion Theory & Philosophy, Geneva, SwitzerlandLocation: Geneva, Switzerland
The summer school aims at broadening the logical arsenal of formal philosophers and PhD students in philosophy. The courses will present some serious post-WWII logic for non-specialists. The event is inspired W. Hart's book "The evolution of Logic" and his presentation of what he called the four pillars of mathematical logic to a broad philosophical audience: constructibility, forcing, the priority method and Morley's theorem.
The school takes place over a period of 3 days August 5-7 at the University of Geneva. There will be two 2-hours lectures per day, in the morning. There will be a facultative discussion session on one of the afternoons. The titles of the minicourses are:
1) The priority method (Denis Hirschfeldt, University of Chicago)
2) Definable sets and ramified-types: a thread through the foundations of mathematics (Harold Hodes, Cornell University)
10 - 11 August 2019, 24th Conference on Formal Grammar (FG 2019), Riga, LatviaLocation: Riga, Latvia
FG 2019 is the 24th conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information which, in 2019, will take place at University of Latvia, Riga, Latvia. 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/2019/.
10 - 12 August 2019, 5th Workshop on Bridging the Gap between Human and Automated Reasoning, Macau, ChinaLocation: Macau, China
This is the fifth workshop in a series of successful Bridging the Gap Between Human and Automated Reasoning workshops. The workshop will be located at the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019) at Macao, China. The Bridging workshop is supported by IFIP TC12.
Reasoning is a core ability in human cognition. There are a lot of findings in cognitive science research which are based on experimental data about reasoning tasks, inspiring a shift from propositional logic and the assumption of monotonicity in human reasoning towards other reasoning approaches. This includes but is not limited to models using probabilistic approaches, mental models, or non-monotonic logics. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. A core goal of Bridging-the-gap-Workshops is to make results from psychology, cognitive science, and AI accessible to each other. The goal is to develop systems that can adapt themselves to an individuals' reasoning process and that such systems follow the principle of explainable AI to ensure trustfulness and to support the integration of results from other fields.
11 - 12 August 2019, 7th International Workshop on Strategic Reasoning (SR 2019), Macao, ChinaLocation: Macao, China
Strategic reasoning is a key topic in multi-agent systems research. The extensive literature in the field includes a variety of logics used for modeling strategic ability. Results from the field are now being used in many exciting domains such as information system security, adaptive strategies for robot teams, and automatic players capable to outperform human experts. A common feature in all these application domains is the requirement for sound theoretical foundations and tools accounting for the strategies that artificial agents may adopt in the situation of conflict and cooperation.
The SR international workshop series aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view.For more information, see http://sr2019.irisa.fr/.
11 - 16 August 2019, Logic Colloquium 2019 (LC 2019), Prague, Czech RepublicLocation: Prague, Czech Republic
The Logic Colloquium 2019 is the annual European summer meeting of the Association of Symbolic Logic (ASL) , an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry. This meeting is co-located with the 16th CLMPST, with a public lecture by H. Leitgeb, jointly sponsored by the two meetings.
The invited speakers are S. Abramsky, Z. Chatzidakis, V. de Risi, O. Guzman, M. Harrison-Trainor, U. Kohlen- bach (giving the Retiring Presidential Address), J. Krajicek, G. Sagi, T. Scanlon, R. Verbrugge, and M. Ziegler, and tutorials will be given by D. Raghavan and M. Rathjen. Special sessions will be held on Computability; Foundations of Geometry; Model Theory; Proof Theory and Proof Complexity; Reflection Principles and Modal Logic; and Set Theory.For more information, see https://www.lc2019.cz/.
19 - 22 August 2019, 11th Principia International Symposium: The Quest for Knowledge, Florianopolis, BrazilLocation: Florianopolis, Brazil
Knowledge has attracted the attention of philosophers since their earliest speculations. And in the second half of 20th century English language philosophy witnessed the revival of careful investigation on classical questions as to the nature, structure, and limits of knowledge, as well as its distribution in social groups. The 11th Principia International Symposium has as its main theme the contemporary discussions in Theory of Knowledge, under the heading The Quest for Knowledge.
24 - 26 August 2019, 14th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2019), Natal, BrazilLocation: Natal, 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.
LSFA 2019 will be a satellite event of CADE-27. Invited speakers: Pascal Fontaine (LORIA), Achim Jung (University of Birmingham), Vivek Nigam (Fortiss), Elaine Pimentel (UFRN), Giselle Reis (CMU-Qatar).
25 - 30 August 2019, The 27th International Conference on Automated Deduction (CADE-27), Natal, BrazilLocation: Natal, Brazil
The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions. Furthermore, the Herbrand Award for Distinguished Contributions to Automated Deduction and the new Skolem Award(s) for influential historical CADE papers is presented at the conference.For more information, see http://www.cade-27.info.
27 - 30 August 2019, The 30th International Conference on Concurrency Theory (CONCUR 2019), Amsterdam, The NetherlandsLocation: Amsterdam, The Netherlands
The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.
CONCUR is co-located with:
- the 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019)
- the Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019)
- the 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019)
- the 4th International workshop on TIming Performance engineering for Safety critical systems (TIPS 2019)
- the 9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019)For more information, see https://event.cwi.nl/concur2019/.
1 - 4 September 2019, 4th International Workshop on AI aspects in Reasoning, Languages, and Computation (AIRLangComp’19), Leipzig, GermanyLocation: Leipzig, Germany
There is general realization that computational models of human reasoning can be improved by integration of heterogeneous resources of information and AI techniques, e.g., multidimensional diagrams, images, language, syntax, semantics, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual area related to information, formal and natural languages, computation, reasoning.
2 - 6 September 2019, 12th Conference on Recent Advances in Natural Language Processing (RANLP 2019), Varna, BulgariaLocation: Varna, Bulgaria
RANLP (Recent Advances in Natural Language Processing) is one of the most competitive and influential NLP conferences. The event is held biennially and traditionally includes pre-conference tutorials, main conference with Student Research Workshop, and post-conference specialised workshops.
All RANLP conferences feature keynote talks by leading experts in NLP. The confirmed keynote speakers at RANLP 2019 include Kenneth Church (Baidu USA), Hinrich Schütze (Ludwig Maximilian University, Munich) and Kyunghyun Cho (New York University).For more information, see http://lml.bas.bg/ranlp2019/.
2 - 4 September 2019, Tenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2019), Bordeaux, FranceLocation: Bordeaux, France
The aim of the GandALF 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 a large number of research subjects, ranging from theory to applications, and stimulate cross-fertilization.For more information, see https://gandalf2019.sciencesconf.org/.
3 - 5 September 2019, 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019), London, EnglandLocation: London, England
TABLEAUX is the main international conference at which research on all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of tableaux-based reasoning and related methods is presented. Tableau methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For many logics, tableau methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis.
TABLEAUX 2019 will be co-located with the 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019). The conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions.
4 - 6 September 2019, The 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019), London, EnglandLocation: London, England
FroCoS is the main international event for research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The first FroCoS symposium was held in Munich, Germany, in 1996. Initially held every two years, since 2004 it has been organized annually with alternate years forming part of IJCAR. If we also count the IJCAR editions, this year FroCoS celebrates its 20th edition.
FroCoS 2019 will be co-located with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019). The two conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions. Like its predecessors, FroCoS 2019 seeks to offer a common forum for research in the general area of combination, modularization, and integration of systems, with emphasis on logic-based methods and their practical use.
8 - 11 September 2019, 2nd International Summer School on Proof Theory, Swansea, WalesLocation: Swansea, Wales
The 2nd International Summer School on Proof Theory will be hosted by the Department of Computer Science at Swansea University under the auspices of The Proof Society and is sponsored by the London Mathematical Society. The Summer School will be co-located with the 2nd Workshop on Proof Theory and its Applications which will take place on September 11-13.
It is the aim of the summer school to cover basic and advanced topics in proof theory. The focus of the second edition will be on philosophy of proof theory, proof theory of impredicative theories, structural proof theory, proof mining, reverse mathematics, type theory and bounded arithmetic. Other areas like proof complexity, program extraction from proofs, and philosophy of constructive mathematics will be covered at the workshop.
The intended audience for the Summer School is advanced master students, PhD students postdocs and experienced researchers new to the field in mathematics, computer science and philosophy.For more information, see http://www.proofsociety.org/summer-school-2019/.
9 - 13 September 2019, 12th International Conference on Words (WORDS 2019), Loughborough, EnglandLocation: Loughborough, England
WORDS is a biannual international conference covering the mathematical theory of words (sequences of symbols) from all points of view: combinatorial, algebraic, algorithmic, as well as its applications to biology, linguistics, physics, and others.
Invited Speakers: Florin Manea (Kiel), Svetlana Puzynina (St. Petersburg), Antonio Restivo (Palermo), Gwenaël Richomme (Montpellier), Aleksi Saarela (Turku), and Kristina Vuskovic (Leeds).
10 - 13 September 2019, Twenty-second International Conference on Text, Speech, & Dialogue (TSD 2019), Ljubljana, SloveniaLocation: Ljubljana, Slovenia
The history of the International Conference of Text, Speech and Dialogue (TSD) dates back to 1997 when the event was held for the first time, that time as an international workshop, in Mariánské Lázně. The essential idea behind the project was to establish a scientific meeting platform that would act as a bridge between the East and the West. Since then an uninterrupted row of the TSD conferences has been organised by Brno (even years) and Plzeň (odd years) crews.
TSD2019 will explore the topics in the field of speech and natural language processing, in particular:
corpora, texts, transcription, and translation;
speech analysis, recognition, and synthesis;
their intertwining within dialogue systems.
16 - 20 September 2019, Thirteenth International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), Batumi, GeorgiaLocation: Batumi, Georgia
The Thirteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 16-20 September 2019 in Batumi, 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. The programme will include tutorials on Logic, Language and Computation, and a series of invited lecturers. There will be two workshops (on Language and on Logic and Computation) embedded in the conference programme.
16 - 20 September 2019, Workshop on Syntax, Semantics, and Pragmatics of Aspect Across Modalities (SSPAM), Batumi, GeorgiaLocation: Batumi, Georgia
The workshop “Syntax, Semantics, and Pragmatics of Aspect Across Modalities” wants to discuss recent advances in the research on inner and outer aspects and their interaction. This workshop will take place at the 13th International Tbilisi Symposium on Language, Logic and Computation.
(Updated) 20 - 26 September 2019, Fourth International Autumn School "Proof & Computation", Herrsching, GermanyLocation: Herrsching, Germany
The aim of the autumn school is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy. Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs.
Courses include Ingo Blechschmidt on Generalized Spaces for Constructive Algebra, Stefania Centrone on Proof Theory, Thierry Coquand on Applications of Type Theory, Anton Freund on Dilators, Tatsuji Kawai on Concepts of Continuity, and Dominique Larchey on Extraction of Programs in Coq. There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.For more information, see http://www.mathematik.uni-muenchen.de/~schwicht/pc19.php or contact xu at math.lmu.de.
21 - 25 September 2019, 35th International Conference on Logic Programming (ICLP 2019), Las Cruces NM, U.S.A.Location: Las Cruces NM, U.S.A.
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to Foundations, Languages, Declarative programming, Implementation, Related Paradigms and Synergies, and Applications.
Besides the main track, ICLP 2019 will host additional tracks and special sessions:
- Applications Track
- Sister Conferences and Journal Presentation Track
- Special Session: Women in Logic Programming
- Research Challenges in Logic Programming TrackFor more information, see https://www.cs.nmsu.edu/ALP/iclp2019/.
23 - 25 September 2019, 1st International Workshop on Ontologies for Digital Humanities and their Social Analysis (WODHSA), Graz, AustriaLocation: Graz, Austria
This workshop is part of The Joint Ontology WOrkshops (JOWO) Episode V. The purpose of the workshop is twofold: on the one hand, to gather original research work about both application and theoretical issues emerging in the elaboration of conceptual models, ontologies, and Semantic Web technologies for the Digital Humanities (DH) and, on the other hand, to collect studies on the philosophical and social impact of such models.
The complementary character of these two kinds of contributions should allow both modelers and users to be more aware of the modeling choices behind models and applications and of the theories that constitute the background of such choices. This would enhance transparency and reliability of the adopted models and thus understanding and trust on the side of stakeholders and users.For more information, see http://www.loa.istc.cnr.it/WODHSA/.
23 - 26 September 2019, German conference on Artificial Intelligence (KI 2019), Kassel, GermanyLocation: Kassel, Germany
KI 2019 is the 42nd edition of the German Conference on Artificial Intelligence organized in cooperation with the AI Chapter of the German Society for Informatics (GI-FBKI).
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. While KI is primarily attended by researchers from Germany and neighboring countries, it warmly welcomes international participation.
23 - 25 September 2019, Joint Ontology WOrkshops (JOWO 2019), Graz, AustriaLocation: Graz, Austria
The JOWO workshops address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics. JOWO is especially suitable for interdisciplinary and innovative formats.
The following workshops are being organized:
- 2nd International Workshop on Bad or Good Ontology (BOG)
- Cognition And OntologieS (CAOS IV)
- Contextual Representations of Events and Objects in Language (CREOL).
- Workshop on Data meets Applied Ontologies in Open Science and Innovation (DAO-SI)
- 10th International Workshop on Formal Ontologies meet Industry (FOMI)
- Workshop on Foundational Ontology (FOUST).
- Ontologies and Data in Life Sciences 2019 (ODLS 2019)
- The Shape of Things (SHAPES 5.0).
- Social, Legal and Economic Entities (SoLEE)
- Second Workshop on INteraction-based Knowledge Sharing (WINKS-2)
- 1st International Workshop on Ontologies for Digital Humanities and their Social Analysis (WODHSA)
- 4th International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2019)
In addition, JOWO 2019 will host five tutorials:
- Data-driven ontology engineering with Relational Concept Analysis (DOnEReCA)
- Introduction to Foundational Ontologies (FOUNT)
- Semantic similarity and machine learning with ontologies.
- SNOMED CT Tutorial
- Top Level Ontologies (ISO/IEC 21838)
23 - 25 September 2019, Workshop on Ontology of Social, Legal and Economic Entities (SoLEE 2019), Graz, AustriaLocation: Graz, Austria
Understanding the ontological nature of social, legal and economic concepts and institutions is crucial for providing principled modelling in many important domains such as enterprise modelling, business processes, and social ontology. A significant number of fundamental concepts that are ubiquitous in economics, social, and legal sciences - such as value, risk, capability, good, service, exchange, transaction, competition, social norm, group, institution - have only recently been approached from a specifically ontological perspective. It is therefore important to offer a venue to gather the recent contributions to this topic.
This workshop is part of the Joint Ontology Workshops (JOWO 2019), and relates mainly to two previous events (SoLE-BD and Ontology of Economics 2018). The goals of the workshop are:
- to collect approaches to deal with social, legal and economic entities in foundational and applied ontologies,
- discuss applications of these approaches to social, legal and economic entities in ontologies for biomedicine and business informatics, and
- serve as a meeting point for stakeholders from applied ontology and the respective domain disciplines.For more information, see https://solee-2019.github.io/.
2 - 4 October 2019, Trends in Logic 2019, Moscow, RussiaLocation: Moscow, Russia
The 19th Trends in Logic international conference will be held in Moscow, Russia from October 2 to October 4, 2019. It is organized by the National Research University Higher School of Economics and the journal Studia Logica.Invited Speakers:
For more information, see https://sites.google.com/view/trendsinlogic2019/.
- Lev Beklemishev (Moscow, Russia)
- Johan van Benthem (Amsterdam, The Netherlands)
- Per Martin-Löf (Stokholm, Sweden)
- Graham Priest (New York, USA)
29 - 30 October 2019, 5th International Conference on the History and Philosophy of Computing (HaPoC 2019), Bergamo, ItalyLocation: Bergamo, Italy
Today more than ever computers have taken center stage in our lives: science, economy, politics, art, there is no single human endeavour that has been left unaffected by Information Technologies. People connected to the Internet can enjoy an unprecedented amount of information and computing power at their disposal, but more and more negative side effects of a widespread use of computers are brought to our attention: automation bias, echo chambers, shortened attention spans, job displacement, election hacking are just a few examples. The need to conduct a systematic and well-informed discussion in a context ranging from theoretical and mathematical problems to labour and resource exploitation issues is evident.
HaPoC's appeal to historical and philosophical reflection aims at addressing this shortcoming. We aim to bring together researchers exploring the various aspects of computation: historians, philosophers, computer scientists, sociologists, anthropologists, designers, manufacturers, practitioners, artists, logicians, mathematicians, each with their own experience and expertise, all part of a society impacted by computation, and all necessary to the creation of a better discourse.
31 October - 2 November 2019, 30th Novembertagung on the History and Philosophy of Mathematics, Strasbourg, FranceLocation: Strasbourg, France
The Novembertagung on the History and Philosophy of Mathematics is an annual international conference aimed at PhD and postdoctoral students (young scholars) in the history and philosophy of mathematics.
Mathematical knowledge is commonly thought of as being essentially universal: its truths are eternal and incontrovertible, its propositions understandable and agreeable by all, independent of linguistic, cultural, ethnic or religious backgrounds. However, global knowledge, as mathematics seems to be, is always produced locally. As such, it hinges upon collectively shared ways of practicing, writing, and communicating mathematics. This year's Novembertagung invites participants to reflect on the theme 'Mathematical Cultures, Values, & Norms'. The invited speakers are June Barrow-Green (Open University) and Roy Wagner (ETH Zurich).
27 - 29 November 2019, Carlos di Prisco Birthday Meeting, Bogota, ColombiaLocation: Bogota, Colombia
Carlos di Prisco will turn 70 years old in October 2019. This conference is held in honor of his life and work.
It is intended for a wide audience, especially for students, but will also include the participation of mathematicians who have worked with Carlos and are close to him.
Invited speakers include J. Bagaria, C. Brech, J. Lopez-Abad, N. Dobrinen, A. Arias, and X. Caicedo.For more information, see here .
30 March - 2 April 2020, 23rd International Conference on Database Theory (ICDT 2020), Copenhagen, DenmarkLocation: Copenhagen, Denmark
ICDT is an international conferences series that addresses the principles and theory of data management. Since 2009, it is annually and jointly held with EDBT, the international conference on extending database technology.
As ICDT strives to broaden its scope, ICDT 2020 will have a Reach Out Track that calls for novel formal frameworks or directions for database theory and/or connections between principles of data management and other communities.For more information, see https://databasetheory.org/icdt-pages.