Kurt Gödel's unparalleled results in logic grant him a prominent place among logicians. Apart from extraordinary results in the theory of formal systems, he influenced research in set theory, non-classical logics, physical model of the universe, and in philosophy. The event is organised to commemorate the anniversaries (14 January) of the death of Kurt Gödel (Brno 1906 - Princeton 1978) as well as the birth of Alfred Tarski (Warsaw 1901 - Berkeley 1983); January 14 may thus be viewed as World Logic Day.

Naar aanleiding van de MasterClass eerder dit jaar organiseert het ILLC een volgende MasterClass Logica gericht op Wiskunde C docenten met als doel deze groep te voorzien van achtergronden in de logica. De MasterClass zal bestaan uit 2 colleges en optioneel, mocht daar behoefte voor blijken te zijn, een derde college.

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

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.

Naar aanleiding van de MasterClass eerder dit jaar organiseert het ILLC een volgende MasterClass Logica gericht op Wiskunde C docenten met als doel deze groep te voorzien van achtergronden in de logica. De MasterClass zal bestaan uit 2 colleges en optioneel, mocht daar behoefte voor blijken te zijn, een derde college.

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

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.

Naar aanleiding van de MasterClass eerder dit jaar organiseert het ILLC een volgende MasterClass Logica gericht op Wiskunde C docenten met als doel deze groep te voorzien van achtergronden in de logica. De MasterClass zal bestaan uit 2 colleges en optioneel, mocht daar behoefte voor blijken te zijn, een derde college.

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.

MIREL-2019 workshop aims at bridging the gap between the community working on legal ontologies and NLP parsers and the community working on reasoning methods and formal logic, in line with the objectives of the MIREL (MIning and REasoning with Legal texts) project.

The workshop aims at fostering the scientific discussion between approaches based on language technologies applied to the legal domain (representing legal knowledge) and those based on legal reasoning (using the legal knowledge to build specialized services and applications).

Naar aanleiding van de MasterClass eerder dit jaar organiseert het ILLC een volgende MasterClass Logica gericht op Wiskunde C docenten met als doel deze groep te voorzien van achtergronden in de logica. De MasterClass zal bestaan uit 2 colleges en optioneel, mocht daar behoefte voor blijken te zijn, een derde college.

As in the previous editions, the purpose of this meeting is to inform you about various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend.

Drinks will be served afterwards.

Naar aanleiding van de MasterClass eerder dit jaar organiseert het ILLC een volgende MasterClass Logica gericht op Wiskunde C docenten met als doel deze groep te voorzien van achtergronden in de logica. De MasterClass zal bestaan uit 2 colleges en optioneel, mocht daar behoefte voor blijken te zijn, een derde college.

We are proud to announce the lustrum edition of the international workshop "Proof Theory, Modal Logic and Reflection Principles." The workshop (also known as the "Wormshop") will take place at the University of Barcelona from Tuesday, November 5 until Friday, November 8, 2019.

The tradition of modal logics inspired on the notion of formal proof dates back to Gödel, but their study has gained great momentum in the last decade due to novel applications in the foundations of mathematics. Their study moreover requires the interaction of several disciplines in mathematical logic and beyond, including computational logic, proof theory, and point-set topology.

The aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

Naar aanleiding van de MasterClass eerder dit jaar organiseert het ILLC een volgende MasterClass Logica gericht op Wiskunde C docenten met als doel deze groep te voorzien van achtergronden in de logica. De MasterClass zal bestaan uit 2 colleges en optioneel, mocht daar behoefte voor blijken te zijn, een derde college.

We are proud to announce the lustrum edition of the international workshop "Proof Theory, Modal Logic and Reflection Principles." The workshop (also known as the "Wormshop") will take place at the University of Barcelona from Tuesday, November 5 until Friday, November 8, 2019.

The tradition of modal logics inspired on the notion of formal proof dates back to Gödel, but their study has gained great momentum in the last decade due to novel applications in the foundations of mathematics. Their study moreover requires the interaction of several disciplines in mathematical logic and beyond, including computational logic, proof theory, and point-set topology.

The aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

We are proud to announce the lustrum edition of the international workshop "Proof Theory, Modal Logic and Reflection Principles." The workshop (also known as the "Wormshop") will take place at the University of Barcelona from Tuesday, November 5 until Friday, November 8, 2019.

The tradition of modal logics inspired on the notion of formal proof dates back to Gödel, but their study has gained great momentum in the last decade due to novel applications in the foundations of mathematics. Their study moreover requires the interaction of several disciplines in mathematical logic and beyond, including computational logic, proof theory, and point-set topology.

The aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

We are proud to announce the lustrum edition of the international workshop "Proof Theory, Modal Logic and Reflection Principles." The workshop (also known as the "Wormshop") will take place at the University of Barcelona from Tuesday, November 5 until Friday, November 8, 2019.

