Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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.

The calender view is not available on the mobile version of the website. You can view this information as a list.

You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.

<< December 2019 >>
Sunday Monday Tuesday Wednesday Thursday Friday Saturday
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Click on an event to view details.

6 - 9 September 2020, Logic @ DGPhil, Erlangen, Germany

Date: 6 - 9 September 2020
Location: Erlangen, Germany
Deadline: Sunday 1 December 2019

There will be a section on Logic and Philosophy of Mathematics at the XXVth Congress of the German Society for Philosophy (DGPhil), "The True, the Good, and the Beautiful".

Any papers related to philosophical logic (especially non-classical logic) and philosophy of mathematics are welcome. Abstracts of no more than 1,000 words should be prepared for blind review and are to be submitted via the website. The time slots for section talks will be 35 minutes, including discussion.

For more information, see https://dgphil2020.fau.de/en/.

22 - 27 March 2020, 5th Conference on Artificial Intelligence and Theorem Proving (AITP 2020), Aussois, France

Date: 22 - 27 March 2020
Location: Aussois, France
Deadline: Tuesday 3 December 2019

Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.

There will be several focused sessions on AI for ATP, ITP and mathematics, Formal Abstracts, linguistic processing of mathematics/science, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented.

The Program Committee solicits contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pages formatted with easychair.cls. Submission is via EasyChair. We will consider an open call for post-proceedings in an established series of conference proceedings (LIPIcs, EPiC, JMLR) or a journal (AICom, JAR, JAIR).

For more information, see http://aitp-conference.org/2020.

3 - 4 December 2019, International Conference on Mathematical Optimization for Fair Social Decisions: A Tribute to Michel Balinski, Paris, France

Date: 3 - 4 December 2019
Location: Paris, France

A conference in honor of Michel Balinski (1933-2019) with invited speakers covering topics such as operations research, game theory, and social choice theory.

For more information, see https://tombalinski.sciencesconf.org/.

(Updated) 3 December 2019, Statistical Inference Workshop

Date & Time: Tuesday 3 December 2019, 14:00-18:00
Location: Room F2.01, ILLC, Science Park 107, Amsterdam
Target audience: philosophers of science, scientists interested in causal inference, PhD students
Costs: free

The workshop focuses on philosophical and methodological problems connected to causal inference. The topics covered by participants range from econometric modeling to medical research. The list of participants includes Sebastian Køhlert (How Empirical is Empirical Modelling Really? On Probabilism in Econometrics), Jan-Willem Romeijn (Shrinking and extremizing: two studies in meta-analysis), and Mariusz Maziarz (How to make inferences from inconsistent empirical results?). All the participants are welcome but please register by sending an email.

For more information, see here or contact Mariusz Maziarz at .

3 - 4 December 2019, International Conference on Mathematical Optimization for Fair Social Decisions: A Tribute to Michel Balinski, Paris, France

Date: 3 - 4 December 2019
Location: Paris, France

A conference in honor of Michel Balinski (1933-2019) with invited speakers covering topics such as operations research, game theory, and social choice theory.

For more information, see https://tombalinski.sciencesconf.org/.

4 - 6 December 2019, Conference for Philosophy of Science and Formal Methods in Philosophy (CoPS-FaM-19), Gdansk, Poland

Date: 4 - 6 December 2019
Location: Gdansk, Poland
Deadline: Saturday 31 August 2019

The International Conference for Philosophy of Science and Formal Methods in Philosophy (CoPS-FaM-19) of the Polish Association for Logic and Philosophy of Science will take place on December 4-6, 2019 at the University of Gdansk (in cooperation with the University of Warsaw). The conference will feature invited and contributed talks in Mathematical Logic,Philosophy of Mathematics & Philosophy of Science,Philosophical Logic, andFormal Philosophy (including formal epistemology, formal ethics, and applications of formal methods to philosophical issues in general etc.).

Keynote speakers: Hitoshi Omori (Ruhr-Universität Bochum), Oystein Linnebo (University of Oslo), Miriam Schoenfield (MIT), Stanislav Speranski (St. Petersburg State University) and Katya Tentori (University of Trento).

For more information, see http://lopsegdansk.blogspot.com/p/cops-fam-19-cfp.html or contact Rafal Urbaniak at .

