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.
| << November 2022 | ||||||
|---|---|---|---|---|---|---|
| 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 October - 3 November 2022, Formal Philosophy 2022, Moscow
The "Formal Philosophy" is an annual conference organized by the HSE International Laboratory for Logic, Linguistics and Formal Philosophy since 2018. We are pleased to invite papers in philosophical logic, formal epistemology, formal ontology, philosophy of logic, epistemology of logic, formal ethics , other branches of formal and mathematical philosophy.
1 November 2022, Workshop on Proof-theoretic and Algebraic Aspects of (Intuitionistic) Modal Logics
The workshop Proof-theoretic and Algebraic Aspects of (Intuitionistic) Modal Logics will take place on November 1, 2022, in Utrecht. This workshop is organized on the occasion of Iris van der Giessen’s PhD defense, which takes place November 2, 2022, Utrecht. The topics of the talks are related to the subject of her PhD thesis: Uniform Interpolation and Admissible Rules.
Please send an email to i.vandergiessen at bham.ac.uk if you would like to come. Participation is free and includes the nice talks and coffee breaks.
31 October - 3 November 2022, Formal Philosophy 2022, Moscow
The "Formal Philosophy" is an annual conference organized by the HSE International Laboratory for Logic, Linguistics and Formal Philosophy since 2018. We are pleased to invite papers in philosophical logic, formal epistemology, formal ontology, philosophy of logic, epistemology of logic, formal ethics , other branches of formal and mathematical philosophy.
31 October - 3 November 2022, Formal Philosophy 2022, Moscow
The "Formal Philosophy" is an annual conference organized by the HSE International Laboratory for Logic, Linguistics and Formal Philosophy since 2018. We are pleased to invite papers in philosophical logic, formal epistemology, formal ontology, philosophy of logic, epistemology of logic, formal ethics , other branches of formal and mathematical philosophy.
3 - 5 November 2022, The Making of the Humanities X, Wyndham Hotel, Pittsburgh, Pennsylvania
We are delighted to announce that Carnegie Mellon University (CMU) together with the University of Pittsburgh (Pitt) will organize the 10th Making of the Humanities conference, from 3 till 5 November 2022.
The conference site will be the Wyndham Hotel (Wyndham Pittsburgh University Center). More information on how to reserve a room with special conference rate will be posted in May 2022.
3 - 5 November 2022, The Making of the Humanities X, Wyndham Hotel, Pittsburgh, Pennsylvania
We are delighted to announce that Carnegie Mellon University (CMU) together with the University of Pittsburgh (Pitt) will organize the 10th Making of the Humanities conference, from 3 till 5 November 2022.
The conference site will be the Wyndham Hotel (Wyndham Pittsburgh University Center). More information on how to reserve a room with special conference rate will be posted in May 2022.
3 - 5 November 2022, The Making of the Humanities X, Wyndham Hotel, Pittsburgh, Pennsylvania
We are delighted to announce that Carnegie Mellon University (CMU) together with the University of Pittsburgh (Pitt) will organize the 10th Making of the Humanities conference, from 3 till 5 November 2022.
The conference site will be the Wyndham Hotel (Wyndham Pittsburgh University Center). More information on how to reserve a room with special conference rate will be posted in May 2022.
CfP post-proceedings of ThEdu 2022 (to be published by EPTCS)
Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering and mathematics. The workshop on "Theorem Proving Components for Educational Software" (ThEdu'22) happened on Aug 11, 2022, as a satellite of FLoC 2022, as a very lively meeting. Now the proceedings are being planned, to be published by Electronic Proceedings in Theoretical Computer Science (EPTCS), and intending to collect full versions of the contributed papers, as well as new contributions. This volume of EPTCS intends to bring together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and to discuss existing systems. The contributions' range of topics is diverse, according to ThEdu's scope, and this is a call for papers, open to everyone, also those who did not participate in the workshop. All papers will undergo reviewing according to the EPTCS standards.
We welcome submission of full papers (12--20 pages) presenting original unpublished work which is not being submitted for publication elsewhere. All contributions will be reviewed (at least three blind reviews)to meet the high standards of EPTCS. The authors should comply with the "instructions for authors", LaTeX style files and accept the "Non-exclusive license to distribute" of EPTCS. Papers should be submitted via EasyChair.
7 - 12 November 2022, 4th International Autumn School and Workshop on Proof Theory, Utrecht, The Netherlands
The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.
The Autumn school will provide five courses:
- Computational Content of Proofs by Ulrich Berger (Swansea University)
- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
- Proof Complexity by Raheleh Jalali (Utrecht University)
- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)
Workshop Speakers include:
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)
7 - 12 November 2022, 4th International Autumn School and Workshop on Proof Theory, Utrecht, The Netherlands
The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.
The Autumn school will provide five courses:
- Computational Content of Proofs by Ulrich Berger (Swansea University)
- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
- Proof Complexity by Raheleh Jalali (Utrecht University)
- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)
Workshop Speakers include:
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)
7 - 12 November 2022, 4th International Autumn School and Workshop on Proof Theory, Utrecht, The Netherlands
The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.
The Autumn school will provide five courses:
- Computational Content of Proofs by Ulrich Berger (Swansea University)
- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
- Proof Complexity by Raheleh Jalali (Utrecht University)
- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)
Workshop Speakers include:
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)
7 - 12 November 2022, 4th International Autumn School and Workshop on Proof Theory, Utrecht, The Netherlands
The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.
The Autumn school will provide five courses:
- Computational Content of Proofs by Ulrich Berger (Swansea University)
- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
- Proof Complexity by Raheleh Jalali (Utrecht University)
- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)
Workshop Speakers include:
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)
10 - 12 November 2022, Workshop on finite model theory and many-valued logic, Virtual
The model-theoretic study of finite structures (such as relational databases) as a systematic area of research was started in the 1970s with Ronald Fagin's seminal doctoral thesis. To this date it has produced a plethora of significant results such as logical characterizations of complexity classes and 0-1 laws. On the other hand, many-valued logics have been studied at least since George Boole to handle reasoning with uncertainty and imprecision. In the 1990s, research in this area was boosted by the work of Petr Hájek and several others. Both fields have impacted theoretical computer science, particularly in the area of databases. The goal of this event is to bring researchers from these two worlds together to discuss problems in their respective areas and potential points of interaction.
This ia a three-day fully online workshop organized in the context of the ARC funded project DE220100544 hosted at the University of Queensland. The organizers of the event are Guillermo Badia (Queensland), Carles Noguera (Siena) and Lluis Godo (IIAI-Barcelona). Keynote speakers: Ronald Fagin (IBM) and Daniele Mundici (Florence).
7 - 12 November 2022, 4th International Autumn School and Workshop on Proof Theory, Utrecht, The Netherlands
The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.
The Autumn school will provide five courses:
- Computational Content of Proofs by Ulrich Berger (Swansea University)
- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
- Proof Complexity by Raheleh Jalali (Utrecht University)
- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)
Workshop Speakers include:
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)
10 - 12 November 2022, Workshop on finite model theory and many-valued logic, Virtual
The model-theoretic study of finite structures (such as relational databases) as a systematic area of research was started in the 1970s with Ronald Fagin's seminal doctoral thesis. To this date it has produced a plethora of significant results such as logical characterizations of complexity classes and 0-1 laws. On the other hand, many-valued logics have been studied at least since George Boole to handle reasoning with uncertainty and imprecision. In the 1990s, research in this area was boosted by the work of Petr Hájek and several others. Both fields have impacted theoretical computer science, particularly in the area of databases. The goal of this event is to bring researchers from these two worlds together to discuss problems in their respective areas and potential points of interaction.
This ia a three-day fully online workshop organized in the context of the ARC funded project DE220100544 hosted at the University of Queensland. The organizers of the event are Guillermo Badia (Queensland), Carles Noguera (Siena) and Lluis Godo (IIAI-Barcelona). Keynote speakers: Ronald Fagin (IBM) and Daniele Mundici (Florence).
7 - 12 November 2022, 4th International Autumn School and Workshop on Proof Theory, Utrecht, The Netherlands
The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation.
The Autumn school will provide five courses:
- Computational Content of Proofs by Ulrich Berger (Swansea University)
- Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon)
- Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam)
- Proof Complexity by Raheleh Jalali (Utrecht University)
- Proof Theory of Set Theory by Michael Rathjen (University of Leeds)
Workshop Speakers include:
- Benno van den Berg (University of Amsterdam)
- Marta Bílková (Czech Academy of Sciences)
- Sebastian Enqvist (Stockholm University)
- Stefan Hetzl (TU Wien)
- Hajime Ishihara (Japan Advanced Institute of Science and Technology)
- Gerhard Jäger (University of Bern)
10 - 12 November 2022, Workshop on finite model theory and many-valued logic, Virtual
The model-theoretic study of finite structures (such as relational databases) as a systematic area of research was started in the 1970s with Ronald Fagin's seminal doctoral thesis. To this date it has produced a plethora of significant results such as logical characterizations of complexity classes and 0-1 laws. On the other hand, many-valued logics have been studied at least since George Boole to handle reasoning with uncertainty and imprecision. In the 1990s, research in this area was boosted by the work of Petr Hájek and several others. Both fields have impacted theoretical computer science, particularly in the area of databases. The goal of this event is to bring researchers from these two worlds together to discuss problems in their respective areas and potential points of interaction.
This ia a three-day fully online workshop organized in the context of the ARC funded project DE220100544 hosted at the University of Queensland. The organizers of the event are Guillermo Badia (Queensland), Carles Noguera (Siena) and Lluis Godo (IIAI-Barcelona). Keynote speakers: Ronald Fagin (IBM) and Daniele Mundici (Florence).
14 - 25 November 2022, Tensors in quantum information, complexity and combinatorics
Two-week workshop on tensors in quantum information, computational complexity and combinatorics at the Centre de Recherches Mathematiques in Montreal, Canada.
14 - 25 November 2022, Tensors in quantum information, complexity and combinatorics
Two-week workshop on tensors in quantum information, computational complexity and combinatorics at the Centre de Recherches Mathematiques in Montreal, Canada.
13 - 16 June 2023, The 13th International Symposium on Algorithms and Complexity (CIAC 2023), Batumi, Georgia
The 13th International Symposium on Algorithms and Complexity is planned to take place from 13 June to 16 June 2023 in Batumi, Georgia. It will follow the recent, very successful editions of CIAC 2021 in Larnaca, Cyprus, CIAC 2019 in Rome, Italy, CIAC 2017 in Athens, Greece, CIAC 2015 in Paris, France and CIAC 2013 in Barcelona, Spain.
Invited speakers (confirmed): Friedhelm Meyer auf der Heide (University of Paderborn, Germany), Giuseppe Persiano (University of Salerno, Italy), and Paul Spirakis (University of Liverpool, UK and CTI, Greece).
Authors are invited to submit papers presenting original and unpublished research on algorithms and complexity. Authors are invited to submit an extended abstract or full paper with at most 15 pages, excluding the title page and the references. The paper should contain a succinct statement of the issues and their motivation a summary of the results, a brief explanation of their significance and a comparison to related work, accessible to non-specialists. Proofs omitted due to space constraints must be put into an appendix, to be read by the PC members at their discretion.
Submissions will be through EasyChair. The usage of the LNCS style file is mandatory. Simultaneous submission to other conferences with published proceedings or to journals is not allowed.
14 - 25 November 2022, Tensors in quantum information, complexity and combinatorics
Two-week workshop on tensors in quantum information, computational complexity and combinatorics at the Centre de Recherches Mathematiques in Montreal, Canada.
14 - 25 November 2022, Tensors in quantum information, complexity and combinatorics
Two-week workshop on tensors in quantum information, computational complexity and combinatorics at the Centre de Recherches Mathematiques in Montreal, Canada.
14 - 25 November 2022, Tensors in quantum information, complexity and combinatorics
Two-week workshop on tensors in quantum information, computational complexity and combinatorics at the Centre de Recherches Mathematiques in Montreal, Canada.
14 - 25 November 2022, Tensors in quantum information, complexity and combinatorics
Two-week workshop on tensors in quantum information, computational complexity and combinatorics at the Centre de Recherches Mathematiques in Montreal, Canada.
14 - 25 November 2022, Tensors in quantum information, complexity and combinatorics
Two-week workshop on tensors in quantum information, computational complexity and combinatorics at the Centre de Recherches Mathematiques in Montreal, Canada.
14 - 25 November 2022, Tensors in quantum information, complexity and combinatorics
Two-week workshop on tensors in quantum information, computational complexity and combinatorics at the Centre de Recherches Mathematiques in Montreal, Canada.
14 - 25 November 2022, Tensors in quantum information, complexity and combinatorics
Two-week workshop on tensors in quantum information, computational complexity and combinatorics at the Centre de Recherches Mathematiques in Montreal, Canada.
14 - 25 November 2022, Tensors in quantum information, complexity and combinatorics
Two-week workshop on tensors in quantum information, computational complexity and combinatorics at the Centre de Recherches Mathematiques in Montreal, Canada.
14 - 25 November 2022, Tensors in quantum information, complexity and combinatorics
Two-week workshop on tensors in quantum information, computational complexity and combinatorics at the Centre de Recherches Mathematiques in Montreal, Canada.
14 - 25 November 2022, Tensors in quantum information, complexity and combinatorics
Two-week workshop on tensors in quantum information, computational complexity and combinatorics at the Centre de Recherches Mathematiques in Montreal, Canada.
28 November - 2 December 2022, Joint Workshop on Bias, Risk, Opacity, Machine Ethics, Explainability, Ethics & AI (BEWARE 2022), Udine (Italy)
Organizers of the BRIO Workshop (Bias, Risk and Opacity in AI), the ME&E-LP Workshop (Machine Ethics & Explainability - the Role of Logic Programming), and the AWARE AI Workshop (Ethics and AI, a two-way relationship) have joined efforts and created BEWARE, a forum where to discuss ideas on the emerging ethical aspects of AI, with a focus on Bias, Risk, Explainability and the role of Logic and Logic Programming. BEWARE is co-located with the AIxIA 2022 conference to be held in Udine from the 28th of November to the 2nd of December.
This workshop addresses issues of logical, ethical and epistemological nature in AI through the use of interdisciplinary approaches. We aim to bring together researchers in AI, philosophy, ethics, epistemology, social science, etc., to promote collaborations and enhance discussions towards the development of trustworthy AI methods and solutions that users and stakeholders consider technologically reliable and socially acceptable.
28 November - 2 December 2022, Joint Workshop on Bias, Risk, Opacity, Machine Ethics, Explainability, Ethics & AI (BEWARE 2022), Udine (Italy)
Organizers of the BRIO Workshop (Bias, Risk and Opacity in AI), the ME&E-LP Workshop (Machine Ethics & Explainability - the Role of Logic Programming), and the AWARE AI Workshop (Ethics and AI, a two-way relationship) have joined efforts and created BEWARE, a forum where to discuss ideas on the emerging ethical aspects of AI, with a focus on Bias, Risk, Explainability and the role of Logic and Logic Programming. BEWARE is co-located with the AIxIA 2022 conference to be held in Udine from the 28th of November to the 2nd of December.
This workshop addresses issues of logical, ethical and epistemological nature in AI through the use of interdisciplinary approaches. We aim to bring together researchers in AI, philosophy, ethics, epistemology, social science, etc., to promote collaborations and enhance discussions towards the development of trustworthy AI methods and solutions that users and stakeholders consider technologically reliable and socially acceptable.
28 November - 2 December 2022, Joint Workshop on Bias, Risk, Opacity, Machine Ethics, Explainability, Ethics & AI (BEWARE 2022), Udine (Italy)
Organizers of the BRIO Workshop (Bias, Risk and Opacity in AI), the ME&E-LP Workshop (Machine Ethics & Explainability - the Role of Logic Programming), and the AWARE AI Workshop (Ethics and AI, a two-way relationship) have joined efforts and created BEWARE, a forum where to discuss ideas on the emerging ethical aspects of AI, with a focus on Bias, Risk, Explainability and the role of Logic and Logic Programming. BEWARE is co-located with the AIxIA 2022 conference to be held in Udine from the 28th of November to the 2nd of December.
This workshop addresses issues of logical, ethical and epistemological nature in AI through the use of interdisciplinary approaches. We aim to bring together researchers in AI, philosophy, ethics, epistemology, social science, etc., to promote collaborations and enhance discussions towards the development of trustworthy AI methods and solutions that users and stakeholders consider technologically reliable and socially acceptable.