The tradition of modal logics inspired on the notion of formal proof dates back to Gödel, but their study has gained great momentum in the last decade due to novel applications in the foundations of mathematics. Their study moreover requires the interaction of several disciplines in mathematical logic and beyond, including computational logic, proof theory, and point-set topology.

The aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations.

As usual, the plan is for a full day of talks and discussions on Saturday and a half day on Sunday. As usual, too, there will be a workshop lunch and workshop dinner on Saturday, with all participants invited to attend as guests of the university.

We are pleased to have Marc Lange and Rebecca Morris joining us as invited speakers.

As usual, the plan is for a full day of talks and discussions on Saturday and a half day on Sunday. As usual, too, there will be a workshop lunch and workshop dinner on Saturday, with all participants invited to attend as guests of the university.

We are pleased to have Marc Lange and Rebecca Morris joining us as invited speakers.

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

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 was to 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.

Since the evolution of the COVID-19 pandemic and the mobility constraints still in place make it difficult planning, the organizers believe that the most reasonable decision is to hold ECAI 2020 fully online, and have announced the new Digital ECAI2020.

EvoStar comprises of four co-located conferences run each spring at different locations throughout Europe. These events arose out of workshops originally developed by EvoNet, the Network of Excellence in Evolutionary Computing, established by the Information Societies Technology Programme of the European Commission, and they represent a continuity of research collaboration stretching back over 20 years. EvoStar is organised by SPECIES, the Society for the Promotion of Evolutionary Computation in Europe and its Surroundings. This non-profit academic society is committed to promoting evolutionary algorithmic thinking, with the inspiration of parallel algorithms derived from natural processes. It provides a forum for information and exchange.

The four conferences include:
 - EuroGP 23rd European Conference on Genetic Programming
 - EvoApplications 23rd European Conference on the Applications of Evolutionary and bio-inspired Computation
 - EvoCOP 20th European Conference on Evolutionary Computation in Combinatorial Optimisation
 - EvoMUSART 9th International Conference (and 14th European event) on Computational Intelligence in Music, Sound, Art and Design

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

The Nederlandse Onderzoeksschool Wijsbegeerte (OZSW), or the Dutch Research School of Philosophy, was established at the end of 2012. It incorporates the former Onderzoeksschool Ethiek (OZSE). The OZSW is an initiative of 11 departments at Dutch universities doing research in philosophy. Its general purpose is to strengthen the discipline of philosophy by promoting and facilitating collaboration between the participating universities in the areas of research and the training of young researchers (PhD students and Research Master students). This annual conference is one of its activities.

Keynote speakers: Anne Phillips (London School of Economics), Barbara Vetter (Freie Universität Berlin), Pauline Kleingeld (Rijksuniversiteit Groningen) and Ruth Sonderegger (Academy of Fine Arts Vienna)

This symposium, part of the 7th annual OZSW Conference, concerns methodological reflection on computational approaches to the study of (the history of) philosophy. The goal is to discuss some state-of-the-art applications of computational methods in (historical) philosophical research and focus on their methodology. The main question of this symposium will be: What are the conditions under which computational methods can be used in philosophical research in a methodologically sound way? Additionally, it will discuss which obstacles are to be overcome for a successful use of computer methods in the research in (the history of) philosophy.

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

The Nederlandse Onderzoeksschool Wijsbegeerte (OZSW), or the Dutch Research School of Philosophy, was established at the end of 2012. It incorporates the former Onderzoeksschool Ethiek (OZSE). The OZSW is an initiative of 11 departments at Dutch universities doing research in philosophy. Its general purpose is to strengthen the discipline of philosophy by promoting and facilitating collaboration between the participating universities in the areas of research and the training of young researchers (PhD students and Research Master students). This annual conference is one of its activities.

Keynote speakers: Anne Phillips (London School of Economics), Barbara Vetter (Freie Universität Berlin), Pauline Kleingeld (Rijksuniversiteit Groningen) and Ruth Sonderegger (Academy of Fine Arts Vienna)

The programme of the workshop ThEdu'19 was comprised of one invited contribution and four regular contributions, whose abstract are in the workshop web-page. Now postproceedings are planned to collect the contributions upgraded to full papers. We welcome submission of papers presenting original unpublished work which is not been submitted for publication elsewhere.  This is a call open for everyone, also those who did not participate in the workshop. All papers will undergo review according to EPTCS standards.

Scope: Computer Theorem Proving is becoming a paradigm as well as a technologica base for a new generation of educational software in science, technology, engineering and mathematics. Topics of interest include:
- methods of automated deduction applied to checking students' input;
- methods of automated deduction applied to prove post-conditions for particular problem solutions;
- combinations of deduction and computation enabling systems to propose next steps;
- automated provers specific for dynamic geometry systems;
- proof and proving in mathematics education.