4 - 6 December 2019, Conference for Philosophy of Science and Formal Methods in Philosophy (CoPS-FaM-19), Gdansk, Poland

Date: 4 - 6 December 2019
Location: Gdansk, Poland
Deadline: Saturday 31 August 2019

The International Conference for Philosophy of Science and Formal Methods in Philosophy (CoPS-FaM-19) of the Polish Association for Logic and Philosophy of Science will take place on December 4-6, 2019 at the University of Gdansk (in cooperation with the University of Warsaw). The conference will feature invited and contributed talks in Mathematical Logic,Philosophy of Mathematics & Philosophy of Science,Philosophical Logic, andFormal Philosophy (including formal epistemology, formal ethics, and applications of formal methods to philosophical issues in general etc.).

Keynote speakers: Hitoshi Omori (Ruhr-Universität Bochum), Oystein Linnebo (University of Oslo), Miriam Schoenfield (MIT), Stanislav Speranski (St. Petersburg State University) and Katya Tentori (University of Trento).

For more information, see http://lopsegdansk.blogspot.com/p/cops-fam-19-cfp.html or contact Rafal Urbaniak at .

4 - 6 December 2019, Conference for Philosophy of Science and Formal Methods in Philosophy (CoPS-FaM-19), Gdansk, Poland

Date: 4 - 6 December 2019
Location: Gdansk, Poland
Deadline: Saturday 31 August 2019

The International Conference for Philosophy of Science and Formal Methods in Philosophy (CoPS-FaM-19) of the Polish Association for Logic and Philosophy of Science will take place on December 4-6, 2019 at the University of Gdansk (in cooperation with the University of Warsaw). The conference will feature invited and contributed talks in Mathematical Logic,Philosophy of Mathematics & Philosophy of Science,Philosophical Logic, andFormal Philosophy (including formal epistemology, formal ethics, and applications of formal methods to philosophical issues in general etc.).

Keynote speakers: Hitoshi Omori (Ruhr-Universität Bochum), Oystein Linnebo (University of Oslo), Miriam Schoenfield (MIT), Stanislav Speranski (St. Petersburg State University) and Katya Tentori (University of Trento).

For more information, see http://lopsegdansk.blogspot.com/p/cops-fam-19-cfp.html or contact Rafal Urbaniak at .

17 - 21 June 2020, 4th international conference on Logic, Relativity, & Beyond (LRB 2020), Simontornya, Hungary

Date: 17 - 21 June 2020
Location: Simontornya, Hungary
Deadline: Sunday 8 December 2019

There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. The aim of this conference series, which take place once every 2 or 3 years, is to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the word interested in these and related areas to exchange new ideas, problems and results.

The spirit of this conference series goes back to the Vienna Circle and Tarski's initiative Logic, Methodology and Philosophy of Science. We aim to provide a friendly atmosphere that enables fruitful interdisciplinary cooperation leading to joint research and publications.

We invite you to submit your abstract via EasyChair. Topics include (but are not restricted to):
- Special and general relativity
- Axiomatizing physical theories
- Foundations of spacetime
- Computability and physics
- Relativistic computation
- Cosmology
- Relativity theory and philosophy of science
- Knowledge acquisition in science
- Temporal and spatial logic
- Branching spacetime
- Equivalence, reduction and emergence of theories
- Cylindric and relation algebras
- Definability theory
- Concept algebras and algebraic logic

For more information, see https://conferences.renyi.hu/lrb20/ or contact Gergely Székely at .

8 - 13 December 2019, 1st World Congress of the Brazilian Academy of Philosophy (CREATIVITY 2019) in Honor of Newton da Costa 90th Birthday, Rio de Janeiro, Brazil

Date: 8 - 13 December 2019
Location: Rio de Janeiro, Brazil

The event will take place in Rio de Janeiro, Brazil, December 8-13, 2019 Everybody is welcome to join us for a major philosophical event in one of the most beautiful and fascinating cities in the world.

8 - 13 December 2019, 1st World Congress of the Brazilian Academy of Philosophy (CREATIVITY 2019) in Honor of Newton da Costa 90th Birthday, Rio de Janeiro, Brazil

Date: 8 - 13 December 2019
Location: Rio de Janeiro, Brazil

