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.

<< February 2021 >>
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
Click on an event to view details.

20 - 21 March 2021, The 22nd annual Graduate Student Conference in Logic (GSCL XXII), Virtual

Date: 20 - 21 March 2021
Location: Virtual
Deadline: Monday 1 February 2021

Hosted virtually at the University of Illinois at Urbana-Champaign The GSCL is a two-day conference organized by and for mathematical logic students in Master's and PhD programs.

If you are a graduate student (Master's or PhD) in mathematical logic and wish to speak at GSCL XXII, please include your title and abstract in your registration form, and submit it by February 1st, 2021.

For more information, see https://sites.google.com/view/gsclxxii/ or contact .

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

4 - 5 February 2021, Workshop "Biased Questions: Experimental Results & Theoretical Modelling", Berlin (online)

Date: 4 - 5 February 2021
Location: Berlin (online)
Deadline: Friday 1 January 2021

The ERC Project SPAGAD: Speech Acts in Grammar and Discourse invites to a workshop on biased questions that focuses on (a) experimental results concerning the conditions of use of questions that express a bias towards particular answers, and (b) on the theoretical modelling of such questions that includes morphological markers, discourse particles, specialized syntactic structure, prosody and gestures.

4 - 6 February 2021, ICAART Session "Natural Language Processing in Artificial Intelligence" (NLPinAI 2021), Online

Date: 4 - 6 February 2021
Location: Online
Deadline: Thursday 26 November 2020

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.

The 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 computational systems of intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes.

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

4 February 2021, NWO Synergy '21

Date & Time: Thursday 4 February 2021, 14:30-17:00
Location: Online

What is your position on Future Societies? At Synergy ’21 we will explore Future Societies from the perspective of the individual and the collective, moving through the development of new interactions and communities, to perspectives on the future of humanity in a posthuman society. Synergy ’21 will underscore the significance and relevance of scientific research and knowledge development that will affect our shared future.

For more information, see https://www.nwo.nl/en/meetings/synergy-21 or contact Dr. R.P.W. Heinsbroek at .

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

4 - 5 February 2021, Workshop "Biased Questions: Experimental Results & Theoretical Modelling", Berlin (online)

Date: 4 - 5 February 2021
Location: Berlin (online)
Deadline: Friday 1 January 2021

The ERC Project SPAGAD: Speech Acts in Grammar and Discourse invites to a workshop on biased questions that focuses on (a) experimental results concerning the conditions of use of questions that express a bias towards particular answers, and (b) on the theoretical modelling of such questions that includes morphological markers, discourse particles, specialized syntactic structure, prosody and gestures.

4 - 6 February 2021, ICAART Session "Natural Language Processing in Artificial Intelligence" (NLPinAI 2021), Online

Date: 4 - 6 February 2021
Location: Online
Deadline: Thursday 26 November 2020

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.

The 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 computational systems of intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes.

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

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

4 - 6 February 2021, ICAART Session "Natural Language Processing in Artificial Intelligence" (NLPinAI 2021), Online

Date: 4 - 6 February 2021
Location: Online
Deadline: Thursday 26 November 2020

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.

The 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 computational systems of intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes.

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

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

3 - 4 May 2021, International Workshop on Logical Aspects of Multi-Agent Systems & Strategic Reasoning (LAMAS & SR 2021), Virtual

Date: 3 - 4 May 2021
Location: Virtual
Deadline: Wednesday 10 February 2021

Logics and strategic reasoning play a central role in multi-agent systems. Logics can be used, for instance, to express the agents' abilities, knowledge, and objectives. Strategic reasoning refers to algorithmic methods that allow for developing good behavior for the agents of the system. At the intersection, we find logics that can express existence of strategies or equilibria, and can be used to reason about them.

The LAMAS&SR workshop merges two international workshops: LAMAS, which focuses on all kinds of logical aspects of multi-agent systems from the perspectives of artificial intelligence, computer science, and game theory, and SR, devoted to all aspects of strategic reasoning in formal methods and artificial intelligence. Over the years the communities and research themes of both workshops got closer and closer. LAMAS&SR unifies LAMAS and SR under the same flag, formally joining the two communities in order to expose each of them to a wider range of work relevant to their research.

LAMAS&SR 2021 will be held with AAMAS 2021 Online.

Authors are invited to submit extended abstracts of 2 pages plus 1 page for references in the AAMAS format. Both published and unpublished works are welcome. Submissions are subject to a single-blind review process (submissions should not be anonymous).

There will be no formal proceedings, but accepted extended abstracts will be made available on the workshop's website. We envisage that extensions of selected papers will be invited to a journal.

For more information, see https://lamassr.github.io/ or contact .

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

CWI_75_jaar_logo_DEF_s.png

11 February 2021, Celebration of CWI's 75th birthday

Date & Time: Thursday 11 February 2021, 14:00-17:00
Location: Zoom

CWI is counting down to its 75th anniversary and kindly requests you to save the date: on 11 February 2021 we will celebrate our jubilee with a special online event.

Preliminary programme:
14.00 Opening
14.10 Breakout sessions round 1: Daniel Dadush, Marten van Dijk, Benjamin Sanderse, Irene Viola
14.40 Ton de Kok
15.00 Break
15.10 Breakout sessions round 2: Peter Bosman, Stacey Jeffery, Lisa Kohl, Hannes Muhleisen
15.40 Jos Baeten
16.00 Comedian Adam Fields
16.35 Closing
Chair of the day is Ans Hekkenberg.

For more information, see https://www.cwi.nl/events/2021/online-celebration-of-cwis-diamond-jubilee or contact Danielle Kollerie at .

13 - 16 July 2021, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Virtual (originally Glasgow, Scotland)

Date: 13 - 16 July 2021
Location: Virtual (originally Glasgow, Scotland)
Deadline: Friday 12 February 2021

ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on 12 July 2021.

We are closely monitoring the development of the COVID-19 pandemic. If it is not viable to hold ICALP 2021 as a physical conference, we will run it virtually on the same dates. We will decide in January 2021 at the latest.

Authors are invited to submit an extended abstract of no more than 12 pages, excluding references presenting original research on the theory of computer science. Papers presenting original research on all aspects of theoretical computer science are sought. All submissions must be formatted in the LIPIcs style and submitted via Easychair to the appropriate track of the conference. No prior publication and no simultaneous submission to other publication outlets (either a conference or a journal) is allowed.

We also invite proposals for workshops affiliated with ICALP 2021 on all topics covered by ICALP, as well as other areas of theoretical computer science. Deadline for workshop proposals: Monday 30 November 2020.

24 - 25 June 2021, 20th annual Philosophy of Logic, Mathematics, and Physics (LMP) Graduate Conference, Virtual

Date: 24 - 25 June 2021
Location: Virtual
Deadline: Friday 12 February 2021

The LMP Graduate Student Conference will bring together philosophers of logic, mathematics, and physics for two days of presentations and discussions with some of the leaders in these fields. We are pleased to announce our keynote speaker this year is James Owen Weatherall from the University of California, Irvine.

Graduate students who have not yet defended their PhD thesis are invited to submit papers on any topic in philosophy of logic, philosophy of mathematics, and philosophy of physics. Papers in philosophy of physics will be considered for the Annual Clifton Memorial book prize. The contest will be adjudicated by philosophy of physics faculty members at Western. The maximum paper length is 5,000 words, including footnotes and appendices (but not references). Co-authored papers are not eligible for submission.

For more information, see https://www.logicmathphysics.uwo.ca/ or contact .

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

11 - 16 July 2021, The 28th International Conference on Automated Deduction (CADE-28), Pittsburgh PA (U.S.A.) or Virtual

Date: 11 - 16 July 2021
Location: Pittsburgh PA (U.S.A.) or Virtual
Deadline: Monday 15 February 2021

CADE is the major international forum for presenting research on all aspects of automated deduction. High-quality submissions on the general topic of automated deduction, including logical foundations, theory and principles, applications in and beyond STEM, implementations, and the use/contribution of automated deduction in AI, are solicited. CADE-28 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction.

CADE will carefully monitor the development of the COVID-19 pandemic, and take guidance from from the health authorities, to determine whether CADE-28 will be physical or online.

Paper submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, originality, significance, correctness, and readability. Submissions can be made in two categories: + Regular papers. Up to 15 pages in LNCS style. Proofs of theoretical results that do not fit in the page limit may be provided in an appendix. Reviewers may consider additional material in appendices, but submissions must be self- contained within the page limit. + Short papers (including system descriptions, user experiences, domain models, etc.) Up to 10 pages in LNCS style.

Additionally, proposals are sollicited for workshops, tutorials andcompetitions. Workshops and tutorials will take place before the conference. Both well-established workshops and newer ones are encouraged. Similarly, proposals for workshops with a tight focus on a core automated reasoning specialization, as well as those with a broader, more applied focus, are welcome. Tutorials are expected to be either half-day or full-day events, with a theoretical or applied focus, on a topic of interest to CADE-28. Proposed competitions should foster the development of automated reasoning systems and applications, in all areas relevant to automated deduction in a broad sense. Proposal submission deadline: 16 November 2020.

For more information, see http://www.cade-28.info/.

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

17 - 24 July 2021, Sixth International Conference on Formal Structures for Computation and Deduction (FSCD 2021), Virtual

Date: 17 - 24 July 2021
Location: Virtual
Deadline: Tuesday 16 February 2021

FSCD is a series of annual conferences started in 2016 in Porto, merging and replacing the RTA (Rewriting Techniques and Applications) andTLCA (Typed Lambda Calculi and Applications) conferences. Building on the RTA and TLCA communities, FSCD updates and modernizes the RTA and TLCA core topics and broadens their scope to closely related areas in logics, models of computation (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms).

FSCD 2021 will be the sixth edition of the International Conference on Formal Structures for Computation and Deduction. Due to the Covid 19 pandemic situation, the 2021 edition of FSCD and its satellite workshops will be held online.

The suggested, but not exclusive, list of topics for submission is:
   - Calculi
   - Methods in Computation and Deduction
   - Semantics
   - Algorithmic Analysis and Transformations of Formal Systems
   - Tools and Applications
   - Semantics and Verification in new challenging areas

For more information, see https://fscd2021.dc.uba.ar.

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

27 - 30 July 2021, 37th Conference on Uncertainty in Artificial Intelligence (UAI) , Virtual

Date: 27 - 30 July 2021
Location: Virtual
Deadline: Friday 19 February 2021

The Conference on Uncertainty in Artificial Intelligence (UAI) is one of the premier international conferences on research related to learning and reasoning in the presence of uncertainty. UAI 2021 will be held fully online from 27 to 30 July 2021.

We invite papers that describe novel theory, methodology and applications related to artificial intelligence, machine learning and statistics. Papers will be assessed based on their novelty, technical quality, potential impact and clarity of writing.

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

9 - 11 August 2021, 17th Algorithms and Data Structures Symposium (WADS 2021), Virtual

Date: 9 - 11 August 2021
Location: Virtual
Deadline: Saturday 20 February 2021

The Algorithms and Data Structures Symposium, WADS, which alternates with the Scandinavian Symposium and Workshops on Algorithm Theory, SWAT, is intended as a forum for researchers in the area of design and analysis of algorithms and data structures.

WADS 2021 will be fully online. CCCG 2021, the 33rd Canadian Conference on Computational Geometry, is planned for August 10-12, and was originally planned to be held at the same location.

We invite submissions of papers presenting original research on the theory and application of algorithms and data structures in all areas, including combinatorics, computational geometry, databases, graphics, and parallel and distributed computing. Contributors are invited to submit a full paper in Springer LNCS format. WADS 2021 will have a best paper award in memory of Alejandro Lopez-Ortiz, and a best all-student paper award.

For more information, see https://projects.cs.dal.ca/wads2021/.

CfP special issue of Logic and Logical Philosophy on "Logics & their interpretations"

Deadline: Saturday 20 February 2021

Logical systems of classical and non-classical sorts are often endowed with a variety of interpretations: semantic, proof-theoretic, metaphysic, epistemic, pragmatic, informational, dialogical, and more. Work along these lines has led to the connection of logic to many other areas of knowledge and research. The attempt to draw these connections is, however, sometimes met with a number of criticisms. On the one hand, many of these interpretations have been subject to discussion, trying to determine if the conceptual and the formal aspects align as required. On the other hand, scholars who reject some contentions interpretations of certain formal systems debate whether these logics should be dispensed with in light of their philosophical interpretations, or whether it is possible to embrace them without endorsing such interpretations. Examples of the above are the debates between the fictionalist and the realist interpretations of possible worlds for modal logics, and between the dialetheic and the epistemic interpretations of paraconsistent logics. Furthermore, there is a question of which if any is the canonical application of logic as a discipline and therefore of any given logical system. In this vein, some scholars believe that a distinction between pure logic and applied logic needs to be taken into account, which may or may not resemble the medieval divide between logica docens and logica utens.

The aim of this special issue is to discuss these topics and to assess the effect of the answers provided in the relation between logic and the many disciplines related to it. Contributions are welcome from philosophers, logicians, mathematicians, linguists, and computer scientists. Submissions must be in English and use the form of a source LaTeX file.

For more information, see http://llp.umk.pl/inf4a.html or contact Henrique Antunes (UFMG) at , or Damian Szmuc (IIF-SADAF-CONICET & UBA) at .

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

CfP special issue of "Journal of Logic and Computation" (JLC) on "Reasoning about Social Networks"

Deadline: Sunday 21 February 2021

Following a successful workshop at ECAI2020 we invite submissions for a Special Issue on Reasoning about Social Networks in the Journal of Logic and Computation. The special issue focuses on the issues of information spread in a social networks of natural and artificial agents, as studied by the emerging interdisciplinary field of multi-agent systems, logic and social network analysis.

Submissions are to be sent to all the guest editors, written in English and formatted in LaTeX. All papers will be peer reviewed according to the standards of the Journal. Authors of submissions might also be asked to review a paper.

For more information, see https://sites.unimi.it/gprimiero/2020/10/01/netreason-special-issue-at-jlc/ or contact Giuseppe Primiero at , Marija Slavkovik at , or Sonja Smets at .

21 - 24 July 2021, 15th International Conference on Deontic Logic and Normative Systems (DEON 2020/21), Online

Date: 21 - 24 July 2021
Location: Online
Costs: No registration fees
Deadline: Sunday 21 February 2021

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law. In addition to these general themes, DEON 2020/21 will encourage a special focus on the topic 'Norms in Social Perspective'.

Keynote speakers: Marcia Baron (Indiana University, Bloomington), Emiliano Lorini (IRIT-CNRS, Toulouse University, France), Shyam Nair (Arizona State University, Tempe), and Sonja Smets (ILLC, University of Amsterdam).

We hope the global and local situation will allow us to hold the conference in person. If that will not be the case, we are prepared to hold the conference online, partially or totally. Contributors will be informed in advance.

Authors are invited to submit an original, previously unpublished, short research paper pertaining to any of DEON topics. The paper should be in English, anonymized, and should be no longer than 15 pages (including notes and appendix, but excluding bibliography). The submission of a short abstract must precede the paper’s submission.

Due to COVID-19, we had to postpone the DEON conference to the summer of 2021. A first round of papers was already selected last summer. With this extra call for new submissions, we hope to attract authors who were not already accepted within last summer's round. Selected submissions for this round will be published in the proceedings together with those of the first round, and presented at the conference. We strongly encourage women and other members of under-represented groups in academia to submit a paper.

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

24 January - 25 February 2021, Winter Schools and Workshops 'Logic & Interactions 2022", Marseille, Frances

Date: 24 January - 25 February 2021
Location: Marseille, Frances

Logic and Interactions 2022 is a five-week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connections to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas.

We expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion.

CfP special issue of Annals of Pure and Applied Logic (APAL) on "Logics of Dependence & Independence"

Deadline: Sunday 28 February 2021

Logics of dependence and independence are novel non-classical logics aiming at characterizing dependence and independence notions in philosophy and in social and physical sciences. This field of research has grown rapidly in recent years. This family of logics has found applications in fields such as database theory, linguistics, social choice, quantum physics along with other fields. This special issue aims to provide a snapshot of the state of the art of logics of dependence and independence.

The special issue is related to the topics of the Workshop on Logics of Dependence and Independence.Participants of the workshop, as well as other authors are invited to submit contributions.