Tutorial: Asaf Karagila (University of East Anglia).
Invited Speakers: Ralf Schindler (University of Muenster) and Boban Velickovic (University of Paris 7).
The workshop will be held in the best period of red leaves in Kyoto.

Tutorial: Asaf Karagila (University of East Anglia).
Invited Speakers: Ralf Schindler (University of Muenster) and Boban Velickovic (University of Paris 7).
The workshop will be held in the best period of red leaves in Kyoto.

AIIA 2019 is organized by the Italian Association for Artificial Intelligence (AIIA – Associazione Italiana per l’Intelligenza Artificiale), which is a non-profit scientific society founded in 1988 devoted to the promotion of Artificial Intelligence. The society aims to increase the public awareness of AI, encourage the teaching of it and promote research in the field. The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A Doctoral Consortium and a series of workshops dedicated to specific topics enhance the program.

The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in real world scenarios, requires the design of reliable, robust and verifiable methodologies. The combined efforts of notable Italian researchers, that have been collaborating for several years in complementary fields such as specification, verification, and synthesis of reactive systems, artificial intelligence, controller synthesis, etc., has led to the creation of a new research group on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY). The group aims at investigating novel methods and algorithms supporting the design and development of autonomous safety-critical systems.

The workshop, part of the AIxIA 2019 conference, is the first official initiative supported by OVERLAY, presenting the research group and its current results to the Italian AI scientific community. The event aims at establishing a stable, long-term scientific forum on relevant topics connected to the relationships between Artificial Intelligence and Formal Methods, by providing a stimulating environment where researchers can discuss about opportunities and challenges at the border of the two areas.

Tutorial: Asaf Karagila (University of East Anglia).
Invited Speakers: Ralf Schindler (University of Muenster) and Boban Velickovic (University of Paris 7).
The workshop will be held in the best period of red leaves in Kyoto.

AIIA 2019 is organized by the Italian Association for Artificial Intelligence (AIIA – Associazione Italiana per l’Intelligenza Artificiale), which is a non-profit scientific society founded in 1988 devoted to the promotion of Artificial Intelligence. The society aims to increase the public awareness of AI, encourage the teaching of it and promote research in the field. The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A Doctoral Consortium and a series of workshops dedicated to specific topics enhance the program.

The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in real world scenarios, requires the design of reliable, robust and verifiable methodologies. The combined efforts of notable Italian researchers, that have been collaborating for several years in complementary fields such as specification, verification, and synthesis of reactive systems, artificial intelligence, controller synthesis, etc., has led to the creation of a new research group on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY). The group aims at investigating novel methods and algorithms supporting the design and development of autonomous safety-critical systems.

The workshop, part of the AIxIA 2019 conference, is the first official initiative supported by OVERLAY, presenting the research group and its current results to the Italian AI scientific community. The event aims at establishing a stable, long-term scientific forum on relevant topics connected to the relationships between Artificial Intelligence and Formal Methods, by providing a stimulating environment where researchers can discuss about opportunities and challenges at the border of the two areas.

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.

Tutorial: Asaf Karagila (University of East Anglia).
Invited Speakers: Ralf Schindler (University of Muenster) and Boban Velickovic (University of Paris 7).
The workshop will be held in the best period of red leaves in Kyoto.

AIIA 2019 is organized by the Italian Association for Artificial Intelligence (AIIA – Associazione Italiana per l’Intelligenza Artificiale), which is a non-profit scientific society founded in 1988 devoted to the promotion of Artificial Intelligence. The society aims to increase the public awareness of AI, encourage the teaching of it and promote research in the field. The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A Doctoral Consortium and a series of workshops dedicated to specific topics enhance the program.

The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in real world scenarios, requires the design of reliable, robust and verifiable methodologies. The combined efforts of notable Italian researchers, that have been collaborating for several years in complementary fields such as specification, verification, and synthesis of reactive systems, artificial intelligence, controller synthesis, etc., has led to the creation of a new research group on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY). The group aims at investigating novel methods and algorithms supporting the design and development of autonomous safety-critical systems.

The workshop, part of the AIxIA 2019 conference, is the first official initiative supported by OVERLAY, presenting the research group and its current results to the Italian AI scientific community. The event aims at establishing a stable, long-term scientific forum on relevant topics connected to the relationships between Artificial Intelligence and Formal Methods, by providing a stimulating environment where researchers can discuss about opportunities and challenges at the border of the two areas.

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.

Tutorial: Asaf Karagila (University of East Anglia).
Invited Speakers: Ralf Schindler (University of Muenster) and Boban Velickovic (University of Paris 7).
The workshop will be held in the best period of red leaves in Kyoto.