The event will take place in Rio de Janeiro, Brazil, December 8-13, 2019 Everybody is welcome to join us for a major philosophical event in one of the most beautiful and fascinating cities in the world.

9 December 2019, Symposium in Honour of Julia Robinson's Centenary, Berkeley CA, U.S.A.

Date: Monday 9 December 2019
Location: Berkeley CA, U.S.A.

A Symposium on the occasion of Julia Robinson's 100th birthday will be held on Monday December 9, 2019 at MSRI. Julia Robinson (1919-1985) was a leading mathematical logician of the twentieth century, and notably a first in many ways, including the first woman president of the American Mathematical Society and the first woman mathematician elected to membership in the National Academy of Sciences. Her most famous work, alongside others including Martin Davis and Hilary Putnam, led to Yuri Matijasevich's solution in the negative of Hilbert's Tenth Problem, showing that there is no general algorithmic solution for Diophantine equations. She contributed in other topics as well. Her 1948 thesis linked the undecidability of the field of rational numbers to Godel?s proof of undecidability of the ring of integers.

Confirmed participants in this day-long celebration of her work and of current mathematics insprired by her research include: Lenore Blum, who will give a public lecture, Lou van den Dries, Martin Davis, Kirsten Eisentrager, and (provisionally yes) Yuri Matijasevich.

For more information, see http://www.msri.org/workshops/955.

9 - 10 December 2019, Workshop "Speaking the Unspeakable: Paradoxes between Truth and Proof", Campinas, Brazil

Date: 9 - 10 December 2019
Location: Campinas, Brazil

This conference is intended to investigate recent proposals for characterizing and solving paradoxes. More precisely, the aim is to create a bridge between the truth-theoretic, set-theoretic, and proof-theoretic traditions in the analysis of paradoxes.

For more information, see https://speaktheunspeakable.wordpress.com/ or contact Giorgio Venturi at , or Mattia Petrolo at .

8 - 13 December 2019, 1st World Congress of the Brazilian Academy of Philosophy (CREATIVITY 2019) in Honor of Newton da Costa 90th Birthday, Rio de Janeiro, Brazil

Date: 8 - 13 December 2019
Location: Rio de Janeiro, Brazil

The event will take place in Rio de Janeiro, Brazil, December 8-13, 2019 Everybody is welcome to join us for a major philosophical event in one of the most beautiful and fascinating cities in the world.

9 - 10 December 2019, Workshop "Speaking the Unspeakable: Paradoxes between Truth and Proof", Campinas, Brazil

Date: 9 - 10 December 2019
Location: Campinas, Brazil

This conference is intended to investigate recent proposals for characterizing and solving paradoxes. More precisely, the aim is to create a bridge between the truth-theoretic, set-theoretic, and proof-theoretic traditions in the analysis of paradoxes.

For more information, see https://speaktheunspeakable.wordpress.com/ or contact Giorgio Venturi at , or Mattia Petrolo at .

8 - 13 December 2019, 1st World Congress of the Brazilian Academy of Philosophy (CREATIVITY 2019) in Honor of Newton da Costa 90th Birthday, Rio de Janeiro, Brazil

Date: 8 - 13 December 2019
Location: Rio de Janeiro, Brazil

The event will take place in Rio de Janeiro, Brazil, December 8-13, 2019 Everybody is welcome to join us for a major philosophical event in one of the most beautiful and fascinating cities in the world.

11 December 2019, 4th International Workshop on MIning and REasoning with Legal texts (MIREL 2019), Madrid, Spain

Date: Wednesday 11 December 2019
Location: Madrid, Spain
Deadline: Monday 4 November 2019

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

11 - 13 December 2019, 39th conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), Mumbai, India

Date: 11 - 13 December 2019
Location: Mumbai, India

The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.

Invited Speakers:
 - Karthikeyan Bhargavan, INRIA Paris
 - Robert Krauthgamer, The Weizmann Institute of Science
  - Ranko Lazic, Warwick University
  - Toniann Pitassi, University of Toronto
  - Tim Roughgarden, Columbia University
  - Alexandra Silva, University College London

Workshops and co-located events:
 - SAT/SMT winter school: December 8-9
 - Complexity in Algorithmic Game Theory: December 10
 - Extension Complexity and Lifting Theorems: December 14
 - Trends in Transformations: December 10
 - GALA: Gems of Automata, Logic and Algebra: December 14

