Please note that these newsitems have been archived, and may contain outdated information or links.
Headlines Past Events
Headlines Calls for Paper
Headlines Past Conferences
Headlines MoL and PhD defenses
Headlines Projects and Awards
Headlines Funding, Grants and Competitions
Headlines Open Positions at ILLC
Headlines Open Positions, General
Headlines Past appointments
Headlines Former Regular Events
(Updated) 15 January 2022, Birthday workshop: Exploring Baltag’s UniverseLocation: Online
On 15 January 2022 we will be “Exploring Baltag’s Universe”, an online workshop organized for our colleague and friend Alexandru Baltag on the occasion of his birthday.
The workshop will feature short talks by Alexandru’s long-standing colleagues and collaborators including Samson Abramsky, Sonja Smets, Fenrong Liu, Alexander Kurz, Luís Soares Barbosa, Nick Bezhanishvili, Kevin Kelly, Larry Moss and Johan van Benthem. The programme will start at 13h45 with welcome words and continues at 14h00 with the lectures till 19.00. You are warmly invited to join the celebration on 15 January.
This event is associated with World Logic Day!For more information, see https://projects.illc.uva.nl/lgc/seminar/2022/01/birthday-workshop-exploring-baltags-universe/ or contact Soroush Rafiee Rad at s.rafieerad at uva.nl.
14 January 2022, Vienna Logic Day Lecture (WLD 2022 Event), Moshe Y. VardiSpeaker: Moshe Y. Vardi (Rice University, Texas)Title: From Greek Paradoxes to Political ParadoxesLocation: Virtual
On 14 January 2021, we celebrate World Logic Day. In the city of Kurt Gödel, Ludwig Wittgenstein, and the Vienna Circle, mathematical logic and its application to the sciences have a long and rich tradition. This January we celebrate Annual Vienna World Logic Day Lecture with Moshe Y. Vardi.
The ancient Greeks invented logic, as a tool to discover eternal truths. They also invented paradoxes, as a tool to sharpen the mind. In his Vienna World Logic Day Lecture Moshe Vardi not only addresses Greek paradoxes but also talks about the adverse consequences of technology in our modern day society.For more information, see https://www.eventbrite.at/e/vienna-world-logic-day-lecture-2022-tickets-238178988767.
12 January 2022, Algebra|Coalgebra Seminar, Thorsten WißmannSpeaker: Thorsten WißmannLocation: Online (Zoom)
12 January 2022, LLAMA seminar, Thorsten WißmannSpeaker: Thorsten WißmannLocation: Online (via Zoom)For more information, see https://events.illc.uva.nl/llama/#talk-wissmann-2022 or contact Tobias Kappé at t.kappe at uva.nl.
11 January 2022, The Utrecht Logic in Progress Series (TULIPS), Iris van der GiessenSpeaker: Iris van der Giessen (Utrecht)Title: The form of proofs and structure of logicsLocation: Online
This talk is online, please contact the organizer to join.
11 January 2022, Computational Linguistics Seminar, Arthur BražinskasSpeaker: Arthur Bražinskas (University of Edinburgh)Title: Abstractive opinion summarizationLocation: Zoom
Opinion summarization is the automatic creation of text reflecting subjective information expressed in multiple documents, such as user reviews of a product. These short summaries can help users make better purchasing decisions by condensing useful information in hundreds or even thousands of reviews. However, due to the high cost of summary production, datasets large enough for supervised learning were absent until recently. This lead to a variety of extractive methods that construct summaries from review sentences. However, these methods often produce incoherent summaries with unimportant details. This presentation will focus on abstractive approaches that generate summaries using a free vocabulary and thus can yield more coherent texts. We will discuss summarizers trained in unsupervised, few-shot, and supervised regimes. These models combine principles of latent probabilistic models, variational inference, and reinforcement learning. In our unsupervised model (Copycat), we treat the product and review representations as latent continuous variables. At test time, we induce summarizing representations and map them to summarizing texts. In the supervised model (SelSum), we decompose the system into a selector (posterior) and summarizer. The selector treats reviews as latent categorical variables and selects a summary-relevant subset in training. Only the small subset is passed to the summarizer, which results in computational and memory savings. The system is trained end-to-end using variational inference and reinforcement learning. Finally, we fit another selector (prior) that selects subsets of informative reviews to summarize in test time.For more information, see https://projects.illc.uva.nl/LaCo/CLS/.
21 December 2021, Computational Linguistics Seminar, Malihe AlikhaniSpeaker: Malihe Alikhani (University of Pittsburgh)Title: Learning to Connect Images and Text for Natural Communication
20 December 2021, Nordic Online Logic Seminar, Lars BirkedalSpeaker: Lars BirkedalTitle: Iris: A Higher-Order Concurrent Separation Logic FrameworkLocation: Zoom
The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.
This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic .For more information, see https://scandinavianlogic.org/2021-12-02-NOL-Seminar-Lars-Birkedal.html or contact Val Goranko at valentin.goranko at philosophy.su.se.
20 December 2021, Reading Group on Causal Learning (Causal Inference Lab)Location: Hybrid Form (look at our website)
Our main reading is Peters, Jonas, Dominik Janzing, and Bernhard Schölkopf. 2017. Elements of Causal Inference: Foundations and Learning Algorithms. The MIT Press. [pdf]
For the next meeting, we have to read:
1) Chapter 5 "Connections to Machine Learning, I"
2) Chapter 6 "Multivariate Causal Models" until Subchapter 6.5 "Markov Property, Faithfulness, and Causal Minimality".
17 December 2021, DIP Colloquium, Magdalena KaufmannSpeaker: Magdalena Kaufmann (Connecticut)Title: Topics in conjunctions are conditionalLocation: https://uva-live.zoom.us/j/86242098185
16 December 2021, Logic and Interactive Rationality (LIRa), Branden FitelsonSpeaker: Branden Fitelson (Northeastern University, Boston)Title: Probabilities of Conditionals & Conditional Probabilities — RevisitedLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/09/lira-session-branden-fitelson-2/.
15 December 2021, Algebra|Coalgebra Seminar, Johannes KloibhoferSpeaker: Johannes Kloibhofer (ILLC)Location: Online (Zoom)
15 December 2021, Stress relief for PhDsLocation: Online
In 2021, the Faculty of Science organizes multiple editions of the stress relief workshop for PhDs given by a psychologist. First, you will practice some mindfulness to help you slow down and take better care of yourself. After that, you will also have time to share difficult work situations and support each other. Let's prevent the negative effects of stress together!
15 December 2021, Proof Theory Virtual Seminar, Alessio GuglielmiSpeaker: Alessio GuglielmiTitle: Totally Linear Proofs for Classical LogicsLocation: Online via Zoom
14 December 2021, The Utrecht Logic in Progress Series (TULIPS), Marcus RossbergSpeaker: Marcus Rossberg (Connecticut)Title: An Inferentialist Redundancy Theory of TruthLocation: Online
This talk is online, please contact the organizer for details.
14 December 2021, ILLC Midwinter Colloquium 2021, OnlineLocation: Online
The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.
The current organisers of the colloquium are Malvin Gattinger and Aybüke Özgün.
14 December 2021, ILLC Midwinter Colloquium 2021Location: Online
You will have noticed that due to you-know-what there has been no ILLC colloquium during this year. We do not want to let the year end without bringing the ILLC together, even if it has to be online. We will have the following programme, consisting of talks from three different research units.
- 16h00-16h30 Sandro Pezzelle (NLP&DH)
Visually-grounded semantics in human speakers and deep neural networks
- 16h30-17h00 Milica Denić (LMC)
Inferring cognitive representations underlying the meanings of numerals
- 17h00-17h30 Tobias Kappé (MCL)
Leapfrog: Certified Equivalence for Protocol Parsers
After the talks everyone is welcome to stay online - but obviously you will have to bring your own hot chocolate or beer!
To access the event, use the following link: https://uva-live.zoom.us/j/83631435297
Looking forward to see you,
The ILLC Colloquium organizers
(Aybuke and Malvin)For more information, see http://www.illc.uva.nl/ILLCColloquium/.
10 December 2021, Cool Logic, Amity Aharoni and Rodrigo AlmeidaSpeaker: Amity Aharoni and Rodrigo Almeida (ILLC)Title: Brouwer's Intuitionism: Philosophy, the Continuum, and boxing with your FeetLocation: Room D1.111, Science Park 904, Amsterdam
When mathematicians and logicians hear the term 'intuitionism' they often think about the law of excluded middle, weak proof systems, and Heyting's formalisation of his teacher's philosophy. In this talk we will look at Brouwer's philosophy and mathematics of intuitionism, tracing some of the philosophical underpinnings, and motivating his mathematical results with contemporary mathematical tools. In it, we emphasise Brouwer's attempt to undermine the place of logic in the foundation of philosophy, replacing it with a special notion of 'intuition'.
9 December 2021, Logic and Interactive Rationality (LIRa), Giorgio SbardoliniSpeaker: Giorgio SbardoliniTitle: Coordination without Common KnowledgeLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/10/lira-session-giorgio-sbardolini/.
7 December 2021, EXPRESS / PhilMath Seminar, Lucas RosenblattSpeaker: Lucas Rosenblatt (Buenos Aires)Title: Theories of ParadoxicalityLocation: Online via Zoom
A lot has been written on solutions to the semantic paradoxes but very little on the topic of general theories of paradoxicality. The reason for this, I believe, is that in most cases it is not easy to disentangle a solution to the paradoxes from a specific conception of what those paradoxes consist in. In this talk I want to do things differently. I will first address the question of what one should expect from a theory of paradoxicality. Then I will present and critically evaluate a number of theories that have been offered in the literature. The main claim I want to make is that, in many respects, these theories needn’t be seen as competing with one another. This is joint work with Camila Gallovich.
6 December 2021, Reading group: Elements of Causal Inference (Causal Inference Lab)Location: Hybrid Form (look at our website)
Main reading: Peters, Jonas, Dominik Janzing, and Bernhard Schölkopf. 2017. Elements of Causal Inference: Foundations and Learning Algorithms. The MIT Press.
For the next meeting, we have to:
- Work on the problems of Chapter 3.5 "Problems" (pp. 39-41)For programming, prefer R.Submit solutions to the drive file [link in our website], so that others can access them for discussion.
- Read Chapter 4 "Learning Cause-Effect Models" (pp. 43-70)
At the beginning of the meeting, Matt will give a 10' presentation on the main arguments of the Dawid (2021) and Janzing et al. (2016) papers in the "Suggested Readings" [see website].
4 December 2021, STiHAC Joint Meeting, Tristan van der VlugtSpeaker: Tristan van der Vlugt (Hamburg)Title: Slalom cardinalsLocation: Online via Zoom
DIP Colloquium cancelledSpeaker: Michael FrankeTitle: Probabilistic Models of Question and Answer ChoicesLocation: Online
Michael Franke's talk at the DIP Colloquium, originally scheduled for tomorrow, is cancelled. We hope to reschedule it for some time in the Spring (date TBD), and to see Michael very soon!For more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35186/Michael-Franke.
2 December 2021, Logic and Interactive Rationality (LIRa), Adam BrandenburgerSpeaker: Adam BrandenburgerTitle: Agreement and Disagreement in a Non-Classical WorldLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/10/lira-session-adam-brandenburger/.
1 December 2021, Algebra|Coalgebra Seminar, Raoul KoudijsSpeaker: Raoul Koudijs (ILLC)Title: Finite Model Property and Bisimulation for the Logic of Functional Dependence (LFD)Location: Online (Zoom)
30 November 2021, Computational Linguistics Seminar, Dennis PapernoSpeaker: Dennis Paperno (Utrecht Institute of Linguistics OTS)Title: On Compositional Generalization of Transformer Models for Toy TasksLocation: Room A1.14, Science Park 904, Amsterdam
26 November 2021, Cool Logic, Vasily RomanovskiySpeaker: Vasily RomanovskiyTitle: Ramsey's Representation Theorem for degrees of beliefLocation: Room D1.116, Science Park 904, Amsterdam
In his pioneering ‘Truth and Probability’ (1931), Frank Ramsey sets out an influential account of the nature, measurement, and norms of partial belief. The centrepiece of this work is a representation theorem that allows Ramsey to construct a unique probability function representing an agent’s subjective degrees of confidence. In many ways, this marks the birth of decision theory as a field and the birth of the subjective interpretation of probability. In this expository talk we will examine the philosophical background underlying Ramsey’s goals in this work, we will re-construct the main formal moves Ramsey makes in proving his representation theorem and finally, we will criticise some of the philosophically contentious assumptions that permeate throughout ‘Truth and Probability’ (1931). Taking a broader perspective, representation theorems are the underbelly of much work in theoretical economics, the underbelly behind claims like ‘humans are rational’. This talk will give a first-hand look at (just) one such representation theorem, but the illustrative purposes this will serve will hopefully be felt by anyone who is a slave of some defunct economist. Which, if some are to believed, includes all of us.
25 November 2021, Logic and Interactive Rationality (LIRa), Catholijn JonkerSpeaker: Catholijn JonkerTitle: Revisiting Computational Fragments of Logic and Meta-Reasoning: the DESIRE frameworkLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/09/lira-session-catholijn-jonker/.
25 November 2021, Workshop on Social ChoiceLocation: Belle van Zuylenzaal, Singel 425
To mark the occasion of Sirin Botan's PhD defense, we are organising a one-day workshop in the centre of Amsterdam.For more information, see https://staff.science.uva.nl/u.endriss/workshop-2021/ or contact Sirin Botan at botan.sirin at gmail.com.
24 November 2021, Algebra|Coalgebra Seminar, Rajeev GoreSpeaker: Rajeev Gore (Australian National University, Australia)Title: Modular Synthesis of Certifying STV Counting ProgramsLocation: Online (Zoom)
23 November 2021, The Utrecht Logic in Progress Series (TULIPS), Natasha AlechinaSpeaker: Natasha Alechina (Utrecht)Title: Responsibility in multi agent teamsLocation: Online
This talk is on MS Teams, please contact the organizer for details.
22 November 2021, Nordic Online Logic Seminar, Sara L. UckelmanSpeaker: Sara L. UckelmanTitle: John Eliot’s Logick Primer: A bilingual English-Wôpanâaak logic textbookLocation: Zoom
The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.
This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic .For more information, see https://scandinavianlogic.org/2021-11-05-NOL-Seminar-Sara-L-Uckelman.html or contact Val Goranko at valentin.goranko at philosophy.su.se.
22 November 2021, Reading group: Elements of Causal InferenceLocation: Zoom and in Science Park (TBA)
For our next meeting, we have to read Chapter 4 "Learning Cause-Effects Models" and work on the problems of chapter 3.5 "Problems". If you want to use programming, prefer R.
19 November 2021, Meaning, Logic, and Cognition (MLC) Seminar, Tom RobertsSpeaker: Tom RobertsTitle: Parentheticality and the justification of speech actsLocation: https://uva-live.zoom.us/j/81225439983For more information, see http://projects.illc.uva.nl/LoLa/MLC-Seminar/event/35191/Tom-Roberts-Parentheticality-and-the-justification-of-speech-acts or contact Dean McHugh at d.m.mchugh at uva.nl.
19 November 2021, STiHAC Joint Meeting, Robert PaßmannSpeaker: Robert Paßmann (Amsterdam)Title: On the logic of CZFLocation: Online via Zoom
18 November 2021, Logic and Interactive Rationality (LIRa), Sebastian De HaroSpeaker: Sebastian De HaroTitle: Visualization and Understanding in PhysicsLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/08/lira-session-sebastian-de-haro/.
18 November 2021, the Big Meetup, Start Up Village, Amsterdam Science ParkTitle: How To Build The Future Quantum Workforce?Location: Start Up Village, Amsterdam Science Park
Two times a year Quantum.Amsterdam organises the Big Meetup. This time
four speakers will give special attention to Quantum Education. Each
speaker with his or her own expertise, varying from high school education,
towards MSc programs and courses for business, will give answer to the
question: "How to build the Future Quantum Workforce?"
- Jacob Sherson, Professor (Aarhus University / EU Quantum Flagship)
- Miriam Blaauboer, Associate Professor (Delft University of Technology)
- Koen Groenland, Quantum Innovation Officer (QuSoft / Quantum.Amsterdam)
- Henk Buisman, High school liaison Physics & Astronomy (Leiden University)For more information, see https://www.meetup.com/nl-NL/quantum-amsterdam/events/280638639/.
17 November 2021, STiHAC Joint Meeting, Raiean BanerjeeSpeaker: Raiean Banerjee (Hamburg)Title: Laver forcing does not add Silver reals, Part 2: the iteration case.Location: Online via Zoom
17 November 2021, Proof Theory Virtual Seminar, Alexis SaurinSpeaker: Alexis SaurinLocation: Online via Zoom
16 November 2021, Computational Linguistics Seminar, Vlad NiculaeSpeaker: Vlad Niculae (Informatics Institute UvA)Title: Sparse Latent Structure with Overlapping ConstraintsLocation: Online via Zoom
12 November 2021, Women in Philosophy Reading GroupLocation: Roeterseiland, Amsterdam
Students of the MoL are arranging a reading group to explore the collective corpus of Elizabeth Anscombe, Philippa Foot, Mary Midgley and Iris Murdoch, a quartet of philosophers who met and became friends at Oxford University during WWII. We would be charting, through scholarly and archival work, the distinctive methodology, philosophical attitude and metaphysics of the school in order to demonstrate the transformative potential of its philosophy.
Meetings will be held in Amsterdam on Fridays at 19:00 on a bi-weekly basis. Please join our Discord channel at https://discord.gg/afMphHdr if you wish to attend. To learn more about the reading group material and the proposed schedule, see https://www.womeninparenthesis.co.uk/curated-resources/reading-groups/reading-group-schedule/.For more information, contact Amity Aharoni at amittai-shlomo.aharoni at student.uva.nl.
12 November 2021, Cool Logic, Tibo RushbrookeSpeaker: Tibo RushbrookeTitle: A Meaning-Relative Logical Consequence RelationLocation: Room D1.111, Science Park 904, Amsterdam
In his seminal 1936 paper "On the Concept of Logical Consequence", Tarski provides a notion of logical consequence which has become standard in analytic philosophy today. Tarski argues that logical consequence is independent of the meanings of non-logical terms, on the grounds that a logical inference cannot rely on any empirical knowledge of the objects referred to. Accordingly, he defines a logical consequence relation which is insensitive to the meanings of the non-logical vocabulary. In this talk, I will closely scrutinise Tarski’s original reasoning. I will then give an alternative notion of logical consequence in natural language, which is entirely sensitive to the meanings of the terms involved. I argue that the alternative notion is both interesting and fruitful, in that it captures certain inferences not reckoned as ‘logical’ by the traditional notion, thus broadening the scope of logic.
12 November 2021, Cross-Alps Logic Seminar, Sandra MüllerSpeaker: Sandra Müller (Vienna)Title: Large Cardinals and DeterminacyLocation: Virtual
We are happy to announce the 'Cross-Alps Logic Seminars', a series of talks jointly organized by the logic groups of Genoa, Lausanne, Turin and Udine. We are going to meet every Friday at 16.00 from November 5th to December 17th. The seminars are going to be varied, with topics from all areas of logic, and will be held by international guests and members of our groups. All seminars can be followed remotely on the WebEx platform.
11 November 2021, Joint LIRa-A|C Session, Yanjing WangSpeaker: Yanjing Wang (Peking University)Title: Intuitionistic logic as an epistemic logic of knowing howLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/10/joint-lira-ac-session-yanjing-wang/ or contact Tobias Kappé at t.kappe at uva.nl.
11 November 2021, Science communication workshopLocation: Science Park, AmsterdamTarget audience: Scientific staff of all levelsCosts: Free
Do you want to communicate about your research to non-scientists, but are you unaware of the options to reach out to a broader audience? What type of help does the UvA offer, and what can you do yourself? These are the topics we’ll explore in this workshop on the basics of science communication.For more information, see https://medewerker.uva.nl/fnwi/shared-content-secured/medewerkersites/fnwi/en/events/workshops/2021/11/science-communication-the-basics.html?origin=XdLtTRVASX%2BHxisnQhfdZg&cb or contact Nadine Böke at training-science at uva.nl.
9 November 2021, The Utrecht Logic in Progress Series (TULIPS), Zoé ChristoffSpeaker: Zoé Christoff (Groningen)Title: Priority Merge and Intersection: from group attitudes to collective truth-trackingLocation: Ravensteynzaal (Kromme Nieuwegracht 80, room 1.06, Utrecht University)
This talk will also be broadcast on Microsoft Teams. Contact the organizer for details.
9 November 2021, Reading Group: Elements of Causal Inference
The reading group is about the book: Peters, Janzing & Schölkopf (2017), Elements of Causal Inference: Foundations and Learning Algorithms, The MIT Press. The book "teaches readers how to use causal models: how to compute intervention distributions, how to infer causal models from observational and interventional data, and how causal ideas could be exploited for classical machine learning problems". It can be openly accessed from the publisher's website.
For our first meeting, we have to read the first three chapters:
1. Statistical and Causal Models (pp. 1-14)
2. Assumptions for Causal Inference (pp. 15-32)
3. Cause-Effect Models (pp. 33-42).
5 November 2021, Meaning, Logic, and Cognition (MLC) Seminar, Dean McHughSpeaker: Dean McHughTitle: Exhaustification in the semantics of cause and becauseLocation: Online, via Zoom
4 November 2021, Logic and Interactive Rationality (LIRa), Giuseppe PrimieroSpeaker: Giuseppe PrimieroTitle: A Typed Natural Deduction System to verify Trustworthiness of Probabilistic ComputationsLocation: Online
(joint work with Fabio Aurelio D’Asaro)For more information, see https://projects.illc.uva.nl/lgc/seminar/2021/08/lira-session-giuseppe-primiero/.
3 November 2021, Proof Theory Virtual Seminar, Wilfried SiegSpeaker: Wilfried Sieg (Carnegie Mellon)Location: Online via Zoom
3 November 2021, Algebra|Coalgebra Seminar, Revantha RamanayakeSpeaker: Revantha Ramanayake (University of Groningen)Title: Decidability and complexity for substructural logics with weakening or contractionLocation: Online (Zoom Meeting ID 844-1353-6364)
3 November 2021, STiHAC Joint Meeting, Raiean BanerjeeSpeaker: Raiean Banerjee (Hamburg)Title: Laver forcing does not add Silver reals, Part 1: the one-step case.Location: Online via Zoom
2 November 2021, EXPRESS / PhilMath Seminar, Corine BessonSpeaker: Corine BessonTitle: Carroll’s Regress, Guidance and Explicit RepresentationLocation: Online via Zoom
Abstract: What is the nature of one’s justification to use a logical principle such as Modus Ponens in reasoning? It is widely agreed amongst epistemologists of logic that such justification cannot be internalist. One key reason offered for this view is that internalist accounts of justification are susceptible to Carroll-style regresses. In this talk, I examine this claim and argue that internalist accounts of justification are not open to such regresses. I further argue that the sorts of externalist accounts of the justification of logical principles typically put forward as alternatives are inadequate.
29 October 2021, DIP Colloquium, Robert WilliamsSpeaker: Robert Williams (Leeds)Title: Mindreading, Simulation, and InterpretationLocation: Online
28 October 2021, Logic and Interactive Rationality (LIRa), Matías Osta VélezSpeaker: Matías Osta VélezTitle: Nonmonotonic reasoning, expectation orderings, and conceptual spacesLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/08/lira-session-matias-osta-velez/.
26 October 2021, The Utrecht Logic in Progress Series (TULIPS), Thomas FergusonSpeaker: Thomas Ferguson (ILLC)Title: "Subject-Matter and Nested Topic-Sensitive Intentional Modals"Location: Online
Please contact the organizer to join this online meeting.
25 October 2021, AUC Logic Lectures Series, Ulle EndrissSpeaker: Ulle EndrissTitle: Judgment AggregationLocation: AUC Common Room - Science Park 113, Amsterdam
This lecture will be an introduction to the theory of judgment aggregation (JA). JA deals with the problem of combining the views of several individual agents regarding the truth of a number of propositions, expressed in the language of logic, into a single such view that appropriately reflects the stance of the group as a whole. Applications of JA range from aggregating the opinions of several judges in a court of law into a single legal opinion, all the way to aggregating information received from several autonomous software agents in the context of distributed computing systems.For more information, see https://www.auc.nl/shared-content/events/lectures/wit-2021-2022/10/auc-logic-lectures-ulle-endriss.html?gh or contact Dora Achourioti at t.achourioti at uva.nl.
25 October 2021, Nordic Online Logic Seminar, Erich GrädelSpeaker: Erich GrädelTitle: Semiring Semantics for Logical Statements with Applications to the Strategy Analysis of GamesLocation: Zoom
The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.
This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic .For more information, see https://scandinavianlogic.org/2021-10-12-NOL-Seminar-Erich-Grädel.html or contact Val Goranko at valentin.goranko at philosophy.su.se.
21 October 2021, Logic and Interactive Rationality (LIRa), Francesca PoggiolesiSpeaker: Francesca PoggiolesiTitle: Grounding principles for (relevant) implicationLocation: online.For more information, see https://projects.illc.uva.nl/lgc/seminar/2021/08/lira-session-francesca-poggiolesi/.
21 - 23 October 2021, MECORE kickoff workshop: Approaches to the semantics of clause-embedding predicates: theories, cross-linguistic data, and experimentationLocation: Online
This workshop is organized by the MECORE project, a collaboration between the ILLC, the University of Edinbugh and the University of Konstanz on the semantics of clause-embedding.For more information, see https://wuegaki.ppls.ed.ac.uk/mecore/mecore-kick-off-workshop/ or contact Floris Roelofsen at f.roelofsen at uva.nl.
20 October 2021, MoL thesis presentations, MoL studentsSpeaker: MoL studentsTitle: MoL thesis presentations S1 2021/22Location: Room F2.04, Science Park 904, 1098 XH Amsterdam
MoL students graduating in the current semester will present their ongoing thesis projects to the ILLC community.For more information, contact Maria Aloni at m.d.aloni at uva.nl.
20 October 2021, Algebra|Coalgebra Seminar, R. RamanujamSpeaker: R. Ramanujam (Institute of Mathematical Sciences, India)Title: Decidable fragments of first order modal logicLocation: Online (Zoom)
20 October 2021, Proof Theory Virtual Seminar, Fedor PakhomovSpeaker: Fedor PakhomovTitle: Fast growing hierarchies, ordinal collapsing, and Π¹₁-CA₀.Location: Online via Zoom
15 October 2021, Computational Social Choice Seminar, Zoi TerzopoulouSpeaker: Zoi Terzopoulou (Paris)Title: Majority Dynamics for Groups with Incomplete PreferencesLocation: Room D1.162, Science Park 904, Amsterdam
15 October 2021, Compositionality in the domain of tense, mood and aspect, Amsterdam (the Netherlands)Location: Paushuize, Kromme Nieuwegracht 49, Utrecht, the Netherlands (in the centre of Utrecht, 100 meters away from the Academy Building)
In October this year Cambridge University Press will publish The Compositional Nature of Tense, Mood and Aspect, written by Henk Verkuyl (UiLOTS, Utrecht). The title of this book clearly alludes to the PhD defended in Utrecht on Friday 15 October 1971, called On the Compositional Nature of the Aspects. It was published in 1972 without substantial corrections. The fact that October 15 this year will fall on a Friday was such a nice coincidence that it was impossible to escape from the idea that the book could be presented on that very day in a celebratory setting of some sort, exactly fifty years later. This has been developed into the more concrete idea of a workshop with distinguished speakers working in the domain of tense, aspect and mood who could connect their contribution to topics broached in the new book. The book addresses both linguists and logicians, so we are happy that UiLOTS (Utrecht) and ILLC (Amsterdam) have joined forces in organizing this workshop.
14 October 2021, Logic and Interactive Rationality (LIRa), Jürgen LandesSpeaker: Jürgen LandesTitle: Entropy Maximisation on Predicate LanguagesLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/08/lira-session-jurgen-landes/.
12 October 2021, The Utrecht Logic in Progress Series (TULIPS), Sonia MarinSpeaker: Sonia Marin (UCL)Title: Ecumenical modal logicLocation: Online
Abstract: Recent works about ecumenical systems, where connectives from classical and intuitionistic logics can co-exist in peace, warmed the discussion of proof systems for combining logics, called Ecumenical systems by Prawitz and others.
In Prawitz’ system, the classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation, and the constant for the absurd, but they would each have their own existential quantifier, disjunction, and implication, with different meanings.
We extended this discussion to alethic K-modalities: using Simpson’s meta-logical characterization, necessity is shown to be independent of the viewer, while possibility can be either intuitionistic or classical.
We furthermore proposed an internal and pure calculus for ecumenical modalities, where every basic object of the calculus can be read as a formula in the language of the ecumenical modal logic.
(joint work with Elaine Pimentel, Luiz Carlos Pereira, and Emerson Sales, partially published in the proceedings of Dali’20 and WoLLiC’21)
8 October 2021, DIP Colloquium, Simon KirbySpeaker: Simon Kirby (Edinburgh)Title: From Item to System: modelling the evolution of compositional and combinatorial structure in emerging sign languagesLocation: Online, via ZoomFor more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35171/Simon-Kirby-Edinburgh.
7 October 2021, Logic and Interactive Rationality (LIRa), Dingmar van EckSpeaker: Dingmar van EckTitle: Mechanist Idealisation in Systems BiologyLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/08/lira-session-dingmar-van-eck/.
7 October 2021, IoP Career LunchLocation: Online via Zoom
On Thursday October 7th at 12:00 a new online edition of the IoP (Institute of Physics) Career Lunch will take place.
Your career after a PhD or postdoc might not be a topic you often think about, but it is important! Most PhD students and postdocs will not end up working as a scientist at a university, but what are your options outside academia? These career lunches are organized to help orient yourself on possible career paths. During the event, two invited guests will share their career story and in moderated sessions they will answer your questions about what it is like to work as a PhD graduate in a non-academic environment.
6 October 2021, Proof Theory Virtual Seminar, Jeremy AvigadSpeaker: Jeremy AvigadTitle: The conservativity of weak König's lemma (a proof from the book).Location: Online via Zoom
6 October 2021, Algebra|Coalgebra Seminar, Balder ten CateSpeaker: Balder ten Cate (ILLC)Title: The homomorphism lattice of finite structures, unique characterization, and exact learnability.Location: Online (Zoom)
5 October 2021, EXPRESS Seminar, Richard PettigrewSpeaker: Richard Pettigrew (Bristol)Title: Epistemic Risk and the Demands of RationalityLocation: Online (Zoom)
5 October 2021, Discussion Round "The Positive Side of the Pandemic"Location: Room D1.14, Science Park 904, Amsterdam / Zoom
Students and staff with disabilities and/or chronic diseases have experienced some positive sides of the pandemic: traveling to campus was unnecessary and some developed more focused working habits. The FNWI Diversity Sounding Board and Diversity Office is convinced that we all can learn from their experience, also as we are now returning to pre-lockdown conditions. You are invited to join the discussion round on Diversity Day 2021, where some working experiences will be presented, and you are welcome to share your own lessons.
2 October 2021, Open day Amsterdam Science Park, Simon ReySpeaker: Simon ReyTitle: Improving the Buurtbudget: Can mathematics and Computer Science help?Location: Room C0.05, Science Park 904, 1098 XH, Amsterdam
The buurtbudget, known as participatory budgeting in English, is a democratic process aiming at involving citizens in public spending decisions. In several neighborhoods of Amsterdam, residents already can vote for community-driven projects to be paid for from public funds. However, organizing this process is not straightforward, especially when it comes to making a decision based on the ballots that have been submitted. During this talk, we will see why some natural procedures to determine the winning projects suffer major drawbacks and how to circumvent those drawbacks.For more information, see http://www.amsterdamsciencepark.nl/event/open-dag/ or contact Simon Rey at s.j.rey at uva.nl.
2 October 2021, Open day Amsterdam Science Park, Jeroen SmidSpeaker: Jeroen SmidTitle: Graaf Tel en de drie-en-een-half miljard dollar vraagLocation: Room C1.110, Science Park 904, 1098 XH, Amsterdam
Tellen kunnen we bijna allemaal. Toen ik jong was leerde ik vleermuizen tellen met Graaf Tel. Nu ik wat ouder ben tel ik examens die ik moet nakijken. Maar wat is tellen eigenlijk? En is tellen wel zo kinderlijk eenvoudig als het lijkt? In dit praatje denken we na over de dingen die we tellen en hoe tellen zich verhoudt tot de concepten die we gebruiken. We zullen zien dat tellen met verschillende filosofische puzzels samenhangt en dat het zelfs een verschil van drie-en-een-half miljard dollar kan maken.For more information, see http://www.amsterdamsciencepark.nl/event/open-dag/ or contact Jeroen Smid at j.smid at uva.nl.
2 October 2021, Open day Amsterdam Science ParkLocation: Amsterdam Science Park, Amsterdam and Online
Discover more about the secrets of the universe or the surprising properties of smart materials during the Amsterdam Science Park open day. Or take a look behind the scenes, for example in the greenhouses of the University of Amsterdam during a guided tour.
After a year in which the Open Day could not take place due to coronavirus, this year a hybrid form has been chosen, partly in-person and partly online. On October 2nd, there will be live lectures at the Science Park at various locations, and tours for small groups.For more information, see here or at https://www.amsterdamsciencepark.nl/event/open-dag/.
1 October 2021, Meaning, Logic, and Cognition (MLC) Seminar, Fausto CarcassiSpeaker: Fausto CarcassiTitle: Simple Languages of Thought can be Recovered from Learning DataFor more information, see http://projects.illc.uva.nl/LoLa/MLC-Seminar/event/35184/Fausto-Carcassi.
1 October 2021, Computational Social Choice Seminar, Oliviero NardiSpeaker: Oliviero Nardi (ILLC)Title: A Graph-Based Algorithm for the Automated Justification of Collective DecisionsLocation: Room D1.110, Science Park 904, Amsterdam
30 September 2021, Logic and Interactive Rationality (LIRa), Johan van BenthemSpeaker: Johan van BenthemTitle: Interleaving Logic and CountingLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/09/lira-session-johan-van-benthem-4/.
29 September 2021, Algebra|Coalgebra Seminar, Jan RooduijnSpeaker: Jan Rooduijn (ILLC)Title: Cyclic hypersequent calculi for some modal logics with the master modalityLocation: Online (Zoom)
27 September 2021, Nordic Online Logic Seminar , Anupam DasSpeaker: Anupam DasTitle: On the proof theoretic strength of cyclic reasoningLocation: ZoomFor more information, see https://scandinavianlogic.org/2021-09-16-NOL-Seminar-Anupam-Das.html or contact Valentin Goranko at valentin.goranko at philosophy.su.se.
23 September 2021, Logic and Interactive Rationality (LIRa), Hans RottSpeaker: Hans RottTitle: Difference-making and ‘Because’Location: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/08/lira-session-hans-rott/.
23 September 2021, Reading Group (historical) Epistemology
In the academic year 2021-2022, the Vossius Center will launch a close reading group with a focus on epistemology. We will read and discuss texts that the members of the group find relevant and interesting. Meetings will, ideally, take place on location, and there will be no presentations, just questions and discussion.
As a text to start with, we propose the recently translated On Logic and the Theory of Science (1942, Engl. Trans. with Urbanomic & Sequence Press, 2021) by Jean Cavaillès. The first discussion topic will be chapter 1 of this book (pp. 39-69).For more information, see https://vossius.uva.nl/content/news/2021/09/reading-group-epistemology.html or contact Aybüke Özgün at a.ozgun at uva.nl.
20 September 2021, Master of Logic defense, Antonio CleaniTitle: Translational Embeddings via Stable Canonical RulesLocation: Zoom or Science Park 107 (TBA)Supervisor: Nick Bezhanishvili
16 September 2021, Logic and Interactive Rationality (LIRa), Sonja SmetsSpeaker: Sonja SmetsTitle: Learning what Others KnowLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/09/lira-session-sonja-smets/.
15 - 17 September 2021, ILLC Workshop on Stereotypes in LanguageLocation: Online
Please join us for an online workshop on Stereotypes in Language which will be held on the afternoons of September 15th and September 17th, 2021. The workshop will feature talks from linguists, psychologists and NLP researchers and aims to discuss current research on stereotypes from a diversity of view points.
14 September 2021, The Utrecht Logic in Progress Series (TULIPS), Dominik KleinSpeaker: Dominik Klein (Utrecht)Title: Worlds far apart: From Kripke Models to Dynamical SystemsLocation: Ravensteynzaal (Kromme Nieuwegracht 80, room 1.06)
27 August 2021, Master of Logic defense, Terence HuiTitle: Free Choice cancellation and DependenceLocation: Online (closed session)Supervisor: Maria Aloni
23 August 2021, Master of Logic defense, Maximilian SiemersTitle: Hyperintensional Logics for Evidence, Knowledge and BeliefLocation: Online (closed session)Supervisor: Aybüke Özgün
26 July - 13 August 2021, 32nd European Summer School in Logic, Language and Information (ESSLLI 2021), OnlineLocation: OnlineDeadline: Saturday 1 June 2019
Under the auspices of FoLLI the European Summer School in Logic, Language, and Information (ESSLLI) is organized every year in a different European country. It takes place over two weeks in the European Summer, hosts approximately 50 different courses at both the introductory and advanced levels, attracting around 400 participants each year from all the world.
The main focus of the program of the summer schools is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited lectures.
The circumstances around the coronavirus (COVID-19) pandemic forced the organizers to postpone the 32nd edition of ESSLLI, planned for 2020 in Utrecht as ESSLLI-2020, to 26 july-13 august 2021, as well as hold it online. In view of the online format, the program is spread over three weeks so as to facilitate attendance.
17 - 24 July 2021, Course "Using Logic as a Tool for Modelling" at the Vrije Universiteit Amsterdam summer schoolLocation: OnlineTarget audience: Advanced BSc students, MSc students, PhD candidatesCosts: please see the website for detailsDeadline: Saturday 1 May 2021
Logic is not merely the study of different forms of reasoning, but also a powerful tool for representing and analyzing diverse phenomena. This course, at the summer school of the Vrije Universiteit Amsterdam, provides an introduction to logic and its application to a variety of fields, from computer science to linguistics and the social sciences. Throughout the course, we will encourage students to think about how they can apply logic to other disciplines they are interested in and discuss their ideas with lecturers and peers based on the information in the tutorials.For more information, see https://www.vu.nl/en/programmes/short/summer-school/courses/using_logic_as_technology_for_modelling/index.aspx or contact Apostolos Tzimoulis at a.tzimoulis at vu.nl.
16 July 2021, Master of Logic defense, David de GraafTitle: A modernisation of a partition calculus in set theoryLocation: Online (closed session)Supervisor: Benedikt Löwe
15 July 2021, Master of Logic defense, Mateo JaramilloTitle: Epistemic Logics For Cryptographic Protocols and Zero-Knowledge ProofsLocation: Online (closed session)Supervisor: Aybüke Özgün
8 July 2021, STiHAC Joint Meeting, Clara ListSpeaker: Clara List (Amsterdam)Title: Project report: ForcingLocation: Online via Zoom
7 July 2021, Proof Theory Virtual Seminar, Antonina KolokolovaSpeaker: Antonina Kolokolova (Newfoundland)Location: Online via Zoom
5 - 9 July 2021, Summer School Science CommunicationLocation: Online
From 5-9 July 2021, Leiden University will organize a summer school for researchers who want to learn about communicating science to diverse audiences. The summer school is aimed at PhD students, postdoc and other early career researchers in the natural sciences and related fields. Registration is open until April 16 2021 through a registration form on the web page.For more information, see https://www.universiteitleiden.nl/en/science/science-communication-and-society/education/summer-school-2019 or contact Julia Cramer at j.cramer at biology.leidenuniv.nl.
1 July 2021, STiHAC Joint Meeting, Jonathan OsinskiSpeaker: Jonathan Osinski (Amsterdam)Title: Compactness Properties and SymbiosisLocation: Online via Zoom
25 June 2021, ABC Networking Event 2021Location: Online
The ABC Networking Event provides you with the opportunity to discover all research treasures that ABC holds, and connect with other ABC researchers. All researchers (PhDs, post-docs, assistant/associate/full professors) are invited to attend and actively participate.
The Networking Event will consist of:
For more information, see https://abc.uva.nl/content/events/conferences/2021/june/abc-networkingevent-2021.html.
- ABC Pitch talks: Flash talks that are all about getting to know each other, to foster fresh collaborations, and, possibly, to team-up for grant proposals. In small groups you present your research and/or listen to and discuss all the great research ABC has to offer.
- Networking session: in an informal atmosphere, the discussions continue in break-out rooms. These are small gatherings focused on a certain topic or just to get to know each other, it’s up to you!
24 June 2021, ABC International Symposium on MusicalityLocation: Amsterdam, the Netherlands / Online
A hybrid evening of research, music, and emotion. Honorary Frijda Chair holder Prof. dr. David Huron guides us through the science of sad sounds, addressing two questions:
- What makes something sound sad?
- And how is it that listening to sad music can be enjoyable?
Enriched by an interdisciplinary panel discussion, and accompanied by a measured dose of sad music.For more information, see https://abc.uva.nl/content/events/conferences/2021/june/musicality.html.
24 June 2021, DIEP Seminars, Maris OzolsSpeaker: Maris Ozols (UvA)Title: Introduction to quantum circuitsLocation: Zoom
Any Boolean function can in principle be decomposed into elementary logical gates, such as AND, OR and NOT, that act only on one or two bits at a time. Similarly, any operation on a quantum computer can be broken up into elementary gates that act only on one or two qubits at a time. I will explain how this works and what consequences this has for quantum algorithm design.
23 June 2021, Cool Logic, Maximilian SiemersSpeaker: Maximilian SiemersTitle: Hyperintensional Evidence Logics for Knowledge and BeliefLocation: Room C1.10, Science Park 904, Amsterdam / Online via Zoom
Traditional epistemic logic often comes without any notion of evidence and renders belief and knowledge susceptible to logical omniscience. I present an approach that defines belief and knowledge based on hyperintensional evidence, which comes with a notion of evidential aboutness and gives rise to more realistic epistemic agents.
Zoom ID TBA.
23 June 2021, Talks on topics in Artificial Intelligence, Dr Katrin SchulzSpeaker: Dr Katrin Schulz (ILLC, UvA)Title: Responsibility through CausationLocation: Online via Zoom
Zoom link: https://uva-live.zoom.us/j/86936186858
22 June 2021, Talks on topics in Artificial Intelligence, Dr Behzad BozorgtabarSpeaker: Dr Behzad Bozorgtabar (EPFL, Lausanne, Switserland)Title: Towards Responsible AI in HealthcareLocation: Online via Zoom
Zoom link: https://uva-live.zoom.us/j/83100972302
21 - 22 June 2021, Workshop "Truth, proof and communication"Location: Online
The EXPRESS-IHPST workshop online workshop Truth, proof and communication, jointly organised by the European Research Council project EXPRESS (grant agreement no. 758540) and the IHPST, brings together researchers from the ILLC at the University of Amsterdam and IHPST, UMR 8590, CNRS and Université Paris 1 Panthéon-Sorbonne. It will take place on 21-22 June from 14 to 18 in the afternoon, and will consist of three talks per day. Each talk will last 60 minutes including discussion, and coffee breaks are planned in between talks. Attendance is free and everybody is welcome. The registration form can be found on the website.
Speakers: Aybüke Özgün (ILLC, Amsterdam); Francesco Genco (IHPST, Paris); Leïla Bussière-Caraes (ILLC, Amsterdam); Yuta Takahashi (IHPST, Paris); Giorgio Sbardolini (ILLC, Amsterdam); Francesca Poggiolesi (IHPST, Paris).For more information, see https://inferentialexpressivism.com/events/1041-2/ or contact Julian Schlöder at j.j.schloder at uva.nl.
21 June 2021, Talks on topics in Artificial Intelligence, Dr Sandro PezzelleSpeaker: Dr Sandro Pezzelle (ILLC, UvA)Title: Integration of language and vision in multimodal pre-trained TransformersLocation: Online via Zoom
Zoom link: https://uva-live.zoom.us/j/84765092578
21 June 2021, Nordic Online Logic Seminar, Dag NormannSpeaker: Dag NormannTitle: An alternative perspective on Reverse MathematicsLocation: Zoom
If you wish to receive the Zoom ID and password for the talk, as well as further announcements, please subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic .
Val Goranko and Graham Leigh, NOL seminar organisersFor more information, see https://scandinavianlogic.org/2021-05-28-NOL-Seminar-Dag-Normann.html or contact Val Goranko at valentin.goranko at philosophy.su.se.
18 June 2021, DIP Colloquium, Kyle Blumberg & Simon GoldsteinSpeaker: Kyle Blumberg & Simon Goldstein (ACU)(Abstract)Title: A Semantic Theory of RedundancyLocation: Online, via ZoomFor more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35180/Kyle-Blumberg-Simon-Goldstein-ACU.
17 June 2021, STiHAC Joint Meeting, Raiean BanerjeeSpeaker: Raiean Banerjee (Hamburg)Title: Laver vs SilverLocation: Online via Zoom
17 June 2021, Logic and Interactive Rationality (LIRa), Cedegao ZhangSpeaker: Cedegao Zhang (University of California, Berkeley)Title: A Computational Model of Higher-Order Epistemic ReasoningLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/04/lira-session-cedegao-zhang/.
17 June 2021, DIEP Seminars, Alexandru BaltagSpeaker: Alexandru BaltagTitle: Group (Ir)Rationality: Can Logic help?Location: Zoom
Abstract: I present some applications of logical methods (in particular, of so-called dynamic epistemic logics) to the study of emergent phenomena in groups of `agents', capable of reflection, communication, reasoning, argumentation etc.The main focus on the understanding of belief/preference formation and diffusion in social networks, and on how this affects the group's ``epistemic potential": the ability of the agents to track the truth of the matter (with respect to some given relevant topic). While in some cases, ``wisdom of the crowds" can increase the epistemic potential, in other situations the group's dynamics leads to informational distortions (-- the ``madness of the crowds": cascades, ``groupthink", the curse of the committee, pluralistic ignorance, group polarization, doxastic cycles etc). I explain how logic (in combination with probabilistic methods) can be used to provide some explanations for both types of situations, as well as to suggest some partial solutions to informational distortions.
16 June 2021, Proof Theory Virtual Seminar, Hugo HerbelinSpeaker: Hugo Herbelin (INRIA Paris)Title: On the logical structure of choice and bar induction principlesLocation: Online via Zoom
14 - 24 June 2021, ABC Summer School: Musicality - Unraveling our capacity for musicLocation: Online
From 14-24 June 2021 an impressive cast of international lecturers, from a wide range of disciplines, will try to unravel our capacity for music. Students will, next to attending lectures, work groups and online social events, work in groups with a designated tutor on a research project, within the broad topic of musicality, which they will present towards the end of the Summer School. Organized by Prof. Henkjan Honing and the Music Cognition Group.For more information, see https://abc.uva.nl/content/events/conferences/2021/june/abc-summer-school-2021.html.
11 June 2021, DIP Colloquium, Anna Alsop & Lucas ChampollionSpeaker: Anna Alsop & Lucas Champollion (NYU)Title: A compositional account of Japanese ka in Inquisitive SemanticsLocation: OnlineFor more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35179/Anna-Alsop-Lucas-Champollion-NYU.
10 June 2021, STiHAC Joint Meeting, Michel GasparSpeaker: Michel Gaspar (Hamburg)Title: Borel chromatic numbers as cardinal invariants, Part IILocation: Online via Zoom
10 June 2021, Logic and Interactive Rationality (LIRa), Jiatu LiSpeaker: Jiatu LiTitle: Formalization of PAL in LeanLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/03/lira-session-jiatu-li/.
10 June 2021, DIEP Seminars, Casper van ElterenSpeaker: Casper van Elteren (UvA)Title: Through the looking glass-Information flows in complex systemsLocation: Zoom
Understanding dynamical systems is a fundamental problem for the 21st century. Despite the prima facie differences and purposes of many real-world networks, previous research shows several universal characteristics in networks properties such as the small-world phenomenon, fat-tail degree and feedback loops. This has led to the common but often implicit assumption that the connectedness of a node in the network is proportional to its dynamic importance. For example in epidemic research, high degree nodes or "super-spreaders" are associated to dominant epidemic risk and therefore deserve special attention. Yet prior research shows that the shared universality in network characteristics is not shared in the dynamic or functional properties of many real-world systems.
In this talk I will explore the relation between local interactions and macroscopic properties of a system through the lens of statistical physics and information theory. In particular, I will show novel methods on determining the so-called driver node in complex systems, and how tipping points can be studied from an information theoretical perspective. (website + slides: https://cvanelteren.github.io/talk/diep2021/)
9 June 2021, Cool Logic, Quentin GougeonSpeaker: Quentin GougeonTitle: Epistemic Logic without Possible WorldsLocation: Room C1.10, Science Park 904, Amsterdam / Online via Zoom
While possible worlds can be seen as the semantic backbone of epistemic logic, they can be tedious to deal with. In this talk I introduce epistemic presentations, a kind of structure wherein "issues on the table" are primitive objects and possible worlds are only derivative. In addition to be more flexible, these models lend themselves to an interesting algebraic approach and provide inspiration for new dynamic operators.
We have a room in the big building of Science Park (house 904, room SPC1.110) with corona capacity 44. The talk will also be streamed live on Zoom. For the Zoom address, please email coollogic.uva at gmail.com.
8 June 2021, EXPRESS/PhilMath Seminar, Rosalie IemhoffSpeaker: Rosalie Iemhoff (Utrecht University)Title: Proof-Theoretic FormalizationLocation: Online via Zoom
7 - 9 June 2021, Logic of Conceivability Conference 2021, OnlineLocation: Online
The ability to think about non-actual possibilities is crucial for rational decision and action. When deciding what to do in situations of uncertainty or risk, we use our powers of imagination and conception to surveil the ways the world might be for all we know, and ponder the possible consequences of our actions. What is the logic of conceivability? Do thinking and imagining exhibit sufficient structure so to be amenable to precise modeling? Under what conditions does an imaginative episode establish a non-actual scenario as a real possibility? What are the special features of thought, talk and knowledge about mere possibility and conditionality? The aim of this conference is to facilitate the conversation on these questions by bringing together both senior and rising young researchers from around the world.For more information, see http://projects.illc.uva.nl/conceivability/LoC-Conference/.
DIP Colloquium cancelledTitle: Topics in conjunctions are conditional
Unfortunately the speaker had to cancel today's DIP Colloquium, due to coming down with a (non-covid) fever. We hope to have Madgalena Kaufmann present sometime in the next semester.For more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35177/Magdalena-Kaufmann-Connecticut-Topics-in-conjunctions-are-conditional or contact Dean McHugh at d.m.mchugh at uva.nl.
3 June 2021, STiHAC Joint Meeting, Michel GasparSpeaker: Michel Gaspar (Hamburg)Title: Borel chromatic numbers as cardinal invariantsLocation: Online via Zoom
3 June 2021, Logic and Interactive Rationality (LIRa), Guillermo Menéndez TurataSpeaker: Guillermo Menéndez TurataTitle: Uniform interpolation from cyclic proofs: the case of modal mu-calculusLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/02/lira-session-bahareh-afshari-2/.
3 June 2021, DIEP Seminar, Velimir IlićSpeaker: Velimir Ilić (Mathematical Institute of the Serbian Academy of Sciences and Arts)Title: An overview and characterization of generalized information measuresLocation: Online (Zoom)
The aim of this talk is to present a comprehensive classification of the main entropic forms introduced in the last fifty years within statistical physics and information theory and to review the fundamental questions about the meaning of information. I will particularly focus on axiomatic approaches to the characterization of various generalizations of the Shannon entropy, such as the Rényi, the Tsallis, the Sharma-Mittal, and the Sharma-Mittal-Taneja entropies, as well as the more general classes of pseudo-additive entropies with a well-defined mathematical and information theoretic structure. Finally, I will point out possible applications of these measures in communication theory, statistical inference and complex systems modeling.
2 June 2021, Proof Theory Virtual Seminar, Lutz StraßburgerSpeaker: Lutz Straßburger (INRIA & LIX Paris)Title: Towards a Combinatorial Proof IdentityLocation: Online via Zoom
28 May 2021, VvL Logic at Large Lectures, Moshe Y. VardiSpeaker: Moshe Y. VardiTitle: And Logic Begat Computer ScienceLocation: Zoom / Gather.Town
To mark its relaunch the VvL (Dutch Association for Logic and Philosophy of Exact Sciences) has the privilege to announce its first outreach event in 2021. It will take place on Friday 28 May 2021. We are very pleased to announce that Professor Moshe Y. Vardi (Rice University) will give a public lecture entitled And Logic Begat Computer Science.
This event will take place online using Zoom. The talk will be followed first by a short session where invited commentators will react to it, and later by a general Q & A session with the audience. The outreach event will be concluded by a social gathering on the virtual platform Gather.Town.
Registration is free, but necessary to receive links to Zoom and Gather.Town.
27 May 2021, STiHAC Joint Meeting, David de GraafSpeaker: David de Graaf (Amsterdam)Title: Negative stepping up results for partition relationsLocation: Online via Zoom
27 May 2021, Logic and Interactive Rationality (LIRa), Francesca Zaffora BlandoSpeaker: Francesca Zaffora BlandoTitle: Weak merging of opinions for computationally limited agentsLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/02/lira-session-francesca-zaffora-blando/.
27 May 2021, Humane Conversation on AI ethics in academiaLocation: Online via ZoomCosts: Free registration required
In this roundtable conversation, part of the Humane AI conversation series, Beate Rössler, Raquel Fernández and Max Welling will discuss topics related to AI ethics in teaching and research, moderated by Natali Helberger.For more information, see https://humane-ai.nl/events_report/humane-conversations-7/.
27 May 2021, DIEP Seminar, Olivier RoySpeaker: Olivier Roy (Bayreuth University)Title: Deliberation, Coherent Aggregation, and AnchoringLocation: Zoom
In this talk we will present a number of results stemming from a computational model of collective attitude formation through a combination of group deliberation and aggregation. In this model the participants repeatedly exchange and update their preferences over small sets of alternatives, until they reach a stable preference profile. When they do so the collective attitude is computed by pairwise majority voting. The model shows, on the one hand, that rational preference change can fill an existing gap in known mechanisms purported to explain how deliberation can help avoiding incoherent group preferences. On the other hand, the model also reveals that when the participants are sufficiently biased towards their own opinion, deliberation can actually create incoherent group rankings, against the received view. The model suggests furthermore that rational deliberation can exhibit high levels of path dependencies or "anchoring", where the group opinion is strongly dependent on the order in which the participants contribute to the discussion. We will finish by discussing possible trade-offs between such positive and negative features of group deliberation.
26 May 2021, Algebra|Coalgebra Seminar, Luigi SantocanaleSpeaker: Luigi Santocanale (Aix-Marseille Université)Title: Fixed-point elimination in the Intuitionistic Propositional CalculusLocation: Online (Zoom Meeting ID 922-5064-0302)
25 May 2021, The Utrecht Logic in Progress Series (TULIPS), Mark JagoSpeaker: Mark Jago (Nottingham)Title: "Metaphysical Structure"Location: Online
Contact the organizer for information about how to join the online meeting.
25 May 2021, EXPRESS/PhilMath Seminar, Justin Clarke-DoaneSpeaker: Justin Clarke-Doane (Columbia)Title: Russell’s Regressive Method in Mathematics and PhilosophyLocation: Online via Zoom
24 May 2021, Nordic Online Logic Seminar, Wilfrid HodgesSpeaker: Wilfrid HodgesTitle: How the teenage Avicenna planned out several new logicsLocation: Online (Zoom)
The full announcement for the next talk can be found in the link below. If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic .
Val Goranko and Graham Leigh, NOL seminar organisers.For more information, see https://scandinavianlogic.org/2021-05-04-NOL-Seminar-Wilfrid-Hodges.html or contact Val Goranko at valentin.goranko at philosophy.su.se.
20 May 2021, Logic and Interactive Rationality (LIRa), Nina GierasimczukSpeaker: Nina GierasimczukTitle: Multi-agent language coordination and cognitive semantics of quantity termsLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/01/lira-session-nina-gierasimczuk-2/.
19 May 2021, ILLC Current Affairs MeetingLocation: ZoomTarget audience: ILLC Staff, PhD candidates, guests
As in previous editions, the purpose of this meeting is to inform you about issues that are currently of importance in the ILLC and/or the Master of Logic programme. We will also use this opportunity to welcome new members of staff and to provide you with an update about upcoming and other plans.For more information, contact illc at uva.nl.
18 May 2021, EXPRESS/PhilMath Seminar, Seth YalcinSpeaker: Seth Yalcin (California)Title: Iffy KnowledgeLocation: Online
18 May 2021, Computational Linguistics Seminar, Robert HawkinsSpeaker: Robert Hawkins (Princeton)Title: Coordinating on meaning in communicationLocation: Online via Zoom
18 May 2021, Master of Logic defense, Fergus SmilesTitle: Learning Deterministic Finite Automata with Signed Examples: An Investigation into the Role of Entropy in Optimal Model SelectionLocation: Online (closed session)Supervisor: Pieter Adriaans (IvI)
12 May 2021, Logic of Conceivability seminar, Graham PriestSpeaker: Graham PriestTitle: Mission ImpossibleLocation: Online via Zoom
LoC online seminar session on Wednesday, May 12 : Graham Priest on Mission Impossible.For more information, see http://projects.illc.uva.nl/conceivability/News/article/136/Graham-Priest.
12 May 2021, Algebra|Coalgebra Seminar, Nick GalatosSpeaker: Nick Galatos (University of Denver)Title: Distributive lattice-ordered monoids (Joint work with A. Colacito, G. Metcalfe and S. Santschi)Location: Online (Zoom Meeting ID 922-5064-0302)
11 May 2021, Social-half hour for PhD students and postdocsLocation: Online via ZoomTarget audience: PhD students and postdocs
The weekly social event for PhD students, postdocs, and generally non-permanent research people at the ILLC is still on-going. Please feel free to join us! We meet for roughly 45 minutes and have an open informal discussion, often featuring a short (generally non-academic) presentation by one of the attendants on a topic of their choice.
Zoom url: https://uva-live.zoom.us/j/85133392465.For more information, contact Patricia Mirabile at p.l.mirabile at uva.nl.
11 May 2021, The Utrecht Logic in Progress Series (TULIPS), Anthi SolakiSpeaker: Anthi Solaki (ILLC)Title: Actualizing Distributed Knowledge in Bounded GroupsLocation: Online
Contact the organizer to join this online seminar.
7 May 2021, Meaning, Logic, and Cognition (MLC) Seminar, Sandro PezzelleSpeaker: Sandro PezzelleTitle: Semantic adaptation to the interpretation of gradable adjectives via passive exposure and active information seekingLocation: Online, via ZoomFor more information, see http://projects.illc.uva.nl/LoLa/MLC-Seminar/.
6 May 2021, STiHAC Joint Meeting, Han XiaoSpeaker: Han Xiao (Hamburg)Title: Medvedev's Logic is not finitely axiomatisable (a proof by Maksimova, Shehtman, and Skvorcov)Location: Online via Zoom
6 May 2021, Logic and Interactive Rationality (LIRa), Hein DuijfSpeaker: Hein DuijfTitle: Should one be open-minded?Location: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/03/lira-session-hein-duijf-3/.
5 May 2021, Proof Theory Virtual Seminar, Revantha RamanayakeSpeaker: Revantha Ramanayake (Groningen)Title: Up and Down the Lambek CalculusLocation: Online via Zoom
30 April 2021, Philosophy of Mathematics (Φ-Math) Reading GroupTitle: Introduction to Set-Theoretic and Suis Generis StructuralismLocation: Online via Zoom
29 April 2021, Logic and Interactive Rationality (LIRa), Rustam GalimullinSpeaker: Rustam GalimullinTitle: Group Knowledge in Public CommunicationLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/03/lira-session-rustam-galimullin/.
28 April 2021, Algebra|Coalgebra Seminar, Jurriaan RotSpeaker: Jurriaan Rot (Radboud University)Title: Expressive Logics for Coinductive PredicatesLocation: Online (Zoom Meeting ID 922-5064-0302)
27 April 2021, The Utrecht Logic in Progress Series (TULIPS), Pablo CobrerosSpeaker: Pablo Cobreros (Navarra)Title: Classicality and the ST approach to paradoxesLocation: Online
Contact the organizers for more information about how to join this online talk.
26 April 2021, Nordic Online Logic Seminar, Jouko VäänänenSpeaker: Jouko VäänänenTitle: Dependence logic: Some recent developmentsLocation: Online (Zoom)
The full announcement for the next talk can be found in the link below. If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic .
Val Goranko and Graham Leigh, NOL seminar organisers.For more information, see https://scandinavianlogic.org/2021-04-07-NOL-Seminar-Jouko-Vaananen.html or contact Valentin Goranko at valentin.goranko at philosophy.su.se.
23 April 2021, Spinoza Lectures, Prof. Robert BrandomSpeaker: Prof. Robert BrandomTitle: Hegel’s Recollective Account of RepresentationLocation: Online via Zoom
Prof. Robert Brandom holds the Spinoza Chair at the Department of Philosophy in the Faculty of Humanities during the second term of the academic year 2020-2021. Prof. Brandom will be delivering the Spinoza Lectures under the title of 'Fetishism, Anti-Authoritarianism, and the Second Enlightenment: Rorty and Hegel on Representation and Reality.'
22 April 2021, Spinoza Lectures, Prof. Robert BrandomSpeaker: Prof. Robert BrandomTitle: A Rortyan Pragmatist Master-ArgumentLocation: Online via Zoom
Prof. Robert Brandom holds the Spinoza Chair at the Department of Philosophy in the Faculty of Humanities during the second term of the academic year 2020-2021. Prof. Brandom will be delivering the Spinoza Lectures under the title of 'Fetishism, Anti-Authoritarianism, and the Second Enlightenment: Rorty and Hegel on Representation and Reality.'
22 April 2021, KNAW-webinar: De logica van AILocation: Zoom
Artificiële intelligentie moet ons leven verrijken, maar er niet mee aan de haal gaan. Het moet zich houden aan door mensen gehanteerde logica en principes voor rationaliteit, moraliteit en consistentie. Kortom, wij willen machinaal handelen kunnen begrijpen en sturen. Mens en machine moeten elkaar in voldoende mate verstaan om op de gewenste manier met elkaar om te gaan.
Vier sprekers (Catholijn Jonker, Jan Broersen, Rineke Verbrugge en Bart Jacobs) leggen uit welke rol logica, in combinatie met probabilistisch denken, speelt in het onderzoek naar de vervulling van deze wensen.For more information, see https://www.knaw.nl/nl/actueel/agenda/de-logica-van-ai or contact congresbureau at knaw.nl.
22 April 2021, STiHAC Joint Meeting, Lucas WansnerSpeaker: Lucas Wansner (Hamburg)Title: Separating DC from ACω (the hard way)Location: Online via Zoom
22 April 2021, Logic and Interactive Rationality (LIRa), Patricia RichSpeaker: Patricia RichTitle: Hidden Costs of Epistemic Conformity: Lessons from Information Cascade SimulationsLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/03/lira-session-patricia-rich/.
22 April 2021, Logic Lunch, Arianna NovaroSpeaker: Arianna Novaro (ILLC)Title: Unravelling multi-agent ranked delegationsLocation: Online via ZoomFor more information, see http://www.filosofia.unimi.it/logic/seminar-announcement-a-novaro/ or contact logic.unimi at gmail.com.
21 April 2021, Algebra|Coalgebra Seminar, David Fernández-DuqueSpeaker: David Fernández-Duque (Gent)Title: The topological mu-calculusLocation: Online (Zoom Meeting ID 922-5064-0302)
21 April 2021, Mini-conference "Methods & Math Psych"Location: Online via Zoom
The conferencewill feature short talks from six leading experts in mathematical psychology, cognitive modelling, and psychological methods.Talks will be approximately 20 minutes long,with 10 minutes for questions and discussion. Attendance is free and open to everyone. However, as this is intended as an expert meeting, some familiarity with computational modelling and psychological methods will be assumed.
21 April 2021, Proof Theory Virtual Seminar, Greg RestallSpeaker: Greg Restall (Melbourne)Title: Comparing Rules for Identity in Sequent Systems and Natural DeductionLocation: Online via Zoom
20 April 2021, EXPRESS/PhilMath Seminar, postponedLocation: Online
Rosalie Iemhoff's talk on 'Proof-Theoretic Formalization' has been postponed. The new
date is to be announced.
16 April 2021, Philosophy of Mathematics (Φ-Math) Reading GroupTitle: Wang's Paradox; Dummet's case against Strict FinitismLocation: Online via Zoom
16 April 2021, Master of Logic defense, Hrafn OddssonTitle: Paradefinite Zermelo–Fraenkel Set Theory: A Theory of Inconsistent and Incomplete SetsLocation: Online (Closed Session)Supervisor: Yurii Khomskii
15 April 2021, STiHAC Joint Meeting, Tobias Stonier Emma PalmerSpeaker: Tobias Stonier (Cambridge) Emma Palmer (Cambridge)Title: Wadge determinacy and the semi-linear ordering principle Reflection at large cardinalsLocation: Online via Zoom
15 April 2021, Logic and Interactive Rationality (LIRa), Phil PützstückSpeaker: Phil PützstückTitle: Logics of Dependence and Independence: The Local VariantsLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/03/lira-session-phil-putzstuck-and-erich-gradel/.
14 April 2021, Algebra|Coalgebra Seminar, Matteo MioSpeaker: Matteo Mio (ENS-Lyon)Title: Towards a Proof Theory of Probabilistic LogicsLocation: Online (Zoom Meeting ID 922-5064-0302)
13 April 2021, The Utrecht Logic in Progress Series (TULIPS), Helle Hvid HansenSpeaker: Helle Hvid Hansen (Groningen)Title: Complete Proof Systems for Parikh’s Game LogicLocation: Online
Please contact the organizer if you would like to join the online meeting.
9 April 2021, DIP Colloquium, Cailin O'ConnorSpeaker: Cailin O'Connor (UC Irvine)Title: Measuring ConventionalityLocation: Online, via ZoomFor more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35173/Cailin-O-Connor-UC-Irvine.
8 April 2021, STiHAC Joint Meeting, Isabel Macenka & Allison WangSpeaker: Isabel Macenka & Allison Wang (Cambridge)Title: Determinacy of long gamesLocation: Online via Zoom
8 April 2021, Logic and Interactive Rationality (LIRa), Marta BilkovaSpeaker: Marta BilkovaTitle: Belief based on inconsistent informationLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/02/lira-session-marta-bilkova/.
6 April 2021, The Utrecht Logic in Progress Series (TULIPS), Nick BezhanishviliSpeaker: Nick BezhanishviliTitle: Linear bi-intuitionistic calculusLocation: Online
This talk is online, please contact the organizer to join.
2 April 2021, Philosophy of Mathematics (Φ-Math) Reading GroupTitle: Debate: Is Second-Order Logic Set Theory in Sheep's Clothing?Location: Online via Zoom
1 April 2021, STiHAC Joint Meeting, Hrafn OddsonSpeaker: Hrafn Oddson (Amsterdam)Title: Paradefinite Zermelo-Fraenkel Set Theory: a Theory of Inconsistent and Incomplete SetsLocation: Online via Zoom
1 April 2021, Logic and Interactive Rationality (LIRa), Hans van DitmarschSpeaker: Hans van DitmarschTitle: Everyone Knows that Everyone Knows: Gossip Protocols for Super ExpertsLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/02/lira-session-hans-van-ditmarsch-2/.
31 March 2021, Cool Logic, Ezra SchoenSpeaker: Ezra SchoenTitle: An Almost Constructive Proof of Brouwer's Fixed Point TheoremLocation: Online via Zoom
As a young mathematician, Brouwer gained prominence by proving a number of fundamental theorems in topology, the most famous of which is his eponymous fixed point theorem. However, Brouwer would later come to reject this theorem as not intutionistically acceptable. In this talk, I will (briefly) sketch the proof of Brouwer's fixed point theorem as it is given in most textbooks, and present an alternative, 'almost constructive' proof based on Sperner's lemma. I will also discuss how this second proof can be used to obtain intuitionistically valid variants of the fixed point theorem.
Zoom link: TBA. Please check website - Zoom link will be provided the day before.
31 March 2021, Algebra|Coalgebra Seminar, Corina CirsteaSpeaker: Corina Cirstea (University of Southampton)Title: Measure-theoretic semantics for quantitative linear-time logicsLocation: Online (Zoom Meeting ID 922-5064-0302)
30 March 2021, EXPRESS/PhilMath Seminar, Lavinia PicolloSpeaker: Lavinia Picollo (Singapore)Location: Online
29 - 30 March 2021, Workshop Lexical Restrictions on Grammatical RelationsLocation: Online via Zoom
In many languages grammatical relations are to some extent lexically restricted, in the sense that certain verbs or verb classes take different argument coding frames than others. While such constraints are well studied for case marking, they have also been reported for grammatical relations defining other types of constructions, including a range of voice- and valency-related constructions and some clause-combining constructions. This hybrid (on-line/on-site) workshop aims to unite scholars from different (sub)disciplines, bringing together descriptive, comparative, corpus-based, and experimental studies, as well as studies that compare linguistic data with genetic and/or socio-historical evidence. Together, we hope to further our understanding why lexical restrictions should exist, how they are processed and acquired, and why/how/where they persist in languages.For more information, see https://smartcs.uva.nl/content/events/events/events/2020-2021/lexgr.html.
26 March 2021, Meaning, Logic, and Cognition (MLC) Seminar, Sonia RamotowskaSpeaker: Sonia RamotowskaTitle: Discovering stages of processing in quantified sentencesLocation: Online, via ZoomFor more information, see http://projects.illc.uva.nl/LoLa/MLC-Seminar/event/35175/Sonia-Ramotowska.
25 March 2021, STiHAC Joint Meeting, Tristan van der VlugtSpeaker: Tristan van der Vlugt (Hamburg)Title: A higher counterpart to random forcingLocation: Online via Zoom
25 March 2021, Logic and Interactive Rationality (LIRa), Line van den BergSpeaker: Line van den BergTitle: Multi-Agent Knowledge Evolution in Dynamic Epistemic LogicLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/02/lira-session-line-van-den-berg/.
23 March 2021, Social-half hour for PhD students and postdocsLocation: OnlineTarget audience: PhD students and postdocs
Weekly social event for PhD students, postdocs, and generally non-permanent research people at the ILLC. Meetings last between 30 and 45 minutes and feature a short (generally non-academic) presentation by one of the attendants on a topic of their choice followed by an open informal discussion.
Zoom link: https://uva-live.zoom.us/j/85133392465For more information, contact Patricia Mirabile at p.l.mirabile at uva.nl.
23 March 2021, Computational Linguistics Seminar, Clara MeisterSpeaker: Clara Meister (ETH Zürich)Title: If Beam Search is the Answer, what was the Question?Location: Online via Zoom
23 March 2021, The Utrecht Logic in Progress Series (TULIPS), Sebastian MelzerSpeaker: Sebastian Melzer (ILLC, Amsterdam)Title: Canonical Formulas for the Lax LogicLocation: Online
Contact the organizer to join the talk on Microsoft Teams.
22 March 2021, Nordic online logic semina (new), Dag PrawitzSpeaker: Dag PrawitzTitle: Validity of inference and argumentLocation: Online via Zoom
The Nordic Online Logic Seminar (NOL Seminar), will be organised monthly over Zoom, with talks on logic topics of interest for the broader logic community.
The first talk will be given by Dag Prawitz on Monday, March 22, 16.00-17.30 (UTC+1).For more information, see here or at https://www2.philosophy.su.se/goranko/nol_seminar.html or contact Valentin Goranko at valentin.goranko at philosophy.su.se.
19 March 2021, Philosophy of Mathematics (Φ-Math) Guest Talk, Joel David HamkinsSpeaker: Joel David HamkinsTitle: Lectures on the Philosophy of MathematicsLocation: Online via Zoom
Professor Joel David Hamkins from the University of Oxford will be at Φ-Math to present his upcoming book Lectures on the Philosophy of Mathematics. The presentation will contain an overview of the book's contents and motivation with a focus on selected philosophical problems tackled in it, followed by a discussion/questions from attendants.
19 March 2021, DIP Colloquium, Annemarie KocabSpeaker: Annemarie Kocab (Harvard)Title: The Origins of Language: Evidence from Nicaraguan Sign LanguageLocation: Online, via Zoom
All human societies have languages capable of expressing the richness of human thought. To what extent is this achievement an historical accomplishment, similar to mathematics or science, and to what extent does it rely on our evolved cognitive capacities? I study these questions by looking at language creation in different communities, including Nicaraguan Sign Language (a new language only 50 years old), homesign systems, and laboratory-created communication systems. I will present results on how a new language comes to have recursion and quantifiers like “some” and “all." In both cases, I find evidence for rapid emergence of linguistic structure within a few generations. One possible explanation for these findings is that features that emerge early are those that reflect underlying shared semantic structures that are universal (or nearly) in languages. In contrast, the features that emerge later (e.g., grammatical morphology) may be those that vary across languages and require convergence and iterated learning.
This talk will be given in American Sign Language (ASL) and interpreted into English. If anyone would like to attend the talk and have it interpreted in Sign Language of the Netherlands (NGT), please send an email to F.Roelofsen at uva.nl in advance and we will do our best to arrange an NGT interpreter.For more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35178/Annemarie-Kocab-Harvard or contact Dean McHugh at d.m.mchugh at uva.nl.
18 March 2021, STiHAC Joint Meeting, Robert Schütz / David de GraafSpeaker: Robert Schütz (Amsterdam) / David de Graaf (Amsterdam)Title: Multiverses with more than two modal logics of forcing, Part II / A partition calculus in set theoryLocation: Online via Zoom
18 March 2021, Logic and Interactive Rationality (LIRa), Yuri David SantosSpeaker: Yuri David SantosTitle: Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and PeerhoodLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/02/lira-session-yuri-david-santos-2/.
17 March 2021, Cool Logic, Alex KeizerSpeaker: Alex KeizerTitle: Session Coalgebra: Using State-based Systems to Describe Communication ProtocolsLocation: Online (Zoom)
Type systems are a useful tool to prevent programmers from making obvious mistakes, but they are generally quite limited in what they can describe. We've taken a look at a session types, a type system aimed at describing communication protocols, and checking that programs adhere to these protocols. Where previous work on session types has treated them as syntactical objects, we find that protocols have a natural notion of state and characterize them as coalgebras, i.e., state-based machines. In doing so, we retrieve natural definitions for type-equivalence, subtyping and duality of types as coinductive relations between states. In my talk I'll explain what session types are and present our syntax-free description of protocols as states of a coalgebra (without assuming prior knowledge of coalgebras).
Zoom Meeting ID: 878 6558 7983 (link: https://uva-live.zoom.us/j/87865587983)
17 March 2021, Algebra|Coalgebra Seminar, Sara NegriSpeaker: Sara Negri (Università degli Studi di Genova)Title: A proof-theoretic approach to formal epistemology (joint work with Edi Pavlović)Location: Online (Zoom Meeting ID 922-5064-0302)
17 March 2021, Proof Theory Virtual Seminar, Andreas WeiermannSpeaker: Andreas Weiermann (Ghent)Title: Notation systems for natural numbers and Goodstein sequencesLocation: Online via Zoom
16 March 2021, EXPRESS/PhilMath Seminar Postponed
Originally scheduled speaker: Justin Clarke-Doane (Columbia) on "Russell’s Regressive Method in Mathematics and Philosophy"
15 March 2021, Causal Inference Lab, Niels Skovgaard-OlsenSpeaker: Niels Skovgaard-OlsenTitle: Conditionals and the Hierarchy of Causal QueriesLocation: Online, via ZoomFor more information, see http://projects.illc.uva.nl/cil/page_Events/event/39/Talk-by-Niels-Skovgaard-Olsen-Göttingen-.
12 March 2021, Philosophy of Mathematics (Φ-Math) Reading GroupTitle: Debate: Is the universe a mathematical object?Location: Online via Zoom
11 March 2021, Logic and Interactive Rationality (LIRa), Valentin GorankoSpeaker: Valentin GorankoTitle: The temporal logic of coalitional goal assignments in concurrent multi-player gamesLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/01/lira-session-valentin-goranko-2/.
10 March 2021, SMART Cognitive Science Live Interviews, Sonja SmetsSpeaker: Sonja SmetsLocation: Online via Zoom
Prof. dr. Sonja Smets (Institute for Logic, Language and Computation):
"When agents learn new information they have to be very careful, because the fact of learning information may interfere with the reality that is being learned."
Interviewed by: Dr. J. Ashley Burgoyne (Amsterdam Music Lab).
Zoom link: https://uva-live.zoom.us/j/82520968502For more information, see http://smartcs.uva.nl/.
9 March 2021, Machine learning, logic, and structured knowledge, Balder ten CateSpeaker: Balder ten Cate (Google Research)Location: Online via Zoom
Over the last decade, advances in machine learning have taken the computer science community by storm, enabling new applications and pushing the envelope on existing ones. Even on tasks that are traditionally viewed as falling in the domain of logical reasoning (e.g., reading comprehension tasks), deep neural models are now the state-of-the-art. Furthermore, logic and learning are perceived by some as being distinct or even opposing approaches. At the same time, while various algorithmic and hardware limitations that inhibited deep learning solutions in the past have been successfully addressed, other fundamental problems arise, such as problems concerning fairness, explainability, and controllability. In this talk, I will discuss a few problems at the intersection of machine learning and logic, including providing deep models with means to access structured knowledge.
Zoom link: https://uva-live.zoom.us/j/82670894282For more information, see https://research.google/people/107268/.
9 March 2021, The Utrecht Logic in Progress Series (TULIPS), Lucas RosenblattSpeaker: Lucas RosenblattTitle: Recapture Results and Classical LogicLocation: Online
This talk will take place on Microsoft Teams. Contact the organizer for more details.
5 March 2021, Philosophy of Mathematics (Φ-Math) Reading GroupTitle: Φ-Tea III: Your most and least favorite aspects of PoMLocation: Online via Zoom
5 March 2021, DIP Colloquium, Matthew MandelkernSpeaker: Matthew Mandelkern (NYU)Title: WitnessesLocation: Online, via ZoomFor more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35174/Matthew-Mandelkern.
4 March 2021, STiHAC Joint Meeting, Luke GardinerSpeaker: Luke Gardiner (Cambridge)Title: Infinite exponent partition relations on the reals, Part IILocation: Online via Zoom
4 March 2021, Logic and Interactive Rationality (LIRa), Frederik Van De PutteSpeaker: Frederik Van De PutteTitle: The Problem of No Hands: Responsibility Voids in Collective DecisionsLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/01/lira-session-frederik-van-de-putte/.
4 March 2021, Computational Social Choice Seminar, Adrian HaretSpeaker: Adrian Haret (ILLC)Title: Learning in Social Networks: Naïve Rules and the Wisdom of CrowdsLocation: Online via Zoom
Zoom link: http://bit.ly/comsoc-illc-21-03-04
3 March 2021, Proof Theory Virtual Seminar, Dale MillerSpeaker: Dale Miller (Paris)Title: A proof-theoretic approach to formalLocation: Online via Zoom
3 March 2021, Algebra|Coalgebra Seminar, Daniyar ShamkanovSpeaker: Daniyar Shamkanov (Steklov Mathematical Institute)Title: On cut-elimination for the Grzegorczyk modal logicLocation: Online (Zoom Meeting ID 922-5064-0302)
26 February 2021, Philosophy of Mathematics (Φ-Math) Reading Group, Anna BellomoSpeaker: Anna BellomoTitle: Bernard Bolzano's Philosophy of MathematicsLocation: Online via Zoom
26 February 2021, Meaning, Logic, and Cognition (MLC) Seminar, Ciyang QingSpeaker: Ciyang QingTitle: Neg-raising and responsivityLocation: Online, via ZoomFor more information, see http://projects.illc.uva.nl/LoLa/MLC-Seminar/event/35172/Ciyang-Qing.
26 February 2021, PhD defense, Hadi HashemiTitle: Modeling Users Interacting with Smart DevicesLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Jaap Kamps and Wim Hupperetz
26 February 2021, Master of Logic defense, Pepijn VrijbergenTitle: Validity, Logic and ModelsLocation: Online (Closed Session)Supervisor: Michiel van Lambalgen
25 February 2021, STiHAC Joint Meeting, Lucas Wanser & Ned WontnerSpeaker: Lucas Wanser (Hamburg) & Ned Wontner (Amsterdam)Title: Borel and projective pointclasses with no choice at allLocation: Online via Zoom
25 February 2021, Logic and Interactive Rationality (LIRa), Sven RosenkranzSpeaker: Sven RosenkranzTitle: To be in no position to know to be in no position to know: methods, safety, and luminosityLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2020/12/lira-session-sven-rosenkranz/.
25 February 2021, CoSaQ seminar, Heming Strømholt BremnesSpeaker: Heming Strømholt BremnesTitle: Computational Complexity Explains Neural Differences in Quantifier VerificationLocation: Online via Zoom
23 February 2021, Computational Linguistics Seminar, Svitlana VakulenkoSpeaker: Svitlana Vakulenko (University of Amsterdam)Title: Conversational Question Answering at ScaleLocation: Online via Zoom
19 February 2021, Philosophy of Mathematics (Φ-Math) Reading GroupTitle: Conceptions of the Continuum, by Solomon FefermanLocation: Online via Zoom
18 February 2021, STiHAC Joint Meeting, Robert SchützSpeaker: Robert Schütz (Amsterdam)Title: Multiverses with more than two modal logics of forcingLocation: Online via Zoom
18 February 2021, Logic and Interactive Rationality (LIRa), Marija SlavkovikSpeaker: Marija SlavkovikTitle: Conflicts in machine ethicsLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/01/lira-session-marija-slavkovik/.
17 February 2021, Cool Logic, Paul Maurice Dekker / Giovanni CinaSpeaker: Paul Maurice Dekker / Giovanni CinaTitle: Shuffling Pennies / Pacmed InternshipsLocation: Zoom
The student-run ILLC talk series Cool Logic has been revived and will, for the first time this year, take place on Wednesday, Feb 17 in the time slot that is usually occupied by the MoL Graduation Trajectory. There will be a talk by Paul Maurice Dekker (abstract below), followed by a round of questions and discussion. Afterwards, there will be a presentation by Giovanni Cina on internship opportunities at the Amsterdam-based company Pacmed.
Zoom link: https://uva-live.zoom.us/j/81396779133
17 February 2021, Algebra|Coalgebra Seminar, Philip KremerSpeaker: Philip Kremer (University of Toronto)Title: Strong Completeness in Topological SemanticsLocation: Online (Zoom Meeting ID 922-5064-0302)
17 February 2021, Proof Theory Virtual Seminar, Keita YokoyamaSpeaker: Keita Yokoyama (JAIST)Title: Forcing interpretation, conservation and proof sizeLocation: Online via Zoom
16 February 2021, EXPRESS/PhilMath Seminar, Greg RestallSpeaker: Greg Restall (Melbourne)Title: An Inferentialist Account of Identity and ModalityLocation: Online
This semester, the EXPRESS Seminar is joining forces with the PHILMATH Seminar in Paris. Our first speaker will be Greg Restall on "An Inferentialist Account of Identity and Modality".
12 February 2021, Philosophy of Mathematics (Φ-Math) Reading Group, Pieter AdriaansSpeaker: Pieter AdriaansTitle: Φ-Tea IV: An Information Theoretical Perspective on the Separation of the classes P and NPLocation: Online via Zoom
The P vs. NP problem, one of the seven Millenium Problems, is one of the most relevant unsolved questions in theoretical computer science. The progress in the last decade, however, has been little. Can information theory and philosophy of information provide new insights as to why these classes should be distinct (or the same)? Pieter Adriaans will be offering a talk on the subject, followed by a discussion.
11 February 2021, STiHAC Joint Meeting, Raiean BanerjeeSpeaker: Raiean Banerjee (Hamburg)Title: Regularity properties in iterations of length ℵ1Location: Online via Zoom
11 February 2021, Logic and Interactive Rationality (LIRa), Elise PerrotinSpeaker: Elise PerrotinTitle: Knowledge “whether” and belief “about” as a lightweight alternative to Dynamic Epistemic LogicLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/01/lira-session-elise-perrotin/.
11 February 2021, Celebration of CWI's 75th birthdayLocation: 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.
14.10 Breakout sessions round 1: Daniel Dadush, Marten van Dijk, Benjamin Sanderse, Irene Viola
14.40 Ton de Kok
15.10 Breakout sessions round 2: Peter Bosman, Stacey Jeffery, Lisa Kohl, Hannes Muhleisen
15.40 Jos Baeten
16.00 Comedian Adam Fields
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 kollerie at cwi.nl.
11 February 2021, CoSaQ seminar, Fausto CarcassiSpeaker: Fausto CarcassiTitle: The Shape of Modified NumeralsLocation: Zoom
11 February 2021, Faces of Science Park: Sense of Belonging in Times of CrisisLocation: Online
On 11 February 2021, it’s time for ‘Faces of Science Park: Sense of Belonging in Times of Crisis’. On this day we will reflect on the diversity within the Faculty of Science and within the university. On this day, we welcome students and staff of the Faculty of Science to talk and think about diversity.
9 February 2021, The Utrecht Logic in Progress Series (TULIPS), Emil JerabekSpeaker: Emil Jerabek (Czech Academy of Sciences)Title: Disjunction properties in modal proof complexityLocation: Online
This talk will take place in Microsoft Teams. Please contact the organizer for information about how to join the talk.
5 February 2021, Philosophy of Mathematics (Φ-Math) Reading GroupTitle: Gödel's Incompleteness Theorems, Free Will and Mathematical Thought, by Solomon FefermanLocation: Online via Zoom
5 February 2021, Meaning, Logic, and Cognition (MLC) Seminar, Robert van RooijSpeaker: Robert van RooijTitle: Conditionals: causality and relevanceLocation: Online, via ZoomFor more information, see http://projects.illc.uva.nl/LoLa/MLC-Seminar/event/35170/Robert-van-Rooij.
4 February 2021, STiHAC Joint Meeting, Luke GardinerSpeaker: Luke Gardiner (Cambridge)Title: Infinite exponent partition relations on the realsLocation: Online via Zoom
4 February 2021, Logic and Interactive Rationality (LIRa), Sophia KnightSpeaker: Sophia KnightTitle: Reasoning about agents who may know other agents’ strategies in Strategy LogicLocation: onlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2021/01/lira-session-sophia-knight/.
4 February 2021, NWO Synergy '21Location: 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.
3 February 2021, Proof Theory Virtual Seminar, Sara NegriSpeaker: Sara Negri (Genova)Title: A proof-theoretic approach to formal epistemologyLocation: Online via Zoom
3 February 2021, Logic of Conceivability seminar, Thomas FergusonSpeaker: Thomas FergusonTitle: Rethinking Griss’ Negationless Intuitionistic MathematicsLocation: Virtually (Zoom)For more information, see http://projects.illc.uva.nl/conceivability/News/article/134/Thomas-Ferguson.
3 February 2021, Algebra|Coalgebra Seminar, Alexandra SilvaSpeaker: Alexandra Silva (University College London)Title: Guarded Kleene Algebra with Tests: Coequations, Coinduction, and CompletenessLocation: Online (Zoom Meeting ID 922-5064-0302)
29 January 2021, Philosophy of Mathematics (Φ-Math) Reading Group, Dean McHughSpeaker: Dean McHughTitle: Φ-Tea: Newcomb's ParadoxLocation: Online via Zoom
29 January 2021, Master of Logic defense, Daniël LouwrinkTitle: A Separation Logic for Stacked BorrowsLocation: Online (Closed Session)Supervisor: Alban PonseMentor: Ronald de Wolf
28 January 2021, STiHAC Joint Meeting, Robert PaßmannSpeaker: Robert Paßmann (Cambridge & Amsterdam)Title: A categorical model for Heyting arithmeticLocation: Online via Zoom
28 January 2021, Logic and Interactive Rationality (LIRa), Claudia Fernández-FernándezSpeaker: Claudia Fernández-FernándezTitle: Awareness in Logic and EpistemologyLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2020/12/lira-session-claudia-fernandez-fernandez/.
28 January 2021, CoSaQ seminar, Lorenzo PintonSpeaker: Lorenzo PintonTitle: A few surprising data on surprisingly fewLocation: Zoom
26 January 2021, The Utrecht Logic in Progress Series (TULIPS), Francesca PoggiolesiSpeaker: Francesca Poggiolesi (Paris 1, CNRS, IHPST)Title: Explanatory proofs (or grounding proofs): philosophical framework, core ideas and resultsLocation: Online
This talk will take place online in MS Teams, please contact the organizers for more information.
26 January 2021, BIAS project meeting, Prachi SolankiSpeaker: Prachi SolankiTitle: Judgements of Social GroupsLocation: Zoom (contact Katrin for the link)
A stereotype is a generalization about a class of people but does not necessarily represent every individual with the group (McCauley, Stitt, & Segal, 1980). Category information (i.e., stereotype information) is often used to make probabilistic predictions about people within a particular group. For instance, a probabilistic judgement about Germans would be that, “Germans are more likely than other people to be efficient.” Here we are making a prediction about an individual’s personality (i.e., efficiency) based on their group membership (i.e., German). McCauley and Stitt (1978) suggest that people are accurately Bayesian in their judgements and tend to make probabilistic judgements about people’s personality based on stereotype information. The current project aims to replicate the original McCauley and Stitt (1978) work to test whether stereotype prediction from category information to personality adheres to Bayes’ rule.For more information, see https://bias-barometer.github.io/seminars_posts/judgement-of-social-groups/ or contact Katrin Schulz at k.schulz at uva.nl.
22 January 2021, Philosophy of Mathematics (Φ-Math) Reading GroupTitle: Reading Meeting: Why Philosopher Should Care about Computational Complexity, by Scott AaronsonLocation: Online via Zoom
21 January 2021, STiHAC Joint Meeting, Dominik WehrSpeaker: Dominik Wehr (Amsterdam)Title: Aczel's Type-Theoretic Interpretation of Constructive Zermelo-Fraenkel Set TheoryLocation: Online via Zoom
21 January 2021, Logic and Interactive Rationality (LIRa), Rafał GruszczyńskiSpeaker: Rafał GruszczyńskiTitle: Galileo’s thought experiment in mereological settingLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2020/12/lira-session-rafal-gruszczynski/.
20 January 2021, Proof Theory Virtual Seminar, Georg MoserSpeaker: Georg Moser (Innsbruck)Title: Herbrand Complexity and Hilbert's Epsilon CalculusLocation: Online via Zoom
19 January 2021, Computational Linguistics Seminar, Douwe KielaSpeaker: Douwe Kiela (Facebook AI Research)Title: Rethinking Benchmarking in AI
15 January 2021, Philosophy of Mathematics (Φ-Math) Book PresentationTitle: Luca Incurvati's 'Conceptions of Set and the Foundations of Mathematics'Location: Online via Zoom
Our Philosophy of Mathematics Reading Group has the honor to start 2021 by hosting Luca Incruvati presenting his 2020 book 'Conceptions of Set and the Foundations of Mathematics' published by the Cambridge University Press. The book is accessible from the UvA Library.
Book Summary: Sets are central to mathematics and its foundations, but what are they? In this book Luca Incurvati provides a detailed examination of all the major conceptions of set and discusses their virtues and shortcomings, as well as introducing the fundamentals of the alternative set theories with which these conceptions are associated. He shows that the conceptual landscape includes not only the naïve and iterative conceptions but also the limitation of size conception, the definite conception, the stratified conception and the graph conception. In addition, he presents a novel, minimalist account of the iterative conception which does not require the existence of a relation of metaphysical dependence between a set and its members. His book will be of interest to researchers and advanced students in logic and the philosophy of mathematics.
14 January 2021, World-Logic-Day Lecture, Moshe VardiSpeaker: Moshe VardiTitle: "From Aristotle to the iPhone" (WLD 2021 event)Location: Virtual
Abstract: Logic started as a branch of philosophy, going back to Greeks, who loved debates, in the classical period. Computers are relatively young, dating back to World War II, in the middle of the 20th century. This talk tells the story of how logic begat computing, tracing the surprising path from Aristotle to the iPhone. This is a story full of both intellectual drama, as well as real-life drama, with most of the characters dying young, miserable, or both.
The talk is part of a series of World Logic Day events and is aimed at a general audience.
The talk is now available online at https://www.youtube.com/watch?v=wOQuW6QFdos&feature=youtu.beFor more information, see https://events.rice.edu/#!view/event/event_id/155303.
14 January 2021, Logic and Interactive Rationality (LIRa), Brian LoganSpeaker: Brian LoganTitle: Intention Progression in Multi-Agent SettingsLocation: OnlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2020/12/lira-session-brian-logan/.
12 January 2021, The Utrecht Logic in Progress Series (TULIPS), Raheleh JalaliSpeaker: Raheleh Jalali (Utrecht)Title: On Hard TheoremsLocation: Online
This talk will take place in Microsoft Teams. Please contact the organizers in order to be added to the TULIPS 'team'.
9 January 2021, Philosophy of Mathematics (Φ-Math) Reading GroupTitle: Towards a Philosophy of Music, by Iannis XenakisLocation: Online via Zoom
6 January 2021, Algebra|Coalgebra Seminar, Jason ParkerSpeaker: Jason Parker (Brandon University)Title: Isotropy Groups of Quasi-Equational TheoriesLocation: Online (Zoom Meeting ID 922-5064-0302)
Calls for Paper
19 - 23 September 2022, International School on Rewriting (ISR 2022), Tbilisi, GeorgiaLocation: Tbilisi, GeorgiaDeadline: Saturday 15 January 2022
Rewriting is a powerful model of computation that underlies much of declarative programming and is ubiquitous in mathematics, logic, theorem proving, verification, model-checking, compilation, biology, chemistry, physics, etc. The 13th International School on Rewriting, ISR 2022 will be part of Computational Logic Autumn Summit and is scheduled to be held September 19-23, 2022 in Tbilisi, Georgia. The school is aimed at Master and PhD students, researchers and practitioners interested in the use or the study of rewriting and its applications.
We invite proposals for courses in the Advanced Track. If you are interested in giving a lecture in the advanced track, send us a mail before December 15, 2022 with the following informations: - a title, - an abstract, - an outline of the lecture, - some bibliographical references, - an expected duration.
8 - 19 August 2022, 33rd European Summer School in Logic, Language and Information (ESSLLI 2022), Galeway, IrelandLocation: Galeway, IrelandDeadline: Tuesday 15 June 2021
Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school will be virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.
The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.
Proposals for courses and workshops at ESSLLI 2022 are invited in all areas of Logic, Linguistics and Computer Sciences. Cross-disciplinary and innovative topics are particularly encouraged.
Course proposals should fall under one of the categories Foundational Courses, Introductory Courses, Advanced Courses or Workshops. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposals for two-week courses should be structured and submitted as two independent one-week courses, e.g. as an introductory course followed by an advanced one.
31 July - 12 August 2022, The Eighth Federated Logic Conference (FLoC 2022), Haifa, IsraelLocation: Haifa, IsraelDeadline: Monday 27 September 2021
The Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops:
- FSCD (7th International Conference on Formal Structures for Computation and Deduction)
- ITP (13th International Conference on Interactive Theorem Proving)
- IJCAR (International Joint Conference on Automated Reasoning)
Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal must indicate one affiliated conference of FLoC 2022.
Each proposal should consist of an organisational part, and a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). It is strongly suggested that prospective workshop organizers contact the relevant conference workshop chair before submitting a proposal.
31 July - 8 August 2022, 38th International Conference on Logic Programming (ICLP 2022), Haifa, IsraelLocation: Haifa, IsraelDeadline: Friday 14 January 2022
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Besides the main track, ICLP 2022 will host additional tracks and special sessions:
- Applications Track
- Recently Published Research Track
- Doctoral Consortium (DC) and Mentoring Sessions
- Tutorials and Co-located Workshops.
ILCP 2022 will be part of FLOC 2022.
Contributions are sought in all areas of logic programming, including but not restricted to Foundations, Languages issues, Programming support, Implementation, Related Paradigms and Synergies, and Applications.
All papers submitted for the Main Track or the Application Track must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. Regular papers (14 pages) will be published in Theory and Practice of Logic Programming Journal (TPLP), while Short papers (7 pages) will be published in the Technical Communication Proceeding (TC) published by Electronic Proceedings in Theoretical Computer Science (EPTCS). Submissions for the Recently Published Research Track should be Extended abstract (2 or 3 pages) describing previously published research (from January 2020 onwards) in selective journals and conferences, but that have not been previously presented at ICLP.
14 - 18 July 2022, 13th Panhellenic Logic Symposium (PLS13), Volos (Greece) or VirtualLocation: Volos (Greece) or VirtualDeadline: Friday 26 March 2021
The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.
PLS13 will have Special Sessions on Computer Science and Philosophical Logic, as well as Tutorials, Invited and Contributed Talks, a Poster Session and a Mentoring Session.
The meeting is postponed to July 2022, due to the uncertainties related to the pandemic. Exact dates will be decided at a later stage.
The Scientific Committee cordially invites all researchers in the areas of the conference to submit their papers for presentation at PLS13. Areas of interest include (but are not limited to): Computability Theory, History and Philosophy of Logic, Logic in Computer Science, Model Theory, Nonclassical and Modal Logics, Proof Theory and Set Theory. All submitted papers will be reviewed by the Scientific Committee of the symposium, who will make final decisions on acceptance.
Graduate students and young researchers are invited to submit a short abstract on work in progress that may not be ready for a regular contributed talk. Those accepted will be able to present their work in poster form in a special poster session. The session will also feature a mentoring component whereby senior researchers will discuss the posters and provide feedback to student participants.
11 - 15 July 2022, 19th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2022), Milan, ItalyLocation: Milan, ItalyDeadline: Friday 14 January 2022
The IPMU Conference is organized every two years since 1986 with the focus of bringing together scientists working on methods for the management of uncertainty and aggregation. It also provides a forum for the exchange of ideas between theoreticians and practitioners in these and related areas.
The conference includes keynote talks by Tomaso A. Poggio, César A. Hidalgo and Marianne Huchard, and various special sessions including one on 'Mathematical Fuzzy Logics: Modalities, Quantifiers and Uncertainty'.
IPMU’2022 seeks original research contributions of a theoretical and methodological nature as well as application-oriented contributions. Leading researchers and practitioners are invited to submit their papers to the conference.
13 - 17 June 2022, 5th SILFS Postgraduate Conference on Logic & Philosophy of Science, Milan, ItalyLocation: Milan, ItalyDeadline: Friday 31 December 2021
We are pleased to announce that the 5th SILFS Postgraduate Conference on Logic and Philosophy of Science will be entirely devoted to young researchers. The aim of the conference is to gather young researchers working in the field of logic and philosophy of science and offer them the opportunity to present and discuss their papers in an informal and stimulating environment.
The conference is divided into eight sessions, namely:
1) Philosophy of Biology and Health Sciences
2) Philosophy of Mind and Cognitive Science
3) Foundations of Computing and Artificial Intelligence
4) Classical and Non-Classical Logics
5) Philosophy and Foundations of Physics
6) Foundations of Logic and Mathematics
7) Philosophy of Social Sciences
8) General Philosophy of Science
We invite submissions in the aforementioned areas of research from PhD students or scholars who completed their PhD in the last 5 years. In the case of a co-authored paper, at least one of the authors must be a PhD student or a scholar who completed her/his PhD in the last 5 years; only those meeting this requirement are eligible to submit the abstract. The best presentation of each of the eight sessions, selected by the Scientific and Organizing Committees, will be awarded during the last day of the Conference.For more information, see http://silfs2022.unimib.it.
24 - 27 May 2022, 14th NASA Formal Methods Symposium (NFM 2022), Pasadena CA (U.S.A.) or virtualLocation: Pasadena CA (U.S.A.) or virtualDeadline: Friday 3 December 2021
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. The focus of the symposium will be on formal/rigorous techniques for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace during all stages of the software life-cycle.
The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Research Group, composed of researchers spanning six NASA centers. The organization of NFM 2022 is being led by the Jet Propulsion Laboratory (JPL), located in Pasadena, California. The symposium is planned to be held in person at California Institute of Technology, but potentially transitioning to fully virtual if the COVID situation persists. Virtual presentations will be possible even if the conference is held in-person.
There are two categories of submissions: Regular papers describing fully developed work and complete results (maximum 15 pages, excluding references) and Short papers on tools, experience reports, or work in progress with preliminary results (maximum 6 pages, excluding references). Additional appendices can be submitted as supplementary material for reviewing purposes. They will not be included in the proceedings. All papers must be in English and describe original work that has not been published.
Authors are encouraged, but not strictly required, to submit artifacts that support the conclusions of their work (if allowed by their institutions). Artifacts may contain software, mechanized proofs, benchmarks, examples, case studies and data sets. Artifacts will be evaluated by the Program Committee together with the paper.
Courageous authors, who want to delve in open source software being applied in real NASA missions, and find possible connections to and applications of Formal Methods, are invited to visit the open source repositories for the 'F' and 'cFS' frameworks for programming flight software.
9 - 13 May 2022, 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2022), Auckland, New ZealandLocation: Auckland, New ZealandDeadline: Friday 1 October 2021
AAMAS (International Conference on Autonomous Agents and Multiagent Systems) is the largest and most influential conference in the area of agents and multiagent systems. The aim of the conference is to bring together researchers and practitioners in all areas of agent technology and to provide a single, high-profile, internationally renowned forum for research in the theory and practice of autonomous agents and multiagent systems.
We welcome the submission of technical papers describing significant and original research on all aspects of the theory and practice of autonomous agents and multiagent systems. AAMAS-2022 will also feature three special tracks, the Blue Sky Ideas Track, the JAAMAS Track, and the Demo Track, each with a separate Call for Papers.
6 - 11 April 2022, Workshop on Hybrid Logic and Applications (HyLo 2022)Location: Crete, GreeceTarget audience: Logicians (computational, philosophical, mathematical)Costs: See Unilog web siteDeadline: Saturday 9 October 2021
Hybrid logic is a branch of modal logic in which it is possible to directly refer to worlds/times/states or whatever the elements of the (Kripke) model are meant to represent.
Hybrid logic is now a mature field with significant impact on a range of other fields, including
- applied modal logics,
- temporal logic,
- labelled deduction,
- philosophy of time, and
- social reasoning.
The scope of the workshop is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power.
The duration of the workshop is a half day or one day and it will take place at some point during the UNILOG congress, April 6-11, 2022.
We welcome contributions to the the theory and applications of hybrid logic. To submit a contribution, send a one-page abstract to both organizers of the workshop. Please write "HyLo submission" in the subject field. Depending on the quality of the abstracts, there might be a follow-up special issue of a journal, with a separate refereeing round.For more information, see https://sites.google.com/view/unilog-2022/workshops/hybrid-logic or contact Torben Braüner at torben at ruc.dk, or Patrick Blackburn at patrick.rowan.blackburn at gmail.com.
6 - 11 April 2022, UNILOG Workshop "Logic(s) in Defective Science", Crete, GreeceLocation: Crete, GreeceDeadline: Saturday 9 October 2021
This workshop is devoted to exploring connections between non-classical logics and the rational use of defective information in the sciences, as well as the inferential practices in the sciences?particularly, those which make use of defective information. *Keynote speakers: *Gerhard Schurz (Universität Düsseldorf), Michèle Friend (Université Lille Nord-Europe/The George Washington University) and Diderik Batens (Universiteit Gent).
The workshop welcomes formal and informal contributions on the different ways to explain and understand defective information in the sciences. To submit a contribution, please send a one-page abstract (plus references) prepared for blind review.For more information, see https://sites.google.com/view/unilog-2022/workshops/logics-in-defective-science or contact defective.science at gmail.com.
2 - 7 April 2022, 25th European Joint Conferences on Theory and Practice of Software (ETAPS 2022), Munich, Germany (Hybrid)Location: Munich, Germany (Hybrid)Deadline: Thursday 14 October 2021
ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences, accompanied by satellite workshops:
- ESOP: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FoSSaCS: Foundations of Software Science and Computation Structures
- TACAS: Tools and Algorithms for the Construction and Analysis of Systems
A number of satellite workshops and other events will take place before the main conferences. In particular, there will be a PhD student mentoring workshop organized by Caterina Urban, Wolfgang Ahrendt and Gidon Ernst. TACAS '22 will host the 11th Competition on Software Verification (SV-COMP).
The four main conferences of ETAPS 2022 solicit contributions of the following types: ESOP: regular research papers of max 25 pp; FASE: regular research papers and empirical evaluation papers of max 18 pp, new ideas and emerging results (NIER) papers of max 8 pp, tool demonstration papers of max 6 pp (+ mandatory appendix of max 6 pp); FoSSaCS: regular research papers of max 18 pp; TACAS: regular research papers, case study papers and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp. All page limits are given excluding the bibliography.
For definitions of the different paper types and specific instructions, where they are present, see the webpages of the individual conferences. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is also forbidden.For more information, see https://etaps.org/2022.
1 - 11 April 2022, 7th World Congress and School on Universal Logic (UNILOG 2021), Chania/Crete (Greece)Location: Chania/Crete (Greece)Deadline: Tuesday 21 September 2021
UNILOG is a series of events (combining a congress and a school) promoting logic in all its aspects (mathematical, philosophical, computational, semiological, historical), as well as the relation between logic and other fields.
Due to the pandemic the organizers have decided to postpone the 7th edition of UNILOG to spring 2022. The event will take place at the Orthodox Academy of Crete, with a school (April 1-5) and a congress (April 6-11) . The school will feature an opening round table on the topic "Why study logic?", 30 tutorials, and a poster session, The congress will include a series of Workshops on different themes encompassing all aspects of logic, the World Logic Prizes Contest and a Secret Speaker.Talks related to any aspect of logic are welcome, as are proposals for tutorals for the school related to any aspect of logic.You can submit an abstract either for the general session or for a specific workshop.For more information, see https://sites.google.com/view/unilog-2022/.
1 - 3 April 2022, 3rd Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning (TLLM III)Location: Beijing, China (Online)Deadline: Saturday 20 November 2021
The Third Tsinghua Interdisciplinary Workshop in Logic, Language and Meaning) will be held on April 1–3, 2022. This workshop aims to bring together Chinese and international scholars from various disciplines, in particular logic, linguistics, and philosophy, who are working in areas related to natural language semantics.
We invite submissions of 2-page abstracts (including references) on any of the broad themes related to dynamics in logic and language as suggested above. After a review procedure, authors of accepted abstracts will have the opportunity to present their papers at the workshop. After the workshop, a volume of full papers (properly refereed) will be published in the Springer LNCS – FoLLI series. Details on submission of full papers will follow.
Abstracts should be submitted via Easychair: https://easychair.org/conferences/?conf=tllm2022
The workshop is planned to take place on site at Tsinghua University, Beijing. If travel restrictions still make this difficult, we plan to postpone it until the fall of 2022, and/or hold the workshop online.
17 - 18 March 2022, Bilateralism and Proof-Theoretic Semantics, Ruhr University BochumLocation: Ruhr University BochumTarget audience: PhD students and early Post-DocsDeadline: Sunday 28 November 2021
The topic of bilateralism - situated in the area of proof-theoretic semantics - has received considerable attention in the area of philosophical logic within the past years. According to proof-theoretic semantics the meaning of the logical connectives is determined by the rules of inference governing their use in proofs. In this context bilateralism demands an equal consideration of dual concepts like truth and falsity, assertion and denial, or proof and refutation in that they should both be taken as primitive concepts, i.e. not reducible to each other. This conference aims at sharing and discussing the latest research in this area by bringing together both highly distinguished as well as early career researchers.
Invited Speakers: Nils Kürbis (University of Łódź & Ruhr University Bochum), Greg Restall (University of St. Andrews), David Ripley (Monash University), Luca Tranchini (University of Tübingen), Peter Verdée (UCLouvain) and Heinrich Wansing (Ruhr University Bochum).
Next to the presentations of the invited speakers the conference is supposed to give a number of early career researchers the opportunity to present their work in this area. Session times will be 40 min., divided into 30 min. for the presentation followed by 10 min. of discussion.
Therefore, PhD students and early Post-Docs are invited to submit an extended abstract on their research. To submit, send an anonymized abstract of 800-1000 words (excluding references) to bilateralismpts2022 at gmail.com.
Members of groups that are underrepresented in logic are especially encouraged to submit.
The deadline for abstract submission is November 28, 2021.
The notification of acceptance will be sent by January 16, 2022.
A special issue of Bulletin of the Section of Logic on the topic of the conference is planned in which full versions of selected papers will be published after an open call for papers.For more information, see here or at https://sites.google.com/view/conferencebilateralism2022/home or contact Sara Ayhan at sara.ayhan at rub.de.
14 - 18 March 2022, 10th International Conference on Non-Classical Logics, Theory & Applications (NCL'22), Łódź, PolandLocation: Łódź, PolandDeadline: Sunday 7 November 2021
The Conference - devoted to non-classical logics - was initially held in Łódź in September 2008 and 2009. The conference serves as a forum to effectively exchange novel results and to survey works in widely understood non-classical logics and their applications.This year's tenth edition of the Conference will be an occasion to celebrate the 50th anniversary of the logic journal Bulletin of the Section of Logic, established in 1971.
During this year's edition of the conference there will be two special sessions: a session devoted to formal ontology, broadly conceived, and a special session in memoriam J. Michael Dunn who passed away on April, 5, 2021.
Due to the current situation concerning COVID-19 and very uncertain predictions about what will happen in the autumn, after several consultations the organizers of the conference decided to postpone it until the year 2022. We want the event to keep its on-site character, which, however, requires that the pandemic is overcome. The conference date has been changed to 14-18.03.2022 and hopefully it will not have to be subject to further revision.
Participants are requested to submit their papers on all topics relevant to the conference. Topics of either theoretical or applied interest include, but are not limited to: many-valued logics, modal logics, non-monotonic logics, paraconsistent logics, plausible reasoning, substructural logics, contra-classical logics, relevant and connexive logics, and/or description logics. Contributions from other related areas such as: cognitive science, computer science, foundations of mathematics, philosophy of language, and/or philosophy of mind, are also welcome. Cross-cutting contributions are particularly welcome.
Articles should be in English, written in the EPTCS format. . They must not exceed 12 pages excluding references and clearly marked appendices.For more information, see http://ncl.uni.lodz.pl/.
13 - 20 March 2022, International Spring School on the History, Philosophy, & Sociology of Large Physics Experiments, Wuppertal, GermanyLocation: Wuppertal, GermanyCosts: E450,-Deadline: Sunday 19 December 2021
Large experiments such as the Large Hadron Collider (LHC), the Laser Interferometer Gravitational-Wave Observatory (LIGO), and the Event Horizon Telescope (EHT) play an essential role at the frontiers of contemporary fundamental physics. These experiments employ big research facilities, they probe nature at vast energy and length scales, they produce immense amounts of data, and they involve great numbers of researchers. During this Spring School we will explore large physics experiments from historical, philosophical, and sociological perspectives. We will discuss questions such as those arising from the history and philosophy of fundamental physics, the methodological challenges of big data, and the history and sociology of large research collaborations.
We invite up to 30 graduate students and early career researchers from history, philosophy, sociology, and physics to participate. The application process will be competitive and participants will be selected according to qualification and research interests.
A selection of participants will be given the opportunity to give short presentations of their own work as part of the school. The presentations will be followed by a commentary from a member of the Research Unit or one of the invited speakers. In case you intend to give a presentation, please include in your application the title of your talk, and a short abstract (between 300 and 500 words).For more information, see https://www.lhc-epistemologie.uni-wuppertal.de/events/spring-school-2022.html or contact springschool at uni-wuppertal.de.
20 February 2022, 22nd International Workshop on Logic and Computational Complexity, OnlineLocation: OnlineDeadline: Sunday 12 December 2021
LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. The program will consist of invited lectures as well as contributed talks selected by the Program Committee.
Submissions must be in English and in the form of an abstract of about 3-4 pages. All submissions should be submitted through Easychair. We also welcome submissions of abstracts based on work submitted or published elsewhere, provided that all pertinent information is disclosed at submission time. There will be no formal reviewing as is usually understood in peer-reviewed conferences with published proceedings. The program committee checks relevance and may provide additional feedback.
14 - 19 February 2022, CSL 2022: Computer Science Logic, Göttingen (Germany) & VirtualLocation: Göttingen (Germany) & VirtualDeadline: Monday 5 July 2021
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.
CSL'22 will be held on February 14 - 19, 2022, in Göttingen, Germany. Currently, we expect that the conference will be organized in a hybrid way: both with an in-presence component and an online component. Invited speakers: Annabelle McIver Macquarie (University, Sydney, Australia), Udi Boker (IDC Herzliya, Israel), Martin Escardo (University of Birmingham, UK), Rosalie Iemhoff (Utrecht University, The Netherlands) and Karen Lange (Wellesley College, USA).
Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal.
Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC.
4 - 6 February 2022, ICAART Special Session on "Natural Language Processing in Artificial Intelligence" (NLPinAI 2022), OnlineLocation: OnlineDeadline: Friday 26 November 2021
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.
Prospective authors are invited to submit papers in any of the conference topics. Guidelines and instructions for preparing the manuscript (in Word and Latex formats) are available at the confernce website. Papers must be submitted electronically via the web-based submission system.
All accepted papers will be published in a special section of the conference proceedings book - under an ISBN reference and on digital support and be made available at the SCITEPRESS Digital Library. We expect a Special Issue with extended publications based on selected papers presented at NLPinAI 2022 at ICAART 2022.
20 - 21 January 2022, The Sixth Image Schema Day Workshop, Joenkoeping, SwedenLocation: Joenkoeping, SwedenDeadline: Friday 10 December 2021
In broad terms, image schemas are spatiotemporal relationships between objects and agents that are learned in early infancy such as containment, support and linkage. These relationships are hypothesised to construct the information skeleton found in object affordances, linguistic and artistic metaphors, the conceptualisation of event segmentation and analogical reasoning. Traditionally studied in cognitive linguistics, these abstract patterns gained increased interest to solve some of the semantic grounding issues in AI and cognitive robotics, but are also a familiar sight in interaction design, art and literary analysis, developmental psychology, and gesture interpretation, to name but a few.
To offer a platform to discuss this topic across the disciplines, the workshop The Image Schema Day was born in 2015, and so far, it gathered researchers on five different occasions. The workshop is primarily a networking event that invites researchers on image schemas and related notions from a broad range of scientific disciplines to present their research and discuss ideas for future projects. After two years of hibernation, we are happy to announce that the Image Schema Day (ISD6) is returning in its sixth reincarnation: at a new venue, with new research, but with the same purpose. Unlike many other workshops focused on different topics in one discipline or using one methodology, the ISD6 invites researchers from all disciplines and methodologies but focuses on one topic.
The workshop accepts three forms of submissions: Abstracts for presentation (2 pages), Extended abstracts (at least 5 pages) of either preliminary work and ideas or summaries of previously published articles, and Research papers (5-10 pages) discussing novel research not published (or under review) at another venue.
Topics of interests with (the broadest of interpretation of) an image-schematic focus include, but are not limited to conceptual metaphors, affordances, spatiotemporal reasoning, force dynamics, conceptual modelling, embodied and spatial cognition, general artificial intelligence, commonsense reasoning, analogical reasoning, cognitive robotics, interface design, art and literature analysis.For more information, see https://imageschema.net/image-schema-day.
17 - 18 January 2022, Conference on Certified Programs & Proofs (CPP 2022), Philadelphia PA (U.S.A.) with Virtual optionsLocation: Philadelphia PA (U.S.A.) with Virtual optionsDeadline: Thursday 16 September 2021
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education.
CPP 2022 will be co-located with POPL 2022 in Philadelphia, Pennsylvania, United States. CPP 2022 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
CPP 2022 will welcome contributions from all members of the community. The CPP 2022 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2022 organizers. We welcome submissions in research areas related to formal certification of programs and proofs. Submissions must be written in English and provide sufficient detail to allow the program committee to assess the merits of the contribution. The submitted papers should not exceed 12 pages, including tables and figures, but excluding bibliography and clearly marked appendices.
12 - 16 January 2022, Symposium on Logic and Artificial Intelligence (SLAI-2022), VirtualLocation: VirtualDeadline: Monday 18 October 2021
The Symposium on Logic and AI (SLAI) is annually organized by the International Society for Logic and Artificial Intelligence in cooperation with research, development and educational organizations worldwide. SLAI is intended to add synergy to the efforts of researchers working on logic, AI, and their confluence. SLAI-2022 is devoted to the World Logic Day (January 14, 2022). Round tables are planned to ensure an open debate on the state of the art and new directions.
Collocated to SLAI-2022 events are
- Moldovan Prizes in Logic and Artificial Intelligence
- Romanian Prizes in Logic and Artificial Intelligence
- Ukrainian Seminar on Logic and its Applications
Any original contributions are welcome. Submitted papers are required to be 6-16 pages in English, and using the MFOI templates. Papers are submitted through EasyChair System. One author can submit at most 3 papers.
10 - 13 January 2022, Symposium on Logical Foundations of Computer Science (LFCS'22), Deerfield Beach, Florida, U.S.A. (Hybrid)Location: Deerfield Beach, Florida, U.S.A. (Hybrid)Deadline: Sunday 12 September 2021
The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science.
LFCS topics of interest include, but are not limited to: constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science.
Traditionally, LFCS symposia are located in the spectacular Wyndham Deerfield Beach Resort, Deerfield Beach, Florida. Because of the ongoing pandemic, we intend to have a hybrid meeting, to allow for both physical and virtual attendance, the details will be decided later.
Proceedings will be published in the Springer LNCS series. Submissions should be made electronically via easychair. Submitted papers must be in pdf/12pt format and of no more than 15 pages, present work not previously published, and must not be submitted concurrently to another conference with refereed proceedings.
A traditional post-conference volume of selected LFCS'22 papers will be published in the Journal of Logic and Computation in 2022.
LFCS issues the best student paper award named after John Barkley Rosser Sr. (1907-1989), a prominent American logician with fundamental contributions in both Mathematics and Computer Science.
10 - 15 January 2022, Workshop "Inceptiones & Receptiones": Ethnological, Philological, & Historical Approaches to Logic & Mathematics, VirtualLocation: VirtualDeadline: Wednesday 1 December 2021
This World Logic Day 2022 online event by the Peruvian Society for Epistemology and Logic will present ethnological, historical, philological, and similar approaches to the concepts and conceptions related to Logic and Mathematics.
Keynote lectures: Karine Chemla (Paris 7, FR), Ítala D’Ottaviano (Unicamp, BR), Caleb Everett (UMiami, USA), Evandro L. Gomes (Unicamp, BR), Manuel Medrano (St Andrews, UK), Graham Priest (CUNY, USA), Alejandro Secades (Filolab, UGR, ES) and Ivahn Smadja (Paris 7, FR).
We receive talks on any subject related to the topic of the event. Proposals should be submitted as abstracts (300-600 words) prepared for blind review; that is, they should omit any reference to the identity of the author, including names, institution, e-mail, etc. Abstracts should be sent prepared to blind review to dia.logica at spel.org.pe with subject *Ponencia*, indicating in the body of the message the name, affiliation, email of the author.
We also accept proposals for *round tables*. See more details on our website.
13 - 17 December 2021, Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021), Montpellier, France and OnlineLocation: Montpellier, France and OnlineTarget audience: researchers, academic peopleCosts: 20 EuroDeadline: Sunday 14 November 2021
Computational linguistics studies natural language in its various manifestations from a computational point of view, both on the theoretical level (modeling grammar modules dealing with natural language form and meaning, and the relation between these two) and on the practical level (developing applications for language and speech technology). Right from the start in the 1950s, there have been strong links with computer science, logic, and many areas of mathematics - one can think of Chomsky's contributions to the theory of formal languages and automata, or Lambek's logical modeling of natural language syntax. The symposium assesses the place of logic, mathematics, and computer science in present day computational linguistics. It intends to be a forum for presenting new results as well as work in progress.
The symposium focuses mainly on logical approaches to computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. We invite participation and submissions from other relevant approaches too, especially if they can inspire new work and approaches.
LACompLing2021 is part of the week "Mathematical Linguistics (MALIN) 2021"
We welcome submissions of abstracts of presentations of original work. The intended papers should not be submitted concurrently to another conference or conference event and should not have been published or submitted for publication consideration elsewhere. Authors can submit more than one abstract. Invited speakers can submit invited and contributed abstracts.For more information, see https://staff.math.su.se/rloukanova/LACompLing2021-web/ or contact Roussanka Loukanova at rl.stpuu at gmail.com.
8 - 10 December 2021, Workshop "Mathematics as/in Science", Gent, BelgiumLocation: Gent, BelgiumDeadline: Monday 25 October 2021
The relationship between mathematics and science continues to be of considerable philosophical interest. Within contemporary philosophy of science, for example, pinpointing the exact role of mathematics in the sciences remains a hotly debated issue. Does mathematics play a mere inferential role in that it allows for the derivations of one substantial truth from another or is mathematics more than a 'theoretical juice-extractor'? Are there distinctive mathematical explanations of physical phenomena? Similar questions can be asked about the role of logic in science.
These issues connect with discussions within the philosophy of mathematics (and the philosophy of logic) concerning the nature of mathematics (or logic). Within the philosophy of mathematics, Platonists, nominalists and structuralists consider mathematics to be fundamentally different in kind from empirical science, while empiricists have argued that mathematics is, just like other sciences, fundamentally about aspects of the empirical world. Different positions within the debate about the nature of mathematics will, arguably, lead to different answers to the question as to how mathematics and science are related.
In this workshop we want to focus on how these different philosophies of mathematics fare in giving an account of mathematical practice and the role of mathematics in scientific practice.
We welcome contributions that approach these (and related) topics either from a systematic or a historic angle. In other words, we welcome contributions that elaborate and defend your own position, but also contributions that discuss the views that philosophers and scientists had on these topics in the past.
6 - 8 December 2021, Trends in Logic XXI "Frontiers of connexive logic", Bochum, GermanyLocation: Bochum, GermanyDeadline: Tuesday 14 September 2021
The 21st Trends in Logic international conference will be held at Ruhr University Bochum, Germany, from December 6-December 8, 2021 under the title 'Frontiers of connexive logic'. It is organized by the chairs of Logic and Epistemology and Nonclassical Logic at the Department of Philosophy I of Ruhr University Bochum, in co-operation with Studia Logica.
Modern connexive logic started in the 1960s with seminal papers by Richard B. Angell and Storrs McCall. Systems of connexive logic have been motivated by considerations on a content connection between the antecedent and succedent of valid implications and by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications. As we are observing some growing interests in topics related to connexive logics, after six annual workshops, the Trends in Logic XXI aims at discussing directions for future research in connexive logics.
Any papers related to connexive logics are welcome. Moreover, we will have a special session on contra-classical logics, and thus any papers related to contra-classical logics are welcome. Submissions of extended abstracts (up to three pages) should be submitted electronically as pdf documents using the EasyChair submission page. At least one author of each accepted paper must register for, and attend, the conference to present their work. Full versions of selected papers will be published in a special issue of Studia Logica after an open call for papers.
6 December 2021, 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2021)Deadline: Friday 24 September 2021
The objectives of this new international workshop are:
1. to bring together practitioners and researchers from academia, industry and research institutions who are interested in the foundations and applications of cognition from the perspective of their areas of expertise and aim at a synergistic effort in integrating approaches from different areas;
2. to nurture cooperation among researchers from different areas and establish concrete collaborations;
3. to present formal methods to cognitive scientists as a general modelling and analysis approach, whose effectiveness goes well beyond its application to computer science and software engineering.
Keynote speaker: Martin Davis (New York University, USA) on "The Brain As a Computer".
Authors are invited to submit, via Easychair, research contributions or experience reports. All papers should be written in English and prepared using the Springer LNCS templates. Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere .There are six categories of submissions: Research papers, Position papers, Interdisciplinary Project papers, Case Study papers, Tool papers, and Tool Demonstration papers. Contributions will be in the form of Regular papers (12-15 pages), Short papers (6-8 pages), and Presentations (abstract up to 4 pages). Short papers and Presentations can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated.
2 - 4 December 2021, Proof Society WorkshopLocation: Funchal, MadeiraTarget audience: Researchers Proof Theory and relatedCosts: €300Deadline: Monday 8 November 2021
The workshop will bring together researchers on proof theory and its applications through a series of invited and contributed talks as well as panel discussion.
Confirmed speakers include Eduardo Fermé, David Fernández Duque, Stepan Kuznetsov, Fedor Pakhomov, Michael Rathjen, and Andrei Voronkov. The event will be attending-only and shall not be streamed online.
Workshop Contributed Talks Submission:
•Submission of abstracts opens Monday, October 11;
•Submission of abstracts closes Monday, November 8;
•Acceptance is confirmed Thursday, November 11.
CfP special issue of Topoi on "Mathematical Practice & Social Ontology"Deadline: Wednesday 1 December 2021
The relationship between mathematics and social ontology is often guided by the question of the possibility of applying mathematics to social sciences, especially economy. As interesting as these questions may be, they neglect the inverse possibility of applying a conceptual analysis derived from social ontology to mathematics. The issue will be devoted to the question whether the distinction between social object and social fact, on the one hand, and between different theoretical approaches to the notion of social fact, can be successfully applied to mathematical practice.
All papers will be double-blind peer-reviewed. Submission is organized through TOPOI's online editorial manager. Papers should not exceed 8000 words (excluding notes).For more information, see https://www.springer.com/journal/11245/updates/18364346 or contact Paola Cantù at paola.cantu at univ-amu.fr, or Italo Testa at italo.testa at unipr.it.
23 - 26 November 2021, 3rd international conference on Non-classical Modal and Predicate Logics (NCMPL 2021), Bochum, Germany (Hybrid)Location: Bochum, Germany (Hybrid)Deadline: Wednesday 15 September 2021
Modalities and predicates have since ancient time been central notions of logic. In the 20th century, various systems of non-classical logics have emerged, with applications in many disciplines like Computer Science, Linguistics, Mathematics, and Philosophy. This gave rise to the questions of a non-classical treatment of quantifiers and modalities and the accommodation of quantifiers and modalities in non-classical logics. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades.
NCMPL is a conference series solely dedicated to modal and predicate non-classical logics. The aim of the conference is to bring together researchers from various branches of non-classical logics, not only to present recent advances in their particular fields, but also to identify common problems and methods and foster the exchange of ideas between researchers from separate fields.
Papers are sollicited. The scope includes theoretical works on the conference topics coming from all branches of formal logic (proof-theory, model theory, game theory, computational complexity, philosophical and historical aspects), as well as their applications in computer science, linguistics, philosophy, etc. Strong papers on propositional logics can also be accepted, provided they relate to the themes in the main scope of the conference (e.g., the study of completions in algebraic semantics, infinitary logics, etc.). Full versions of selected papers will be published in a special issue of an international peer-reviewed journal (to be specified).
18 - 20 November 2021, 32nd Novembertagung on the History and Philosophy of Mathematics "Mathematics in Times of Crisis", VirtualLocation: VirtualDeadline: Thursday 1 July 2021
The Novembertagung on the History and Philosophy of Mathematics is an annual international conference aimed at graduate students in the history and philosophy of mathematics and neighboring fields. It provides an opportunity for young researchers to present and discuss their research in a safe, informal environment, and serves as a place for them to share experience and advice, as well as to establish new contacts. Participants are welcome from around the world.
On the Theme: Crisis, instability and times of uncertainty undoubtedly influenced the development of the sciences, and mathematics is no exception. Throughout history, mathematicians found themselves facing wide-ranging challenges, both internal and external to mathematics, to which they had to respond in new and creative ways. Inspired by contemporary global events, this conference is interested in the ways that times of crisis shaped the development of mathematics. The time of uncertainty might be frustrating and confounding for the mathematicians, but from a historical perspective it can be viewed as an engine of mathematical creativity.
Abstracts, of around 250 words, should be submitted as a PDF file via email to novembertagung2021 at gmail.com. In your email, please also include your full name and affiliation as they should appear on the conference program. Please note that the theme serves as a guide, not a criterion for exclusion, and as such it is not necessary for a submission to engage with the theme to be accepted. However, establishing links with the theme will allow for more fruitful discussions, and as such is recommended.
6 - 12 November 2021, 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021), Hanoi, VietnamLocation: Hanoi, VietnamDeadline: Wednesday 24 March 2021
Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents.
The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge.
We solicit papers presenting novel results on the principles of KR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KR.
In addition to the main conference track, KR2021 will host the following tracks and sessions:
- Applications and Systems Track
- Recently Published Research Track
- Special Session on KR and Machine Learning
- Special Session on KR and Robotics
The KR2021 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium.
The Recently Published Research track, workshops, tutorials, and the doctoral consortium will have different submission and notification dates, which will be announced separately.For more information, see https://kr2021.kbsg.rwth-aachen.de.
6 - 8 November 2021, 19th International Workshop on Non-Monotonic Reasoning (NMR-2021), Hanoi, Vietnam (Virtual attendance)Location: Hanoi, Vietnam (Virtual attendance)Deadline: Friday 25 June 2021
NMR is the premier forum for results in the area of Non-Monotonic Reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, argumentation, causality, and many other related topics including systems and applications.
NMR-21 will be co-located with the International Conference on Principles of Knowledge Representation and Reasoning (KR 2021).
NMR-2021 invites contributions from the area of nonmonotonic, defeasible and default reasoning within the field of knowledge representation and reasoning (KR), including in particular belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, argumentation, causality, and many other related topics including systems and applications.
The accepted papers will be published as a technical report and will be made available in the Computing Research Repository (CoRR) (https://arxiv.org/corr). Papers should be at most 10 pages in AAAI style including references, figures and appendices, if any. Papers already published or accepted for publication at other conferences are also welcome, provided that the original publication is mentioned in a footnote on the first page. In the same vein, papers under review for other conferences can be submitted with a similar indication on their front page. Papers that have already been published or submitted elsewhere may have any length.
4 November 2021, Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021), VirtualLocation: VirtualDeadline: Thursday 16 September 2021
Second-order quantifier elimination (SOQE) is the problem of equivalently reducing a formula with quantifiers upon second-order objects such as predicates to a formula in which these quantified second-order objects no longer occur. In slight variations, SOQE is known as forgetting, projection, predicate elimination, and uniform interpolation. It can be combined with various underlying logics, including propositional, model, description and first-order logics. It is attractive as a logic-based approach to various computational tasks.
The workshop aims to bring together researchers working on SOQE and all these related topics to present, discuss and compare issues shared by problems emerging from different special contexts, interesting open research problems (perhaps with partial solutions), new applications and implementation techniques. SOQE will be associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021).
We invite submissions of high-quality research on variants of SOQE and related topics, including work that describes applications, new systems or relevant data releases. Submissions will be reviewed by the program committee, which will select a balanced program of high-quality contributions.
Submissions can be one of the following type:
Regular paper: up to 11 pages + bibliography Short paper: up to 5 pages + bibliography
Both regular and short papers should be written in English, formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS).
Submissions must contain enough substance that it they can be cited in other publications and may not have appeared before.For more information, see http://2021.soqe.org/.
4 - 5 November 2021, 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2021) , Hanoi, Vietnam (Virtually)Location: Hanoi, Vietnam (Virtually)Deadline: Friday 2 July 2021
The problem of explaining why a consequence does or does not follow from a given set of axioms has been considered for full first-order theorem proving since at least 40 years, but there usually with mathematicians as users in mind. In knowledge representation and reasoning, efforts in this direction are more recent, and were usually restricted to sub-areas of KR such as AI planning and description logics. The purpose of this workshop is to bring together researchers from different sub-areas of KR and automated deduction that are working on explainability in their respective fields, with the goal of exchanging experiences and approaches.
Sheila McIlraith and Joe Halpern will deliver the keynotes. The workshop will be co-located with KR 2021.
Researchers interested in participating in the workshop should submit extended abstracts of 2-5 pages on topics related to explanation in logic-based KR. The papers should be formatted in Springer LNCS Style and must be submitted via EasyChair.
The workshop will have informal proceedings, and thus, in addition to new work, also papers covering results that have recently been published or will be published at other venues are welcome.For more information, see https://xlokr21.ai.vub.ac.be/.
4 - 5 November 2021, XII Workshop on Program Semantics, Specification and Verification (PSSV-2021): Theory and Applications, Virtual and Innopolis, RussiaLocation: Virtual and Innopolis, RussiaDeadline: Sunday 10 October 2021
Research, work in progress, position and student papers were welcome. List of topics of interest includes (but is not limited to): formalisms for program semantics, formal models and semantics of programs and systems, semantics of programming and specification languages, formal description techniques, logics for formal specification and verification, deductive program verification, automatic theorem proving, model checking of programs and systems, static analysis of programs, formal approach to testing and validation, and program analysis and verification tools.
PSSV-2021 is planned to be held in hybrid mode online (using Zoom) and offline (at Innopolis University).
The Program Committee solicits regular research submissions in the form of an extended detailed abstract (6-8 pages in English, LNCS style recommended) to be reviewed by 3 PC members, as well as work in progress, position, poster and student research reports in the form of extended abstract (3-4 pages in English, LNCS style recommended) to be reviewed by a PC member.
Selected revised and extended papers will be published (after the workshop) in the Modeling and Analysis of Information Systems, a Russian peer-review journal where PSSV selected and revised papers are published since the very first edition of the workshop in 2010. We expect (as it was in the previous years of the PSSV) that English translations of some of these selected papers will appear next year in Automatic Control and Computer Sciences.For more information, see https://persons.iis.nsk.su/en/pssv21.
2 - 5 November 2021, 19th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2021), Marseille, FranceLocation: Marseille, FranceDeadline: Friday 14 May 2021
The RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodologica tools in computer science and beyond.
Submissions in the general fields of algebras relevant to computer science and applications of such algebras are invited. Topics include but are not limited to:
*** Theory ***
- algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales
- their connections with program logics and other logics
- their use in the theories of automata, concurrency, formal languages, games, networks and programming languages
- the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories
- their formalisation with theorem provers
*** Applications ***
- tools and techniques for program correctness, specification and verification
- quantitative and qualitative models and semantics of computing systems and processes
- algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control
- industrial applications
27 - 29 October 2021, 6th International Conference on the History and Philosophy of Computing (HaPoC 2021), Virtual & Zürich (Switzerland)Location: Virtual & Zürich (Switzerland)Deadline: Monday 3 May 2021
The growing cultural import of computing practices has become ever more pressing in our days in all dimensions of social life. The global and collective nature of the challenges our epoch is facing (e.g. climate change, global pandemics, systemic inequalities, resurgence of totalitarianism, to name a few) requires a comprehensive perspective on computing, where social and cultural aspects occupy a central position. For these reasons, thinking about machines asks today for an interdisciplinary approach, where art is as necessary as engineering, anthropological insights as important as psychological models, and the critical perspectives of history and philosophy as decisive as the axioms and theorems of theoretical computer science.
For more than a decade, the 'History and Philosophy of Computing' Conference (HaPoC) has contributed to building such an interdisciplinary community and environment. We aim to bring together historians, philosophers, computer scientists, social scientists, designers, manufacturers, practitioners, artists, logicians, mathematicians, each with their own experience and expertise, to take part in the collective construction of a comprehensive image of computing.
For HaPoC 2021, we welcome contributions from researchers from different disciplinary horizons who intend to participate in the debate on the impact of computers on culture, science, and society from the perspective of their area of expertise, and who are open to engage in interdisciplinary discussions across multiple fields. Topics include but are not limited to:
- Historical and philosophical perspectives on computing knowledge, objects and practices - Social, cultural and pedagogical aspects of computing - Computing and the human sciences - Epistemological dimensions of computing - Impact of computing technologies - Computing and the arts.
20 - 22 October 2021, Fourth International Conference on Logic and Argumentation (CLAR 2021), Hangzhou (China) and virtualLocation: Hangzhou (China) and virtualDeadline: Sunday 11 July 2021
CLAR 2021 will be held in Hangzhou at Zhejiang University City College. Due to the uncertainties of the epidemiological situation, the conference will be held in a HYBRID format (virtual and physical attendance both accepted), and we encourage physical participation if possible.
The CLAR 2021 conference will highlight recent advances in logic and argumentation and foster interaction between these areas within and outside China.
CLAR 2021 invites 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 (12 - 20 pages) describing original and unpublished work and extended abstracts (5 - 8 pages) of preliminary original work or extended abstracts of already published work, from either the field of logic or the field of formal argumentation. Submissions must be prepared in LaTeX, using the Springer LNCS style.
16 - 18 October 2021, The Eighth International Conference on Logic, Rationality and Interaction (LORI-VIII), Xi'an (China) and OnlineLocation: Xi'an (China) and OnlineDeadline: Friday 14 May 2021
The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.
We invite submission of contributed papers on any of the broad themes of the LORI series. Submitted papers should be at most 12 pages long, with one additional page for references, in PDF format following the Springer LNCS style. Submission is via the EasyChair for LORI-VIII. Accepted papers will be collected as a volume in the FoLLi series on Logic, Language and Information, and extended versions of some will later be considered for publication in a special issue of a journal (to be announced). A best student paper award will be given at the conference.
11 - 13 October 2021, Third Workshop on Argument Strength (ArgStrength2021), Hagen (Germany) or VirtualLocation: Hagen (Germany) or VirtualDeadline: Monday 19 July 2021
Arguments vary in strength. The strength of an argument is affected by e.g. the plausibility of its premises, the nature of the link between its premises and conclusion, and the prior acceptability of the conclusion. The aim of this workshop is to bring together experts from the fields of artificial intelligence, philosophy, logic, and argumentation theory to discuss questions related to the strength of arguments.
Originally planned for 2020 in Koblenz, Germany, after consideration the organizers decided to postpone the workshop in light of the current COVID-19 crisis, and hold it online.
We solicit abstracts, which have to be in English and formatted according to the Springer LNCS style. Extended abstracts (2 pages max., including references) can report on research in progress or other issues of interest. Submissions are handled through the EasyChair conference management system.For more information, see http://argstrength2021.argumentationcompetition.org/.
7 - 9 October 2021, 13th French Philosophy of Maths Workshop (FPMW 13), Nice (France)Location: Nice (France)Deadline: Thursday 1 April 2021
The thirteenth edition of the French Philosophy of Mathematics Workshop (FPMW) will be held from the 7th to the 9th of October 2021 at the Université Côte d'Azur in Nice.
Each year, the workshop program consists of five talks by invited speakers, and five contributed talks,
This year, the invited speakers are: Hourya BENIS SINACEUR (CNRS, IHPST), Valeria GIARDINO (CNRS, Institut Jean-Nicod), Patrick POPESCU-PAMPU (Université de Lille, laboratoire Paul-Painlevé), Dominique PRADELLE (Sorbonne Université, Archives Husserl) and Dirk SCHLIMM (McGill University).
For the five contributed talks, all topics in the philosophy of mathematics are welcome, no matter their approach. The workshop is also open to philosophical talks presenting a link to mathematics that do not fall under the philosophy of mathematics in a strict sense. The languages of the workshop will be French and English. Young researchers as well as doctoral students are particularly encouraged to submit a proposal. This workshop will be an occasion to have their work discussed by recognized international experts.
6 - 8 October 2021, Special Session on Computational Linguistics, Information, Reasoning, and AI 2021 (CompLingInfoReasAI'21) at DCAI'21, Salamanca, Spain and OnlineLocation: Salamanca, Spain and OnlineTarget audience: Computational linguists, LogiciansDeadline: Friday 28 May 2021
Computational and technological developments that incorporate natural language and reasoning methods are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, agents, and context dependency, which are signature features of information in nature, natural languages, and reasoning.
The session covers theoretical work, applications, approaches, and techniques for computational models of information, language (artificial, human, or natural in other ways), reasoning. The goal is to promote computational systems and related models of thought, mental states, reasoning, and other cognitive processes.
We invite contributions relevant to the session topics, without being limited to them, across approaches, methods, theories, implementations, and applications. The papers must consist of original, relevant and previously unpublished sound research results related to any of the topics of the Special Session CompLingInfoReasAI'21.
DCAI Special Session papers must be formatted according to the Springer AISC Template, with a maximum length of 10 pages in length, including figures and references. All proposed papers must be submitted in electronic form (PDF format) using the Paper Submission Page.
Accepted papers will be included in DCAI Proceedings. At least one of the authors will be required to register and attend the symposium to present the paper in order to include the paper in the conference proceedings. All accepted papers will be published by Advances in Intelligent Systems and Computing series of Springer Verlag.For more information, see https://www.dcai-conference.net/special-sessions/clirai or contact Roussanka Loukanova at rl.stpuu at gmail.com.
5 - 8 October 2021, 27th Workshop on Logic, Language, Information and Computation (WoLLIC 2021), VirtualLocation: VirtualDeadline: Saturday 15 May 2021
WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-seventh WoLLIC will be held online from October 5 to 8, 2021.
WoLLIC 2021 is planned to have a special session with the exhibition of a one-hour documentary film 'Secrets of the Surface - The Mathematical Vision of Maryam Mirzakhani' about a remarkable mathematician whose contributions were recognized with a Fields Medal just a few years before her untimely death.
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings.For more information, see http://wollic.org/wollic2021/.
4 - 6 October 2021, Reasoning and Interaction Conference (ReInAct2021), Virtual and Goeteborg, SwedenLocation: Virtual and Goeteborg, SwedenDeadline: Tuesday 17 August 2021
Reasoning and Interaction (ReInAct) is a conference organized by the Centre for Linguistic Theory and Studies in Probability (CLASP), at the Department of Philosophy, Linguistics and Theory of Science (FLoV). It is sponsored by SIGSEM, the ACL special interest group on semantics. The ReInAct conference proceedings will be published online in the ACL Anthology for 2021 as a SIGSEM workshop event.
ReInAct will bring together researchers interested in computationally relevant approaches to reasoning and interaction in natural language. ReInAct is open to Machine Learning, Symbolic and Experimental approaches, as well as combinations of these. ReInAct will also involve a shared task on Dialogue Natural Language Inference (DNLI).
We welcome all computational and/or computationally relevant approaches to reasoning and interaction in natural language. Papers are invited on topics in these and closely related areas.
ReInAct2021 will feature three types of submissions: long papers, student papers, and short papers. Long papers must describe original research, and they must not exceed 8 pages excluding references. Student papers describe original research, and the first author must be a student, or at least 2/3 of the work on a paper should be done by students. Student papers must not exceed 6 pages excluding references. Short papers present work in progress, or they describe systems and/or projects. They must not exceed 4 pages excluding references. Position papers are also accepted. These should be formatted in the same way as long papers. Submissions should be pdf files and use the Latex or Word templates provided for ACL 2021 submissions.For more information, see https://sites.google.com/view/reinact2021/.
CfP post-proceedings of ITRS 2021: Intersection Types & Related SystemsDeadline: Friday 1 October 2021
ITRS workshops have been held every two years (with the exception of 2020). The ITRS 2021 workshop aimed to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. We are planning post-proceedings, including presentations to the workshop and submissions accepted via an open call.
Papers should not be published elsewhere, with original results or surveying ongoing research. They should be written in English using LaTex and will appear on EPTCS. Submissions should be 20 pages long, excluding bibliography and avoiding technical appendices. Submissions are expected via EasyChair.
CfP Special Issue of Annals of Pure and Applied Logic (APAL) on “Combining Probability and Logic”Deadline: Thursday 30 September 2021
We invite submissions for a Special Issue on “Combining Probability and Logic”, to be published with Annals of Pure and Applied Logic.
Classically, logic and probability offer competing representations of partial or incomplete information, with the former assuming a qualitative perspective on uncertainty and the latter focusing on a quantitative account. Both provide their own policies for updating on new information, combining evidence from different sources, and acting under partial information.
We solicit submissions of original papers that bridge these two perspectives. These could, for instance, connect representations of inductive reasoning in either setting, but they may also apply to specific sub-areas, such as game theory, network theory, causal modelling, machine learning, or maximum entropy reasoning. Likewise, the Special Issue is interested in articles that apply probabilistic tools to the study of logical systems or that use logical frameworks, classical or substructural, for understanding probabilistic approaches.For more information, see here or at https://www.journals.elsevier.com/annals-of-pure-and-applied-logic/call-for-papers/special-issue-on-combining-probability-and-logic or contact Soroush Rafiee Rad at soroush.r.rad at gmail.com.
28 - 30 September 2021, 12th International Conference on the Theory and Application of Diagrams (Diagrams 2021), VirtualLocation: VirtualDeadline: Thursday 1 April 2021
Diagrams 2021 is the twelth conference in the series that started in 2000. The multidisciplinary nature of Diagrams means it encompasses: architecture, art, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from these interrelated fields, positioning Diagrams as the major international event in the area.
In addition to the Philosophy track, Diagrams 2021 will have two further tracks: Main, and Psychology and Education.
The conference will include presentations of refereed Papers, Abstracts, and Posters, alongside a graduate symposium. We invite submissions for peer review that focus on any aspect of diagrams research, as follows: Long Papers (16 pages), Abstracts (3 pages), Short Papers (8 pages), Posters (4 pages). If the main research contribution of your submission is considered to fit either of the special tracks then you are strongly encouraged to submit to that track.
We also invite proposals for tutorials of 1.5 hours in length. Tutorials are expected to address topics that are of interest to the Diagrams 2021 conference attendees. Tutorials differ from workshops in that they do not solicit contributions from attendees. Previously, attendees have particularly enjoyed tutorials that are interactive and spark debate. Tutorial submission deadline: April 30, 2021.For more information, see http://www.diagrams-conference.org/2021.
21 - 24 September 2021, Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021), Prague, Czech Republic (Hybrid)Location: Prague, Czech Republic (Hybrid)Deadline: Saturday 1 May 2021
The biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty, with a focus on bringing symbolic and quantitative aspects together. Contributions come from researchers interested in advancing the scientific knowledge and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, applications, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms.
For ECSQARU 2021 we invite submissions of original papers on the conference topics. Authors are requested to prepare their conference papers in the LNCS/LNAI format. Submitted papers must be at most 12 pages, original and not under review in a journal or another venue with formally published proceedings. They will be evaluated by peer reviews based on originality, significance, technical soundness, and clarity of exposition. Authors of accepted papers are expected to attend the conference to present their work: at least one author of each paper must register for the conference.
In accordance with the previous conferences, the proceedings of ECSQARU 2021 will be published in the Springer Lecture Notes in Artificial Intelligence series. In addition to that, extended versions of selected papers will be published in a special issue of the International Journal of Approximate Reasoning.For more information, see http://ecsqaru.utia.cas.cz/.
20 - 24 September 2021, 14th-15th International Conference on Language and Automata Theory and Applications (LATA 2020 & 2021), Milan, ItalyLocation: Milan, ItalyDeadline: Monday 19 October 2020
LATA is a conference series on theoretical computer science and its applications. LATA 2020 & 2021 will consist of invited talks and peer-reviewed contributions, and reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.
LATA 2020 & 2021 will merge the scheduled program for LATA 2020, which could not take place because of the Covid-19 crisis, with a new series of papers submitted on this occasion.
Keynote speakers: Eric Allender (Rutgers University), Laure Daviaud (City, University of London), Christoph Haase (University College London), Artur Jeż (University of Wrocław), Jean-Éric Pin (CNRS), and Thomas Place (University of Bordeaux).
Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series. If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix.For more information, see https://irdta.eu/lata2020-2021/.
20 - 21 September 2021, International Joint Workshop on “Semantic Web and Ontology Design for Cultural Heritage” (SWODCH 2021), Virtual and Bolzano, ItalyLocation: Virtual and Bolzano, ItalyDeadline: Saturday 15 May 2021
SWODCH 2021 is the association of the 2nd edition of WODHSA and the 4th edition of SW4CH. It is also in continuation of the 1st edition of ODOCH and the special issue of the Semantic Web journal on "Semantic Web for Cultural Heritage".
The purpose of WODHSA is to gather original research work about both application and foundational issues emerging from the design of conceptual models, ontologies, and Semantic Web technologies for the Digital Humanities (DH). The aim of SW4CH is to bring together stakeholders from various scientific fields, Computer Scientists, Data Scientists and Digital Humanists, involved in the development or deployment of Semantic Web solutions for Cultural Heritage. The overall goal of SWODCH 2021 is to provide a scientific forum where scholars and stakeholders will have the opportunity to exchange ideas, experiences, and analyses, while presenting realizations and outcomes of relevant projects and discussing the related challenges.
Due to the COVID-19 restrictions, the workshop will have a hybrid format, allowing both physical and virtual participation.
We seek original and high-quality submissions related (but not limited) to one or more of the conference topic areas. We will accept two different types of contributions: Research Articles for presenting original unpublished work, neither submitted to, nor accepted for, any other venue, and Extended Abstracts for presenting work in progress, brief descriptions of doctoral theses, or general overviews of research projects. All the contributions to the workshop must be submitted according to the LNCS format and must comply with the LNCS formatting guidelines.For more information, see https://swodch2021.inf.unibz.it/.
20 - 22 September 2021, Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Virtual and/or Padua (Italy)Location: Virtual and/or Padua (Italy)Deadline: Wednesday 23 June 2021
The aim of GandALF 2021 is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.
This year, GANDALF will be organised together with the 3rd Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2021). The OVERLAY workshop focuses on the relationships between Artificial Intelligence and Formal Methods, and discusses on the opportunities and challenges at the border of the two areas.
GANDALF 2021 is planned to be a hybrid conference. We aim at organizing an in-presence event, but there will be possibilities for virtual participation for delegates affected by travel restrictions.
Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers focused on formal methods are especially welcome. Papers discussing new ideas that are at an early stage of development are also welcome.
Submitted papers should not exceed 14 pages (excluding references and clearly marked appendices) using EPTCS format, be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission.For more information, see https://gandalf2021.math.unipd.it/.
20 - 22 September 2021, 25th Workshop on the Semantics and Pragmatics of Dialogue (SemDial 2020 / PotsDial), Virtual and/or Potsdam (Germany)Location: Virtual and/or Potsdam (Germany)Deadline: Monday 7 June 2021
PotsDial will be the 25th edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2021 the workshop will be hosted by the Department of Linguistics at the University of Potsdam, Germany. (If the pandemic situation allows for it, there will be a local component for those who want to travel to Potsdam, but fully remote participation, including presentation, will be possible. Please see the website for updates closer to the date.)
We invite papers on all topics related to the semantics and pragmatics of dialogue. Authors should submit an anonymous paper at most 8 pages of content (additional pages are allowed for references). SemDial 2021 cannot accept work for publication or presentation that will be (or has been) published elsewhere.
There will be a later call for 2-page abstracts describing system demonstrations and/or ongoing projects relevant to the topics of the workshop, with submission deadline 20 August. Submission to this track can be non-archival on request.
20 - 27 September 2021, 37th International Conference on Logic Programming (ICLP 2021), VirtualLocation: VirtualDeadline: Monday 3 May 2021
Since the first conference held in Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic programming.
Besides the main track, ICLP 2021 will host additional tracks and special sessions:
- Applications Track
- Recently Published Research Track
- MentorLP - Mentoring Workshop on Logic Programming
- Fall School on Logic and Constraint Programming
- Doctoral Consortium: the Doctoral Consortium (DC) on Logic
- Tutorials and Co-located Workshops.
Contributions are sought in all areas of logic programming, including but not restricted to Foundations, Languages issues, Programming support, Implementation, Related Paradigms and Synergies, and Applications. Both regular and short papers will be accepted for the main track (for the additional tracks, please follow the specific CFP). Submissions will be done via EasyChair. All accepted regular papers and technical communications will be presented during the conference. All submissions must be written in English.
The ICLP conference series has a long standing tradition of hosting a rich set of co-located workshops. ICLP workshops provide a unique opportunity for the presentation and discussion of work that can be preliminary in nature, novel ideas, and new open problems to a wide and interested audience. Those interested in organizing a workshop at ICLP 2021 are invited to submit a workshop proposal.
20 - 24 September 2021, 4th workshop Formal Reasoning and Semantics (FORMALS 2021), Dubrovnik (Croatia) and VirtualLocation: Dubrovnik (Croatia) and VirtualDeadline: Thursday 10 June 2021
The 4th workshop Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC), as a part of the 10th conference Logic and Applications (LAP 2021) 20-24 September 2021. Virtual participation is also possible.
The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS). The emphasis of the project is on applications of logic in computer science, and vice versa, the application of computational tools in logical and mathematical research. Another goal is to apply logic to specific problems of linguistics or, more generally, cognitive and information sciences, as well as interdisciplinary areas in which economics and mathematics overlap (game theory, social choice theory).
We have several 30 min slots available for contributed talks. All contributions which broadly fit the main goal of the project - mutual enrichment of pure and applied logic - are welcome. Authors should submit an abstract in LaTeX format, not exceeding three pages.
20 - 22 September 2021, Conference "Explanation between Logic & Philosophy", Online via ZoomLocation: Online via ZoomDeadline: Sunday 11 July 2021
The topic of the conference is the study of the notion of explanation in the context of logic and philosophy. Particular attention will be devoted to the history of the investigation on explanation, to the connections with conceptual and metaphysical grounding, and to related philosophical issues such as logical pluralism and anti-exceptionalism about logic. The conference is organised in the framework of the ANR JCJC project Bolzano's Insights. The conference will be held online through Zoom and will be open to anyone who is interested.
- Fabrice Correia (University of Geneva, Switzerland)
- Orna Harari (Tel Aviv University, Israel)
- Ole Hjortland (University of Bergen, Norway)
- Carrie Jenkins (University of British Columbia, Canada)
We invite submissions on any subject connected to the notion of formal explanation in logic and in philosophy. A title and abstract (max. 750 words together with 2 or 3 keywords) should be submitted before the 30 June 2021 via e-mail.
20 - 27 September 2021, The 8th Workshop on Probabilistic Logic Programming (PLP 2021), VirtualLocation: VirtualDeadline: Sunday 1 August 2021
Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms.
The workshop encompasses all aspects of combining logic, algorithms, programming and probability and provides a forum for the exchange of ideas, presentation of results and preliminary work. After seven successful editions of this workshop, the eighth edition of PLP will be held at the ICLP virtual conference organised by the University of Porto. We hope that this encourages further collaboration between researchers in PLP and researchers working in other areas of ICLP.
Submissions will be managed via EasyChair. Contributions should be prepared in the LNCS style. A mixture of papers are sought including: new results; work in progress; and technical summaries of recent substantial contributions. Papers presenting new results should be 6-15 pages in length. Work in progress and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution.For more information, see http://stoics.org.uk/plp/plp2021.
19 - 22 September 2021, 34th International Workshop on Description Logics (DL 2021), Bratislava, Slovenia or VirtualLocation: Bratislava, Slovenia or VirtualDeadline: Wednesday 16 June 2021
The DL workshop is the major annual event of the description logic research community. It is the forum in which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.
We invite contributions on all aspects of description logics.
Submissions may be of two types: regular papers of up to 11 pages (excluding references), and abstracts of up to 2 pages (excluding references). Both regular papers and abstracts must be formatted using the Springer LNCS style. Accepted submissions of both types will be selected for either oral or poster presentation at the workshop. Submissions will be judged solely based on their content, and the type of submission will have no bearing on the decision between oral and poster presentation.
19 - 24 September 2021, Workshop Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2021) , VirtualLocation: VirtualDeadline: Monday 30 August 2021
CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation.
Invited Speakers: Suguman Bransal (U Penn), Franz Brauße (U Manchester), Sewon Park (KAIST), Monika Seisenberger (Swansea U) and Michael Yampolsky (U Toronto). Tutorial Speaker: André Platzer (CMU).
Extended abstracts (1-2 pages) of original work are welcome. The workshop specifically invites contributions in the areas of Exact real number computation, Correctness of algorithms on infinite data, Computable analysis, Complexity of real numbers, real-valued functions, etc. Effective descriptive set theory, Domain theory, Constructive analysis, Category-theoretic approaches to computation on infinite data, Weihrauch degrees, And related areas.For more information, see http://www.cs.bham.ac.uk/~axj/ccc2021.
17 September 2021, 5th International Workshop on Cognition and Ontologies (CAOS 2021), Bolzano (Italy) & VirtualLocation: Bolzano (Italy) & VirtualDeadline: Saturday 3 July 2021
The purpose of the workshop is to bridge the gap between the cognitive sciences and research on ontologies and, thus, to create a venue for researchers interested in interdisciplinary aspects of knowledge representation. More specifically CAOS investigates how key cognitive phenomena and concepts (and the involved terminology) can be found across language, psychology and reasoning and how they can be formally and ontologically understood and analysed. It moreover seeks answers to ways such formalisations and ontological analysis can be exploited in Artificial Intelligence and information systems in general.
We welcome submissions on topics related to the ontology of hypothesized building blocks of cognition (such as image schemas, affordances, categories, and related notions) and of cognitive capacities (such as concept invention, language acquisition and categorisation), as well as system demonstrations modelling these capacities in application settings. We also welcome submissions addressing the cognitive and epistemological adequacy of ontological modelling. Work in progress (short papers) are also welcome since a central goal of the workshop is the discussion of ongoing interdisciplinary work.
We encourage three types of contributions: Full research papers (10-14 pages), Short papers (5-7 pages), and Abstracts for presentation (2-4 pages). All papers must be original and not submitted to or accepted by any other workshop, conference or journal.For more information, see https://caos.inf.unibz.it.
16 - 17 September 2021, Third international workshop "Concepts in Action, Representation, Learning, & Application" (CARLA 2021), Bolzano (Italy) and VirtualLocation: Bolzano (Italy) and VirtualDeadline: Sunday 16 May 2021
"Concepts in Action: Representation, Learning, and Application" (CARLA) is an international workshop aimed at fostering interdisciplinary exchange about research on concepts. The workshop is open for research on any aspect of concepts, but there are three overarching topics that are of special interest with the following (not exhaustive) list of exemplary subtopics:
- Representation: How can we formally describe and model concepts?
- Learning: Where do concepts come from and how are they acquired?
- Application: How are concepts used in cognitive tasks?
This workshop provides an excellent opportunity to present and discuss ongoing research on concepts, both from theoretical/formal and applied/experimental viewpoints. CARLA 2021 is currently planned to be conducted as a *hybrid* event allowing for both physical and virtual attendance. Invited Speakers: Monique Flecken and Antonio Lieto.
We invite concept researchers from all fields related to cognitive science to submit abstracts to the workshop. We invite contributions from all fields related to cognitive science, including (but not limited to) linguistics, artificial intelligence, psychology, philosophy, logic, and computer science. The abstracts should use two to three pages (including references) and should be uploaded as pdf based on a template downloadable from the conference website.For more information, see https://www.conceptuccino.uni-osnabrueck.de/carla_workshop/carla_2021.html.
13 - 17 September 2021, Logic, Algebra and Truth Degrees 2020 (LATD 2020) , Tbilisi, GeorgiaLocation: Tbilisi, GeorgiaDeadline: Monday 1 June 2020
This is one of the main events of the Tbilisi Autumn of Logic, a series of conferences and summer schools taking place in Tbilisi promoting research in pure and applied logic at an international level.
The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.
The conference will be preceded by the Sixteenth International Tbilisi Summer School in Logic and Language devoted to courses on core topics of LATD 2020.
We regret to announce that due to the coronavirus pandemic LATD has been postponed to September 2021.
We invite contributions on any relevant aspects of logical systems (including many valued, fuzzy, substructural, modal and quantum logics), in particular:
* Proof theory and computational complexity
* Algebraic semantics and abstract algebraic logic
* First-order, higher-order and modal formalisms
* Geometric and game-theoretic aspects
* Applications and foundational issuesFor more information, see https://www.logic.at/latd2020/.
13 - 17 September 2021, 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), Bolzano (Italy) and VirtualLocation: Bolzano (Italy) and VirtualDeadline: Thursday 22 April 2021
The FOIS conference is a meeting point for all researchers with an interest in formal ontology. Formal ontology is the systematic study of the types of entities and relations making up the domains of interest represented in modern information systems. FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA) and aims to be a nexus of interdisciplinary research and communication, inclusive of researchers from many domains engaging with formal ontology.
FOIS 2021 is planned as a hybrid event: there will be a physical meeting in Bozen-Bolzano, Italy, with a remote participation option. FOIS 2021 includes a number of activities: FOIS conference (single track program), workshops, tutorials, an early-career symposium, a demo and industry track, and an ontology show and tell.
FOIS 2021 seeks three types of full-length (14 page) high-quality papers on a wide range of topics: Foundational papers (addressing content-related ontological issues, their formal representation, and their relevance to some aspect of information systems), Application papers (addressing novel methods and systems related to building, evaluating, or using ontologies, emphasizing the impact of ontology contents on the application) and Domain ontology papers (describing a novel ontology for a specific realm of interest, clarifying ontological choices against requirements and foundational theory, and showing ontology use).
Related activities, such as workshops and tutorials, may specify different submission formats, for example, short papers or posters.For more information, see https://fois2021.inf.unibz.it/.
13 - 15 September 2021, 22th Italian Conference on Theoretical Computer Science (ICTCS 2021), Virtual (Bologna, Italy)Location: Virtual (Bologna, Italy)Deadline: Monday 17 May 2021
The Italian Conference on Theoretical Computer Science (ICTCS) is the conference of the Italian Chapter of the European Association for Theoretical Computer Science. The purpose of ICTCS is to foster the cross-fertilization of ideas stemming from different areas of theoretical computer science. In particular, ICTCS provides an ideal environment where junior researchers and PhD students can meet senior researchers.
Contributions in any area of theoretical computer science are warmly invited from researchers of all nationalities. Two types of contributions, written in English and formatted accordingto Springer LNCS style, are solicited: Regular papers (up to 12 pages PLUS bibliography, presenting original results not appeared or submitted elsewhere) and Communications (up to 5 pages PLUS bibliography, suitable for extended abstracts of papers already appeared/submitted or to be submitted elsewhere, as well as papers reporting ongoing research on which the authors wish to get feedback and overviews of PhD theses or research projects). Authors are invited to submit their manuscripts in PDF format via EasyChair.For more information, see http://helm.cs.unibo.it/ictcs2021/index.html.
September or December 2021, Workshop "Intuition & rigour in geometrical thinking from antiquity to the 19th century", Prague, Czech RepublicLocation: Prague, Czech RepublicDeadline: Friday 20 March 2020
From the end of the 19th century, mathematical and philosophical literature has often portrayed a contrast between visual intuition and logical rigor. However, the terms "rigour" and "intuition" have rich associations and connotations in different historical contexts, and well before the turn of the 20th century. The goal of our workshop is to study the historical evolution of these notions within the mathematical practice, and the epistemological debates that they have raised.
Confirmed keynote speakers are: Helena Durnova (Masaryk University, Brno) Michael Friedman (Humboldt University, Berlin) Eduardo Giovannini (University of Wien) Marco Panza (CNRS, Universit́e Paris 1/Chapman University) Vincenzo de Risi (CNRS, Universit́e Paris 7).
Note: the event as it was scheduled cannot unfortunately take place in December due to covid measures, but will be postponed to the next year, possibly September 2021 or December 2021.
In the workshop there are a few (cca 5) slots for contributed papers (30 min. presentation). We invite abstracts in accordance to the theme of the conference, Submissions of abstracts should not exceed 250 words, and must be written in English.
8 - 9 September 2021, Seventh International Workshop on Controlled Natural Language (CNL 2020)Location: Amsterdam, the Netherlands & OnlineTarget audience: researchers and practitionersCosts: €200 (small changes are possible)Deadline: Saturday 2 May 2020
This workshop on Controlled Natural Language (CNL) has a broad scope and embraces all approaches that are based on natural language and apply restrictions on vocabulary, grammar, and/or semantics. This includes (but is certainly not limited to) approaches that have been called simplified language, plain language, formalized language, processable language, fragments of language, phraseologies, conceptual authoring, language generation, and guided natural language interfaces.
Some CNLs are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning and formal knowledge representation from seemingly natural texts. All these types of CNL are covered by this workshop.
Due to Covid-19, the workshop is postponed to 2021!
We invite researchers to submit papers with novel contributions in the area of CNL. Papers should be formatted in two-column ACL style and should not exceed 8 pages. Submission should be done via EasyChair here: https://easychair.org/conferences/?conf=cnl2020. Accepted papers will be published in the ACL Anthology.
8 - 10 September 2021, The 9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), VirtualLocation: VirtualDeadline: Tuesday 18 May 2021
Symbolic Computation is the science of computing with symbolic objects (terms, formulae, programs, representations of algebraic objects etc.). Powerful algorithms have been developed during the past decades for the major subareas of symbolic computation: computer algebra and computational logic. Meanwhile, artificial intelligence methods and machine learning algorithms are widely used nowadays in various domains and, in particular, combined with symbolic computation. Several approaches mix artificial intelligence and symbolic methods and tools deployed over large corpora to create what is known as cognitive systems. Cognitive computing focuses on building systems which interact with humans naturally by reasoning, aiming at learning at scale.
The purpose of SCSS 2021 is to promote research on theoretical and practical aspects of symbolic computation in software science, combined with modern artificial intelligence techniques.
SCSS 2021 solicits submissions on all aspects of symbolic computation and their applications in software science, in combination with artificial intelligence and cognitive computing techniques. Original submissions are invited in two categories: regular research papers and tool papers. Regular research papers must not exceed 12 pages with up to 3 additional pages for technical appendices. Tool papers must not exceed 6 pages.For more information, see https://www.risc.jku.at/conferences/scss2021/.
6 - 9 September 2021, Twenty-fourth International Conference on Text, Speech and Dialogue (TSD2021), Olomouc (Czech Republic) or VirtualLocation: Olomouc (Czech Republic) or VirtualDeadline: Sunday 18 April 2021
The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. The conference program will include presentation of invited papers (keynote speeches), oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions.
TSD2021 is going to take place in the beautiful city of Olomouc, Czech Republic. Thus, it is nicely colocated with Interspeech 2021 which is going to be held in Brno, Czech Republic. But as the situation in September 2021 cannot be easily predicted, the TSD2021 organizing committee is ready to organize a virtual conference, if necessary.
The organizing committee invites papers to be presented during the conference, as well as proposals for workshops and demonstrations. Topics of the conference will include (but are not limited to): Corpora and Language Resources, Speech Recognition, Tagging, Classification and Parsing of Text and Speech, Speech and Spoken Language Generation, Semantic Processing of Text and Speech, Integrating Applications of Text and Speech Processing, Automatic Dialogue Systems , and Multimodal Techniques and Modelling. Papers on processing of languages other than English are strongly encouraged.
6 - 9 September 2021, The 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2021), Birmingham (UK) and VirtualLocation: Birmingham (UK) and VirtualDeadline: Monday 26 April 2021
TABLEAUX is the main international conference at which research on all aspects -- theoretical foundations, implementation techniques, systems development and applications -- of tableaux-based reasoning and related methods is presented.
TABLEAUX 2021 will be co-located with the 13th International Symposium on Frontiers of Combining Systems (FroCoS 2021). The conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions.
Submissions are invited in the following two categories: (A) research papers reporting original theoretical research or applications, with length up to 15 pages excluding references; (B) system descriptions, with length up to 9 pages excluding references.
Topics of interest include but are not limited to:
* tableau methods for classical and non-classical logics (including first-order, higher-order, modal, temporal, description, hybrid, intuitionistic, linear, substructural, fuzzy, relevance and non-monotonic logics) and their proof-theoretic foundations;
* sequent, natural deduction, labelled, nested and deep calculi for classical and non-classical logics, as tools for proof search and proof representation;
* related methods (SMT, model elimination, model checking, connection methods, resolution, BDDs, translation approaches);
* flexible, easily extendable, light-weight methods for theorem proving; novel types of calculi for theorem proving and verification in classical and non-classical logics;
* systems, tools, implementations, empirical evaluations and applications (provers, proof assistants, logical frameworks, model checkers, etc.);
* implementation techniques (data structures, efficient algorithms, performance measurement, extensibility, etc.);
* extensions of tableau procedures with conflict-driven learning;
* techniques for proof generation and compact (or humanly readable) proof representation;
* theoretical and practical aspects of decision procedures;
* applications of automated deduction to mathematics, software development, verification, deductive and temporal databases, knowledge representation, ontologies, fault diagnosis or teaching.
We also welcome papers describing applications of tableau procedures to real-world examples. Such papers should be tailored to the TABLEAUX community and should focus on the role of reasoning and on logical aspects of the solution.
5 - 8 September 2021, Logic @ DGPhil, OnlineLocation: OnlineDeadline: 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".
Due to the current Covid-19 pandemic it was impossible to hold our congress as planned (6th – 9th September 2020). The congress was therefore postponed by one year, and all events will be held online.
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/.
5 - 11 September 2021, 6th Conference on Artificial Intelligence and Theorem Proving (AITP 2021), Virtual & Aussois (France)Location: Virtual & Aussois (France)Deadline: Wednesday 5 May 2021
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, mathematics, physics, relations to general AI, 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.
We solicit 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/2021.
1 - 3 September 2021, Third Biennial Conference on Language, Data and Knowledge (LDK2021), Zaragoza (Spain) and virtualLocation: Zaragoza (Spain) and virtualDeadline: Sunday 21 March 2021
This conference aims at bringing together researchers from across disciplines concerned with the acquisition, curation and use of language data in the context of data science and knowledge-based applications. This builds upon the success of the inaugural event held in Galway, Ireland in 2017 and the second LDK in Leipzig, Germany in 2019.
In order to allow more people to attend the Conference physically, and due to the current state in the COVID-19 pandemic in Europe, we decided to postpone LDK 2021 to early September. The conference will allow remote presentations by participants who cannot attend the conference in person owing to COVID-19 travelling restrictions, but we do think that physical encounter and gossip leads to better research.
We welcome submission of relevance to the topics listed below. Submissions can be in the form of:
* Long research papers: 10-15 pages;
* Short research or position papers: 6-8 pages;
* Short scientific abstract submissions: be 4-6 pages.
* Short abstracts on new challenges and research ideas ('Crazy New Ideas'): 1-4 pages.
This year, we would like to propose a 'Crazy New Ideas' session that will be the occasion to present challenging research ideas that have not yet been fully explored, or you would like to see in ten years from now. Such ideas should be briefly presented in the form of a short abstract of one to four pages to initiate the discussions, which will also be included in the conference proceedings if permitted by the authors. This is your chance to be creative without censorship. Reviews for these abstract will focus on the potential of ideas to spark interesting discussions.
Topics include Language Data, Knowledge Graphs, Applications for Language, Data and Knowledge, and Use Cases in Language, Data and Knowledge.For more information, see http://2021.ldk-conf.org/.
31 August - 3 September 2021, 9th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2021), Virtual and/or Salzburg (Austria)Location: Virtual and/or Salzburg (Austria)Deadline: Thursday 3 June 2021
CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science) and WADT (the Workshop on Algebraic Development Techniques). It aims to bring together researchers with interests in both foundational and applicative uses of algebra and coalgebra in computer science, traditional as well as emerging ones. The 9th edition will be held in Salzburg, Austria, colocated with MFPS XXXVII.
Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. CALCO invites papers relating to all aspects of algebraic and coalgebraic theory and applications, and distinguishes between four categories of submissions.
1. Regular papers that report * results on theoretical foundations * novel methods and techniques for software development * experiences with the technology transfer to industry.
2. (Co)Algebraic Pearls papers that * present possibly known material in a novel and enlightening way.
3. Early ideas abstracts that lead to * presentations of work in progress * proposals for original venues of research.
4. Tool presentation papers that * report on the features and uses of algebraic/coalgebra-based tools.For more information, see https://www.coalg.org/calco-mfps2021/calco/.
30 August - 2 September 2021, 37th Conference on Mathematical Foundations of Programming Semantics (MFPS XXXVII / MFPS 2021), Virtual and/or Salzburg (Austria)Location: Virtual and/or Salzburg (Austria)Deadline: Monday 7 June 2021
MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged.
MFPS 2021 is co-located with the 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Due to the pandemic situation, the conference will take place online. Should the situation improve and allow some international travel, we will do our best to organize a small component of the meeting in Salzburg for those participants who wish to attend the meeting in person.
Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; logic; probabilistic systems; process calculi; programming-language theory; quantum computation; security; topological models; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example.
23 - 27 August 2021, The 15th International Conference on Grammatical Inference (ICGI 2020/21), OnlineLocation: OnlineDeadline: Sunday 6 June 2021
Initially scheduled on August 26-28 2020 at NYC SUNY Global Center, ICGI’20 will be held on-line at the end of the summer 2021. This bi-annual conference focuses on all aspects of grammar learning, including (but not limited to) theoretical and experimental analysis of different models of grammar induction, and algorithms for induction of different classes of languages and automata.
This edition will provide a particular insight on the relation with connectionist models such as neural networks: tutorials of the first day will focus on that subject and authors are encouraged to submit works on that subject.
ICGI 2020 is the place to present your work on learning formal grammars, finite state machines, context-free grammars, Markov models, or any models related to language theory, stochastic or not. Both theoretical work and experimental analyses are welcomed as submissions. This year we especially encourage submissions related to connectionist models such as neural networks, since the tutorials of the first day will focus on that topic. We welcome three types of papers: formal and/or technical papers, position papers, and tool papers.
23 - 27 August 2021, 26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021), VirtualLocation: VirtualDeadline: Friday 7 May 2021
The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
FMICS 2021 is part of the QONFEST umbrella conference. This year, a special session will be included on Formal Methods for Blockchain-based Smart Contracts along with a panel on this topic. Keynote Speaker: Joe Kiniry (Galois Inc. and Free & Fair, US).
We welcome contributions of different categories:
- Regular papers that describe original research work and results. Length: 15 pages + 2 pages of references.
- Short papers that describe work-in-progress, or positions on the future of formal methods. Length: 6 pages + 2 pages of references.
- Tool papers that describe software artefacts. The paper must contain a link to a publicly available video of at most 10 minutes length. Length: 6 pages + 2 pages of references.
- Journal-first papers that summarize a paper recently published in a journal and not yet presented in a conference. The main aim of this category is to allow authors present archived work in a public forum. The original journal paper should have been published between January 1st, 2020 and the date of submission. Length: 2 pages + 1 page of references.
Submissions should be formatted according to the LNCS style (Springer). A Springer-sponsored award will be presented to the authors of the submission selected by the Program Committee as the FMICS 2021 Best Paper.For more information, see https://qonfest2021.lacl.fr/fmics21.php.
16 - 20 August 2021, 25th International Conference on Developments in Language Theory (DLT 2021), Virtual and/or Porto (Portugal)Location: Virtual and/or Porto (Portugal)Deadline: Sunday 11 April 2021
DLT is International Conference Series under the auspices of the European Association for Theoretical Computer Science (EATCS). The purpose of this conference is to bring together members of the academic, research, and industrial community who have an interest in formal languages, automata theory, and related areas.
DLT 2021 will be held at Faculty of Sciences of University of Porto in an hybrid format with both in person and online participation.
Authors are invited to submit papers presenting original and unpublished research. Each paper will be reviewed at least by three reviewers and review process will be single-blind. The proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS) Series. Simultaneous submission to journals or other conferences with published proceedings is not allowed. Submitted papers should not exceed 12 pages and should follow the LNCS-style.
9 - 13 August 2021, ESSLLI-2021 Workshop "Approaches to Implicature", Online via ZoomLocation: Online via ZoomDeadline: Saturday 15 February 2020
Recent work in implicature has seen a great deal of activity within two lines of research: the rational choice approach associated with game-theoretic pragmatics and the Bayesian Rational Speech Act framework, and the exhaustification-based approach. While these frameworks have generally been thought to be in theoretical tension, there are also underexplored ways to combine them, with the potential to benefit both approaches. The workshop will explore explicit comparisons between the two frameworks as well as efforts to combine them, with the hope of producing a more unified theory of implicature and a more general understanding of the data that such a theory must account for.
We welcome 2-page abstracts for presentations on topics related to the workshop theme, with an optional 3rd page for references and large figures. Depending on submissions received, there may also be a poster session. Abstracts must be submitted in PDF format (12-point font, 1.5-cm or 1-in margins) to the Easychair site.
Example topics of interest include but are not limited to: Applications of RSA or other game-theoretic or probabilistic pragmatics models to phenomena in semantics/pragmatics, Applications of exhaustification-based approaches to phenomena in semantics/pragmatics, Approaches to pragmatic inference that explicitly compare and/or combine theoretical perspectives, Theoretical, corpus-based, and experimental pragmatics, and Implicature, presupposition, not-at-issue content, expressive meaning, social meaning.For more information, see https://sites.google.com/view/approachestoimplicature/ or contact Dan Lassiter at danlassiter at stanford.edu.
9 - 11 August 2021, 17th Algorithms and Data Structures Symposium (WADS 2021), VirtualLocation: VirtualDeadline: 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/.
9 - 10 August 2021, ESSLLI Workshop on Logics of Dependence & Independence (LoDE 2021), OnlineLocation: OnlineDeadline: Tuesday 1 June 2021
Logics of dependence and independence are novel extensions of classical logics aiming at characterizing dependence and independence notions in sciences. This field of research has grown rapidly in recent years. The framework of the logics has found applications also in fields like database theory, linguistics, social choice, quantum physics and so on. This workshop will bring together researchers from all these relevant areas and provide a snapshot of the state of the art of logics of dependence and independence.
This workshop is organized as part of the 32nd European Summer School in Logic, Language and Information (ESSLLI 2021): https://www.esslli.eu. The workshop has a 2-day program. The exact dates will be announced soon, see ESSLLI homepage for updates.
We invite submissions of 1-page abstracts of contributed talks. Abstracts must be submitted electronically through EasyChair.
9 - 10 August 2021, ESSLLI 2021 Workshop "Computational and Experimental Explanations in Semantics and Pragmatics"Location: OnlineDeadline: Monday 14 June 2021
The field of natural language semantics has undergone what some refer to as an 'experimental turn' and is arguably currently undergoing a 'computational turn'. By expanding the toolbox available to the semanticist, these two turns have the effect of expanding the phenomena that can be explained and the varieties of semantic explanations that can be offered.
Given this wider toolbox and purview, we aim to gather a workshop to showcase exciting new work that develops new semantic explanations using experimental and computational methods, as well as to invite broader reflection on the methodology of semantics now and in its future.Topics of potential interest include but are not limited to:
For more information, see https://www.jakubszymanik.com/CoSaQ/events/explanations-semantics/ or contact Jakub Szymanik at jakub.szymanik at gmail.com.
- Experimental semantics and pragmatics
- Graded/non-categorical semantic theories and explanations
- Information-theoretic measures and explanations in semantics and pragmatics
- Semantic universals
- Learnability and evolution of semantics and pragmatics
- Bayesian approaches to semantics and pragmatics
- Probing neural models for learned semantic representations
- Semantics in emergent communication protocols
- The methodology of semantics
1 - 4 August 2021, Spatial Cognition 2020/1 (SC 2020/1), Online (Zoom)Location: Online (Zoom)Deadline: Thursday 1 April 2021
Spatial Cognition is concerned with the acquisition, development, representation, organization, and use of knowledge about spatial objects in real, virtual or hybrid environments and processed by human or artificial agents. Spatial Cognition includes research from different fields insofar as they are concerned with cognitive agents and space. Research issues in the field range from the investigation of human spatial cognition to mobile robot navigation. SC 2020 will bring together researchers working on spatial cognition from all of these perspectives.
The conference is single-track, and the final program will be the result of a selective review process. The program will include oral and poster presentations of refereed papers, and keynote talks by Sara I. Fabrikant, Steve Franconeri and Laure Rondi-Reig.
The initial conference was scheduled August 2020 to be held in Riga, Latvia; this is the postponed version of it.The participants will receive the details and updates about Zoom events by email when the registration closes on July 25, 2021.
Submissions for Oral Presentations (short papers) presenting original and unpublished work are solicited in all areas of spatial cognition. Short papers should not exceed 1,200 words (including figures, tables, and references). Some short paper submissions may be accepted for poster presentation.
Submissions for Poster Presentations (abstracts) are solicited in all areas of spatial cognition. Poster abstracts should not exceed 500 words (including figures, tables, and references).
CfP commemorative issue of "Theory of Computing Systems" in memory of Alan Selman of ToCSDeadline: Saturday 31 July 2021
We are editing a commemorative issue in memory of Alan Selman, former editor-in-chief of the journal Theory of Computing Systems and community leader in computational complexity, who passed away on 22nd January 2021.
We solicit contributions in the form of new research investigations, technical surveys, and memoirs. A technical contribution may include a section describing Alan’s inﬂuence on the authors, both on their academic careers and personal lives.For more information, see https://www.springer.com/journal/224/updates/18863610.
29 - 30 July 2021, ESSLLI 2021 Workshop "Workshop on automated synthesis", VirtualLocation: VirtualDeadline: Friday 18 June 2021
The workshop aims to bring together work on using logic, games and automata for automatically generating plans and strategies for AI agents, especially under uncertainty and resource constraints. Topics include, but are not limited to: reactive synthesis, behaviour and service composition, strategy synthesis under resource constraints, epistemic planning.
The workshop will consist of a mixture of invited talks introducing topics in the area of the workshop and contributed talks by PhD students. Workshop participants are required to register for ESSLLI 2021.
Submission format for contributed talks:
1) either a peer-reviewed published work in the area of the workshop, that you can submit in its original form or in the format below (but indicating which paper(s) it is based on)
2) or original work, up to 12 pages in Springer LNCS format (or similar size, single column).For more information, see https://esslli2021.unibz.it/page/workshop/workshop_on_automated_synthesis/ or contact Natasha Alechina at n.a.alechina at uu.nl.
27 - 30 July 2021, 37th Conference on Uncertainty in Artificial Intelligence (UAI) , VirtualLocation: VirtualDeadline: 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.
26 - 27 July 2021, ESSLLI Workshop "Computing Semantics with Types, Frames, & Related Structures", VirtualLocation: VirtualDeadline: Monday 7 June 2021
The goal of this workshop is to bring together people interested in structured representations of semantic information, especially from a computational perspective. In recent years, there has been a growing body of research which aims to integrate structured entities into formal semantic accounts. Important developments in this direction are the introduction of rich type systems and the use of frame-based representations, among others. The workshop is open to both foundational issues of structured semantic representations and applications to specific linguistic phenomena.
A first edition of the workshop took place in Gothenburg as part of IWCS 2019.
Topics for submissions include, but are not limited to:
* Richly typed formalisms for natural language semantics.
* Frame-based approaches to formal and computational semantics.
* Applications of dependent types in semantics.
* Semantic computation with structured representations.
* Interactions between lexical semantic structures and compositional semantics.
Papers should not exceed 8 pages in length, excluding references, and should be formatted in accordance with the ACL style sheets.
26 July - 13 August 2021, ESSLLI 2021 Student Session, OnlineLocation: OnlineTarget audience: PhD and Master studentsDeadline: Sunday 25 April 2021
The Student Session of the 32nd European Summer School in Logic, Language, and Information (ESSLLI) will take place online during ESSLLI 2021 at Utrecht University, the Netherlands, August 2nd to 13th, 2021.
We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions from PhD and Master (and Bachelor) students are welcome. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally. Selected papers will appear in the Student Session proceedings by Springer. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience.
Note that there are two separate kinds of submissions, one for long presentations and one for short presentations. This means that papers are directly submitted either as long or short. Reviewing and ranking will be done separately. We particularly encourage submissions for short papers, as they offer an excellent opportunity to present smaller research projects and research in progress.
26 - 28 July 2021, Eighteenth International Conference on Computability and Complexity in Analysis (CCA 2021), VirtualLocation: VirtualDeadline: Tuesday 1 June 2021
The conference is concerned with the theory of computability and complexity over real-valued data. The topics of interest include foundational work on various models and approaches for describing computability and complexity over the real numbers. They also include complexity-theoretic investigations, both foundational and with respect to concrete problems, and new implementations of exact real arithmetic, as well as further developments of already existing software packages. We hope to gain new insights into computability-theoretic aspects of various computational questions from physics and from other fields involving computations over the real numbers.
Authors are invited to submit 1-2 pages abstracts in PDF format, including references. If full versions of papers are already available as technical report or arXiv version, then corresponding links should be added to the reference list.For more information, see http://cca-net.de/cca2021/.
26 - 31 July 2021, Workshop on Natural Formal Mathematics (NatFoM 2021), VirtualLocation: VirtualDeadline: Thursday 1 July 2021
In mathematics there has always existed a strong informal sense of "naturality". Natural theories, notions, properties, or proofs are prefered over technical, convoluted, or counterintuitive approaches. If formal mathematics is to become part of mainstream mathematics, its formalizations and user experience have to become more natural. This workshop, following a first edition in 2020, broadly addresses the issue of naturality in formal mathematics.
NatFoM 2021 wil be held as part of the 14th Conference on Intelligent Computer Mathematics (CICM 2021).. Invited speaker: Jeremy Avigad.
We call for submissions of extended abstracts (1 page) and demonstration proposals presenting work related to the workshop's topics of interest. Accepted abstracts can optionally be expanded to full papers (4 to 15 pages) to be published in proceedings on ceur-ws.org. To promote Natural Formal Mathematics, unfinished or exploratory work will also be welcome. Extended abstracts and papers should be formatted in LaTeX using the style onecolceurws.For more information, see https://cicm-conference.org/2021/cicm.php?event=NFM.
21 - 24 July 2021, 15th International Conference on Deontic Logic and Normative Systems (DEON 2020/21), OnlineLocation: OnlineCosts: No registration feesDeadline: 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.For more information, see https://www.mcmp.philosophie.uni-muenchen.de/events/workshops/container/deon-2021/ or contact Alessandra Marra and Frederik Van De Putte at Alessandra.Marra at lrz.uni-muenchen.de; frederik.vandeputte at ugent.be.
21 July 2021, The Seventh International Workshop on Proof eXchange for Theorem Proving (PxTP 2021), VirtualLocation: VirtualDeadline: Wednesday 21 April 2021
The progress in computer-aided reasoning, both automatic and interactive, during the past decades, has made it possible to build deduction tools that are increasingly more applicable to a wider range of problems and are able to tackle larger problems progressively faster. In recent years, cooperation of such tools in larger verification environments has demonstrated the potential to reduce the amount of manual intervention. Examples include the Sledgehammer tool providing an interface between Isabelle and (untrusted) automated provers, and collaboration of the HOL Light and Isabelle systems in the formal proof of the Kepler conjecture.
Cooperation between reasoning systems relies on availability of theoretical formalisms and practical tools for exchanging problems, proofs, and models. The PxTP workshop strives to encourage such cooperation by inviting contributions on suitable integration, translation, and communication methods, standards, protocols, and programming interfaces. The workshop welcomes developers of automated and interactive theorem proving tools, developers of combined systems, developers and users of translation tools and interfaces, and producers of standards and protocols. We are interested both in success stories and descriptions of current bottlenecks and proposals for improvement.
Topics of interest for this workshop include all aspects of cooperation between reasoning tools, whether automatic or interactive. Researchers interested in participating are invited to submit either an extended abstract (up to 8 pages) or a regular paper (up to 15 pages). Submitted papers should describe previously unpublished work, and must be prepared using the LaTeX EPTCS class. Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Short submissions that could stimulate fruitful discussion at the workshop are particularly welcome. We expect that one author of every accepted paper will present their work at the workshop.For more information, see https://pxtp.gitlab.io/2021.
19 - 24 July 2021, Logic Colloquium 2021 (LC 2021), VirtualLocation: VirtualDeadline: Friday 30 April 2021
The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and critical discussion of scholarly work in this area of inquiry.
The program will feature special sessions on Set Theory, Model Theory, Modal and Epistemic Logic, Proofs and Programs, Computability, and Logic in Cognitive Science and Linguistics.
Due to public health concerns regarding COVID-19, the ASL Executive Committee, in consultation with the local organizers and the ASL European Committee, has made the decision to postpone the 2020 Logic Colloquium. It will take place on July 19-24, 2021, approximately a year later than originally scheduled, as an on-line event.
Abstracts of contributed papers must be submitted as pdf files, via EasyChair, Abstract should be prepared according to the ASL instruction using the ASL abstract style.
19 - 23 July 2021, 25th International Conference on Implementation & Application of Automata (CIAA 2021), VirtualLocation: VirtualDeadline: Monday 15 March 2021
The CIAA conferences concern research on all aspects of implementation and application of automata and related structures, including theoretical aspects. Automata theory is the foundation of computer science. Its applications have spread to almost all areas of computer science and many other disciplines. The purpose of these conferences is to bring together members of the academic, research and industrial community who have an interest in implementation and application of automata to demonstrate and analyze their work and to explain the problems they have been solving.
Note: Remote attendance will be possible, regardless of whether or not there will be a physical meeting.
Original papers are sought in all areas that relate to implementation and application of automata. Submissions must be written in LaTeX using the LNCS style and must not exceed 12 pages, bibliography included. Simultaneous submissions of papers to journals or any other conference with published proceedings, or submitting previously published papers is not allowed.The proceedings will be published in the Springer LNCS series and will be available at the conference. A "Best Paper Award," since 2014 called "Sheng Yu Award" will be presented to the author(s) of the paper judged to be the best on the basis of the referee reports.For more information, see http://wwwdb.informatik.uni-bremen.de/ciaa2021/.
18 July 2021, 35th International Workshop on Unification (UNIF 2021), VirtualLocation: VirtualDeadline: Friday 16 April 2021
Unification is concerned with the problem of identifying given (first- or higher-order) terms, either syntactically or modulo a theory. It is a fundamental technique that is employed in various areas of Computer Science and Mathematics. In particular, unification algorithms are key components in completion of term rewriting systems, resolution-based theorem proving, and logic programming. But unification is, for example, also investigated in the context of natural language processing, program analysis, types, modal logics, and in knowledge representation.
UNIF 2021 is the 35th in a series of annual workshops on unification and related topics. Just as it predecessors', the purpose of UNIF 2021 is to bring together researchers interested in unification theory and its applications, as well as closely related topics, such as matching (i.e., one-sided unification), anti-unification (i.e., the dual problem to unification), disunification (i.e., solving equations and inequations) and the admissibility problem (which generalizes unification in modal logics). It will provide a forum for presenting recent (even unfinished) work, and discuss new ideas and trends in this and related fields. UNIF 2021 is associated with FSCD 2021 and will be a purely virtual event.
Following the tradition of UNIF, we call for submissions of extended abstracts (5 pages) in EasyChair style. Topics of interest of the workshop include syntactic and equational unification algorithms, matching and constraint solving, unification in modal, temporal, and description logics, higher-order unification, narrowing, disunification, anti-unification, complexity issues, combination methods, implementation techniques, and applications. We also allow submission of work presented/submitted in/to another conference.For more information, see https://www.uoh.cl/unif-2021/.
17 - 24 July 2021, Sixth International Conference on Formal Structures for Computation and Deduction (FSCD 2021), VirtualLocation: VirtualDeadline: 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:
- Methods in Computation and Deduction
- Algorithmic Analysis and Transformations of Formal Systems
- Tools and Applications
- Semantics and Verification in new challenging areasFor more information, see https://fscd2021.dc.uba.ar.
17 July 2021, Tenth Workshop on Intersection Types and Related Systems (ITRS 2021), VirtualLocation: VirtualDeadline: Monday 12 April 2021
ITRS workshops have been held every two years (with the exception of 2020). The ITRS 2021 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. Invited Speaker: Jeremy Siek (Indiana University Bloomington). ITRS 2021 is affiliated with FSCD.
Papers must be original and not previously published, nor submitted elsewhere. Papers should be prepared in LaTeX using the EPTCS macropackage and should be in the range of 3-16 pages, plus at most 2 pages of references. Submissions will be collected via EasyChair and reviewed by anonymous referees.
16 July 2021, The Third International ARCADE (Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements) Workshop, VirtualLocation: VirtualDeadline: Sunday 30 May 2021
The main goal of this workshop is to bring together key people from various subcommunities of automated reasoning -such as SAT/SMT, resolution, tableaux, theory-specific calculi (e.g. for description logic, arithmetic, set theory), interactive theorem proving - to discuss the present, past, and future of the field. The intention is to provide an opportunity to discuss broad issues facing the community. What are the current challenges, applications, directions, or exemplary achievements of Automated Reasoning?
The structure of the workshop will be informal. At the event, contributions will be grouped into similar themes and authors will be invited to make their case within discussion panels. After the workshop, they will be welcome to extend their abstracts for inclusion in post-proceedings (EPiC or similar), taking into account the discussion.
We invite extended abstracts (2-4 pages, using the EasyChair class style) in the form of non-technical position statements aimed at prompting lively discussion. The title of the workshop is indicative of the kind of discussions we would like to encourage.For more information, see http://arcade2021.net/.
13 - 16 July 2021, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Virtual (originally Glasgow, Scotland)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.
12 July 2021, 2nd Workshop on Verification of Session Types (VEST 2021), OnlineLocation: OnlineDeadline: Monday 3 May 2021
Stateful entities offer services in a non-uniform way (one cannot pop from an empty stack). Traditional type systems cannot guarantee that operations are only invoked when the entity is in the right state. Session types are abstract representations of the sequences of operations that computational entities (such as channels or objects) must perform. Although the foundations of session types are now well established, and new works build on approaches that have become standard, there is still a lack of reusable libraries, namely machine-verified ones.
The goal of the VEST workshop is to gather the researchers working on mechanisations of behavioural types using various theorem provers, such as Agda, Coq, Isabelle or any other. The workshop will be a platform to present both the now well-established efforts and the ongoing works the community has put on verification. The workshop will also be a forum to discuss strengths and weaknesses of existing approaches, potential obstacles and to foster collaboration.
We request two types of research contributions.
Type 1: Short presentations (1 page) of work published elsewhere;
Type 2: Presentations (2-5 pages) of ongoing original work.
Submissions of Type 1 will consist of 1 page papers presenting the work, the publication venue and the significance of the results; the PC will select the submissions with a ranking system.
Submissions of Type 2 will consist of 2 - 5 page papers submitted to a light reviewing process.
There will be no proceedings of VEST'21, but rather the aim is to strengthen and further expand our community.For more information, see https://sites.google.com/view/vest21/home.
12 July 2021, Formal Methods Education Online: Tips, Tricks & Tools (FOMEO'21), VirtualLocation: VirtualDeadline: Saturday 8 May 2021
Online instruction of formal methods has been a challenge in the last year, including teaching of basics of logics and automata theory, formal verification, theorem proving etc. This satellite workshop of ICALP brings together instructors of formal methods as well as developers of teaching support systems for formal methods to (1) present tools supporting teaching of formal methods education, and (2) discuss tips, tricks & experiences in online instruction gained in the last year.
You can submit your contribution at EasyChair. Submissions should contain a title, a short abstract (to be published as part of the program) as well as a short description of how you plan to present (e.g. talk/live demo and/or poster/demo exhibition booth). The time slots for presentations can vary, as we expect short presentations of tips&tricks but also some longer demos of tools. In the gather-town-like sessions, every presenter/project will have a presentation area where demos, poster presentation, etc. (presenters have complete freedom) are possible.For more information, see https://www7.in.tum.de/~kretinsk/fomeo.html.
11 - 16 July 2021, The 28th International Conference on Automated Deduction (CADE-28), Pittsburgh PA (U.S.A.) or VirtualLocation: Pittsburgh PA (U.S.A.) or VirtualDeadline: 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/.
11 July 2021, 10th International Workshop on Theorem Prover Components for Educational Software (ThEdu'21), VirtualLocation: VirtualDeadline: Sunday 25 April 2021
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 brings 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.
ThEdu'21 will be virtual as part of the 28th International Conference on Automated Deduction (CADE-28), the exact details will be in the workshop Web-page as soon as possible. Invited Talk: Gilles Dowek, ENS Paris-Saclay.
We welcome submission of extended abstracts and demonstration proposals presenting original unpublished work which is not been submitted for publication elsewhere. All accepted extended abstracts and demonstrations will be presented at the workshop. The extended abstracts will be made available online. Extended abstracts and demonstration proposals should be approximately 5 pages in length and are to be submitted in PDF format. At least one author of each accepted extended abstract/demonstration proposal is expected to attend ThEdu'21 and presents his/her extended abstract/demonstration.
Topics of interest include:
- methods of automated deduction applied to checking students' input;
- methods of automated deduction applied to prove post-conditions for particular problem solutions;
- combinations of deduction and computation enabling systems to propose next steps;
- automated provers specific for dynamic geometry systems;
- proof and proving in mathematics education.For more information, see http://www.uc.pt/en/congressos/thedu/ThEdu21.
5 - 9 July 2021, 17th Conference on Computability in Europe (CiE 2021): Connecting with computability, VirtualLocation: VirtualDeadline: Saturday 15 May 2021
CiE 2021 is the seventeenth conference organized by the Association Computability in Europe. The 'Computability in Europe' conference (CiE) series has built up a strong tradition for developing a scientific program which is interdisciplinary at its core bringing together all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in CS and other disciplines such as biology, mathematics, history, philosophy, and physics.
Due to the current pandemic CiE 2021 will be held as a virtual conference. CiE 2021 will be the second CiE conference that is organized as a virtual event and aims at a high-quality meeting that allows and invites active participation from all participants. It will be hosted virtually by Ghent University.
The Programme Committee cordially invites all researchers (European and non-European) to submit their papers in computability related areas for presentation at the conference and inclusion in the proceedings. Papers building bridges between different parts of the research community are particularly welcome. Papers should be in English and anonymized. They must be submitted in PDF format, using the LNCS style and should have a maximum of 10 pages. Deadline: 17 jan 2021.
Continuing the tradition of past CiE conferences, in addition to the formal presentations based on the LNCS proceedings volume, CiE 2021 will host a track of informal presentations, that are prepared very shortly before the conference and inform the participants about current research and work in progress. The deadline for the submission of abstracts for informal presentations is May 15th, 2021.For more information, see https://www.cie2021.ugent.be/.
5 - 9 July 2021, International Workshop on Quantified Boolean Formulas and Beyond (QBF 2021), VirtualLocation: VirtualDeadline: Monday 31 May 2021
Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. Many problems from application domains such as model checking, formal verification or synthesis are PSPACE-complete, and hence could be encoded in QBF in a natural way. However, in contrast to SAT, QBF is not yet widely applied to practical problems in academic or industrial settings. The goal of the International Workshop on Quantified Boolean Formulas (QBF Workshop) is to bring together researchers working on theoretical and practical aspects of QBF solving. In addition to that, it addresses (potential) users of QBF in order to reflect on the state-of-the-art and to consolidate on immediate and long-term research challenges.
QBF 2021 is affiliated to and co-located with: Int. Conf. on Theory and Applications of Satisfiability Testing (SAT 2021) July 5-9, 2021. The workshop also welcomes work on reasoning with quantifiers in related problems, such as dependency QBF (DQBF), quantified constraint satisfaction problems (QCSP), and satisfiability modulo theories (SMT) with quantifiers.
The workshop is concerned with all aspects of current research on all formalisms enriched by quantifiers, and in particular QBF. Submissions of extended abstracts are invited and will be managed via Easychair. In particular, we invite the submission of extended abstracts on work that has been published already, novel unpublished work, or work in progress, as well as proposals for short tutorial presentations. Submissions which describe novel applications of QBF or related formalisms in various domains are particularly welcome.
Each submission should have an overall length of 1-4 pages in LNCS format. Authors may decide to include an appendix with additional material.
30 June - 3 July 2021, Sixth International Meeting of the Association for the Philosophy of Mathematical Practice (APMP 2021), VirtualLocation: VirtualDeadline: Friday 5 March 2021
The meeting will be held as a Virtual Conference, through Zoom provided by Chapman University. Participation is free, but in order to join the meeting, please register. Keynote speakers: Laura Crosilla (University of Oslo, Norway), Andrew Granville (Universite de Montréal, Canada)), Orna Harari (Tel Aviv University, Israel) and Dirk Schlimm (McGill University, Canada).
We invite submissions on any areas connected to the philosophy of mathematical practice, both by professional philosophers of maths, and any scholar interested in reflecting on mathematical practice (its nature, its contents, its history), as well as from master and PhD students and post-doc (which are strongly encouraged to send proposals, indeed). A title and abstract (250-500 words together with 2 or 3 keywords) should be submitted before 5 March, 2021 via e-mail addressed to the chair of the Scientific Committee of the meeting: Carmen Martinez Adame, cmadame at gmail.com. Notification will be sent out by 5 May.
29 June - 2 July 2021, 16th International Conference on Formal Concept Analysis (ICFCA 2021:16), VirtualLocation: VirtualDeadline: Monday 18 January 2021
Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory in order to promote better communication between lattice theorists and potential users of lattice theory. Since its early years, Formal Concept Analysis has developed into a research field in its own right with a thriving theoretical community and a rapidly expanding range of applications in information and knowledge processing including visualization, data analysis (mining) and knowledge management and discovery.
The ICFCA conference series aims at bringing together researchers and practitioners working on theoretical or applied aspects of Formal Concept Analysis within major related areas such as Mathematics and Computer and Information Sciences and their diverse applications to fields like Software Engineering, Linguistics, Life and Social Sciences, etc.
We invite scientific publications on theory and applications of Formal Concept Analysis. Papers of up to sixteen pages may be submitted in the PDF format via the Easychair system. Main topics of interest include, but are not limited to:
- Fundamental aspects of FCA
- Bridging FCA to information sciences and artificial intelligence
- Understanding, modelling real-world data and phenomena with FCA
28 June - 2 July 2021, 16th Computer Science Symposium in Russia (CSR 2021), Sochi (Russia) or VirtualLocation: Sochi (Russia) or VirtualDeadline: Thursday 24 December 2020
CSR is an annual international conference held in Russia that is designed to cover a broad range of topics in Theoretical Computer Science.
Topics include, but are not limited to: (i) algorithms and data structures (ii) computational complexity, including hardness of approximation and parameterized complexity (iii) randomness in computing, approximation algorithms, fixed-parameter algorithms (iv) combinatorial optimization, constraint satisfaction, operations research (v) computational geometry (vi) string algorithms (vii) formal languages and automata, including applications to computational linguistics (viii) codes and cryptography (ix) combinatorics in computer science (x) computational biology (xi) applications of logic to computer science, proof complexity (xii) database theory (xiii) distributed computing (xiv) fundamentals of machine learning, including learning theory, grammatical inference and neural computing (xv) computational social choice (xvi) quantum computing and quantum cryptography (xvii) theoretical aspects of big data.
Opening lecture: Tim Roughgarden (Columbia University, USA).
Authors are invited to submit an extended abstract or a full paper of at most 12 pages in English, not including references, in the LNCS format (LaTeX, as pdf; final version with source).
Proofs and other material omitted due to space constraints are to be put into a clearly marked appendix to be read at discretion of the referees. Papers must present original (and not previously published) research. Simultaneous submission to journals or to other conferences with published proceedings is not allowed. The proceedings of the symposium will be published in Springer's LNCS series.
27 June 2021, 5th Women in Logic Workshop (WiL 2021), VirtualLocation: VirtualDeadline: Friday 30 April 2021
The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community. Women in Logic 2021 is a satellite event of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'21) to be held virtually on June 29-July 2, 2021.
Our aim is to:
- provide a platform for female researchers to share their work and achievements;
- increase the feelings of community and belonging, especially among junior faculty, post-docs and students through positive interactions with peers and more established faculty;
- establish new connections and collaborations;
- foster a welcoming culture of mutual support and growth within the logic research community.
We believe these aspects will benefit women working in logic and computer science, particularly early-career researchers.
Invited speakers: Simona Ronchi Della Rocca, Rineke Verbrugge.
Are you a woman working in logic? Are you planning to participate at LICS 2021? Please join us on June 27 at WiL, give a talk, and enjoy a day with Women in Logic!Please submit an abstract of 1-2 pages by April 30, 2021 via EasyChair. This will help us provide an interesting program, with only a light-weight selection procedure.For more information, see https://sites.google.com/g.uporto.pt/wil2021.
25 - 27 June 2021, Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2021), Beijing, China and/or VirtualLocation: Beijing, China and/or VirtualDeadline: Monday 15 March 2021
The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Computer Science, Artificial Intelligence, Game Theory, Decision Theory, Philosophy, Logic, Linguistics, and Cognitive Science, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Previous conferences have been held bi-annually around the world. Topics of interest: include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems.
Submissions: are now invited to TARK 2021. Strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and papers should be accessible to such an audience. Papers will be held to the usual high standards of research publications. Abstracts should be no longer than 10 pages. Optional technical details such as proofs may be included in an appendix.For more information, see http://tsinghualogic.net/JRC/?page_id=2034.
25 - 26 June 2021, Kurt Goedel Day 2021 with Czech Gathering of Logicians, Brno (Czech Republic)Location: Brno (Czech Republic)Deadline: Sunday 16 May 2021
This community event aims at bringing together researchers in logic and related areas. The event is open to all researchers interested in logic, while contributions related to Gödel's work are especially welcome. Promoting the heritage of Kurt Gödel , the Kurt Gödel Prize will be awarded during the meeting by the Kurt Gödel Society in Brno and the recipient will deliver a lecture.
Invited speakers: Matthias Baaz (Technische Universität Wien, Vienna), Petr Cintula (Czech Academy of Sciences, Prague), Vítězslav Švejdar (Charles University, Prague) and Pavol Zlatoš (Komensky University, Bratislava).
Note: The event will be postponed to September in case the pandemic situation prevents meeting on site.
We cordially invite researchers working in a field relevant to the conference to submit a short plain text abstract of approximately 200 words, and an extended abstract of at most 1000 words (references included) through EasyChair. Accepted submissions will be presented in 30 minute talks including discussion (please note that the time allotted to each talk may change slightly depending on the number of submissions). Abstracts can be in Czech/English; uploaded extended abstract need to be in pdf format.For more information, see https://www.physics.muni.cz/~godel/kgd2021/.
24 - 25 June 2021, 20th annual Philosophy of Logic, Mathematics, and Physics (LMP) Graduate Conference, VirtualLocation: VirtualDeadline: 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.
24 - 30 June 2021, Summer School and Conference "Toposes online", OnlineLocation: OnlineDeadline: Monday 31 May 2021
The event "Toposes online" represents the third edition of the main international conference on topos theory, following the previous ones "Topos à l’IHES" and "Toposes in Como". The format of the event is the same as that of the other two editions: it will consist of a three-day school, offering introductory courses for the benefit of students and mathematicians who are not already familiar with topos theory, followed by a three-day congress featuring both invited and contributed presentations on new theoretical advances in the subject as well as applications of toposes in different fields such as algebra, topology, number theory, algebraic geometry, logic, homotopy theory, functional analysis, and computer science.
The main aim of this conference series is to celebrate the unifying power and interdisciplinary applications of toposes and encourage further developments in this spirit, by promoting exchanges amongst researchers in different branches of mathematics who use toposes in their work and by introducing a new generation of scholars to the subject.
There is room for a limited number of contributed, 30-minute talks at the conference. If you want to present a paper, please send an extended abstract (between two and four pages long) before the 31st of May; you will be notified about the outcome of your submission by the 10th of June.
23 - 25 June 2021, 2021 Australasian Association for Logic conference (AAL 2021), Virtually (Zoom)Location: Virtually (Zoom)Deadline: Saturday 15 May 2021
The Australasian Association for Logic will hold its annual conference online via Zoom from Wednesday, June 23 to Friday, June 25, 2021. It will be hosted by the University of Queensland and the University of Melbourne.
There will be three keynote speakers. The keynote speakers confirmed are Xavier Caicedo (Los Andes), Catarina Dutilh Novaes (VU Amsterdam) and Katalin Bimbó (Edmonton).
We invite submission of abstracts in any area of logic, broadly construed. To submit, send an anonymized short abstract (?2 pages) and title to australasianassoclogic2021 at gmail.com with the subject 'AAL 2021'. The soft deadline for submissions is Saturday, May 15. Submissions will be accepted for consideration until the hard deadline of Saturday, May 22. Decisions will be sent out in early June. We would like to encourage submissions from members of groups that are underrepresented in logic.For more information, see https://hpi.uq.edu.au/profile/3738/guillermo-badia or contact australasianassoclogic2021 at gmail.com.
21 - 23 June 2021, Formal Philosophy 2021, Moscow (Russia) / OnlineLocation: Moscow (Russia) / OnlineTarget audience: logicians, philosophersCosts: -Deadline: Tuesday 25 May 2021
The "Formal Philosophy" is an annual conference organized by the HSE International Laboratory for Logic, Linguistics and Formal Philosophy. The confernce will be dedicated to various topics in the fields of philosophical logic, formal epistemology, formal ontology, philosophy of logic, epistemology of logic, and other branches of formal and mathematical philosophy.
This year we are also planning two special sessions:
- session on formal ethics
- special session dedicated to the centennial of the publication of the "Tractatus Logico-Philosophicus".
Authors are asked to submit an abstract up to 1000 words. We accept abstracts in PDF format only (12pt, single spacing, 2cm margin). Abstracts should be prepared for blind review (all identifying information should be removed from the abstract). Abstracts are to be submitted exclusively via the EasyChair system. The submitted materials will undergo a double-blind review. The Programme Committee reserves the right to reject abstracts that do not fit into the scope of the conference.
Notification of acceptance will be on June 3, 2021.
17 - 20 June 2021, Boise Extravaganza in Set Theory (BEST 2021), VirtualLocation: VirtualDeadline: Saturday 1 May 2021
BEST is an international conference featuring talks on a broad range of recent advances in research in set theory and related fields. Researchers from all areas of set theory and logic are welcome. BEST particularly aims to support the careers of young researchers. The conference is organized by the Set Theory group at Boise State University.
We are currently welcoming applications to speak at BEST from researchers in set theory and related fields. We hope to receive your application by May 1, but we will continue accepting applications as long as there is space.
14 - 18 June 2021, Second NAtural LOgic meets MAchine Learning Workshop (NALOMA'21), Online, NetherlandsLocation: Online, NetherlandsDeadline: Friday 26 March 2021
After the successful completion of NALOMA'20 (NAtural LOgic Meets MAchine Learning), NALOMA'21 seeks to continue the series and attract exciting contributions. NALOMA'21 is set out to address two main issues of the NLI community. First, the approaches and systems currently used to address NLI are too one-dimensional: they are either purely DL or purely symbolic but do not attempt to combine the two worlds. A second issue concerns datasets: existing NLI datasets are either complex enough but too small to be used for proper learning, or large enough but too easy to be claimed to represent human inference. The workshop aims to bridge the gap between ML/DL and symbolic/logic-based approaches to NLI, and it is perhaps the only workshop organized to do so. It will take place from June 14-June 18, 2021, during the International Conference on Computational Semantics (IWCS 2021) organized by the University of Groningen but taking place fully online due to the pandemic.
The workshop invites submissions on any (theoretical or computational) topic concerning NLI.
We invite two types of submission:
- Archival (long or short) papers should report on complete, original and unpublished research. Accepted papers will be published in the workshop proceedings and appear in the ACL anthology.
- Extended abstracts may report on work in progress or work that was recently published/accepted at a different venue.For more information, see https://typo.uni-konstanz.de/naloma21/.
14 - 18 June 2021, First Workshop on Multimodal Semantic Representations (MMSR 2021): Beyond Language, VirtualLocation: VirtualDeadline: Friday 26 March 2021
The demand for more sophisticated natural human-computer and human-robot interactions is rapidly increasing as users become more accustomed to conversation-like interactions with AI and NLP systems. Such interactions require not only the robust recognition and generation of expressions through multiple modalities (language, gesture, vision, action, etc.), but also the encoding of situated meaning.
This workshop intends to bring together researchers who aim to capture elements of multimodal interaction such as language, gesture, gaze, and facial expression with formal semantic representations. We provide a space for both theoretical and practical discussion of how linguistic co-modalities support, inform, and align with 'meaning' found in the linguistic signal alone. MMSR 2021 is co-located with IWCS 2021.
We solicit papers on multimodal semantic representation. Two types of submissions are solicited: long papers and short papers. Long papers should describe original research and must not exceed 8 pages, excluding references. Short papers (typically system or project descriptions, or ongoing research) must not exceed 4 pages, excluding references. Both types will be published in the workshop proceedings and in the ACL Anthology. Accepted papers get an extra page in the camera-ready version. We strongly encourage students to submit to the workshop and will consider a student session depending on the number of submissions.
14 - 18 June 2021, Workshop on Semantic Spaces at the Intersection of NLP, Physics, & Cognitive Sciences (SemSpace2021), OnlineLocation: OnlineDeadline: Tuesday 6 April 2021
Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (SemSpace2021) is the latest edition of a series of workshops that brings together research at the intersection of NLP, Physics, and Cognitive Science. Using the common ground of vector spaces, the workshop offers researchers in these areas an appropriate forum for presenting their uniquely motivated work and ideas. The interplay between the three disciplines will foster theoretically motivated approaches to understanding how meanings of words interact with each other in sentences and discourse via grammatical types, how they are determined by input from the world, and how word and sentence meanings interact logically.
This year we are excited to be (virtually) co-located with IWCS.
We welcome two types of submission:
- Archival papers of up to 8 pages should report on complete, original and unpublished research.
- Extended abstracts (up to 3 pages) may report on work in progress or work that was recently published/accepted at a different venue.
Papers should be formatted following the common two-column structure as used by ACL. Please use the IWCS specific style-files or the Overleaf template, taken from ACL 2021.For more information, see https://sites.google.com/view/semspace2021/.
14 - 19 June 2021, 27th International Conference on Types for Proofs and Programs (TYPES 2021), VirtualLocation: VirtualDeadline: Friday 16 April 2021
The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming.
This year's TYPES will be held virtually (online), possibly in combination with a physical meeting in Leiden in the Netherlands if the political situation permits that. TYPES 2021 will not only consist of presentations, but also a setup of working groups that get together throughout the week. The hope is that we can retain at least some of the exchange and chatter that is the heart of the TYPES conference series.
TYPES solicits contributed talks to stimulate discussions. The contributed talks are selected on the base of extended abstracts/short papers of 2 pages (excluding bibliography) formatted with the LaTeX EasyChair3.5. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress.
9 - 13 June 2021, Conference on Boolean Algebras, Lattices, Algebraic Logic and Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic and Point-free Topology (BLAST 2021), New Mexico State University / OnlineLocation: New Mexico State University / OnlineDeadline: Sunday 11 April 2021
BLAST is a conference series focusing on Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology, and Point-free Topology. The series circulates between different universities. The central BLAST web page, with links to past meetings, can be found here: http://math.colorado.edu/blast/
This year's installment of BLAST will take place at New Mexico State University. The scientific program will include invited lectures, tutorial lectures, two special sessions, and contributed talks. Due to the current pandemic, the conference will be entirely online.
Abstracts of contributed talks should be submitted through EasyChair:
Please indicate if you would like to submit to a special session. The abstract should not exceed 2 pages.
7 - 10 June 2021, 8th International Workshop on Computational Social Choice (COMSOC-2021), Haifa, Israel and OnlineLocation: Haifa, Israel and OnlineDeadline: Monday 1 March 2021
The aim of the COMSOC workshop series is to bring together different communities: computer scientists interested in computational issues in social choice; people working in artificial intelligence and multiagent systems who are using ideas from social choice to organise societies of artificial software agents; logicians interested in the logic-based specification and analysis of social procedures; and last but not least people coming from social choice theory itself.
Submissions of papers describing original, under review, or recently published work on all aspects of computational social choice are invited. We welcome theoretical, empirical and experimental work on the conference topics, including, in particular, research on algorithms (exact, approximate, parameterized, online and distributed), learning, logic, and simulations in the context of social choice.For more information, see https://comsoc2021.net.technion.ac.il/.
CfP special issue of the journal "Theoria" on Thin ObjectsDeadline: Tuesday 1 June 2021
In his recent book 'Thin Objects: An Abstractionist Account' (Oxford University Press, 2018), Øystein Linnebo claims that mathematical objects are thin in the sense that "very little is required for their existence". Linnebo articulates this view in terms of Fregean abstraction principles, arguing that it is sufficient for abstract objects to exist that some nonabstract objects, or pluralities thereof, stands in the appropriate equivalence relations. Linnebo set up, among others, a defence of predicative vis-á-vis impredicative abstraction, and articulates a 'dynamic' approach to abstraction itself, on which abstraction is taken to extend the domain of objects available for quantification, and predicative abstraction is iterated over larger and larger domains.
The goal of this Special Issue is to bring together contributions addressing both the philosophical and the technical aspects of Linnebo's book, also in connection to similar proposals in the philosophy of mathematics and logic. Contributions to the Special Issue should consist in short papers (4000-6000 words). Øystein Linnebo will contribute a précis of his book, opening the issue, and a 'Reply to Critics', closing the issue.For more information, see https://onlinelibrary.wiley.com/page/journal/17552567/open_calls_for_papers or contact Massimiliano Carrara at massimiliano.carrara at unipd.it.
Call for proposals of sessions on philosophy of mathematics at the APA meetingsDeadline: Tuesday 1 June 2021
The Philosophy of Mathematics Association is an affiliated group of the American Philosophical Association and as such is invited to organize sessions in the group program at APA divisional meetings. The PMA has held such a group session at the 2020 Eastern meeting and the 2021 Pacific meeting, and is hoping to make philosophy of mathematics symposia a regular component of APA divisional meetings. Proposals will be vetted by a joint committee of the PMA and the Association for the Philosophy of Mathematical Practice (APMP), and successful proposals will be scheduled for inclusion at the 2022 APA Eastern division meeting (January 4-8, 2022, Montreal).
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 1 June, 2021.For more information, see https://forms.gle/djVziN81SX6RsY5U9.
24 - 28 May 2021, Thirteenth NASA Formal Methods Symposium (NFM 2021), VirtualLocation: VirtualDeadline: Friday 27 November 2020
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.
New developments and emerging applications like autonomous 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. Similar challenges need to be addressed during development and deployment of on-board software for both spacecraft and ground systems. The focus of the symposium will be 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.
Due to the COVID-19, the organizers have decided to hold NFM 2021 virtually only, rather than in person.
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.
There are two categories of submissions:
1. Regular papers describing fully developed work and complete results (maximum 15 pages);
2. Short papers on tools, experience reports, or work in progress with preliminary results (maximum 6 pages).
All papers must be in English and describe original work that has not been published or submitted elsewhere.
Postponed, Trends in Logic XX "Logic and Reasoning: Formal and Informal", Kyiv, UkraineLocation: Kyiv, UkraineTarget audience: Researchers in logicCosts: Conference fee: 160/190 EURDeadline: Friday 31 January 2020
Reasoning is at the very heart of logic, constituting its subject matter. In the last few decades, there has been considerable progress both in the purely logical analysis of reasoning and in applied logical investigations of various concrete subject domains, such as philosophical and scientific discourse, logic programming and everyday communication. Along with further elaboration of standard techniques a range of other approaches and semantic modeling of logical systems are being developed. Moreover, there is a powerful tradition of analyzing and evaluating reasoning patterns by means of informal logic and argumentation theory. The aim of the conference is to bring together scholars working in various areas of proof-theoretic, semantic, argumentative and informal logic analysis.
Invited Speakers: Hans van Ditmarsch (French National Centre for Scientific Research, France), Valentin Goranko (Stockholm University, Sweden), Dale Hample (University of Maryland, USA) and Hitoshi Omori (Ruhr-University Bochum, Germany).
Due to the continuing coronavirus pandemic, the event in May 2021 has been suspended, but the organizers hope to hold the conference in Kyiv as soon as circumstances permit, as well as hold the regular conference in May 2022.
Abstracts of at most three pages length (including references) should be submitted electronically as pdf documents using the EasyChair submission page. At least one author of each accepted paper must register for, and attend the conference to present her or his work.
3 - 7 May 2021, 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2021), VirtualLocation: VirtualDeadline: Friday 2 October 2020
AAMAS is the largest and most influential conference in the area of agents and multiagent systems, bringing together researchers and practitioners in all areas of agent technology and providing and internationally renowned high-profile forum for publishing and finding out about the latest developments in the field
We welcome the submission of technical papers describing significant and original research on all aspects of the theory and practice of autonomous agents and multiagent systems.
3 - 4 May 2021, International Workshop on Logical Aspects of Multi-Agent Systems & Strategic Reasoning (LAMAS & SR 2021), VirtualLocation: VirtualDeadline: 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.
30 April 2021, Workship on the application of formal theories of truth to expressively rich languages, VirtualLocation: VirtualDeadline: Friday 9 April 2021
The ERC-Starting Grant Truth and Semantics (TRUST 803684) at the University of Bristol is organizing a one-day online workshop on the application of formal theories of truth to expressively rich languages, e.g., languages with generalized quantifiers, conditionals, modalities etc.
Confirmed Speakers: Catrin Campbell-Moore (Bristol), Hartry Field (NYU), Michael Glanzberg (Rutgers), Lorenzo Rossi (MCMP), Johannes Stern (Bristol).
There are one or two slots for submitted contributions of 45-60min. If you are interested in giving a talk please send a paper or extended abstract of around 1000 words.For more information, see https://www.truthandsemantics.xyz/event/exprtruth/ or contact Johannes Stern at johannes.stern at bristol.ac.uk.
CfP special issue of Logic & Logical Philosophy on "Relating Logic & Relating Semantics"Deadline: Friday 30 April 2021
We invite contributions to the Special Issue of Logic and Logical Philosophy (LLP): "Relating Logic and Relating Semantics". Guest editors: Tomasz Jarmużek (Nicolaus Copernicus University in Toruń) and Francesco Paoli (University of Cagliari, Italy).
High quality research papers concerning theory and applications of relating logics and relating semantics, including, but not limited to, the following topics, are welcome:
- applications of relating semantics,
- algebraic interpretation of relating logics,
- comparison of relating semantics with other formal semantics, - history of relating logics,
- modal extensions of relating logics,
- model theory of relating logics,
- philosophical logics defined by relating semantics,
- proof theory for relating logics,
- philosophical foundations of relating logics,
- other related topics (like dependence logic, set-assignment semantics etc.).
Contributions are welcome from philosophers, logicians, mathematicians, linguists, and computer scientists.
CfP special issue of "Linguistics and Philosophy" (L&P) on "Super Linguistics"Deadline: Friday 23 April 2021
The journal Linguistics and Philosophy (L&P) have agreed to publish a special issue of Super Linguistics. Super Linguistics subsumes the application of formal linguistic methodology and methodologies inspired by formal linguistics to diverse non-standard objects. In addition to manuscripts by linguists, we welcome submissions from all relevant fields (such as, but not limited to, biology and musicology) provided that they are super linguistic in nature. To be considered, the manuscript should include a short paragraph outlining in what way the research is super linguistic in nature and how the research advances this new sub-field. Submissions must propose a clear formal analysis based on rich and detailed data. The manuscript submission deadline for this special issue is April 23rd 2021.For more information, see https://www.dropbox.com/sh/t4imk1ha87g18hw/AAD6QYByoo2n6CN-O7KfItg0a?dl=0 or contact Pritty Patel-Grosz at pritty.patel-grosz at iln.uio.no.
22 - 23 April 2021, 15th International Conference on Formal Concept Analysis (ICFCA 2021:15), Virtual (Tokyo, Japan)Location: Virtual (Tokyo, Japan)Deadline: Tuesday 15 September 2020
The International Research Conference is a federated organization dedicated to bringing together a significant number of diverse scholarly events for presentation within the conference program. Events will run over a span of time during the conference depending on the number and length of the presentations. With its high quality, it provides an exceptional value for students, academics and industry researchers.
ICFCA 2021:15 aims to bring together leading academic scientists, researchers and research scholars to exchange and share their experiences and research results on all aspects of Formal Concept Analysis. It also provides a premier interdisciplinary platform for researchers, practitioners and educators to present and discuss the most recent innovations, trends, and concerns as well as practical challenges encountered and solutions adopted in the fields of Formal Concept Analysis.
Prospective authors are kindly encouraged to contribute to and help shape the conference through submissions of their research abstracts, papers and e-posters. Also, high quality research contributions describing original and unpublished results of conceptual, constructive, empirical, experimental, or theoretical work in all areas of Formal Concept Analysis are cordially invited for presentation at the conference. The conference solicits contributions of abstracts, papers and e-posters that address themes and topics of the conference, including figures, tables and references of novel research materials.For more information, see https://waset.org/formal-concept-analysis-conference-in-april-2021-in-tokyo.
15 - 16 April 2021, Third International Workshop on Formal Methods in Artificial Intelligence (FMAI 2021), VirtualLocation: VirtualDeadline: Friday 7 February 2020
The aims of FMAI 2021 are to:
- Present success stories about the application of formal methods in AI.
- Discuss strategies for bringing the Formal Methods and the AI communities closer together.
- Consolidate collaborations between these two communities and foster new ones.
The programme features 3 invited talks (by Giuseppe de Giacomo, Jane Hillston and Dvijotham Krishnamurthy) and 6 thematic sessions (on Learning, LTL, Logic, Verification, Data, and Games and MAS).
Formerly FMAI 2020, due to the current COVID-19 pandemic the workshop has been postponed to Spring 2021.
If you would like to attend the workshop, please submit a proposal for a talk (title and abstract for a 20 minutes talk) by January 31. The talk proposals can be about published or unpublished work. You should specify the category in the abstract. If the talk is based on a joint work, please mention your co-authors in the abstract. If you plan to attend but not give a talk, please submit an empty abstract with title 'no talk'.
7 - 9 April 2021, 10th International Conference on Artificial Intelligence in Music, Sound, Art and Design (EvoMUSART), Online (Seville, Spain)Location: Online (Seville, Spain)Deadline: Sunday 1 November 2020
The 10th International Conference on Artificial Intelligence in Music, Sound, Art and Design (EvoMUSART) will be held online in Seville, Spain, on 7-9 April 2021, as part of the evo* event.
The main goal of EvoMUSART is to bring together researchers who are using Artificial Intelligence techniques (e.g. Artificial Neural Network, Evolutionary Computation, Swarm, Cellular Automata, Alife) for artistic tasks such as Visual Art, Music, Architecture, Video, Digital Games, Poetry, or Design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area.
We welcome submissions which use Artificial Intelligence techniques in the generation, analysis and interpretation of Art, Music, Design, Architecture and other artistic fields. Submissions must be at most 16 pages long, in Springer LNCS format. Each submission must be anonymised for a double-blind review process. The deadline for submission is 1 November 2020. Accepted papers will be presented orally or as posters at the event and included in the EvoMUSART proceedings published by Springer Verlag in a dedicated volume of the Lecture Notes in Computer Science series.For more information, see http://www.evostar.org/2021/evomusart/.
27 March - 1 April 2021, 24th European Joint Conferences on Theory and Practice of Software (ETAPS 2021), OnlineLocation: OnlineDeadline: Thursday 15 October 2020
ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences, accompanied by satellite workshops:
- ESOP: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FoSSaCS: Foundations of Software Science and Computation Structures
- TACAS: Tools and Algorithms for the Construction and Analysis of Systems
A number of satellite workshops will take place before the main conferences. TACAS '21 will also host the 10th Competition on Software Verification (SV-COMP).
Due to the ongoing COVID-19 pandemic, ETAPS 2021 will take place virtually only.
The four main conferences of ETAPS 2021 solicit contributions of the following types: ESOP: regular research papers of max 25 pp * FASE: regular research papers and empirical evaluation papers of max 18 pp, tool demonstration papers of max 6 pp + mandatory appendix of max 6 pp, * FoSSaCS: regular research papers of max 18 pp * TACAS: regular research papers, case study papers and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp.
For definitions of the different paper types and specific instructions, where they are present, see the webpages of the individual conferences. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden.
20 - 21 March 2021, The 22nd annual Graduate Student Conference in Logic (GSCL XXII), VirtualLocation: VirtualDeadline: 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.
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.
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 giuseppe.primiero at unimi.it, Marija Slavkovik at marija.slavkovik at uib.no, or Sonja Smets at S.J.L.Smets at uva.nl.
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.
4 - 6 February 2021, ICAART Session "Natural Language Processing in Artificial Intelligence" (NLPinAI 2021), OnlineLocation: OnlineDeadline: 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.
We invite contributions relevant to the following topics. All accepted papers will be published in a special section of the conference proceedings bookm and be made available at the SCITEPRESS Digital Library.
4 - 5 February 2021, Workshop "Biased Questions: Experimental Results & Theoretical Modelling", Berlin (online)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.
We call for additional submissions for presentations on this topic (30 minutes talk). Anonymous abstracts of 2 pages maximum should be submitted as pdf files, named by the title of the abstract, by January 1, 2021.For more information, see https://www.leibniz-zas.de/de/das-zas/veranstaltungen/details/events/biased-questions-experimental-results-theoretical-modelling or contact Floris Roelofsen at f.roelofsen at uva.nl.
CfP special issue of Logical Methods in Computer Science (LMCS) on Computing with Infinite Data / Continuity, Computability, ConstructivityDeadline: Sunday 31 January 2021
After two years of successful work in the EU-MSCA-RISE project "Computing with Infinite Data" (CID) and two excellent Workshops CCC 2019 in Ljubljana (Slovenia) and CCC 2020 (online), we are planning to publish a collection of papers dedicated to the meetings, to the project and to the subject in general as a Special Issue in the open-access journal "Logical Methods in Computer Science" (LMCS).
The issue should reflect progress made in Computable Analysis and related areas, and is not restricted to work in the CID project or presented at the Workshop. Submissions are welcome from all scientists on topics in the entire spectrum from logic to algorithms. Editors: Daniel Graça (Faro, Portugal) and Alex Simpson (Ljubljana, Slovenia).
25 - 28 January 2021, Computer Science Logic (CSL'21), VirtualLocation: VirtualDeadline: Wednesday 1 July 2020
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.
- Assia Mahboubi, INRIA, Rennes, France
- Sophia Drossopoulou, Imperial College, London, UK
- Linda Westrick, Penn State University, State College, PA, USA
- Sylvain Schmitz, Université de Paris, Paris, France
- Bartek Klin, Uniwersytet Warszawski, Warsawa, Poland
Due to the global coronavirus pandemic, CSL 2021 will be held as a virtual meeting.
Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC.
Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal.
17 - 18 January 2021, Certified Programs & Proofs (CPP 2021), VirtualLocation: VirtualDeadline: Wednesday 16 September 2020
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education.
CPP 2021 will take place on January 18-19, 2021 as a virtual meeting.
We welcome submissions in research areas related to formal certification of programs and proofs. The submissions must be written in English and provide sufficient detail to allow the program committee to assess the merits of the contribution.Concurrent submissions to other conferences, journals, workshops with proceedings, or similar forums of publication are not allowed.
The submitted papers should not exceed 12 pages, including tables and figures, but excluding bibliography and clearly marked appendices. The papers should be self-contained without the appendices. Shorter papers are welcome and will be given equal consideration. CPP 2021 will employ a lightweight double-blind reviewing process.
17 June 2022, Eleventh Scandinavian Logic Symposium (SLSS 2022) - First call for abstractsLocation: Bergen, Norway
The eleventh Scandinavian Logic Symposium (SLSS 2022) will be held at the University of Bergen, Norway, during 17-19 June, 2022. The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites the participation of logicians from all over the world. The meeting will include invited lectures and a forum for participants to present contributed talks.For more information, see https://scandinavianlogic2020.w.uib.no/eleventh-scandinavian-logic-symposium-slss-2020/ or contact Fernando R. Velazquez-Quesada at slss at uib.no.
15 - 17 January 2022, HOLIC Workshop “Textual Analysis as the Basis for Understanding Chinese Logical Thought”Location: OnlineCosts: Free
There is a wealth of early Chinese philosophical texts from the Hundred Schools of Thought, dating from the 6th century BC to 221 BC. These texts contain profound ideas on how to think, reason, and conduct argumentation, as well as the relationship between ming 名 (name) and shi 实 (object/reality), language and logic. Many ideas of these texts continued to be influential throughout Chinese history, and are still of great relevance to today’s world.
Prominent scholars have made great contributions in analysing and interpreting these texts. In China, Sun Yirang started the tradition of textual analysis in the late Qing Dynasty, and it has been continued by Hu Shi, Feng Youlan, Shen Youding, Wu Yujiang, among many others. The HOLIC workshops are carrying on this tradition with particular attention to logical thought and to facilitate the Handbook project. The workshop holds that any idea or theories presented should be firmly based on textual evidence, yet we are open to a variety of methodological approaches.
15 January 2022, Workshop "Formalize!(?) 2", VirtualLocation: Virtual
We are organizing a one-day online workshop to commemorate the World Logic Day, on the topic of formalization in mathematics. Registration is free of charge and everybody is welcome to attend.
Topic: What are the chances and problems of the act of formalization in the context of mathematics? It is often said, that all of mathematics can be reduced to first-order logic and set theory. The derivation indicator view says that all proofs stand in some relation to a derivation, i.e. a mechanically checkable syntactical objects following fixed rules, that would not have any gaps. For a long time this was a mere hope. There may have been proofs of concepts from early logicists but derivation never played a big role in mathematical practice. The modern computer might change this. Interactive and automated theorem provers promise to make the construction of a justification without any gaps feasible for complex mathematics. Is this promise justified? Will the future of mathematical practice shift to more formal mathematics? Should it? We hope to illuminate such questions and focus especially on what these developments mean for the future of the curriculum of university students. This event features speakers speaking about both concrete projects and reflections on such endeavours in general.
(New) 14 January 2022, Workshop "Logic & Its Philosophy" (WLD 2022 Event), VirtualLocation: Virtual
On occasion of the UNESCO World Logic Day, we are organising a virtual mini-workshop on logic and its philosophy. Registration is free of charge and everybody is welcome to attend. Talks will be given by: Christian J. Feldbacher-Escamilla (Cologne), Hannes Leitgeb (MCMP, Munich), Kristina Liefke (RUB, Bochum) and¢ Graham Priest (Graduate Center, City University of New York). The event will be held in English.For more information, see https://www.philosophie.hhu.de/kontakt-und-services/aktuelle-meldungen/newsmeldung/logic-and-its-philosophy-1 or contact Paul Hasselkuß at hasselkuss at phil.hhu.de, or Sara Ipakchi. at ipakchi at phil.hhu.de.
(New) 14 January 2022, World Logic Day 2022, Department of Computer Science, University of OxfordLocation: Virtual Event (Teams)Target audience: Anyone interested in logicCosts: None
The Department of Computer Science at the University of Oxford will celebrate the UNESCO World Logic Day together with a number of academic institutions all around the world!
On this occasion on 14th January 2022 in an online session 4 esteemed senior researchers from the department will offer a closer look at their fields of research and explain how logic and logical methods are exploited therein. The event will consist of the following up-to-1-hour online live talks, each one followed by a short discussion. It will be held on MS Teams and participation will be free of charge.
14 January 2022, UNESCO World Logic Day 2022
UNESCO proclaimed 14 January to be World Logic Day, a global day of supporting the development of logic through teaching and research, as well as to public dissemination of the discipline.
The coordination of World Logic Day 2021 is --for the second time-- in the hands of the Conseil International de Philosophie et des Sciences Humaines (CIPSH) and its member organization, the DLMPST/IUHPST.
We would like to encourage logicians all around the world to organize (possibly small) events in close proximity to 14 January 2022 to celebrate this day. It is impossible to predict what type of meeting will be possible in January 2022 and what the international travel situation will be. As a consequence, we should like to ask all organisers to weigh pros and cons of planning in person events, purely online events, or hybrid events before making an announcement. Note that online and hybrid events have the advantage of allowing easy access of people from around the world. Registered events will be listed on the CIPSH website.For more information, see http://wld.cipsh.international/.
14 January 2022, Southern Summer Logic Day (WLD 2022 event), ZoomLocation: Zoom
With the purpose of celebrating the UNESCO World Logic Day, the Australasian Association for Logic will host a Southern Summer Logic Day.
There will be one keynote presentation by Max Cresswell entitled "Why did W.V.O. Quine hate Ruth Barcan Marcus? The curious relation between ideology and logic". In addition to the keynote, there will be four invited talks. The speakers will be John N. Crossley, Isabella McAllister, Gillian Russell and Lavinia Picollo. The talks should be suitable for a broad audience.For more information, see https://sites.google.com/view/aalogic/world-logic-day-2022 or contact g.badia at uq.edu.au.
14 January 2022, WLD in Nigeria: Logic - A World of Interdisciplinary Science 2 (WLD 2022 Event), VirtualLocation: Virtual
The zoom meeting will be featuring talks around the role and applications of logic (classical and non-classical) in different areas of research, and it is open to anyone interested in logic in the fields of Mathematics, Philosophy, Computer Science and other related areas.
(New) 14 January 2022, Workshop "Female Logicians: Their Impact on Modern Logic" (WLD 2022 Event), Hagen, Germany (Virtual)Location: Hagen, Germany (Virtual)
The event will be held virtually and is locally organized by: Claudia Anger, PD Dr. Jens Lemanski, Dr. Andrea Reichenberger (Hagen, Germany), in cooperation with the Society for the History of Science, Medicine and Technology (GWMT) and FILEH: "Innovative Teaching in Logic".
The workshop aims to focus on and critically discuss female logicians such as Christine Ladd-Franklin, Alice Ambrose, Margaret Masterman, Ruth Barcan Marcus, and Val Plumwood. They have played an extraordinary role in the history and philosophy of logic, advocating at the same time for gender equality in order to make logic more open, diverse and effective. Parallels will be drawn with well-known figures of logic (e.g. Peirce, Frege, Russell and Wittgenstein) and a critical look will be taken at the historiography of logic, which still resonates today. Speakers: Jasmin Özel, Claudia Anger, John David Loner, Siobhan Chapman, Frederique Janssen-Lauret,and Elena Ficara. The event will end with a roundtable discussion. Invited guests: Francine F. Abeles (Kean University, NJ, USA), Carolin Antos-Kuby (University of Konstanz, Germany), Ursula Martin (University of Edinburgh and Wadham College Oxford, UK).
14 January 2022, Meeting "The Meaning of Proofs" (WLD 2022 Event), VirtualLocation: Virtual
"The Meaning of Proofs" is a one day online meeting organised by the Programming Principles, Logic and Verification group at UCL. As part of the celebrations of UNESCO's World Logic Day 2022, we propose a foundational discussion about logic, validity and proof systems, with a main focus on proof-theoretic semantics. The event will consists of 20 min keynote talks, followed by a discussion. The registration is free of charge and everybody is welcome.For more information, see https://sites.google.com/view/wdl-ucl2022/.
(New) 14 - 15 January 2022, Workshop "Logic for the Friendship of Nations" (WLD 2022 Event), VirtualLocation: Virtual
It is our pleasure to invite you to participate in the "Logic for the Friendship of Nations" online workshop which will take place between January 14 - 15, 2022. It is a unique celebration of the UNESCO World Logic Day in the International Year of Basic Sciences and Sustainable Development which for the first time is taking place as a joint international program representing several countries including Iran, Iraq, India, Norway, Iceland, Denmark, Sweden, Finland, Thailand, Malaysia, Japan, Korea, Bosnia, France, the United States, and the United Kingdom. Feel free to write to us if you or your institutes are willing to join the global movement of logicians for peace and dialogue.
13 January 2022, Paths in Logic (World Logic Day Celebration at Haifa), OnlineLocation: Online
We are organizing a one-day online workshop to commemorate the World Logic Day. Logic deals with correct and incorrect reasoning, the connection between language and the world, and examines how we can use language to make correct statements about structures. It lies at the interface between mathematics, philosophy and computer science. This workshop aims to provide a window into Logic from four perspective, namely Mathematics, Philosophy, Computer Science and from real world application.
Registration is free of charge and everybody is invited to participate. This workshop is mainly aimed at undergraduate and graduate students but everybody is welcome. The event is particularly tailored towards the needs of students who are considering a career in logic.
13 - 15 January 2022, "Modern Geometry & its Foundations", Hybrid (Vienna (Austria) and/or Zoom)Location: Hybrid (Vienna (Austria) and/or Zoom)
The ERC Starting Grant project "The Roots of Mathematical Structuralism" and the FWF project "Purity and Abstraction in Modern Geometry: Historical and Philosophical Perspectives" are co-hosting the conference "Modern Geometry and its Foundations" at the University of Vienna.
The conference will be held either in hybrid form or digitally (on zoom).For more information, see https://structuralism.phl.univie.ac.at/events/international-conference-modern-geometry-and-its-foundations/ or contact florian.kolowrat at univie.ac.at.
Wittgenstein & the formal sciences (WLD 2022 event), VirtualLocation: Virtual
We are organizing a one-day online workshop to commemorate the World Logic Day.
Ludwig Wittgenstein, despite being one of the most influential philosophers of the 20th Century, is often perceived as confusing and misunderstood. Furthermore, in spite of Wittgenstein's belief that his most important work was his philosophy of mathematics, his work on it is generally more unknown than the rest. Given the potential of his work in areas like the philosophy of mathematical practice, ethnomathematics, and even the development of AI, this workshop aims at discussing it and raising its visibility.
Registration is free of charge and everybody is welcome to attend.For more information, see https://sites.google.com/view/wittgenstein-formal-sciences or contact José Antonio Pérez Escobar at jose.perez at gess.ethz.ch, or Deniz Sarikaya at deniz.sarikaya at uni-hamburg.de.
7 - 14 January 2022, Formal Ethics 2022 Conference (FE2022), VirtualLocation: Virtual
We are pleased to announce the eighth edition of the Formal Ethics conference series. Formal Ethics 2022 will be held online using Zoom this coming January 7th, 8th, 13th, and 14th (for most time zones). The keynote address will be given by Matthew Adler (Duke Law School). In addition, there will be sixteen contributed papers. Most of the papers were originally scheduled to be presented at the in-person Formal Ethics conference that was to be held at Vanderbilt University in 2020 but that was cancelled because of COVID.
Formal Ethics is a common denominator for the application of tools from logic, decision theory, game theory, and social choice theory to the analysis of concepts in moral and political philosophy and to the development of ethical theory. It is a rapidly growing field of research that goes back to the work of Kenneth Arrow, Amartya Sen, John Harsanyi, Georg Henrik von Wright, and others. The field has recently gained new impetus with formal work on non-classical logic, freedom and responsibility, population ethics, value theory, and the evolution of norms and conventions.For more information, see https://formalethics.org/schedule-formal-ethics-2020-21/ or contact Paul McNamara at Paul.McNamara at unh.edu.
3 - 5 January 2022, Seventeenth International Symposium on Artificial Intelligence and Mathematics (ISAIM 2022), Online via Zoom (Fort Lauderdale, Florida)Location: Online via Zoom (Fort Lauderdale, Florida)
The International Symposium on Artificial Intelligence and Mathematics (ISAIM), is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This will be the seventeenth Symposium in the series, sponsored by Florida Atlantic University and the Annals of Mathematics and Artificial Intelligence.
Due to the pandemic the three-day Symposium will take place online. ISAIM-2022 will feature invited speakers and special topic sessions. Registration is free but you need to register in advance so that you can get the Zoom links on a timely manner.
10 - 12 December 2021, Sixth Indian SAT+SMT School, VirtualLocation: Virtual
The theme of this year's school is the advancement of SAT and SMT solvers and their novel use in mathematical proofs and trustworthy AI. Registration of academics and students is free. We look forward to participation of all those seriously interested in SAT and SMT solving, both from theoretical and practical perspectives.
8 - 10 December 2021, Weyl 2021: Hermann Weyl's Philosophy of Mathematics, Oslo (Norway) and VirtualLocation: Oslo (Norway) and Virtual
To celebrate the 100 years since the publication of Hermann Weyl’s “Über die neue Grundlagenkrise der Mathematik”, we will hold a Workshop dedicated to Hermann Weyl’s Philosophy of Mathematics, with special (but not exclusive) focus on his intuitionistic turn.
The workshop will be run in dual-mode, in Oslo and on Zoom. Registration is required to attend the workshop. Speakers: Stefania Centrone, Laura Crosilla, José Ferreirós, Janet Folina, Dagfinn Føllesdal, Mirja Hartimo, Øystein Linnebo, Henri Lombardi, Pierluigi Minari, Stefan Neuwirth, Michael Rathjen, Wilfried Sieg, Iulian Toader, Mark van Atten.
29 November - 1 December 2021, Proof Society Winter School 2021Location: Funchal, MadeiraTarget audience: Advanced master students, PhD students, postdocs and experienced researchers new to the field in mathematics, computer science and philosophyCosts: €300
The intended audience for the Winter School is advanced master students, PhD students, postdocs and experienced researchers new to the field in mathematics, computer science and philosophy. The winter school offers courses of various levels by the following experts in the field: Bahareh Afshari, Juan Aguilera , Anupam Das, Graham Leigh, Alexander Leitsch and Norbert Preining. The event will be attending-only and shall not be streamed online.The conference fee includes registation to the affiliated The Proof Society Workshop on Proof Theory and its Applications
26 - 27 October 2021, 2nd ENCODE Workshop: Logic & Deliberation, Rotterdam (The Netherlands) or VirtualLocation: Rotterdam (The Netherlands) or Virtual
The ENCODE workshops are organized bi-annually at the EIPE/ESPhil (Erasmus University of Rotterdam), as part of the NWO-funded project ENCODE: Explicating Norms of Collective Deliberation. In this workshop we welcome all presentations on original contributions in philosophical logic and formal philosophy more generally that are relevant for the study of deliberative, multi-agent decision processes and procedures. In contemporary democratic theory and political science, the importance of group deliberation is stressed over and again. But what exact form should such deliberation take, and what can we expect from it?
Keynote Speakers: Natacha Alechina (Utrecht), Zoé Christoff (Groningen), Dominik Klein (Utrecht) and Hannes Leitgeb ((Munich).For more information, see here or at https://www.eur.nl/en/esphil/events/encode-workshop-logic-and-deliberation-2021-10-26 or contact vandeputte at esphil.eur.nl.
29 - 30 September 2021, Workshop "New Work on Induction & Abduction", VirtualLocation: Virtual
This workshop aims at bringing together scholars from the field of inductive and abductive reasoning. It will focus on discussing the following four recent monographs: Igor Douven's "The theory and Practice of Abduction" (forthcoming), Ilkka Niiniluotto's "Truth-Seeking by Abduction" (2018), John Norton's "The Material Theory of Induction" (2021), and Gerhard Schurz' "Hume's Problem Solved" (2019). Each of these monographs will be discussed in form of a comprehensive comment as well as replies and reflections by the authors. The workshop will also host specialist talks from leading scholars in this field of research.
28 - 30 September 2021, Minisymposium "Large cardinals", Virtual (Passau, Austria)Location: Virtual (Passau, Austria)
This minisymposium will be devoted to recent developments in the theory of large cardinals, a central concept of contemporary set theory that allows the measurement of the consistency strength of mathematical theories and the ordering of these theories into a canonical hierarchy. Seminal results show that large cardinal assumptions themselves answer many important questions left open by the standard axiomatization of set theory and this leads many set theorists to think that these axioms should be included in the correct axiomatization of mathematics. In the last fifty years, set theorists have developed a deep and canonical theory of large cardinals and, in recent years, breakthrough results in vastly different regions of the large cardinal hierarchy were obtained. The talks in our symposium will cover this wide spectrum of research, from virtual large cardinal axioms in the lower reaches of this hierarchy all the way up to axioms of infinity that contradict the Axiom of Choice.For more information, see https://www.uni-passau.de/en/dmv-oemg-jahrestagung-2021/.
27 September 2021, Minisymposium "Thinking about proofs" (at DMV-OeMG conference), Virtual
It is often said, that all of mathematics can be reduced to first-order logic and set theory. The derivation indicator view says that all proofs stand in some relation to a derivation, i.e. a mechanically checkable syntactical objects following fixed rules, that would not have any gaps. For a long time this was a mere hope. There may have been proofs of concepts from early logicists but derivation never played a big role in mathematical practice. The modern computer might change this. Interactive and automated theorem provers promise to make the construction of a justification without any gaps feasible for complex mathematics. This minisymposium brings together philosophers, educators and linguist to study both proofs as they can be found in real textbook as well as in the logical sense, i.e. derivations.
This is an affiliated minisymposium to the DMV and ÖMG-annual meeting.
13 - 14 September 2021, 5th International Autumn School "Proof and Computation" , OnlineLocation: OnlineTarget audience: Graduate or PhD students and young postdoctoral researchers
The aim of the autumn school "Proof and Computation" is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy. Scope: Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs. There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.
Unfortunately because of the present situation we had to cancel the event. More precisely, it will be held as an online workshop from 13th to 14th September 2021.For more information, see https://www.mathematik.uni-muenchen.de/~schwicht/pcv21.php or contact koepp at math.lmu.de.
8 - 10 September 2021, PhDs in Logic XII, Freie Universität Berlin and virtuallyLocation: Freie Universität Berlin and virtuallyTarget audience: Master students, PhDs, Post-DocsCosts: None
We are happy to announce that the 12th edition of “PhDs in Logic” will finally take place in a hybrid format virtually and at the Freie Universität Berlin, Germany, from September 8 to 10, 2021.
“PhDs in Logic” is an annual graduate conference organized by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It involves tutorials by established researchers as well as short (20-25 minutes) presentations by PhD students, master students and first-year postdocs on their research.
Invited speakers are:
Marianna Antonutti Marfori (LMU Munich, Germany)
Christoph Benzmüller (FU Berlin, Germany)
Juliana Bueno-Soler (CLE - State University of Campinas, Brasil)
Hannes Leitgeb (LMU Munich, Germany)
Alexander Steen (University of Luxembourg)
Peter Verdée (Catholic University of Louvain, Belgium)For more information, see here or at https://www.mi.fu-berlin.de/phdsinlogic2020/index.html or contact Sara Ayhan at phdsinlogic at gmail.com.
8 - 10 September 2021, The 17th Reasoning Web Summer School (RW 2020) , VirtualLocation: Virtual
The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate (PhD or MSc) students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. As in the previous years, lectures in the summer school will be given by a distinguished group of expert lecturers carefully selected to cover a wide range of topics relevant to the school (see below).
The summer school is part of Declarative AI 2021 and is co-located with RuleML+RR 2021 and DecisionCAMP 2021. The students attending the RW school are particularly encouraged to also apply to the Doctoral Consortium of RuleML+RR. The number of attendees will be limited and participation will depend on submitting an application which will undergo a reviewing process.For more information, see https://declarativeai2021.net/reasoning-web.
September 2021, CL2020: Colloquium Logicum 2020, Konstanz, GermanyLocation: Konstanz, Germany
The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG).The conference will cover the whole range of mathematical logic and the foundations of the exact sciences. In addition to all fields of mathematical logic, this includes the philosophy of the exact sciences, logic in philosophy, and logic in computer science and artificial intelligence. In addition to the keynote talks, there will b