AIIA 2019 is organized by the Italian Association for Artificial Intelligence (AIIA – Associazione Italiana per l’Intelligenza Artificiale), which is a non-profit scientific society founded in 1988 devoted to the promotion of Artificial Intelligence. The society aims to increase the public awareness of AI, encourage the teaching of it and promote research in the field. The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A Doctoral Consortium and a series of workshops dedicated to specific topics enhance the program.

The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in real world scenarios, requires the design of reliable, robust and verifiable methodologies. The combined efforts of notable Italian researchers, that have been collaborating for several years in complementary fields such as specification, verification, and synthesis of reactive systems, artificial intelligence, controller synthesis, etc., has led to the creation of a new research group on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY). The group aims at investigating novel methods and algorithms supporting the design and development of autonomous safety-critical systems.

The workshop, part of the AIxIA 2019 conference, is the first official initiative supported by OVERLAY, presenting the research group and its current results to the Italian AI scientific community. The event aims at establishing a stable, long-term scientific forum on relevant topics connected to the relationships between Artificial Intelligence and Formal Methods, by providing a stimulating environment where researchers can discuss about opportunities and challenges at the border of the two areas.

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.

 Speakers: Philip Pettit, Leon Schĺ̈üter, Philip Schink, Johannes Marx, Dominik Klein, Zoe Christoff, Erasmus Mayr, Stefan Napel, and Rudolf Scḧüssler.

Due to the current situation of the novel coronavirus pneumonia, it is believed that ZJULogAI cannot take place as scheduled. The conference and all its sub-events, including GCAI 2020, will be rescheduled (most likely to Q3 or Q4 2020).

The 6th Global Conference on Artificial Intelligence (GCAI 2020) will be held in Hangzhou, China, 6-9 April 2020, as part of the Zhejiang Logic for AI Summit (ZjuLogAI 2020). With its special focus theme on "Explainable AI and Responsible AI", the summit intends to promote the interplay between logical approaches and machine learning based approaches in order to make AI more transparent, responsible and accountable.

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.

On 27 November 2019, the ILLC is organising a workshop and reception to celebrate Dick de Jongh's 80th birthday. 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!

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.

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

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.

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

Systems of connexive logic have been motivated by considerations on a content connection between the antecedent and succedent of valid implications and by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications. After four workshops on connexive logics in Istanbul, Raesfeld Castle, Kyoto and Bochum, a fifth workshop on connexive logics will take place in Bochum (Germany) on the 29th of November, 2019.

The fifth workshop aims at discussing directions for future research in connexive logics. Special focus will be given on historical aspects as well as connections to conditional logics. The workshop will be collocated with a workshop on the Logic of Paradox, from the 25th to 27th, and a workshop on FDE-based modal logic on the 28th. Keynote speakers: Vincenzo Crupi, Andrea Iacona, Spencer Johnston and Marko Malink.

The Buenos Aires Logic Group (BA LOGIC) invites researchers and scholars in philosophy, mathematics, computer science, linguistics, and related topics to attend to the workshop to be held in Buenos Aires this November 29, 2019. This Workshop aims to bring together researchers to discuss different topics on Logic and Philosophical Logic, related with Substructural Logics and Metainferences.

Invited speakers: Bogdan Dicher (University of Lisbon), Andreas Fjellstad (University of Bergen).

The conference will take place in Lublin at the Catholic University of Lublin (Poland) on November 29-30, 2019. The subject this year will be "Advances in Philosophical Logic". Invited keynote speakers: Valentin Goranko, Stockholm University Ondrej Majer, Czech Academy of Science Antonino Rotolo, University of Bologna Marek Sergot, Imperial College London.

Monotonicity, in various forms, is a pervasive phenomenon in logic, linguistics, and related areas. In theoretical linguistics, monotonicity properties are relevant to a large array of semantic phenomena  and to the presence of pragmatic inferences such as scalar implicatures. In logic and mathematics, monotonicity guarantees the existence of fixed points and the well-formedness of inductive definitions. Also, monotonicity is closely tied to reasoning, in formal as well as natural languages. Recent logical and linguistic work on monotonicity has also found its way into computation systems for natural language processing and cognitive models of human reasoning. The goal of our workshop is to bring together researchers working on monotonicity or related properties, from different fields and perspectives.

The first day of the workshop were to be devoted to two tutorials:
1. Jakub Szymanik (University of Amsterdam): Monotonicity in Logic
2. Gennaro Chierchia (Harvard University): Monotonicity in Language
The remaining two days were to consist of invited and contributed talks.

Due to the ongoing pandemic, the organizers have decided to reschedule TLLM 2020 online in December.

The conference will take place in Lublin at the Catholic University of Lublin (Poland) on November 29-30, 2019. The subject this year will be "Advances in Philosophical Logic". Invited keynote speakers: Valentin Goranko, Stockholm University Ondrej Majer, Czech Academy of Science Antonino Rotolo, University of Bologna Marek Sergot, Imperial College London.