For more information, see https://www.fsttcs.org.in/2019/.

11 December 2019, Truthmakers Semantics Workshop

Date & Time: Wednesday 11 December 2019, 09:30-16:15
Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam

Speakers: Mark Jago (Nottingham), Peter Hawke (Amsterdam / St Andrews), Aybüke Özgün (Amsterdam / St Andrews), Janneke van Lith (Utrecht), Johannes Korbmacher (Utrecht), Maria Aloni (Amsterdam).

11 - 15 May 2020, Twelfth NASA Formal Methods Symposium (NFM 2020), Moffett Field CA, U.S.A.

Date: 11 - 15 May 2020
Location: Moffett Field CA, U.S.A.
Deadline: Thursday 12 December 2019

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems.

New developments and emerging applications like autonomous on-board Software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. The focus of these symposiums are on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

We encourage submissions on cross-cutting approaches that bring together formal methods and techniques from other domains such as probabilistic reasoning, machine learning, control theory, robotics, and quantum computing among others.

For more information, see https://ti.arc.nasa.gov/events/nfm-2020/.

8 - 13 December 2019, 1st World Congress of the Brazilian Academy of Philosophy (CREATIVITY 2019) in Honor of Newton da Costa 90th Birthday, Rio de Janeiro, Brazil

Date: 8 - 13 December 2019
Location: Rio de Janeiro, Brazil

The event will take place in Rio de Janeiro, Brazil, December 8-13, 2019 Everybody is welcome to join us for a major philosophical event in one of the most beautiful and fascinating cities in the world.

11 - 13 December 2019, 39th conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), Mumbai, India

Date: 11 - 13 December 2019
Location: Mumbai, India

The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.

Invited Speakers:
 - Karthikeyan Bhargavan, INRIA Paris
 - Robert Krauthgamer, The Weizmann Institute of Science
  - Ranko Lazic, Warwick University
  - Toniann Pitassi, University of Toronto
  - Tim Roughgarden, Columbia University
  - Alexandra Silva, University College London

Workshops and co-located events:
 - SAT/SMT winter school: December 8-9
 - Complexity in Algorithmic Game Theory: December 10
 - Extension Complexity and Lifting Theorems: December 14
 - Trends in Transformations: December 10
 - GALA: Gems of Automata, Logic and Algebra: December 14

For more information, see https://www.fsttcs.org.in/2019/.

8 - 13 December 2019, 1st World Congress of the Brazilian Academy of Philosophy (CREATIVITY 2019) in Honor of Newton da Costa 90th Birthday, Rio de Janeiro, Brazil

Date: 8 - 13 December 2019
Location: Rio de Janeiro, Brazil

The event will take place in Rio de Janeiro, Brazil, December 8-13, 2019 Everybody is welcome to join us for a major philosophical event in one of the most beautiful and fascinating cities in the world.

11 - 13 December 2019, 39th conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), Mumbai, India

Date: 11 - 13 December 2019
Location: Mumbai, India

The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.

Invited Speakers:
 - Karthikeyan Bhargavan, INRIA Paris
 - Robert Krauthgamer, The Weizmann Institute of Science
  - Ranko Lazic, Warwick University
  - Toniann Pitassi, University of Toronto
  - Tim Roughgarden, Columbia University
  - Alexandra Silva, University College London

Workshops and co-located events:
 - SAT/SMT winter school: December 8-9
 - Complexity in Algorithmic Game Theory: December 10
 - Extension Complexity and Lifting Theorems: December 14
 - Trends in Transformations: December 10
 - GALA: Gems of Automata, Logic and Algebra: December 14

For more information, see https://www.fsttcs.org.in/2019/.

(New) 14 December 2019, Set Theory in the United Kingdom 4 (STUK 4), Oxford, England

Date: Saturday 14 December 2019
Location: Oxford, England

We are happy to announce the fourth installment of the Set Theory in the UK series! This will take place in the Mathematical Institute at Oxford on the 14th of December.

The two main speakers are Philipp Schlicht and Carolin Antos. Shorter talks will be given by John Howe, Joel David Hamkins, Philip Welch and Asaf Karagila.

