The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.

PhDs in Logic is an annual graduate conference organised by local graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It usually involves tutorials by established researchers as well as short presentations by PhD students, master students and first-year postdocs on their research. The 11th edition of PhDs in Logic will take place in Bern on April 24-26 2019 at the Institutes of Mathematics and Computer Science of the University of Bern. This edition of the conference will involve six tutorials in total, three of which will be delivered by young researchers.

We welcome students to participate in PhDs in Logic XI regardless of whether they want to submit a contribution. We also encourage students and postdocs in logic from disciplines other than computer science, mathematics, and philosophy to apply.

In association with ICLA 2019, a pre-conference workshop on Logic and Cognition will be held on March 2, 2019. The workshop will focus on applying modal logics to analyze psychological tasks involving mental states, in particular:
(I) the paradigmatic false belief tasks, and
(II) higher order social reasoning tasks involving strategic games.

Speakers:
- Rohit Parikh (CUNY, USA)
- Torben Braüner (Roskilde University, Denmark)
- Sujata Ghosh (ISI Chennai, India)

From 7-11 January next year there will be a workshop on the Lean proof assistant at the Free University in Amsterdam.

The workshop will include introductory tutorials, scientific talks, and collaboration time for developers and users. Tutorials will be aimed at a mathematically experienced audience with little background in formal methods. Presentation topics may include (but are not limited to) the development of formal theories and libraries, tools and automation for formalization, the use of proof assistants in mathematics and computer science education, translating between formal and informal mathematics, and theoretical aspects of proof assistants. We welcome relevant work in proof assistants other than Lean. Participants who are interested in giving a talk or running a tutorial or discussion are asked to contact the organizers

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).

From 7-11 January next year there will be a workshop on the Lean proof assistant at the Free University in Amsterdam.

The workshop will include introductory tutorials, scientific talks, and collaboration time for developers and users. Tutorials will be aimed at a mathematically experienced audience with little background in formal methods. Presentation topics may include (but are not limited to) the development of formal theories and libraries, tools and automation for formalization, the use of proof assistants in mathematics and computer science education, translating between formal and informal mathematics, and theoretical aspects of proof assistants. We welcome relevant work in proof assistants other than Lean. Participants who are interested in giving a talk or running a tutorial or discussion are asked to contact the organizers

From 7-11 January next year there will be a workshop on the Lean proof assistant at the Free University in Amsterdam.

The workshop will include introductory tutorials, scientific talks, and collaboration time for developers and users. Tutorials will be aimed at a mathematically experienced audience with little background in formal methods. Presentation topics may include (but are not limited to) the development of formal theories and libraries, tools and automation for formalization, the use of proof assistants in mathematics and computer science education, translating between formal and informal mathematics, and theoretical aspects of proof assistants. We welcome relevant work in proof assistants other than Lean. Participants who are interested in giving a talk or running a tutorial or discussion are asked to contact the organizers

In honor of the 70th birthday of Professor Mic Detlefsen, the University of Notre Dame will host a conference on twin themes in Detlefsen's work: Purity and Idealization in the Philosophy of Mathematics. All are welcome.

From 7-11 January next year there will be a workshop on the Lean proof assistant at the Free University in Amsterdam.

The workshop will include introductory tutorials, scientific talks, and collaboration time for developers and users. Tutorials will be aimed at a mathematically experienced audience with little background in formal methods. Presentation topics may include (but are not limited to) the development of formal theories and libraries, tools and automation for formalization, the use of proof assistants in mathematics and computer science education, translating between formal and informal mathematics, and theoretical aspects of proof assistants. We welcome relevant work in proof assistants other than Lean. Participants who are interested in giving a talk or running a tutorial or discussion are asked to contact the organizers

From 7-11 January next year there will be a workshop on the Lean proof assistant at the Free University in Amsterdam.

The workshop will include introductory tutorials, scientific talks, and collaboration time for developers and users. Tutorials will be aimed at a mathematically experienced audience with little background in formal methods. Presentation topics may include (but are not limited to) the development of formal theories and libraries, tools and automation for formalization, the use of proof assistants in mathematics and computer science education, translating between formal and informal mathematics, and theoretical aspects of proof assistants. We welcome relevant work in proof assistants other than Lean. Participants who are interested in giving a talk or running a tutorial or discussion are asked to contact the organizers

The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.

It?s an honor and a pleasure to host Frances Egan and Robert Matthews in Bochum to deliver the next Rudolf-Carnap-Lecture series. They will present two talks each, as always in the context of a Graduate workshop where several PhD students and Postdocs will also have the chance to present their ideas on themes associated with the topics of the lectures.

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.

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.

Speakers: Kristof Bosmans, Bettina Klaus, Flip Klijn, Jordi Massó, Ton Storcken.

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).

Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This conference is the last of a series of meetings planned in the SYSMICS RISE project during 2016-2019.

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.

Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This conference is the last of a series of meetings planned in the SYSMICS RISE project during 2016-2019.

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.

Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This conference is the last of a series of meetings planned in the SYSMICS RISE project during 2016-2019.

The Brazilian Logic Conferences (EBL) is a traditional event of the Brazilian Logic Society (SBL). It has been occurring since 1979. Congregating logicians of different fields and with different backgrounds -- from undergraduate students to senior researchers -- the meeting is an important moment for the Brazilian and South-American logical community to join together and discuss recent developments of the field. The areas of Logic covered spread over Foundations and Philosophy of Science, Analytic Philosophy, Mathematics, Computer Science, Informatics, Linguistics and Artificial Intelligence.

There will be a Logic School during the conference; speakers and subjects to be announced.

Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This conference is the last of a series of meetings planned in the SYSMICS RISE project during 2016-2019.

Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This conference is the last of a series of meetings planned in the SYSMICS RISE project during 2016-2019.

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.

The journal "Logic and Logical Philosophy" calls for submissions for  the special issue on Knowledge representation in multi-agent systems (guest editors: Urszula Żegleń and Tomasz Jarmużek, Nicolaus Copernicus University in Toruń).

The related event was the conference on knowledge representation in multi-agent systems that took place on September 7-8, 2018 in Toruń. The aim of the conference was the presentation of the interdisciplinary research on this topic, taking into account both natural and artificial cognitive systems. The invitation for submission for the special issue is extended to all researchers who deal with the issue of knowledge representation in multi-agent systems from the structural, epistemic or functional point of view.

Broca and Wernicke’s breakthroughs in the 19th century paved the way to the current knowledge of language in the human brain. Yet, current research on this topic has gone above and beyond the scope of neuropsychology, with contributions from neuroscience, computer modelling, linguistics and genetics. The knowledge from these disciplines helped paint a more comprehensive picture of how the language system is organized in the brain. However, there is a theoretical gap between all these findings: solid evidence exists for how discrete elements of the language system are organized and work, but comprehensive models that encompass these separate results are still lacking. This reductionist bias is further exacerbated when overlooking the communicative aspect of language: are we able to fully explain how two human beings are able to communicate in an effective way?

In this symposium experts from different disciplines will explore how their fields of expertise can come together to provide an integrated understanding of human language.