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
No Past appointments
No Former Regular Events
(New) 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 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.
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
(Updated) 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
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.
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.
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.
7 - 9 October 2021, 13th French Philosophy of Maths Workshop (FPMW 13), Nice (France) or VirtualLocation: Nice (France) or VirtualDeadline: 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 - with the possibility of modifications linked to the ongoing health crisis.
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.
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.
22 - 25 September 2021, 10th International Conference on Non-Classical Logics, Theory & Applications, Łódź, PolandLocation: Łódź, PolandDeadline: Wednesday 10 June 2020
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 a special session devoted to formal ontology, broadly conceived.
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 2021.
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 LaTeX single-column format of CEUR-ws.They must not exceed 10 pages.For more information, see http://ncl.uni.lodz.pl/.
21 - 24 September 2021, Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021), Prague, Czech RepublicLocation: Prague, Czech RepublicDeadline: 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 - 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.
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 - 16 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/.
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.
9 - 10 September 2021, Seventh International Workshop on Controlled Natural Language (CNL 2020)Location: AmsterdamTarget 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.
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, Erlangen, GermanyLocation: Erlangen, GermanyDeadline: 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".
Unfortunately, due to the current Covid-19 pandemic it is impossible to hold our congress as planned (6th – 9th September 2020). It is not yet clear whether it would even be legally possible to hold it this year. However, it is clear that it would require very severe restrictions, so that essential goals of the congress could not be achieved. The congress is therefore postponed by one year.
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 - 10 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/.
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), Porto, PortugalLocation: Porto, PortugalDeadline: 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.
We will monitor the global travel situation and consider the conditions the conference will be held.
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.
10 - 14 August 2021, ESSLLI Workshop "Computing Semantics with Types, Frames, & Related Structures", Utrecht, The NetherlandsLocation: Utrecht, The NetherlandsDeadline: Saturday 17 April 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.
9 - 13 August 2021, Computational and Experimental Explanations in Semantics and PragmaticsLocation: UtrechtDeadline: Monday 15 February 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 explanation that can be offered.
For example, experimental methods can help distinguish between alternative explanations of semantic effects, e.g. whether to classify controversial phenomena as implicatures or presuppositions. Similarly, computational models of semantics can generate fine-grained and non-categorical predictions that can fruitfully be tested experimentally. And both kinds of methods can be used to ask questions about the emergence of semantic structures in language, including which factors influence their distribution and typology.
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:
* 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
We invite anonymized submission of abstracts of 2 pages (12 pt font; 1in or 2.5cm margins) — with an extra page for references of figures — on new research on topics related to those listed above by February 15.For more information, see https://www.jakubszymanik.com/CoSaQ/events/explanations-semantics/ or contact Jakub Szymanik at jakub.szymanik at gmail.com.
9 - 13 August 2021, ESSLLI-2021 Workshop "Approaches to Implicature", Utrecht, NetherlandsLocation: Utrecht, NetherlandsDeadline: 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), Virtual or Halifax NS, CanadaLocation: Virtual or Halifax NS, CanadaDeadline: 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 most likely be fully online. It may have an in-person component (depending on the covid-19 situation), which will be held at Dalhousie University, Halifax, Nova Scotia, Canada. CCCG 2021, the 33rd Canadian Conference on Computational Geometry, is planned for August 10-12 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/.
1 - 4 August 2021, Spatial Cognition 2020/1 (SC 2020/1), Riga, LatviaLocation: Riga, LatviaDeadline: 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; this is the postponed version of it; the organizers are carefully observing the circumstances and will be hosting a virtual or a hybrid conference (with some talks in physical co-presence and some – virtually).
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).
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 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.
Proposals for courses and workshops are invited in all areas of Logic, Linguistics and Computation. Cross-disciplinary and innovative topics are encouraged. Each course/workshop will consist of five 90-minute sessions, offered daily in a single week. Proposals for 2-week courses should be structured and submitted as two independent one-week courses. The ESSLLI program committee reserves the right to accept just one of the two proposals.
The EACSL offers to act as a sponsor for one course or workshop in the areas of Logic and Computation covered by the Computer Science Logic (CSL) conferences. This course or workshop will be designated an EACSL course/workshop. If you wish to be considered for this, please indicate so on your proposal.
26 July - 13 August 2021, ESSLLI 2021 Student SessionLocation: 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.
21 - 24 July 2021, 15th International Conference on Deontic Logic and Normative Systems (DEON 2020/21), MCMP MunichLocation: MCMP MunichCosts: 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), Bremen, GermanyLocation: Bremen, GermanyDeadline: 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.
13 - 16 July 2021, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Glasgow (Scotland) or VirtualLocation: Glasgow (Scotland) or VirtualDeadline: 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.
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.
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), Strasbourg, FranceLocation: Strasbourg, FranceDeadline: 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.
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.
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, IsraelLocation: Haifa, IsraelDeadline: 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/.
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.
12 - 16 April 2021, 21st Midlands Graduate School in the Foundations of Computing Science (MGS 21), VirtualLocation: Virtual
The annual Midlands Graduate School in the Foundations of Computing Science (MGS) offers an intensive programme of lectures on the mathematical foundations of computing. It addresses first of all PhD students in their first or second year, but is open to anyone interested in its topics, from academia to industry and around the world. The MGS has been run since 1999 and is hosted alternately by the Universities of Birmingham, Leicester, Nottingham and Sheffield. MGS 21 is its 21st incarnation.
MGS 21 consists of eight courses, each with four or five hours of lectures and a similar number of exercise sessions. Three courses are introductory; one is given by an invited lecturer. These should be attended by all participants. The remaining more advanced courses should be selected based on interest. MGS 21 aims at a mix of livestreamed and prerecorded lectures and livestreamed exercise sessions, with additional social online events.For more information, see https://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs21.html or contact Georg Struth at G.Struth at sheffield.ac.uk.
6 April 2021, Opening of the Weizsäcker Centre: "Making Responsible Decisions in & about Science", VirtualLocation: Virtual
The academic activity of the Carl Friedrich von Weizsäcker Center (University of Tübingen) will be opened with the online event "Making Responsible Decisions in and about Science". Speakers: Nancy Cartwright (Durham University and University of California, San Diego) and Helen E. Longino (Stanford University).
26 March 2021, Joint Jahrestagung FG LogInf & Deduktionstreffen, VirtualLocation: Virtual
The annual Workshop on Logic in Computer Science (Jahrestagung) and the annual meeting Deduktionstreffen are the prime activities of the Interest Group on Logic in Computer Science (FG LogInf) and the Interest Group on Deduction Systems (FG DedSys) of the German Society of Informatics (Gesellschaft für Informatik), respectively. This year, the activities will be organized as a Joint Logic Workshop in order to foster mutual exchange and to explore potential synergies.
The Joint Logic Workshop is a meeting with an informal and friendly atmosphere, where everyone (not only the German community) interested in the relevant topics can report on their work in an accessible setting. A special focus of the workshop is on young researchers and students, who are particularly encouraged to present their ongoing research projects to a wider audience. Another goal of the meeting is to stimulate networking effects and to foster collaborative research projects.
Early 2021, Computability, Complexity, and Randomness 2020 (CCR 2020) and its satellite Leeds Computability Days 2020 (LCD 2020), Cambridge & Leeds (UK)Location: Cambridge & Leeds (UK)
We are pleased to announce that Computability, Complexity, and Randomness 2020 and its satellite Leeds Computability Days 2020 will take place in June and July 2020. Leeds Computability Days will be held at the University of Leeds in Leeds, UK during 24-26 June 2020. Computability, Complexity, and Randomness will be held at the Isaac Newton Institute for Mathematical Sciences in Cambridge, UK during 29 June ? 3 July 2020.
Both conferences are sponsored by the Association for Symbolic Logic, and so student members of the ASL may apply for travel grants to attend.
Due to the COVID-19 crisis the conferences have been postponed until 2022.For more information, see http://www.computability.org/LCD2020/.
16 January 2021, Formalize!(?) - A philosophical & educational perspective on formalization in mathematicsLocation: Online via Zoom
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 are organizing a one-day online workshop to commemorate the World Logic Day, on the topic of formalization in mathematics. 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.
15 January 2021, "Computer Science needs Logic!" (WLD 2021 event)Location: Virtual
On 15th January 2021, academics, post-docs and PhD students of the Department of Computing, Imperial College London, will celebrate the World Logic Day with a free and remotely delivered event, entitled "Computer Science needs Logic!". Our event intends to contribute to the UNESCO World Logic Day with a programme of presentations, by members of the Department of Computing, that will showcase advancements made in "Logic and Programming Languages" and "Logic and Artificial Intelligence".For more information, see https://sites.google.com/view/imperial-worldlogicday2021/.
14 January 2021, "Logic & Philosophy of Mathematics in the evening"Location: Virtual
We are organizing four evening talks to commemorate the World Logic Day. Registration is free of charge and everybody is welcome to attend.
1.Graham Priest (Graduate Center, City University of New York & University of Melbourne)
2.Gil Sagi (University of Haifa)
3.Silvia de Toffoli (Princeton University)
4.Jouko Väänänen (University of Helsinki & University of Amsterdam)For more information, see https://sites.google.com/view/logicintheeveningcet or contact Deborah Kant at kantdebo at gmail.com.
14 January 2021, Vienna World Logic Day, VirtualLocation: Virtual
UNESCO proclaimed World Logic Day in 2019, in association with the International Council for Philosophy and Human Sciences (CIPSH), to enhance public understanding of logic and its implications for science, technology and innovation. The Vienna Center for Logic and Algorithms at Vienna University of Technology (VCLA at TU Wien) represents six research groups celebrating the World Logic Day 2021 (WLD) with a Vienna World Logic Day Lecture with Prof. Georg Gottlob on the future of logic in the world shaped by Artificial intelligence.For more information, see https://logicday.vcla.at.
14 January 2021, CIPSH-UNESCO World Logic Day Cagliari
The event has been organized by the A.LO.P.HIS (Applied LOgic, PHilosophy and the HIStory of SCience) research group from the University of Cagliari on the occasion of the UNESCO's World Logic Day that will take place on January 14 2021.For more information, see here or at http://wld.cipsh.international/contributed_documents/Flyer-EnglishTranslation.pdf or contact Prof. Francesco Paoli at paoli at unica.it.
14 January 2021, Logical Journeys Webinar (WLD 2021 event)Location: Virtual
Logical Journeys is a one day event organised by Renato Neves, Mehrnoosh Sadrzadeh, and Alexandra Silva (UCL) for discussing the past use of logic in different domains and the challenges it faces from emerging paradigms, such as machine learning, probabilistic, cyber-physical, and quantum computing. The event is framed in the context of UNESCO's World Logic Day, which was proclaimed.
Logical Journeys will consist of a keynote talk by Samson Abramsky and a discussion session on 'the many facets of logic' which will be led by a panel of researchers with different backgrounds but with logic as a central pillar in their careers.For more information, see https://www.ucl.ac.uk/engineering/events/2021/jan/logical-journeys-webinar-world-logic-day-event.
14 January 2021, World Logic Day in Hungary (WLD 2021 event)Location: Virtual
The Set Theory, Logic and Topology department of the Alfréd Rényi Institute of Mathematics and the Department of Logic of Eötvös Loránd University organize an online workshop celebrating the 3rd World Logic Day at 14 January 2021.
Mohamed Khaled (Bahçeşehir University): Algebras of concepts and their networks
Aleksandra Samonek (UCLouvain): Modeling inductive inference on linguistic content using dictionaries and vectors
István Juhász (Rényi Institute): Pinning Down Families of Open Sets
Giambattista Formica (Pontifical Urbaniana University) and Michèle Friend (The George Washington University): In the Footsteps of Hilbert: The Logical Foundations of Theories in Physics.For more information, see https://conferences.renyi.hu/wld3.
14 January 2021, Virtual Mini-Workshop "Logic and its Philosophy"Location: Virtual
We are organising a virtual mini-workshop on logic and its philosophy. Talks will be given by: 1. Hitoshi Omori (Bochum) 2. Filippo Ferrari (Bonn) 3. Catarina Dutilh Novaes (VU Amsterdam & St. Andrews).
The event is organised by Sara Ipakchi and Paul Hasselkuß (HHU Düsseldorf). Registration is free of charge and everybody is welcome to attend.For more information, see https://www.philosophie.hhu.de/kontakt-und-services/aktuelle-meldungen/newsmeldung/logic-and-its-philosophy or contact hasselkuss at phil.hhu.de, or ipakchi at phil.hhu.de.
14 January 2021, Logic: A world of interdisciplinary science, Celebrating World Logic Day in NigeriaLocation: VirtualAs part of the UNESCO World Logic Day 2021, you are invited to participate in a zoom meeting featuring talks on the role of logic across disciplines. This event will bring together logicians in the fields of Mathematics, Philosophy, Computer Science and other related areas. Speakers: 1. Emma Ruttkamp-Bloem, 2. Thomas Meyer, 3. Yurii Khomskii, and 4. T. O.William-West.
Organizer: Funmilola Balogun, Federal University Dutsinma. Registration is free of charge and everybody is welcome to attend.For more information, see http://wld.cipsh.international/contributed_documents/WLD-NIGERIA.pdf or contact fbalogun at fudutsinma.edu.ng.
14 January 2021, World Logic Day 2021
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 Conseil International de Philosophie et des Sciences Humaines (CIPSH) is coordinating the dynamic and global annual celebration of World Logic Day aiming at fostering international cooperation, promoting the development of logic, in both research and teaching, supporting the activities of associations, universities and other institutions involved with logic, and enhancing public understanding of logic and its implications for science, technology and innovation.
We invite everyone in the world interested in logic to organise events celebrating World Logic Day 2021 on 14 January 2021 (or on convenient date close to the 14th of January). WLD events
- can be academic or non-academic,
- can be aimed at the general public or specialists,
- can focus on any of the many facets of logic from disciplines such as mathematics, philosophy, computer science, linguistics, or others, and
- can use any format, e.g., it could be a lecture, a workshop, a panel discussion, an information bazaar, etc. etc.
If you are organising an event and wish to be listed in the official list of WLD 2021 events on our website and use the official WLD logo in your announcements, please follow the instructions on the website to obtain the status of an official WLD 2021 event.For more information, see http://wld.cipsh.international/.
14 January 2021, CS Oxford World Logic Day Lectures (WLD 2021 event), VirtualLocation: Virtual
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 5 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.For more information, see https://www.cs.ox.ac.uk/seminars/2372.html.
12 - 16 January 2021, VI International Conference on Mathematical Foundations of Informatics (MFOI-2020), VirtualLocation: Virtual
The 2020 edition of the annual Conference on Mathematical Foundations of Informatics is intended to add synergy to the efforts of the researchers working on development of the development of mathematical foundations for computer science, also known as informatics. Round tables are planned to ensure an open debate on the state of the art and new directions of research and cooperation.
In view of the outbreak of the Coronavirus disease (COVID-19) the MFOI-2020 conference is postponed to January 12-16, 2021. The conference will be held in the virtual mode. During MFOI, January 14, 2021 is devoted to the World Logic Day.For more information, see http://mfoi2020.inf.ua/.
MoL and PhD defenses
30 April 2021, PhD Defense, Cian Guilfoyle ChartierTitle: A Pragmatic Defense of Logical PluralismLocation: OnlinePromotor: Frank VeltmanCopromotor: Sonja Smets
The thesis characterises logic as a formal presentation of a guide to undertaking a rational practice, a guide which is itself constituted by epistemic norms and their consequences. There in general may be more than one "good" presentation, more than one "good" practice, and more than one way to conceive of the practice. This is a pragmatic conception of logical pluralism we call thoroughgoing logical pluralism. The thesis consists in a defence of thoroughgoing logical pluralism, and a case for how such a characterisation of logic is helpful in addressing problems in logical revision, semantic paradoxes, and the incommensurability of logical theories.For more information, see https://www.illc.uva.nl/Research/Publications/Dissertations/DS/#DS-2021-05 or contact Cian Guilfoyle Chartier at chartiec at tcd.ie.
29 April 2021, Master of Logic defense, Giovanni VarricchioneTitle: Complexity of Locally Fair Allocations on GraphsLocation: Online (closed session)Supervisor: Ronald de Haan
16 April 2021, Master of Logic defense, Damiano FornasiereTitle: Representable forests and diamond systems.Location: Online (closed session)Supervisor: Nick Bezhanishvili
13 April 2021, PhD Defense, Sophie ArnoultTitle: Adjunction in Hierarchical Phrase-Based TranslationLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Khalil Sima'anCopromotor: Jelle Zuidema
24 February 2021, Master of Logic defense, Wijnand van WoerkomTitle: Algebraic models of type theoryLocation: Online (Closed Session)Supervisor: Benno van den BergMentor: Ronald de Wolf
18 February 2021, Master of Logic defense, Lukas ZengerTitle: Proof theory for fragments of the modal mu-calculusLocation: Online (Closed Session)Supervisor: Bahareh Afshari
27 January 2021, PhD Defense, Elbert BooijTitle: The Things Before Us: On What it Is to Be an ObjectLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamSupervisor: Robert van RooijPromotor: Robert van RooijCopromotor: Franz Berto
15 January 2021, PhD Defense, Yfke DulekTitle: Delegated and Distributed Quantum ComputationLocation: Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamSupervisor: Chris SchaffnerPromotor: Chris Schaffner and Harry Buhrman
Projects and Awards
Best paper award at Coling 2020 for Bryan Eikema and Wilker Aziz
Bryan Eikema and Wilker Aziz won the best paper award at Coling 2020 for their work on the inadequacy of the mode in neural machine translation. The paper is freely available on the ACL anthology and a link to Bryan's presentation will be there soon.For more information, see https://www.aclweb.org/anthology/2020.coling-main.398/ or contact Bryan Eikema at b.eikema at uva.nl.
Funding, Grants and Competitions
UvA 3MT® Competition for PhD studentsDeadline: Friday 7 May 2021
UvA PhD students from the Amsterdam Law School, Economics & Business, Faculty of Humanities and Faculty of Science are invited to take part in the 2021 UvA ‘Three Minute Thesis’ Competition.
Developed by The University of Queensland, the Three Minute Thesis competition or 3MT, is an annual competition held at over 900 universities across more than 85 countries worldwide. Participants are challenged to present their PhD research in just three minutes to a non-specialist audience. The 3MT is also a video competition: presentations are recorded on video and can be shared with others, even after the competition.
UvA PhD students who have not defended their PhD dissertation before 16 September 2021 are eligible.For more information, see https://grant-support.uva.nl/content/news/2021/april/uva-3mt.html.
VCLA International Student Award 2021 in Logic and Computer ScienceDeadline: Friday 7 May 2021
The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for the nomination of authors of outstanding bachelor and master theses in the field of Logic and Computer Science, whose degrees were conferred between November 15th, 2019 and December 31st, 2020 (inclusive). The awardees will receive cash prizes from the award fund of 2000 EUR and an invitation to present their theses in Vienna, if the situation allows. The main areas of interest are: Computational Logic, Algorithms and Computational Complexity, Databases and Artificial Intelligence, Verification.For more information, see https://logic-cs.at/vcla-international-student-awards-2021/ or contact Alexandra Traxler at award at logic-cs.at.
ERC Consolidator GrantDeadline: Tuesday 20 April 2021
Are you a scientist who wants to consolidate your independence
by establishing a research team and continuing to develop a success
career in Europe? The ERC Consolidator Grant could be for you. You can
also apply if you have recently created an independent, excellent
research team and want to strengthen it.For more information, see https://erc.europa.eu/funding/consolidator-grants.
E W Beth Outstanding Dissertation Prize 2021Deadline: Thursday 15 April 2021
Since 2002, the Association for Logic, Language, and Information (FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to outstanding Ph.D. dissertations in Logic, Language, and Information, with financial support of the E.W. Beth Foundation. Nominations are now invited for the best dissertation in these areas resulting in a Ph.D. degree awarded in 2020.
In accordance with the aim of the Beth Foundation to continue and extend the work of the Dutch logician Evert Willem Beth, nominations are invited of excellent dissertations on topics in the broad remit of ESSLLI, including current topics in philosophical and mathematical logic, computer science logic, philosophy of science, philosophy of language, history of logic, history of the philosophy of science and scientific philosophy in general, as well as the current theoretical and foundational developments in information and computation, language, and cognition. Dissertations with results more broadly impacting various research areas in their interdisciplinary investigations are especially solicited. Self-nominations are not possible.
ERC Starting GrantDeadline: Thursday 8 April 2021
Are you a talented early-career scientist who has already produced excellent supervised work, is ready to work independently and shows potential to be a research leader? The ERC Starting Grant could be for you.For more information, see https://erc.europa.eu/funding/starting-grants.
Amsterdam Science Innovation Award 2021Deadline: Monday 5 April 2021
Do you have an innovative idea and would you like to develop it further?
The Innovation Award is the Amsterdam competition for research based
innovative ideas that contribute to a better world.
Sign up your idea and have a chance to win € 10.000!For more information, see https://www.amsia.nl/innovation-award-2021/.
Herbert A. Simon Award for Outstanding Research in Computing & PhilosophyDeadline: Monday 5 April 2021
The executive board of the International Association for Computing and Philosophy seeks nominations for the 2021 Herbert A. Simon Award. The Herbert A. Simon Award for Outstanding Research in Computing and Philosophy recognizes scholars at an early stage of their academic career who are likely to reshape debates at the nexus of Computing and Philosophy by their original research.
In lieu of travel and lodging expenses to CEPE/IACAP Hamburg-2021, which is fully online this year, IACAP will provide a modest honorarium and award plaque to the recipient. Please send your nomination(s) to Steve McKinlay by April 5th for full consideration. Nominations must include current affiliation, if any, and either a copy of, or a link to, the nominee's Curriculum Vitae. Please also include a brief paragraph explaining the nominee's research agenda and the potential contribution their research is likely to make to the field of computing and philosophy, broadly conceived.
Call for Nominations: IACAP Covey Award 2021 for innovative research in computing and philosophyDeadline: Monday 22 March 2021
The Executive Board of the International Association for Computing and Philosophy seeks nominations for the 2021 Covey Award. The Covey Award recognizes senior scholars with a substantial record of innovative research in the field of computing and philosophy broadly conceived.
In lieu of travel and lodging expenses to CEPE/IACAP Hamburg-2021, which is fully online this year, IACAP will provide a modest honorarium and award plaque to the recipient.
Please send your nomination(s) to Steve McKinlay. Nominations must include current affiliation, if any, and either a copy of, or a link to, the nominee's Curriculum Vitae. A brief explanatory paragraph in favor of the nomination would also be most helpful.
NWO Demand-Driven Partnerships for ConsortiaDeadline: Tuesday 16 March 2021
Within Demand-Driven Partnerships for Consortia NWO provides an opportunity for new or existing consortia to organise, develop and grow to a size from which societal (including economic) impact may be expected. The development of a coherent project proposal requires close cooperation within the consortium and the central knowledge and development question fits within one or more Knowledge and Innovation Agendas (KIAs).For more information, see https://www.nwo.nl/en/calls/demand-driven-partnerships-consortia or contact kic-partnerschappen at nwo.nl.
Call for Nominations: 2021 Alonzo Church Award for Outstanding Contributions to Logic & ComputationDeadline: Monday 1 March 2021
An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015. The award is for an outstanding contribution represented by a paper or by a small group of papers published within the past 25 years. This time span allows the lasting impact and depth of the contribution to have been established. The award can be given to an individual, or to a group of individuals who have collaborated on the research.
Nominations for the 2021 award are now being solicited. The contribution must have appeared in a paper or papers published within the past 25 years. Thus, for the 2021 award, the cut-off date is January 1, 1996. In addition, the contribution must not yet have received recognition via a major award, such as the Turing Award, the Kanellakis Award, or the Goedel Prize. While the contribution can consist of conference or journal papers, journal papers will be given a preference. Self- nominations are excluded. The 2021 award will be presented at the ACM SIGLOG/IEEE Symposium on Logic in Computer Science, LICS 2021, which is scheduled to take place in Rome in June/ July 2021.
Humane AI Seed Funding – Call 2021Deadline: Monday 1 March 2021
For over three decades, the University of Amsterdam has featured world-class research and education programmes on Artificial Intelligence (AI). To create a distinct societal take on AI, the UvA launched a new Research Priority Area, Human(e) AI, which aims to synthesise ongoing work and stimulate new research on the societal, ethical and legal implications of AI. More information can be found here.
An important part of the RPA Human(e) AI is a ‘seed grant’ program. This program is aimed at fostering collaboration to investigate the societal implications of AI. The program offers faculties at the UvA the opportunity to conduct collaborative, interdisciplinary research. The grants are typically carried out in interdisciplinary teams. In addition to the research, the grant can be used as a seed grant for preparing an AI-related grant application.For more information, see https://humane-ai.nl/humane-ai-seed-funding-call-2021/ or contact Saskia Plandsoen at saskia.plandsoen at uva.nl.
Call for Nominations: 2021 Goedel Prize for outstanding papers in the area of theoretical computer scienceDeadline: Sunday 28 February 2021
The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (ACM SIGACT).
The award is presented annually and includes an award of USD 5000.
The Prize is named in honor of Kurt Gödel in recognition of his major contributions to mathematical logic and of his interest, discovered in a letter he wrote to John von Neumann shortly before von Neumann’s death, in what has become the famous "P versus NP" question.
Any research paper or series of papers by a single author or by a team of authors is deemed eligible if:
- The main results were not published (in either preliminary or final form) in a journal or conference proceedings before January 1st, 2008.
- The paper was published in a recognized refereed journal no later than December 31, 2020.
The research work nominated for the award should be in the area of theoretical computer science.
Nominations are encouraged from the broadest spectrum of the theoretical computer science community so as to ensure that potential award winning papers are not overlooked.For more information, see https://sigact.org/prizes/gödel.html.
Call for proposals HPC in a cloud 2020Deadline: Sunday 31 January 2021
All UvA researchers are invited to submit proposals to the HPCN Fund. Proposals may be submitted between 1 January 2021 and 31 January 2021. Responses to proposals will be given shortly after closure.For more information, see https://medewerker.uva.nl/en/content-secured/news/2020/12/hpcn-call-for-proposals-2020.html or contact Boy Menist at b.n.j.menist at uva.nl.
Netherlands L’Oréal-Unesco For Women in Science Rising Talent Prizes 2021Deadline: Wednesday 20 January 2021
The For Women in Science Rising Talent Prizes are a recent addition to the national For Women in Science programme, which was founded in 2012 as part of the international partnership between L’Oréal and Unesco - For Women in Science (FWIS).
The aim of the Netherlands L’Oréal-Unesco For Women in Science Rising Talent Prizes is to advance the academic careers of young women researchers in the Netherlands holding a position as PhD candidate or postdoctoral fellow, with a maximum of three years post-PhD academic experience.For more information, see https://khmw.nl/netherlands-loreal-unesco-for-women-in-science-rising-talent-prize-2/ or contact secretaris at khmw.nl.
NWO Key TechnologiesDeadline: Tuesday 19 January 2021
Within the KIC 2020-2023, budget will be made available for research, in the context of the Knowledge and Innovation Agenda (KIA) Key Technologies.
2021 IUHPST Essay Prize in History and Philosophy of ScienceDeadline: Friday 15 January 2021
The International Union of History and Philosophy of Science and Technology (IUHPST) invites submissions for the 2021 IUHPST Essay Prize in History and Philosophy of Science. This biennial prize competition seeks to encourage fresh methodological thinking on the history and philosophy of science and related areas.
Entries in the form of an essay of 5,000-10,000 words in English are invited, addressing this year's prize question: "What can history and philosophy of science, technology and medicine contribute to our current global challenges?" What constitutes a current global challenge is left to the judgment of the authors, but examples include the coronavirus pandemic, climate change, socioeconomic inequality, racism, the refugee crisis, and science denialism.Entries are invited from anyone, without restriction of age, nationality or academic status. All entries should consist of original work that has not previously been published. Co-authored work will be considered; if the winning entry is a co-authored work the cash prize will be shared out among the authors.For more information, see http://iuhpst.org/pages/inter-division-commissions/joint-commission/2021-essay-prize.php or contact Prof. Hasok Chang at hc372 at cam.ac.uk.
Open Positions at ILLC
PhD in natural language processing: modelling implicit bias and stereotypeDeadline: Tuesday 20 April 2021
The Institute for Logic, Language and Computation (ILLC) has a PhD position in natural language processing: modelling implicit bias and stereotype.
The PhD position is part of Robert van Rooij’s research project From Learning to Meaning: A new approach to generic sentences and implicit biases, which is funded by NWO, and also involves a postdoctoral position. This PhD position will be jointly supervised by Robert van Rooij and Ekaterina Shutova.
The project overall: generic sentences ('Birds fly’, ‘Sharks are dangerous’) are omnipresent in language and express characterising properties of groups and individual objects. As they communicate (stereo)typical (‘Lawyers are greedy’) and normative (‘Winners never quit’) information, these sentences give voice to and transmit socially prejudiced generalisations and thus can have a high societal impact. Despite their importance, no uniform and empirically adequate account of their meaning yet exists. The goal of the whole project is to develop such an account, by linking their meaning to how we learn to associate characteristic properties of groups or individuals. This is an interdisciplinary project, which is a collaboration between researchers in semantics, natural language processing (NLP) and experimental psychology.For more information, see here or at https://www.uva.nl/en/content/vacancies/2021/03/21-174-phd-in-natural-language-processing-modelling-implicit-bias-and-stereotype.html or contact Robert van Rooij (project leader) or Ekaterina Shutova at r.a.m.vanrooij at uva.nl or e.shutova at uva.nl.
Postdoctoral researcher in Computational Modelling of Abductive Reasoning for Natural LanguageDeadline: Monday 5 April 2021
The Institute for Logic, Language and Computation (ILLC) has a postdoctoral position in Computational Modelling of Abductive Reasoning for Natural Language.
This postdoctoral position is part of the NWO Open Competition project 'A Sentence Uttered Makes a World Appear---Natural Language Interpretation as Abductive Model Generation'. The successful applicant will join the group of Reinhard Muskens. The aim of the project is to explore how semantic values are assigned to natural language expressions in a compositional way and how the resulting values, represented as logical expressions, are subsequently enriched by means of abductive reasoning. The latter is studied in a tableaux setting.For more information, see here or at https://www.uva.nl/en/content/vacancies/2021/03/21-173-postdoctoral-researcher-in-computational-modelling-of-abductive-reasoning-for-natural-language.html or contact Reinhard Muskens at r.a.muskens at uva.nl.
Postdoctoral researcher in Abductive Inference for Natural Language InterpretationDeadline: Monday 5 April 2021
The Institute for Logic, Language and Computation (ILLC) has a postdoctoral position in Abductive Inference for Natural Language Interpretation.
This postdoctoral position is part of the NWO Open Competition project 'A Sentence Uttered Makes a World Appear---Natural Language Interpretation as Abductive Model Generation'. The successful applicant will join the group of Reinhard Muskens. The aim of the project is to explore how semantic values are assigned to natural language expressions in a compositional way and how the resulting values, represented as logical expressions, are subsequently enriched by means of abductive reasoning. The latter is studied in a tableaux setting.For more information, see here or at https://www.uva.nl/en/content/vacancies/2021/03/21-172-postdoctoral-researcher-in-abductive-inference-for-natural-language-interpretation.html or contact Reinhard Muskens at r.a.muskens at uva.nl.
PhD position at the Institute for Logic, Language and ComputationDeadline: Wednesday 31 March 2021
The Faculty of Humanities invites applications for a PhD position at the Institute for Logic, Language and Computation (ILLC), tenable from 1 September 2021.
What are you going to do?
Tasks will include:
completion and defence of a PhD thesis within the contract period; regular presentation of intermediate research results at workshops and conferences; publication of results in journals and/or conference proceedings; participation in the Faculty of Humanities PhD training programme / the soft skills courses offered by the ILLC PhD Programme;; participation in the organisation of research activities and events at ILLC, such as conferences, workshops and joint publications; teaching courses at BA-level and/or teaching assistant in Master courses in the 2nd and 3rd year of the contract (0,2 FTE per year).For more information, see here or at https://www.uva.nl/en/content/vacancies/2021/01/21-057-phd-position-at-the-institute-for-logic-language-and-computation.html or contact Floris Roelofsen or Jenny Batson at PhD-illc at uva.nl .
PhD position in Natural Language ProcessingDeadline: Monday 15 March 2021
Are you looking for a PhD position where you can combine insights from machine learning and cognitive science? Are you interested in improving and better understanding artificial intelligence systems for natural language processing? If you are excited about doing this kind of research in an interdisciplinary environment, with a team of smart and friendly colleagues, then you may want to join us at the Institute for Logic, Language and Computation (ILLC).For more information, see here or at https://www.uva.nl/en/content/vacancies/2021/02/21-101-phd-position-in-natural-language-processing.html or contact Raquel Fernández at raquel.fernandez at uva.nl.
Postdoctoral researchers in University Research Priority Area Humane AIDeadline: Sunday 28 February 2021
The University of Amsterdam’s interdisciplinary Research Priority Area Humane AI is looking for 3 postdoctoral researchers in the areas of law, social sciences and humanities. The overarching goal of these positions is to develop insights and principles for responsible and human-centric AI from a Social Science-Humanities (SSH) perspective: How can SSH research contribute to responsible AI, e.g. in sectors like media, culture/language or justice; what are the contextual socio-economic circumstances that need to be fulfilled for really responsible AI?; what is irresponsible AI? What is the role of human behaviour, law and ethics in creating the framework conditions for responsible AI?For more information, see here or at https://www.uva.nl/en/content/vacancies/2021/01/21-035-postdoctoral-researchers-in-university-research-priority-area-humane-ai.html or contact Gionata Bouche at g.bouche at uva.nl.
PhD position in Culturally and Socially Responsible AIDeadline: Friday 29 January 2021
At the University of Amsterdam, the Research Priority AreaHuman(e) AI synthesises ongoing work and stimulates new research on the societal consequences of the rapid development of artificial intelligence (AI) and automated decision-making (ADM) in a wide variety of societal areas. These include news aggregation, cultural heritage, surveillance, and automated justice and cover fundamental research questions in history, sociology, law, ethics, communication, economics, medicine and psychology. The goal of the RPA is to enable Humane AI: AI and digital technologies contributing to new forms of knowledge production, understanding new forms of agency and intersubjectivity, enhancing cultural and socio-economic equality, improving fairness and respect for fundamental rights in decision-making both in the public and commercial sector, and realizing opportunities for digital citizenship.For more information, see here or at https://www.uva.nl/en/content/vacancies/2020/12/20-785-phd-position-in-culturally-and-socially-responsible-ai.html or contact Prof Dr. Tobias Blanke at t.blanke at uva.nl.
Assistant professor Theoretical Computer ScienceDeadline: Wednesday 6 January 2021
Do you have the ambition to carry out top academic research in Theoretical Computer Science at the Institute for Logic, Language, and Computation? Are you interested to work in our thriving interdisciplinary environment where you can establish connections to research lines in neighboring disciplines? Do you have the drive to teach theoretical computer science in our bachelor/master programmes?
We offer a position as assistant professor in Theoretical Computer Science at the Institute for Logic, Language and Computation (ILLC), an interdisciplinary research institute at the University of Amsterdam. The area of theoretical computer science comprises a broad variety of topics or subfields, including (but not restricted to) algorithms and computational complexity, program semantics and verification, logic and computation, machine models and automata, information theory, machine learning, and the foundations of artificial intelligence. You are a leading researcher in one of these areas, with a good knowledge of the wider area of theoretical computer science, and experienced in academic teaching.For more information, see here or at https://www.uva.nl/en/content/vacancies/2020/10/20-647-assistant-professor-theoretical-computer-science.html or contact Prof. Yde Venema at y.venema at uva.nl.
Open Positions, General
Lectureship or Associate Professorship in programming principles, logic, & verification, London (England)Deadline: Friday 7 May 2021
The Department of Computer Science at University College London invites applications for a faculty position (Lecturer or Associate Professor) in the area of Programming Principles, Logic, and Verification (PPLV). Candidates will be expected to carry out research, teaching, and administrative duties within the Department, especially in the areas of Programming Principles, Logic, and Verification.
The PPLV group conducts world-leading research broadly in logic, semantics, and program and systems verification and their supporting mathematical and conceptual fields. The group contributes to the delivery of undergraduate and graduate programs and supports a lively and diverse community of PhD students and post-doctoral researchers. The group has very substantial research funding from a variety of sources and has excellent connections with the world-class tech community that is located close-by in London and elsewhere. For this position, we particularly welcome applications from candidates with interests in the theory or practice of program and systems verification.For more information, see https://atsv7.wcn.co.uk/search_engine/jobs.cgi?jcode=1875191&vt_template=966&owner=5041178&ownertype=fair&brand_id=0&vac_xtra5041178.50_5041178=92786&vactype=1271&posting_code=224 or contact David Pym at d.pym at ucl.ac.uk, or Steve Hailes at s.hailes at ucl.ac.uk.
Five PhD student positions in Philosophy of Science, Hannover/Bielefeld (Germany)Deadline: Thursday 6 May 2021
Leibniz University Hannover and Bielefeld University (Germany) invite applications for positions for 5 Doctoral Candidates (all genders; salary scale E13 TV-L, 65%) in Ethics of Science and/or Philosophy of Science starting 1 October 2021, within the Graduiertenkolleg (research training group) GRK 2073 "Integrating Ethics and Epistemology of Scientific Research". The positions are limited to 30 September 2024. At least two of the positions are expected to be located at Leibniz University Hannover and at least two at Bielefeld University.For more information, see https://grk2073.org/apply/.
Lectureship in Theoretical Computer Science, London (England)Deadline: Monday 3 May 2021
The School of Electronic Engineering and Computer Science at Queen Mary University of London is looking to appoint a Lecturer in Computing Science to join our Theoretical Computer Science Research Group in the School of Electronic Engineering and Computer Science (EECS) at Queen Mary University of London.For more information, see https://webapps2.is.qmul.ac.uk/jobs/job.action?jobID=5451 or contact Professor Steve Uhlig at eecs-head at qmul.ac.uk.
PhD Research Fellowship in Natural Language Processing, Oslo (Norway)Deadline: Sunday 2 May 2021
A position as PhD Research Fellow in Natural Language Processing is available in the Language Technology Group (LTG) at the Department of Informatics, University of Oslo (UiO), Norway. The position is funded by the Norwegian Research Center for AI Innovation (NorwAI).
The PhD project will focus on sentiment analysis and entity detection, and the position presupposes an MSc degree or equivalent in Natural Language Processing, or in Computer Science with a specialization in NLP.For more information, see https://www.jobbnorge.no/en/available-jobs/job/204148/phd-research-fellowship-in-natural-language-processing or contact Associate Professor Erik Velldal at erikve at ifi.uio.no.
Postdoctoral position on robust argumentation machines, Muenchen (Germany)Deadline: Friday 30 April 2021
The Munich Center for Mathematical Philosophy (MCMP) and the Chair of Philosophy of Science at the Faculty of Philosophy, Philosophy of Science and Study of Religion at LMU Munich seek applications for a 3-year postdoctoral position. The successful candidate has a background in artificial intelligence, cognitive science, computer science, mathematical social science, mathematical philosophy or statistics with an expertise in machine learning and big data and will work on the project "The Bayesian Approach to Robust Argumentation Machines". The project is funded by the German Research Council (DFG) within the interdisciplinary priority program "Robust Argumentation Machines" and conducted together with the group of Prof. Ulrike Hahn at Birkbeck College.For more information, see https://www.mcmp.philosophie.uni-muenchen.de/news/post_doc_rob_arg_2021/index.html.
Faculty positions (assistant / associate / full professor) in Computer Science, Edinburgh (Scotland)Deadline: Friday 30 April 2021
The Department of Computer Science, Heriot-Watt University, Edinburgh, UK, is looking to fill in several permanent academic positions at Assistant/Associate/Full Professor and Head of Department levels. We encourage applicants with research, teaching or industrial backgrounds.For more information, see https://www.hw.ac.uk/uk/schools/mathematical-computer-sciences/departments/computer-science/current-vacancies.htm or contact Ekaterina Komendantskaya at e.komendantskaya at hw.ac.uk.
PhD student position in epistemic & semantic commitments, Warsaw (Poland)Deadline: Friday 30 April 2021
The Faculty of Philosophy at University of Warsaw (Poland) has an open call for a fully funded PhD position (4 years) in the project "Epistemic and semantic commitments of foundational theories".
The main objective of the project is to provide a deep conceptual and formal analysis of the notion of commitments of a foundational theory, where the latter expression stands for a theory that can develop a significant portion of mathematics (examples: Peano arithmetic, Zermelo-Fraenkel set theory). The notion of a commitment is essentially involved in many discussions in contemporary formal philosophy.
The position starts on October 1st, 2021 and lasts for a maximum of four years. Applicants should have are be about to obtain a Master's degree in a field relevant to the project preferably in mathematical or philosophical logic or set theory. In particular, familiarity with axiomatic theories of truth counts as a plus.
Temporary (1y) Assistant Professorship in Computational Linguistics, Utrecht (The Netherlands)Deadline: Friday 30 April 2021
The Department of Languages, Literature and Communication of Utrecht University invites proven excellent candidates in the field of Computational Linguistics, and especially candidates who specialize in models connecting statistical NLP with formal language theories of syntax and semantics, to apply. The candidate will be expected to make a substantial contribution to both the computational linguistics research at the UiL OTS and to the AI teaching programme. Accordingly, proven expertise in both linguistic theories and in statistical NLP will be a strong advantage. A demonstrated interest in collaboration with industrial partners will be considered an advantage.
Your teaching obligations will be in the area of natural language processing, mathematical and computational linguistics, and language technology. Additional teaching areas, depending on your expertise, may include formal linguistics, artificial grammar learning, statistics, machine learning and data mining. You will primarily teach in the AI programme (Bachelor's and Master's), but also in the Bachelor's programme of Linguistics and the Research Master's Linguistics.For more information, see https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/fixed-term-assistant-professor-in-computational-linguistics-10-fte or contact Yoad Vinter Seggev (Professor) at y.winter at uu.nl.
PhD position in Theoretical Philosophy, Utrecht (the Netherlands)Deadline: Sunday 25 April 2021
To strengthen its research capacity in newly emerging research fields in theoretical philosophy, the Department of Philosophy and Religious Studies at Utrecht University is currently looking for a PhD candidate in one of the following areas:
* Philosophical logic and philosophy of logic
* Formal logic modelling and cognitive science
* Neuro-symbolic AI, ethics and knowledge representation
* Mathematical logic and philosophy of mathematics
* Social epistemology, post truth and AI
* Game theory, norms and simulation of social interactions
The PhD position (4 years) is independent of any overarching research project and is funded by the Department of Philosophy and Religious Studies at Utrecht University. We ask prospective candidates to write a brief proposal fitting in with one of these themes.For more information, see https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-candidatepromovendus-theoretical-philosophy-10-fte or contact Prof Daniel Cohnitz at d.cohnitz at uu.nl.
PhD student position in logic in philosophy & AI, Bochum (Germany)Deadline: Sunday 25 April 2021
The Group for Logic in Philosophy and Artificial Intelligence, at the Institute for Philosophy II at Ruhr-University Bochum, Faculty for Philosophy and Educational Science, is offering a 4-year PhD position. We are interested in candidates (m/f/d) that intend to do research related to (some of) the following topics:
- logic in artificial intelligence, in particular non-monotonic logic
- defeasible reasoning
- deontic logic and formal ethics
- formal argumentation theory
- logic and cognition.For more information, see https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/phd-2021.html or contact Christian Straßer at christian.strasser at rub.de.
Postdoctoral position (1+2y) in epistemology & ethics of risk, Milano (Italy)Deadline: Tuesday 20 April 2021
The Department of Civil and Environmental Engineering at the Politecnico di Milano (Milan, Italy) has an opening for one Full-time Postdoc Position for 1 year, renewable for 2 additional years. Tenure-track opportunities are also envisaged at the subsequent stage. The Postdoc will conduct research at the intersection of epistemology and ethics of risk. We are especially interested in candidates who wish to investigate the outstanding notions of risk and uncertainty in an interdisciplinary framework. Knowledge of statistical techniques in risk analysis and/or (formal) methods for uncertainty representation are essential.
As is well known, at the heart of the notion of risk are the epistemic notions of knowledge and uncertainty. Their analysis requires decision theory methodologies and may raise multiple epistemological but also ethical questions. This project has two specific objectives: 1) To develop a critical analysis of prediction models in science in relation to forms of epistemic uncertainty, in particular seismic risk prediction models; 2) To address the issue of damage and loss analysis from both an economic and ethical point of view, also considering new methods proposed in the literature to make decisions under conditions of severe uncertainty.
The default starting date is 16 May 2021. The position does not involve teaching duties. However, teaching at the undergraduate, graduate and master level is possible and encouraged and will entitle to additional compensation.For more information, see https://www.polimi.it/index.php?id=3971&tx_wfqbe_pi1[ID]=9532&L=1 or contact Prof. Viola Schiaffonati at viola.schiaffonati at polimi.it.
Assistant Professors / Postdoctoral Researchers, Munich (Germany)Deadline: Monday 19 April 2021
The positions are in relation to a newly created Chair in Philosophy and Decision Theory, held by Christian List, which is devoted to the study of foundational questions in decision and social choice theory, formal epistemology and formal ethics, the philosophy of mind and action, and the philosophy of the social sciences. The work of the chair has an interdisciplinary orientation, emphasizing the exchange of ideas with researchers from neighboring fields, including in the sciences and social sciences.For more information, see https://www.lmu.de/en/about-lmu/working-at-lmu/job-portal/job-description/assistant-professors-postdocs-wissenschaftliche-mitarbeiter-innen-m-f-d-2.html or contact Christian List at c.list at lmu.de.
Research fellowship in programming principles, logic & verification, London (England)Deadline: Sunday 18 April 2021
UCL, London has a Research position open for a Research Fellow in Programming Principles, Logic, and Verification: Systems Security Modelling. Applicants must hold, or be about to receive, a PhD in rigorous computer science, or a closely related area.
The PPLV group conducts world-leading research in logical and algebraic methods and their applications to program and systems modelling and verification. This post will contribute to the EPSRC-funded IRIS project: Interface Reasoning for Interacting Systems (IRIS). This project, led by Professor David Pym, uses logical and algebraic methods to understand the compositional structure of systems and their communications, seeking to develop analyses at all scales, from code through distributed systems to organizational structure, generically and uniformly. The purpose of this job is to develop and apply the methodology and tools required to construct models that capture the structure, dynamics, and policy of organizations. This will involve working with companies, including BT and HP Labs, to create models to help them make decisions about their real-world challenges.For more information, see https://atsv7.wcn.co.uk/search_engine/jobs.cgi?SID=amNvZGU9MTg3NTUwOCZ2dF90ZW1wbGF0ZT05NjUmb3duZXI9NTA0MTE3OCZvd25lcnR5cGU9ZmFpciZicmFuZF9pZD0wJmpvYl9yZWZfY29kZT0xODc1NTA4JnBvc3RpbmdfY29kZT0yMjQ= or contact David Pym at d.pym at ucl.ac.uk, or Tristan Caulfield at t.caulfield at ucl.ac.uk.
Associate Professorship in logic, model theory or universal algebra, Prague (Czech Republic)Deadline: Thursday 15 April 2021
The Department of Algebra of the Charles University, Prague, Czechia, is opening a position of associate professor in the fields of logic, model theory, universal algebra, and their computational aspects.
Applications are invited from candidates with an excellent international reputation and publishing activity in some of the above fields. We expect a positive attitude towards pedagogical work, ability to integrate scientific activities, teaching and supervision of student theses, including training of doctoral students. A long-term foreign experience is expected.
We offer an initial contract for three years. In case of mutual satisfaction, the second contract can be permanent. The expected starting date is September 2021, but it is negotiable. The teaching load is 6 hours per week.For more information, see https://www.mff.cuni.cz/en/faculty/job-opportunities/open-competition/academic-positions-application-deadline-april-15-2021 or contact David Stanovsky at stanovsk at karlin.mff.cuni.cz, Jan Krajicek at krajicek at karlin.mff.cuni.cz, or Libor Barto at barto at karlin.mff.cuni.cz.
PhD student position in theoretical computer science, Bremen (Germany)Deadline: Tuesday 13 April 2021
Faculty 3 (Mathematics and Computer Science) of the University of Bremen is offering (conditional on the release of the position) a three-year position for a Doctoral Researcher (f/m/d) Computer Science – Pay Level 13 TVL-EG 13 (100%). The position is intended for further scientific qualification with the aim of obtaining a doctoral degree. The position is for three years, with a possible extension of additional two years.
The position (reference number A50/21) is within the research group "Databases" of Prof. Sebastian Maneth, whose research topics include automata theory and its applications, compression of heterogeneous data (JSON, XML, RDF, etc.), databases for heterogeneous data, and (recently) machine learning for the analysis of eye tracking data. The position includes teaching 4 SWS (2 tutorials per semester). The employee is expected to support the group in teaching courses and to conduct research on some of the above topics in collaboration with other group members.For more information, see https://www.uni-bremen.de/en/university/the-university-as-an-employer/job-vacancies-1/job/531 or contact Prof. Dr. Sebastian Maneth at maneth at uni-bremen.de.
Postdoctoral research associateship in verification, Manchester (England)Deadline: Monday 12 April 2021
A Post-Doctoral Research Associate position in Verification of Trustworthy Autonomous Systems is available in the Autonomy and Verification group at the Department of Computer Science, University of Manchester, UK. Employment type: Fixed Term for 30 months.
The researcher will examine and develop new research on the formal verification of symbolic agents, particularly those concerned with implementing higher-level policies, principles, and ethics. In doing this, a range of verification techniques will be used (model-checking, runtime verification, etc) and a range of autonomy levels will be explored (full autonomy, human-autonomy teamwork, etc).For more information, see https://www.jobs.manchester.ac.uk/displayjob.aspx?jobid=19801 or contact Dr. Louise Dennis at louise.dennis at manchester.ac.uk, or Prof. Michael Fisher at michael.fisher at manchester.ac.uk.
PhD student position on interactions between spaces of argumentation, Paris (France)Deadline: Sunday 11 April 2021
We are seeking applicants for a PhD position on "Analyzing the interactions between spaces of argumentation in different contexts" at LAMSADE (University Paris-Dauphine).
The Covid19 crisis shows us that arguments can circulate between different social worlds, as they have done between scientific and academic worlds, media, and social media, in different directions. However, the way people discuss in these different environments is very different and rely on different standards to recognize proofs. How can different groups advance in a debate when sharing information, evidence on a complex issue, refer to different notions of arguments and proof standards?
Required Profile: Master degree in Computer Science (or equivalent) with a good GPA, Knowledge in Computer Science, Mathematics, Economics and Logic, and Strong interest in multidisciplinary research.For more information, see https://www.lamsade.dauphine.fr/fileadmin/mediatheque/lamsade/documents/propositions_theses_2020/pigozzi.pdf or contact Juliette Rouchier at juliette.rouchier at dauphine.fr.
Four W3 professorships in philosophy (one in theoretical philosophy), Heidelberg (Germany)Deadline: Thursday 8 April 2021
As part of the reorganization of the Philosophy Department of the University of Heidelberg, the Department and the Philosophical Faculty invite applications for four professorships (W3) in Philosophy (f/m/d). The respective professorships have the following areas of specialization: (i) ancient (or ancient/medieval) philosophy, (ii) classical German philosophy, (iii) theoretical philosophy, and (iv) practical philosophy. Each professorship has a junior position attached and participates equally in the resources of the department.
It is expected that future position holders will represent the field of philosophy in research and teaching. The tasks include student-needs based course offerings in the entire area of specialization covered by the position and giving examinations in existing B.A. and M.A. course of studies as well as in the Master of Education. The successful candidates should have experience in acquiring grant funding and be prepared to participate in interdisciplinary research in existing and future networks and to contribute to the development of new joint projects. Willingness to engage in department administration is also expected.For more information, see https://adb.zuv.uni-heidelberg.de/info/INFO_FDB$.startup?MODUL=LS&M1=1&PRO=29913 or contact philosophische.fakultaet at uni-heidelberg.de.
Lectureships and Teaching Fellowship in Computer Science, Leipzig (Germany)Deadline: Wednesday 7 April 2021
At the new campus of Lancaster University in Leipzig (Germany) we currently have two open positions for Lecturers and one open position for a Teaching Fellow, all in Computer Science.
University Assistantship (postdoctoral) in Philosophy of Science & Epistemology, Vienna (Austria)Deadline: Sunday 4 April 2021
The Department of Philosophy at the University of Vienna is looking for a postdoctoral researcher to work in (joint) projects in the Unit for Applied Philosophy of Science and Epistemology (directed by Martin Kusch). The position is available immediately for four years. The successful candidate will join the faculty and participate in the department's research, teaching (to the extent regulated by the collective bargaining agreement), and administrative activities. In particular, the candidate is expected to conduct, and/or participate in, research projects leading to international publications and presentations. The successful candidate will write a Habilitation.
Reference number: 11826. Duration of employment: 4 year/s. Extent of Employment: 40 hours/week.For more information, see https://univis.univie.ac.at/ausschreibungstellensuche/flow/bew_ausschreibung-flow?tid=84814.28&_language=en or contact jobcenter at univie.ac.at.
PhD student position on mental representation & situated cognition, Bochum (Germany)Deadline: Sunday 4 April 2021
The interdisciplinary Research Training Group "Situated Cognition", funded by the DFG and based at the Department of Philosophy II and the Faculty of Psychology at Ruhr-University Bochum (Speaker Prof. Dr. Albert Newen) as well as at the Institute of Cognitive Science, the Department of Philosophy and the Institute of Psychology at Osnabrück University (Speaker Prof. Dr. Achim Stephan) invites applications for 1 PhD position in Philosophy, salary scale TV-L E 13, 65%; including social benefits), within a three-year structured PhD program starting at the latest as of 1st July 2021.
Project Leader: Peter Brössel. Project Description: Mental Representations and Situated Cognition.
Candidates applying for this theoretical project are expected to have an excellent M.A., M.Sc. (or Staatsexamen degree) in Philosophy. They should have expertise in at least one of the following areas: Epistemology, Philosophy of Perception, Philosophy of Mind or Science, Philosophy of Language. Appreciated are experiences in formal epistemology.For more information, see https://situated-cognition.com/2021/01/19/open-call-for-applications-rtg-situated-cognition/ or contact RTG-SituatedCognition at rub.de.
Postdoctoral position (2y) in Logic, Beijing (China)Deadline: Thursday 1 April 2021
The Tsinghua University - University of Amsterdam Joint Research Centre for Logic is looking for a postdoc in the field of logic, who can substantially contribute to research and teaching of the logic group in the department of philosophy. In research, the specific research topic will depend on the candidate's expertise. As regards teaching, the position imposes no obligation of teaching, but a broad and strong teaching competence will be very helpful.
Applicants must fulfill the following requirements: applicants must be under 35 years old; their PhD degree must have been obtained within the last three years, and fresh graduates are given priority in consideration; they must be recommended by the interview of the department; they must undertake to work full time at Tsinghua University after entering Tsinghua University. Candidates will be reviewed in terms of their academic ability, their research plan, and the potential effect on the subject field, in addition to related overall factors.
Postdoctoral position in Mathematical Logic, Bern (Switzerland)Deadline: Wednesday 31 March 2021
Applications are invited for an 18 month postdoctoral position in the Logic group of Prof. George Metcalfe at the Mathematical Institute of the University of Bern, supported by the Swiss National Science Foundation project "Hidden Quantifiers".
Candidates are expected to have a PhD in Mathematics, Computer Science, or a related field, and have research experience in universal algebra, proof theory, or non-classical logics. Proficiency in written and spoken English is also required.
To apply please send a full CV and recent research paper to george.metcalfe at math.unibe.ch by 31 March, 2021.
Informal inquiries by email are very welcome.For more information, contact George Metcalfe at george.metcalfe at math.unibe.ch.
PhD Research Fellow in Informatics - Knowledge Representation and Machine Learning, Bergen (Norway)Deadline: Wednesday 31 March 2021
We invite highly motivated applicants interested in carrying out foundational and/or applied research in knowledge representation, ontologies, and machine learning. The starting date can be in July or in December 2021.
The Ph.D. positions are fully funded for 3 years and can be extended by one more year through 25% of teaching activities during the Ph.D. studies. Additional funding is available for travel.For more information, see https://www.jobbnorge.no/en/available-jobs/job/201014/phd-research-fellow-in-informatics-knowledge-representation-and-machine-learning or contact Ana Ozaki at Ana.Ozaki at uib.no.
Senior academic staff Philosophical psychology, Antwerp (Belgium)Deadline: Monday 29 March 2021
The Centre for Philosophical Psychology and the Department of Philosophy in the Faculty of Arts have the following full-time vacancy: Senior academic staff in the field of philosophical psychology. You will contribute to the University of Antwerp’s three core tasks: education (40%), research (40%) and services (20%). Your role also includes organisational and managerial aspects.For more information, see https://www.uantwerpen.be/en/jobs/vacancies/academic-staff/?q=1414&descr=Senior-academic-staff-Philosophical-psychology or contact Prof. dr. Erik Myin at Erik.Myin at UAntwerpen.be.
Two tenure-track positions in Theoretical Computer Science, Santa Cruz CA (U.S.A.)Deadline: Wednesday 24 March 2021
The Department of Computer Science and Engineering at the University of California, Santa Cruz (UCSC) invites applications for two positions at the assistant level. We seek candidates with a strong background in Computer Science and Engineering, with a focus on Theoretical Computer Science. We are especially interested in candidates working in mathematical foundations of computing, analysis of algorithms, combinatorial optimization, and theoretical machine learning. We welcome researchers who apply theoretical and mathematical methods to various applied domains.For more information, see https://recruit.ucsc.edu/JPF00962.
Research Position in Mathematics / Philosophy / Economics, Konstanz (Germany)Deadline: Wednesday 24 March 2021
In the Koselleck project Reflexive Decision and Game Theoy of Prof. Dr. Wolfgang Spohn at the Department of Philosophy of the University of Konstanz a Research Position in Philosophy / Economics / Mathematics either as Ph.D. position for 3 years (part time 65% E13) or as a Postdoc position for 2 years (full time 100% E13) is to be filled at July 1, 2021, or at the earliest convenient date. An extension of this position is possible.
PhD scholarship on Concurrency and Logic, Groningen (The Netherlands)Deadline: Thursday 18 March 2021
We seek excellent candidates for one four-year PhD scholarship on the
topics of message-passing concurrency, modal logic, and type systems. The PhD scholarship concerns the interdisciplinary project "Knowledge is Power: Reliable Communicating Software by Epistemic Logics",
supported by the Young Academy Groningen. Supervisors: Prof. Barteld Kooi and Prof. Jorge A. Pérez.For more information, see here or at https://www.rug.nl/phd-scholarships?details=00347-02S000840P or contact Prof. Barteld Kooi at b.p.kooi at rug.nl, or Prof. Jorge A. Pérez at j.a.perez at rug.nl.
Postdoctoral position on logic-based approaches to explanations in AI, Sydney (Australia)Deadline: Thursday 18 March 2021
We are looking for a postdoc to work on logic-based approaches to explanations in AI with Sasha Rubin at the University of Sydney. The main eligibility criterion is that the candidate has received their PhD in the last 5 years, and be an Australian citizen, Australian permanent resident or New Zealand Special Category Visa Holder. The postdoc is funded by the Australian Office of National Intelligence.
Two postdoc positions in Formal Semantics in the MECORE project (Edinburgh, Konstanz, Amsterdam)Deadline: Monday 15 March 2021
MECORE is a research project on formal semantics, jointly funded by the Arts and Humanities Research Council (AHRC) and the Deutsche Forschungsgemeinschaft (DFG). It will investigate the relation between semantic properties of clause-embedding predicates and their selectional properties, by combining cross-linguistic data-collection and experimental semantics with the development of unified theoretical analyses. It will run concurrently in Edinburgh, Konstanz, and Amsterdam. We are currently looking for two postdoctoral researchers to join the team.
Two post-doctoral positions (2y & 1y) in theoretical CS, Piscataway NJ (U.S.A.)Deadline: Thursday 11 March 2021
DIMACS, the Center for Discrete Mathematics and Theoretical Computer Science, based at Rutgers University, invites applications for postdoctoral positions associated with the Center.
DIMACS solicits applications of two types:
a) DIMACS - Institute for Advanced Study (IAS) Postdoc. This is a two-year postdoctoral associateship with the first year (2021-2022) spent at DIMACS, and the second year (2022-2023) spent at IAS in Princeton. Applicants should be recent PhDs with interest in theoretical computer science and/or discrete mathematics.
b) DIMACS Postdoc. This is a one-year position based at DIMACS at Rutgers University, mentored by a faculty member at Rutgers or a DIMACS partner institution. Applicants should be recent PhD graduates in computer science, economics, information science, operations research, or a related field, preferably with a focus in TCS or AI.For more information, see https://jobs.rutgers.edu/postings/122935.
PhD student positions in history & philosophy of maths, Zuerich (Switzerland)Deadline: Wednesday 10 March 2021
The ETH chair for the History and Philosophy of Mathematical Sciences in the department for Humanities, Social and Political sciences offers up to 2 PhD positions in the history, philosophy or cultural studies of mathematical sciences under the supervision of Prof. Roy Wagner. The positions are for four years starting September 1st 2021 (or thereabout).For more information, see https://www.jobs.ethz.ch/job/view/JOPG_ethz_VoFuSlUsulTBU1Gud5.
PhD student position in Explainable Intelligent Systems, Saarbruecken (Germany)Deadline: Sunday 7 March 2021
The Department of Philosophy of Saarland University is inviting applications for an Academic research assistant (m/f/x) working at the Department of Philosophy, Project "Explainable Intelligent Systems" (EIS), commencing as soon as possible.
You will begranted individual supervision for your PhD project. As member of the EIS team, you will be expected to engage in collaborative work with empirical researchers (e.g. from psychology, computer science, and law).You will also be responsible for supporting the junior professor for Philosophy of Mind and Cognitive Systems in organization and administration.
Employment period: until 31.03.2024, employment: 65% of standard working time.
Reference number W1831.For more information, see https://www.uni-saarland.de/fileadmin/upload/verwaltung/stellen/Wissenschaftler/W1831_engl.pdf or contact lena.kaestner at uni-saarland.d.
Assistant Research Professorship (3y) in Philosophical Logic, Storrs CT (U.S.A.)Deadline: Sunday 7 March 2021
The Department of Philosophy at the University of Connecticut in Storrs invites applications for an Assistant Research Professor. This is a non-tenure track, full-time faculty appointment beginning August 23, 2021, with an expected duration of three years. The teaching load is one (1) course per semester.
The Area of Specialization for this position is Philosophical Logic, with a preferred additional Area of Specialization in Formal Epistemology, Philosophy of Mind (in particular, AI), Philosophy of Psychology, Cognitive Science, Philosophy of Science, Philosophy of Mathematics, or Philosophy of Language. The successful candidate is expected to participate in the Logic Group and to contribute to research, teaching, and modest service in the Philosophy Department.
W3 Professorship Multilingual Computational Linguistics, Passau (Germany)Deadline: Friday 5 March 2021
The Faculty of Arts and Humanities at the University of Passau invites applications for the tenured civil-service post of Chair of Multilingual Computational Linguistics (W3). This post is available to start immediately.
We are seeking an expert of international renown to represent the subject of multilingual computational linguistics with a focus on automated language processing methods in teaching and research. Candidates must have rigorous knowledge of the core computational linguistics concepts of several sub-areas (including lexis, morphology, syntax, discourse linguistics, pragmatics, language technology and machine learning) and be familiar with various methodological approaches and their application in multilingual contexts. A willingness to develop and apply theories, methods and technologies in the service of cultural sustainability and linguistic ecology is expected. The multilingual computational linguistics chair to be established should take as its object of analysis and comparison different European national languages and variants thereof. Relevant teaching experience is required.
Two PhD positions in Knowledge Representation and Reasoning (Brussels, Belgium)Deadline: Sunday 28 February 2021
The Artificial Intelligence Lab in Brussels is hiring! There are currently two open positions for PhD students in knowledge representation and reasoning, under the supervision of Prof. Bart Bogaerts. The start date is flexible, but preferably at the latest October 1st 2021.
In the first vacancy, we search a researcher in the domain of combinatorial search and optimization methods. More specifically, the goal is to research how to equip solvers with explainable agency. Profile: Computer scientist interested in declarative problem solving. Click for more information on the FRESCO project, or for more details on the vacancy.
In the second vacancy, we search a researcher for algebraic foundations of knowledge representation langauges. More specifically, our goal is to extend Approximation Fixpoint Theory (a lattice-theoretic framework for studying semantics of non-monononic logics) to capture fields such as domain theory, causal reasoning, and other forms of constructive knowledge. Profile: Mathematician interested in application of mathematics in computer science. Click for more information on the AFTACK project, or for more details on the vacancy.For more information, see https://ai.vub.ac.be/two-phd-positions-in-knowledge-representation-and-reasoning/ or contact Bart Bogaerts at bart.bogaerts at vub.be.
PhD position in linguistics and artificial intelligence, Leuven (Belgium)Deadline: Sunday 28 February 2021
Looking for an exciting PhD position at the intersection of linguistics and artificial intelligence? Apply now and become a PhD student at KU Leuven!For more information, see https://www.kuleuven.be/personeel/jobsite/jobs/56144064 or contact Dr. Paul Van Eecke at paul.vaneecke at kuleuven.be.
Assistant Professorship in Formal Methods, Kungens Lyngby (Denmark)Deadline: Sunday 28 February 2021
DTU Compute (Technical University of Denmark) is recruiting a Tenure Track Assistant Professor in the Formal Methods section. The position is available from July 1st or according to mutual agreement.
You will be conducting high-quality scientific research at international level, publishing your results in highly-reputed venues, combining theoretical and practical aspects of formal methods, as well as leading and participating in collaborative research projects. You will take part in the development of research-based teaching at the bachelor, master, and PhD levels at DTU. Our teaching portfolio includes courses in topics tightly connected to our research expertise and activities: models of computation, programming languages, semantics, interpreters and compilers, formal methods, program analysis, model checking, security, and distributed and concurrent programming. You will be strengthening our research and research-based teaching competences within formal methods, and expanding them in new directions.For more information, see https://www.dtu.dk/english/About/JOB-and-CAREER/vacant-positions/job?id=78af4617-2d83-4775-b7ed-f46dbbcac8ee or contact Alberto Lluch Lafuente at albl at dtu.dk.
Postdoctoral position in philosophy of AI, Utrecht (The Netherlands)Deadline: Sunday 28 February 2021
In order to strengthen its research capacity in newly emerging research fields in theoretical philosophy, the Department of Philosophy and Religious Studies at Utrecht University is currently looking for a PostDoc in the Philosophy of AI. We are particularly interested in research regarding issues in theoretical philosophy of AI. The Postdoc position (0.9 FTE, four years) is embedded in the university wide focus area of Human-Centered Artificial Intelligence and is funded by the Department of Philosophy and Religious Studies at Utrecht University.For more information, see https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/postdoc-philosophy-of-ai-09-fte-for-four-years or contact Prof Daniel Cohnitz at d.cohnitz at uu.nl.
Three open calls for PhD scholarships at the Department of Communication, Copenhagen (Denmark)Deadline: Thursday 25 February 2021
The Department of Communication, University of Copenhagen, Denmark, invites applications for three highly competitive 3-year fully funded PhD scholarships. The candidates are expected to begin on September 1, 2021, or as soon as possible thereafter.
At the Department, logic is studied at the Center for Information and Bubble Studies. This is an interdisciplinary center of excellence focusing on bubble phenomena as they relate to attention economics, social media, social influence, fake news, misinformation and post-factual democracy.
The center has a prolific scientific profile, a significant public outreach and a strong commitment to scientific social responsibility, as the World Economic Forum recently declared misinformation a challenge on par with climate change, migration and other global challenges.For more information, see https://phd.humanities.ku.dk/become-phd-student/how-to/scholarships/three-phd-scholarships-at-comm-2021/.
PhD position in Logics for Ethical Reasoning in Social Robotics, IRIT / Toulouse University (France)Deadline: Sunday 21 February 2021
The International Center for Mathematics and Computer Science in Toulouse is offering a 3-year funded PhD position to work on the topic of Logics for Ethical Reasoning in Social Robots under the supervision of Umberto Grandi and Emiliano Lorini, in close cooperation with Rachid Alami and Aurélie Clodic.For more information, see https://www.irit.fr/~Umberto.Grandi/PhD2021.pdf.
PhD student position in non-symbolic representation in situated cognition, Bochum (Germany)Deadline: Friday 19 February 2021
The interdisciplinary Research Training Group "Situated Cognition", funded by the DFG and based at the Department of Philosophy II and the Faculty of Psychology at Ruhr-University Bochum (Speaker Prof. Dr. Albert Newen) as well as at the Institute of Cognitive Science, the Department of Philosophy and the Institute of Psychology at Osnabrück University (Speaker Prof. Dr. Achim Stephan) invites applications for 1 PhD position in Philosophy (salary scale TV-L E 13, 65%; including social benefits), within a three-year structured PhD program, starting between 1st April 2021 and 1st July 2021.
Project Description: Non-Symbolic Representation in Situated Cognition. Describing Sensorimotor Representations via Embodied Similarity Spaces. Project Leader: Peter Brössel.
Candidates applying for this theoretical project are expected to have an excellent M.A., M.Sc. (or Staatsexamen degree) in Philosophy. They should have expertise in at least one of the following areas: Epistemology, Philosophy of Perception, Philosophy of Mind or Science, Philosophy of Language. Appreciated are experiences in formal epistemology.
The deadline for the call for PhD applications has been extended until 19th February 2020.For more information, see https://situated-cognition.com/2021/01/19/open-call-for-applications-rtg-situated-cognition/ or contact RTG-SituatedCognition at rub.de.
Postdoctoral position and PhD student position on evolution of cognitive tools, Bergen (Norway)Deadline: Monday 15 February 2021
The Department of Psychosocial Science at the University of Bergen (UiB) invites applications for a Postdoc and a PhD position each, associated with the project "Evolution of Cognitive Tools for Quantification (QUANTA)", funded by the European Research Council with a Synergy Grant to Andrea Bender (UiB), Francesco d'Errico (CNRS Bordeaux), Russell Gray (MPI for Evolutionary Anthropology, Leipzig), and Rafael Núñez (UCSD). Both positions are for a period of 3 years.For more information, see https://www.jobbnorge.no/en/available-jobs/job/199371/postdoctoral-research-fellow-in-the-erc-project-quanta or contact Andrea.Bender at uib.no.
Associate Professorship in Mathematical Logic & TCS, St Petersburg (Russia)Deadline: Friday 12 February 2021
The St.Petersburg State University invites applications for a full-time position of Associate Professor (Docent) in Mathematical Logic and Theoretical Computer Science for advanced teaching within the Department of Mathematics and Computer Science.
Applicants are expected to have a strong research record and to be able to teach both in Russian and in English. Appointees are expected to carry out research of high level, to teach well, and to perform customary administrative duties such as advising students, participating in committees, organizing admissions, etc. The teaching load is up to 8 academic hours (= 6 astronomic hours) per week. The salary level for this position is 189,471 rub. per month. Initial contract is normally signed for a period of up to five years, and can be renewed by further 5 year terms.For more information, see https://math-cs.spbu.ru/en/news/new-position-in-math-logic-and-tcs/ or contact chebyshev.msc at gmail.com.
Postdoc position in Economic Theory, St Etienne (France)Deadline: Wednesday 10 February 2021
Applications are invited for a postdoctoral position in Cooperative Game Theory, Social Choice Theory and Implementation at GATE (Groupe d'Analyse et de Théorie Economique Lyon Saint-Etienne), at the Jean Monnet University in St Etienne (France).For more information, see https://emploi.cnrs.fr/Offres/CDD/UMR5824-TAIDAO-016/Default.aspx?lang=EN or contact Antoinette Baujard at antoinette.baujard at univ-st-etienne.fr.
Postdoctoral and PhD student positions in temporal logic, Ames IA (U.S.A.), Deadline: open (postdocs), 1 Feb 2021 (PhD students)Deadline: Tuesday 2 February 2021
Multiple fully-funded PhD positions and Postdoc positions are available at Iowa State University in the Lab for Temporal Logic, which spans the Departments of Computer Science, Electrical and Computer Engineering, Aerospace Engineering, Mathematics, and the Virtual Reality Application Center.
The Laboratory for Temporal Logic focuses on foundational advances to formal methods that carry through to really fly. The lab has developed techniques to enable better system specification and model-checking algorithms that scale to verify large, complex systems including NASA's automated air traffic control system and industrial verification problems at IBM. Candidate(s) will conduct world-class research in the area of formal methods, including design-time and/or runtime verification. The position is initially offered for one or two years, with opportunities for extensions. Teaching and/or research-in-education opportunities are available if the candidate desires, but not required.For more information, see http://laboratory.temporallogic.org/2020-position-ad/ or contact Dr. Kristin Yvonne Rozier at kyrozier at iastate.edu.
PhD student position on coalgebraic logics for quantitative verification, Glasgow (Scotland)Deadline: Tuesday 2 February 2021
In the Mathematically Structured Programming Group at the University of Strathclyde (Glasgow), applications are invited for a fully funded PhD studentship in the area of coalgebraic logics & model-checking under the supervision of Dr Clemens Kupke. The goals of the project are to work on a new mathematical framework for quantitative logics and, based on this, to create model-checking tools for verification. The research will be part of the Leverhulme project "COVER: Coalgebraic Foundations of Quantitative Verification" in collaboration with the University of Southampton and funds 2 postdoctoral researchers. This means that the new student will be embedded in an active research team with closely aligned goals.
The successful applicant will have either at least a 2:1 degree or an MSc in Mathematics or Computer Science or a related subject with a strong Mathematics or Computer Science component. Ideally, they will also have a strong, documented interest in doing research. Strong mathematical background and problem-solving skills are essential.
Full Professor of Philosophy, Computer Science & Artificial Intelligence, University of BayreuthDeadline: Monday 1 February 2021The successful applicant will have an outstanding research track-record including top-ranked publications at the intersection of philosophy, computer science, and artificial intelligence. Relevant areas in philosophy include ethics, political philosophy, logic, philosophy of mind, or philosophy of cognitive science. Relevant areas in computer science include but are not limited to artificial intelligence, recommender systems, responsible AI, algorithmic fairness, human-computer interaction, knowledge representation, and human-centred AI.For more information, see https://www.uni-bayreuth.de/en/university/work-at-the-university/job-vacancies/professors/philosophy-computerscience-ai/index.html or contact Olivier Roy at Olivier.Roy at uni-bayreuth.de.
W3 Professorship in Philosophy, Computer Science, & AI, Bayreuth (Germany)Deadline: Monday 1 February 2021
The University of Bayreuth is a research-oriented university with internationally competitive, interdisciplinary focus areas in research and teaching. The Faculty of Humanities & Social Sciences at the University of Bayreuth is currently seeking to appoint a Full Professor of Philosophy, Computer Science & Artificial Intelligence at pay grade W 3 (minimum gross salary per month: 7,217 euros) to commence as soon as possible. This is a permanent civil service position.
The successful applicant will have an outstanding research track-record including top-ranked publications at the intersection of philosophy, computer science, and artificial intelligence. The successful applicant will be involved in the Philosophy & Economics B.A. and M.A. programmes and in the Computer Science programmes. The successful applicant will be expected to contribute to the development of a joint study programme at the intersection of philosophy and computer science. The ability to teach in English is required.For more information, see https://www.uni-bayreuth.de/en/university/work-at-the-university/job-vacancies/professors/philosophy-computerscience-ai/index.html or contact Prof. Dr. Jan-Otmar Hesse at dekanat.kuwi at uni-bayreuth.de.
PhD position in Algorithmic Game Theory, Aarhus University (Denmark)Deadline: Monday 1 February 2021
Applications are invited for a PhD fellowship/scholarship in Algorithmic Game Theory at Aarhus University, Denmark, in the Computer Science programme. The PhD student will work under the supervision of Ioannis Caragiannis.For more information, see https://phd.nat.au.dk/for-applicants/apply-here/february-2021/algorithmic-game-theory/.
PhD position in Foundations of Knowledge and Opinion Formation in Social Networks, Groningen (the Netherlands)Deadline: Sunday 31 January 2021
We are inviting applications for a PhD Position in *Foundations of Knowledge and Opinion Formation in Social Networks* at the University of Groningen.
The PhD candidate will join the Multi-Agent Systems Group at the Department of Artificial Intelligence and work primarily under the supervision of Dr Zoé Christoff.
The goal of this project is to provide foundational analytical results answering, for instance, some of the following questions: how do social networks constrain opinion flow? Which communication protocols and/or network structures perform better than others in terms of truth-tracking? Are there non-trivial network structures that necessarily increase/decrease specific herding effects? Are there ways to make a population of agents provably less vulnerable to disinformation campaigns?For more information, see https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02S00080GP or contact Zoé Christoff at z.l.christoff at rug.nl.
Postdoctoral position on analysis techniques for deep neural networks, Houston TX (U.S.A.)
A postdoctoral researcher is sought for a two-year position in computer science at Rice University to work with Professors Lydia Kavraki and Moshe Vardi on analysis techniques for deep neural networks (DNNs). This project aims at developing techniques for analysis of DNNs by combining methods from formal methods, cyber-physical systems, and robotics. We are seeking candidates who have demonstrated ability to lead and/or work collaboratively in teams comprised of individuals of diverse backgrounds, skills, and perspectives.
Applicants must hold a Ph.D. in Computer Science, Electrical & Computer Engineering, Robotics, or a related field. Required skills include excellent analytical skills, excellent software engineering skills, and excellent writing skills. Candidates with current expertise at the intersection of formal methods and robotics/cyber-physical systems will be given priority. This position is particularly suited for candidates who want to follow a career in academia.
The position is available immediately and applications will be accepted until this position is filled.For more information, see http://www.kavrakilab.org/openings/postdocRoboticsDNNs2021.html or contact Professor Lydia Kavraki at kavraki at rice.edu, or Professor Moshe Vardi at vardi at rice.edu.
Seventeen PhD student positions in Computer Science (including logic), Glasgow (Scotland)Deadline: Sunday 31 January 2021
The School of Computing Science at the University of Glasgow is offering up to 17 studentships to support PhD research for students starting in 2021. Funding is available to support tuition fees for both home and international students, and in most cases to support living expenses at the recommended UKRI rate in addition.
Whilst the above funding is open to students in all areas of computing science, applications in the area of programming languages are particularly welcomed. Applicants are strongly encouraged to contact a potential supervisor and discuss an application before the submission deadline.For more information, see https://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestudents/studentshipinformation/ or contact socs-pgr-enquiries at glasgow.ac.uk.
PhD positions in theoretical computer science and/or combinatorial optimization, Copenhagen (Denmark)Deadline: Sunday 24 January 2021
The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for PhD positions in theoretical computer science and/or combinatorial optimization.
The PhD students will be working in the Algorithms and Complexity Section at DIKU. This is one of the leading research groups in theoretical computer science in Europe, with a strong presence at top-tier conferences like STOC, FOCS, and SODA, and also with publications in premier AI conferences like AAAI, IJCAI, and NeurIPS. We are part of an exciting environment including the Basic Algorithms Research Copenhagen (BARC) centre (https://barc.ku.dk/), joint with the IT University of Copenhagen, and have extensive collaborations with the Technical University of Denmark (DTU) and Lund University on the Swedish side of the Oresund Bridge, as well as with our many visitors. We aim to attract top talent from around the world to an ambitious, creative, collaborative, and fun environment. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory, but we also have a track record of start-ups and surprising algorithmic discoveries leading to major industrial applications.
These PhD positions are full-time employed positions for a period of 3-5 years, depending on the education level of the candidate, and include an extended stay at some research institution abroad. The tentative starting date is September 2021, but this is negotiable.
Postdoc positions in Theoretical Computer Science (TCS), Copenhagen (Denmark)Deadline: Sunday 24 January 2021
The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for postdoctoral positions in theoretical computer science.
We are looking for outstanding junior researchers with an innovative mind-set and intellectual curiosity to strengthen and complement the research profile of the Algorithms and Complexity Section at DIKU. This is one of the leading research groups in theoretical computer science in Europe, with a strong presence at top-tier conferences like STOC, FOCS, and SODA, and also with publications in premier AI conferences like AAAI, IJCAI, and NeurIPS. We are part of an exciting environment including the Basic Algorithms Research Copenhagen (BARC) centre (https://barc.ku.dk/), joint with the IT University of Copenhagen, and have extensive collaborations with the Technical University of Denmark (DTU) and Lund University on the Swedish side of the Oresund Bridge, as well as with our many visitors. We aim to attract top talent from around the world to an ambitious, creative, collaborative, and fun environment. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory, but we also have a track record of start-ups and surprising algorithmic discoveries leading to major industrial applications.
These postdoc positions are full-time employed positions. The starting date is flexible from April to September 2021, and the intended duration is 2 years. The University of Copenhagen is currently expanding strongly in computer science. We expect to have tenure-track openings in theoretical computer science in the coming years, and welcome postdoctoral researchers interested in exploring such opportunities.
Postdoctoral position in combinatorial optimization (including SAT solving), Copenhagen (Denmark)Deadline: Sunday 24 January 2021
The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for postdoctoral positions in combinatorial optimization.
The postdoc will be working in the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordstrom, which is doing research on theoretical analysis of and applied algorithm development for combinatorial optimization paradigms such as SAT solving, pseudo-Boolean optimization, constraint programming, and integer linear programming. MIAO belongs to the Algorithms and Complexity Section at DIKU, one of the leading groups in theoretical computer science in Europe, which is part of an exciting environment including the Basic Algorithms Research Copenhagen (BARC) centre (https://barc.ku.dk/), joint with the IT University of Copenhagen, and extensive collaborations with the Technical University of Denmark (DTU) and Lund University on the Swedish side of the Oresund Bridge, as well as with our many visitors. We aim to attract top talent from around the world to an ambitious, creative, collaborative, and fun environment. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory, but we also have a track record of start-ups and surprising algorithmic discoveries leading to major industrial applications.
This is a full-time employed position. The intended starting date is September 2021 but is negotiable, and the intended duration is 2 years. The University of Copenhagen is currently expanding strongly in computer science. We expect to keep having tenure-track openings in computer science in the coming years, and welcome postdoctoral researchers interested in exploring such opportunities.
Postdoctoral position (3+2y) in databases, Bremen (Germany)Deadline: Sunday 17 January 2021
At the University of Bremen in the department of mathematics and informatics there is a full PostDoc position available, commencing at the earliest convenience. The position is at the level of "Wissenschaftliche/r Mitarbeiter/in Entgeltgrupppe (13 TV-L)" within the group "Databases" headed by Prof. Sebastian Maneth. The position is for a duration of 3 years, with a possible prolongation of additional 2 years. This position is research only (= no teaching obligations) within a project that is funded by the DFG. The topic of the project is "definability of tree transformations".
We are looking for a post-doctoral researcher with an excellent track record in automata theory or formal language theory and with the will and enthusiasm to crack these hard problems.For more information, see https://www.uni-bremen.de/en/university/the-university-as-an-employer/job-vacancies-1/job/220 or contact Prof. Dr. Sebastian Maneth at maneth at uni-bremen.de.
Tenure-track assistant professorship in complexity theory, Copenhagen (Denmark)Deadline: Sunday 17 January 2021
The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for a tenure-track assistant professorship in computational complexity theory.
We are looking for an outstanding junior researcher with an innovative mind-set and intellectual curiosity to strengthen and complement the research profile of the Algorithms and Complexity Section at DIKU. This is part of an exciting environment including the Basic Algorithms Research Copenhagen (BARC) centre, joint with the IT University of Copenhagen, and involving extensive collaborations with the Technical University of Denmark (DTU) and Lund University on the Swedish side of the Oresund Bridge. We aim to attract top talent from around the world to an ambitious, creative, collaborative, and fun environment. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory, but we also have a track record of start-ups and surprising algorithmic discoveries leading to major industrial applications.
PhD student position in model theory, Norwich (UK)Deadline: Friday 15 January 2021
The project "Model theory and quasiminimality for analytic functions (KIRBYJ_U21SCIEPO)" at the University of East Anglia,School of Mathematics is based on the recent exciting developments in the application of model theory, a branch of mathematical logic, to analytic functions such as exponentiation. In this project, you will take some functions arising in complex or p-adic analysis and attempt to show that their logical theory is quasiminimal. When this can be proved, systems of equations involving this function will have solutions which can be understood geometrically, in a similar way to algebraic geometry, which applies to polynomial functions.
This 3.5 year PhD studentship is funded by an EPSRC Doctoral Training Partnership. The start date is 1st October 2021. Methods likely to be useful arise from model theory, topology, algebraic geometry, and real, complex and p-adic analysis; candidates should have knowledge of at least one or two of these areas.
Open Associate Professor position (tenured) in AI and Logic, Bergen (Norway)Deadline: Monday 11 January 2021
The Logic and AI group at the University of Bergen in Norway has a vacancy for an Associate Professor (permanent tenured position).
We are looking for (but are not limited to) a colleague who does research in multi-agent systems, information aggregation, machine ethics, social network analysis, and/or formal argumentation. The position is also open for excellent applicants with other AI perspectives focussing on social interaction.
The position is teaching/research. At our department Associate Professors typically teach one course in the semester. The new colleague will be a part of the new bachelor-program in artificial intelligence that the Department will offer in Autumn 2021.For more information, see https://www.jobbnorge.no/en/available-jobs/job/195801/associate-professor-in-information-science or contact Marija Slavkovik at marija.slavkovik at uib.no, or Thomas Agotnes at thomas.agotnes at uib.no.
Assistant Professor, Mathematics, London School of Economics (UK)Deadline: Monday 11 January 2021
The Department of Mathematics at LSE seeks to appoint an Assistant Professor. For this post, we are particularly interested in candidates with expertise in a subject area related to the Mathematics of Game Theory.
Two PhD student positions in Knowledge Representation & Reasoning, Luxembourg (Luxembourg)Deadline: Sunday 10 January 2021
The Individual and Collective Reasoning Group (ICR, Department of Computer Science, University of Luxembourg), led by Prof. Leon van der Torre, is looking for 2 PhD students (doctoral candidates) in Knowledge Representation and Reasoning.
The first position is in the context of the DigitaLisation, Law, And Innovation (DILLAN) program, an an interdisciplinary training program for Phd students in law and in computer science.
The second position is part of the Deontic Logic for Epistemic Rights (DELIGHT) project, an interdisciplinary project developing new formal frameworks extending deontic logic with epistemic and action notions in order to reason about epistemic rights as normative positions.
For both positions, a Master degree in Computer Science or a related discipline and a strong background in knowledge representation and reasoning, and some focus areas are required.
For more information, see http://emea3.mrted.ly/2jry4 (1st position) or http://emea3.mrted.ly/2l4zb (2nd position) or contact Prof. Leon van der Torre at leon.vandertorre at uni.lu or and Dr. Réka Markovich at reka.markovich at uni.lu.
PHD in AI&Logic, with focus on AI Ethics, Bergen (Norway)Deadline: Friday 8 January 2021
The Logic and AI group at the University of Bergen in Norway has a vacancy for a doctoral candidate.
The appointment is for four years with 25% of the total appointment time is a duty to be performed at the department, typically as a teaching assistant. The working language is English. The topic of the thesis is proposed by the candidate when applying. We are looking for (but are not limited to) project in machine ethics, autonomous systems, explainability, fairness, automated audit of accountability, or ethical impact of automated decision-making processes.
We are looking for applicants that hold a master's degree in information science, informatics, cognitive science, logic, or equivalent
Required is a documented background in at least one of the areas (not in order of relevance):
- machine learning
- logical programming
- formal argumentation
- deontic / normative reasoning
- decision theory
- formal verification
- moral philosophy
- differential privacy
A course the candidate has taken or a project the candidate has completed counts as documented background. Experience from scientific work is an advantage.For more information, see https://www.jobbnorge.no/en/available-jobs/job/195702/phd-position-in-information-science-ai?fbclid=IwAR3duFE9Oru8McMn6mPtBeTOOaDao_928C0IoQiE1EqkGIsz9CqFEB9wjPI or contact Marija Slavkovik at marija.slavkovik at uib.no, or Thomas Agotnes at thomas.agotnes at uib.no.
Postdoc position, Multi-Agent Laboratory, Kyushu University (Japan)Deadline: Tuesday 5 January 2021
The multi-agent laboratory in Kyushu University, headed by Professor Makoto Yokoo, is now hiring one post-doctoral researcher in market design and optimization.
Tenure-track faculty position in computer science (theory included), Rochester NY (U.S.A.)Deadline: Friday 1 January 2021
The Computer Science Department at the University of Rochester seeks applicants for tenure-track faculty positions. Candidates must have (or be about to receive) a doctorate in computer science or a related discipline. We are particularly eager to hire in theory, security/privacy/cryptography, quantum computing, data management, natural language processing, and machine learning, but candidates in all areas of computer science and at any level of seniority are encouraged to apply: we are always on the lookout for unique opportunities and synergies.For more information, see http://www.cs.rochester.edu.
Tenure track positions at University of RochesterDeadline: Friday 1 January 2021The Computer Science Department at the University of Rochester (http://www.cs.rochester.edu) seeks applicants for tenure-track faculty positions. We are particularly eager to hire in theory, security/privacy/cryptography, quantum computing, data management, natural language processing, and machine learning, but candidates in all areas of computer science and at any level of seniority are encouraged to apply: we are always on the lookout for unique opportunities and synergies.For more information, see https://www.rochester.edu/faculty-recruiting/positions/show/10942 or contact Lane A. Hemaspaandra at lane.hemaspaandra at icloud.com.
12 - 23 April 2021, Reading Group TractatusLocation: Online
From May 17 to June 16 the Joint Research Center in Logic of Tsinghua University and the University of Amsterdam organises the on-line Centennial Lectures Series to commemorate the fact that in 2021 it is 100 years ago that Wittgenstein’s Tractatus was first published. By way of preparation, Hao Tand and Martin Stokhof organise a short, intensive reading group that is strictly focussed on reading the text of the Tractatus itself. This will allow students and interested faculty members, who have not read the Tractatus or who want to refresh their memory of it, to prepare for the lecture series so as to maximise its benefits.
Five ILLC members elected to the VvL Board
At the virtual General Meeting held on 28 January 2021, the members of the Nederlandse Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen (VvL) elected five members of the ILLC to the Board of the VvL for a term of six years: Nick Bezhanishvili, Davide Grossi, Benedikt Löwe, Sonja Smets, and Peter van Ormondt. Nick Bezhanishvili will serve as the new President and Peter van Ormondt as the new Treasurer of the VvL.
MoL students Nicolien Janssens and Nikki Westeijn part of winning project of Grassroots Science4all 2020
In 2020, employees and students were again called upon to apply for financial support for projects to improve diversity and inclusion at the Faculty of Science. This time no fewer than six projects have received a Grassroots Science4all grant!
Blog post on logic and how group beliefs form in social networks
For the World Logic Day on January 14, we published a blog post about the work of Alexandru Baltag and Sonja Smets. They use logical models to investigate how group beliefs form in online social networks.For more information, see https://resources.illc.uva.nl/illc-blog/the-madness-of-the-crowds/ or contact Iris Proff at irisproff at gmail.com.
Mike Yates (1939-2020)
Professor C.E.M. Yates, Mike to all who knew him, died on the 21st of December 2020 in Bangor, North Wales, at the age of 81. Mike will be remembered with affection by all who knew him: caring, generous and greatly supportive of his students and colleagues and the discipline.For more information, see here .