The day opens with tea and coffee at 10:30am, with the first talk beginning in lecture room L3 at 11:00am. We conclude with a social dinner at 7:30pm in The Crown on Cornmarket Street.

16 - 17 April 2020, Workshop "Alternative Approaches to Scientific Realism", Munich, Germany

Date: 16 - 17 April 2020
Location: Munich, Germany
Deadline: Sunday 15 December 2019

There has been a recent move in philosophy of science towards views that in some sense reject the strict dichotomy between realism and anti-realism, or otherwise situate themselves between these two extremes. These include varieties of structuralism, perspectivalism, and pluralism/relativism, and have been applied across various scientific domains, including physics, mathematics, biology, cognitive science, and computer science. This conference will bring together representatives of each of these viewpoints, in order to compare the respective progress made by each approach, and to develop a shared foundation for the future development of alternatives to traditional scientific realism and anti-realism.

Confirmed Keynote Speakers: James Ladyman (Bristol), Michela Massimi, (Edinburgh) and Martin Kusch (Vienna).

Up to three additional speaking slots are reserved for early career researchers, to be filled on a competitive basis. We welcome submission of 500 word abstracts on any topic related to the themes of the conference. Abstracts should be suitably blinded, and submitted to Easychair.

(Updated) 6 - 9 April 2020, 3rd International Conference on Logic and Argumentation (CLAR 2020), Hangzhou, China

Date: 6 - 9 April 2020
Location: Hangzhou, China
Deadline: Sunday 15 December 2019

CLAR 2020 will be held in Hangzhou, 6-9 April 2020, as part of the Zhejiang Logic for AI Summit (ZJULogAI 2020). With a special focus on 'methods and tools for explainable AI', a core objective of ZJULogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, trustworthy and accountable, both in China as well as in the rest of the world. All participants to CLAR 2020 have access to all other events of ZJULogAI as well.

CLAR 2020 conference highlights recent advances in the two fields of logic and argumentation and promotes communication between researchers in logic and argumentation within and outside China.

CLAR 2020 invites interdisciplinary contributions from logic, artificial intelligence, philosophy, computer science, linguistics, law, and other areas studying logic and formal argumentation. We invite two types of submissions: full papers (between 8 and 20 pages) describing original and unpublished work and extended abstracts (max 5 pages) of preliminary original work or extended abstracts of already published work, from either the field of logic or the field of formal argumentation.

Proceedings with accepted submissions will be available during the conference, and extended versions will be published after the conference in special issues of the Journal of Logic and Computation and the Journal of Applied Logics.

(New) 28 - 29 May 2020, 16th International Workshop on the ACL2 Theorem Prover and Its Application (ACL2 2020), Austin TX, U.S.A.

Date: 28 - 29 May 2020
Location: Austin TX, U.S.A.
Deadline: Sunday 15 December 2019

The ACL2 Workshop series is the major technical forum for users of the ACL2 theorem proving system to present research related to the ACL2 theorem prover and its applications. ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers. ACL2-2020 is a two-day workshop to be held in Austin, Texas, USA, on May 28-29, 2020. It is the 16th in the series of ACL2 workshops, which occur approximately every 18 months. The workshop will feature invited keynotes, technical papers, and rump sessions that discuss ongoing research.

We invite ACL2 users, experts and beginners alike, users of other theorem provers, and persons interested in the applications of theorem proving technology to submit papers to the Workshop. We strongly encourage submissions from new members of the ACL2 community, including graduate students and researchers who are primarily involved with other theorem provers or formal methods. The ACL2 Workshop accepts both long papers (up to sixteen pages) and extended abstracts (up to two pages).

For more information, see http://acl2-2020.info/.

28 February - 2 March 2020, 21st Szklarska Poręba Workshop on the Roots of Pragmasemantics, Szklarska Poręba, Poland

Date: 28 February - 2 March 2020
Location: Szklarska Poręba, Poland
Target audience: logicians, semanticists, philosophers, computational linguists
Deadline: Sunday 15 December 2019

The 21st Workshop on the Roots of Pragmasemantics will be held on the top of the Szrenica mountain in the Giant Mountains on the border of Poland and the Czech Republic on February 28 - March 2, 2020. On top of our general theme, this year's special theme is Reference.

This year's invited speakers are:

Maria Aloni (University of Amsterdam)
Ethan Nowak (King's College London)
Peter Sutton (Heinrich Heine University Düsseldorf)
Sarah Zobel (University of Oslo)

We especially invite papers on this year's special theme "Reference". We also welcome contributions relevant to any of the more classical subjects of this workshop series. Experimental as well as theoretical approaches are welcome. We in particular encourage the presentation of innovative ideas, even if still in need of later refinement and submissions by students who have no previous experience presenting at international workshops. We invite submission of blind abstracts in PDF format, to be sent by *December 15, 2019.*

For more information, see https://sites.google.com/view/21st-szklarska-porba-workshop/ or contact Katherine Fraser at .

15 - 19 December 2019, The 4th Advanced School in Computer Science and Engineering: The Mathematics of Quantum Computation, Jerusalem, Israel

Date: 15 - 19 December 2019
Location: Jerusalem, Israel

On 15-19 December 2019, we will be organizing a math-oriented quantum computation school in the IIAS at the Hebrew university. No prior knowledge on quantum will be assumed. The school will introduce TCS and math students and faculty, who are interested in the more mathematical side of the area, to the beautiful and fascinating mathematical open questions in quantum computation, starting from scratch. We hope to reach a point where participants gain initial tools and basic perspective to start working in this area.

To achieve this, we will have several mini-courses, each of two or three hours, about central topics in the area. These will include quantum algorithms, quantum error correction, quantum supremacy, delegation and verification, interactive proofs, cryptography, and Hamiltonian complexity. We will emphasize concepts, open questions, and links to mathematics. We will have daily TA sessions with hands-on exercises, to allow for a serious process of learning.

For more information, see http://ias.huji.ac.il/SchoolCSE4.

15 - 19 December 2019, The 4th Advanced School in Computer Science and Engineering: The Mathematics of Quantum Computation, Jerusalem, Israel

Date: 15 - 19 December 2019
Location: Jerusalem, Israel

On 15-19 December 2019, we will be organizing a math-oriented quantum computation school in the IIAS at the Hebrew university. No prior knowledge on quantum will be assumed. The school will introduce TCS and math students and faculty, who are interested in the more mathematical side of the area, to the beautiful and fascinating mathematical open questions in quantum computation, starting from scratch. We hope to reach a point where participants gain initial tools and basic perspective to start working in this area.

To achieve this, we will have several mini-courses, each of two or three hours, about central topics in the area. These will include quantum algorithms, quantum error correction, quantum supremacy, delegation and verification, interactive proofs, cryptography, and Hamiltonian complexity. We will emphasize concepts, open questions, and links to mathematics. We will have daily TA sessions with hands-on exercises, to allow for a serious process of learning.

For more information, see http://ias.huji.ac.il/SchoolCSE4.

16 - 20 December 2019, XVIIIth Simposio Latino Americano de Logica Matematica (SLALM 2019), Conception, Chile

Date: 16 - 20 December 2019
Location: Conception, Chile
Deadline: 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.

For more information, see http://slalmxviii.udec.cl.

15 - 19 December 2019, The 4th Advanced School in Computer Science and Engineering: The Mathematics of Quantum Computation, Jerusalem, Israel

Date: 15 - 19 December 2019
Location: Jerusalem, Israel

On 15-19 December 2019, we will be organizing a math-oriented quantum computation school in the IIAS at the Hebrew university. No prior knowledge on quantum will be assumed. The school will introduce TCS and math students and faculty, who are interested in the more mathematical side of the area, to the beautiful and fascinating mathematical open questions in quantum computation, starting from scratch. We hope to reach a point where participants gain initial tools and basic perspective to start working in this area.

To achieve this, we will have several mini-courses, each of two or three hours, about central topics in the area. These will include quantum algorithms, quantum error correction, quantum supremacy, delegation and verification, interactive proofs, cryptography, and Hamiltonian complexity. We will emphasize concepts, open questions, and links to mathematics. We will have daily TA sessions with hands-on exercises, to allow for a serious process of learning.

For more information, see http://ias.huji.ac.il/SchoolCSE4.

16 - 20 December 2019, XVIIIth Simposio Latino Americano de Logica Matematica (SLALM 2019), Conception, Chile

Date: 16 - 20 December 2019
Location: Conception, Chile
Deadline: 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.

For more information, see http://slalmxviii.udec.cl.

15 - 19 December 2019, The 4th Advanced School in Computer Science and Engineering: The Mathematics of Quantum Computation, Jerusalem, Israel

Date: 15 - 19 December 2019
Location: Jerusalem, Israel

On 15-19 December 2019, we will be organizing a math-oriented quantum computation school in the IIAS at the Hebrew university. No prior knowledge on quantum will be assumed. The school will introduce TCS and math students and faculty, who are interested in the more mathematical side of the area, to the beautiful and fascinating mathematical open questions in quantum computation, starting from scratch. We hope to reach a point where participants gain initial tools and basic perspective to start working in this area.

To achieve this, we will have several mini-courses, each of two or three hours, about central topics in the area. These will include quantum algorithms, quantum error correction, quantum supremacy, delegation and verification, interactive proofs, cryptography, and Hamiltonian complexity. We will emphasize concepts, open questions, and links to mathematics. We will have daily TA sessions with hands-on exercises, to allow for a serious process of learning.

For more information, see http://ias.huji.ac.il/SchoolCSE4.

16 - 20 December 2019, XVIIIth Simposio Latino Americano de Logica Matematica (SLALM 2019), Conception, Chile

Date: 16 - 20 December 2019
Location: Conception, Chile
Deadline: 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.

For more information, see http://slalmxviii.udec.cl.
AC_logo.jpg

18 - 20 December 2019, 22nd Amsterdam Colloquium, Amsterdam Science Park

Date: 18 - 20 December 2019
Location: Amsterdam Science Park
Target 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 languages
Deadline: 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.

For more information, see http://events.illc.uva.nl/AC/AC2019/ or contact Floris Roelofsen at .

18 - 20 December 2019, Workshop 'Foundations & Applications of Univalent Maths', Herrsching, Germany

Date: 18 - 20 December 2019
Location: Herrsching, Germany

This is a project kickoff workshop.

It focuses on both the foundation of univalent mathematics and the applications of the univalent innovations.

For more information, see http://cj-xu.github.io/faum/ or contact Chuangjie Xu at .

18 - 19 December 2019, "Formalization of Proofs, Formalisation of Programs", Paris, France

Date: 18 - 19 December 2019
Location: Paris, France

The workshop intends to reconsider the relations or lack thereof between Computer science and mathematics. Whereas, originally, mathematics was used to provide a disciplinary identity to computing, today, this is clearly no longer the case, and this makes urgent to rethink the possible relations between the two fields. The workshop aim to do it by studying notions and practices of formalization and computation in both contexts.

The workshop results from a collaboration between two ANR research projects: the FFIUM Project and the PROGRAMme project.

22 - 24 February 2020, ICAART Session "Natural Language Processing in Artificial Intelligence" (NLPinAI 2020), Valletta, Malta

Date & Time: 22 - 24 February 2020, 08:00-21:00
Location: Valletta, Malta
Target audience: researchers
Deadline: Thursday 19 December 2019

Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Furthermore, agents (humans or computational systems) are information conveyors, interpreters, or participate as components of informational content. Generally, language processing depends on agents' knowledge, reasoning, perspectives, and interactions.

This ICAART 2020 Special Session covers theoretical work, applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes.

We invite contributions relevant to the session topics.
All accepted papers will be published in a special section of the conference proceedings book, and be made available at the SCITEPRESS Digital Library. We expect a post-conference, post-proceedings Special Issue with extended publications based on selected papers presented at NLPinAI 2020.

For more information, see http://www.icaart.org/NLPinAI.aspx?y=2020 or contact Roussanka Loukanova at .

15 - 19 December 2019, The 4th Advanced School in Computer Science and Engineering: The Mathematics of Quantum Computation, Jerusalem, Israel

Date: 15 - 19 December 2019
Location: Jerusalem, Israel

On 15-19 December 2019, we will be organizing a math-oriented quantum computation school in the IIAS at the Hebrew university. No prior knowledge on quantum will be assumed. The school will introduce TCS and math students and faculty, who are interested in the more mathematical side of the area, to the beautiful and fascinating mathematical open questions in quantum computation, starting from scratch. We hope to reach a point where participants gain initial tools and basic perspective to start working in this area.

To achieve this, we will have several mini-courses, each of two or three hours, about central topics in the area. These will include quantum algorithms, quantum error correction, quantum supremacy, delegation and verification, interactive proofs, cryptography, and Hamiltonian complexity. We will emphasize concepts, open questions, and links to mathematics. We will have daily TA sessions with hands-on exercises, to allow for a serious process of learning.

For more information, see http://ias.huji.ac.il/SchoolCSE4.

16 - 20 December 2019, XVIIIth Simposio Latino Americano de Logica Matematica (SLALM 2019), Conception, Chile

Date: 16 - 20 December 2019
Location: Conception, Chile
Deadline: 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.

For more information, see http://slalmxviii.udec.cl.
AC_logo.jpg

18 - 20 December 2019, 22nd Amsterdam Colloquium, Amsterdam Science Park

Date: 18 - 20 December 2019
Location: Amsterdam Science Park
Target 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 languages
Deadline: 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.

For more information, see http://events.illc.uva.nl/AC/AC2019/ or contact Floris Roelofsen at .

18 - 20 December 2019, Workshop 'Foundations & Applications of Univalent Maths', Herrsching, Germany

Date: 18 - 20 December 2019
Location: Herrsching, Germany

This is a project kickoff workshop.

It focuses on both the foundation of univalent mathematics and the applications of the univalent innovations.

For more information, see http://cj-xu.github.io/faum/ or contact Chuangjie Xu at .

18 - 19 December 2019, "Formalization of Proofs, Formalisation of Programs", Paris, France

Date: 18 - 19 December 2019
Location: Paris, France

The workshop intends to reconsider the relations or lack thereof between Computer science and mathematics. Whereas, originally, mathematics was used to provide a disciplinary identity to computing, today, this is clearly no longer the case, and this makes urgent to rethink the possible relations between the two fields. The workshop aim to do it by studying notions and practices of formalization and computation in both contexts.

The workshop results from a collaboration between two ANR research projects: the FFIUM Project and the PROGRAMme project.

16 - 20 December 2019, XVIIIth Simposio Latino Americano de Logica Matematica (SLALM 2019), Conception, Chile

Date: 16 - 20 December 2019
Location: Conception, Chile
Deadline: 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.

For more information, see http://slalmxviii.udec.cl.
AC_logo.jpg

18 - 20 December 2019, 22nd Amsterdam Colloquium, Amsterdam Science Park

Date: 18 - 20 December 2019
Location: Amsterdam Science Park
Target 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 languages
Deadline: 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.

For more information, see http://events.illc.uva.nl/AC/AC2019/ or contact Floris Roelofsen at .

18 - 20 December 2019, Workshop 'Foundations & Applications of Univalent Maths', Herrsching, Germany

Date: 18 - 20 December 2019
Location: Herrsching, Germany

This is a project kickoff workshop.

It focuses on both the foundation of univalent mathematics and the applications of the univalent innovations.

For more information, see http://cj-xu.github.io/faum/ or contact Chuangjie Xu at .

(Updated) 7 - 9 April 2020, 5th Asian Workshop on Philosophical Logic (AWPL 2020), Hangzhou, China

Date: 7 - 9 April 2020
Location: Hangzhou, China
Deadline: Saturday 28 December 2019

Asian Workshop on Philosophical Logic (AWPL) is an event-series initiated by a group of Asian logicians, and in 2012 the first installment took place at the JAIST in Japan. It is devoted to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. The workshop emphasizes the interplay of philosophical ideas and formal theories. Topics of interest include non-classical logics, philosophical logics, algebraic logics, and their applications in computer science, cognitive science, and social sciences.

The AWPL 2020 workshop is an event in the Zhejiang Logic for AI Summit. All AWPL participants are invited to attend other events as well.

All submissions should present original works not previously published. Submissions should be typeset in English, using the LNCS template. be prepared as a PDF file with at most 12 pages (including reference list, appendixes, acknowledgements, etc.), and be sent to the workshop electronically via EasyChair. It is assumed that, once a submission is accepted, at least one of its authors will attend the workshop and present the accepted work. After the workshop, selected submissions will be invited to revise and submit to a post conference proceedings, to be published in the 'Logic in Asia' series.

For more information, see https://www.xixilogic.org/events/awpl2020/.