[LOGIC] List Mailing Archive 2023

Subscribe to the [LOGIC] list in order to receive information about conferences, job advertisements and logic-related news.

Archived years: 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 all

Received: 2023-09-26:

• CfA: PhD position in Epistemic Reasoning and Learning, IRIT - Toulouse (France), deadline: 20 October 2023.
• CfP: 4th Volume of OHAAI (Online Handbook of Argumentation for AI), Extension of deadline: 8 October 2023

Received: 2023-09-24:

• CfP: CiE 2024: Computability in Europe 2024, 8-12 July 2024, Amsterdam (The Netherlands)
• CfP: 6th Asian Workshop on Philosophical Logic, 5-6 March 2024, Sapporo (Japan)

Received: 2023-09-22:

• Call for Proposals to Host the 36th ESSLLI, 2025
• CfProposals: ESSLLI 2024: 35th European Summer School in Logic, Language and Information , 29 July – 9 August 2023, Leuven (Belgium)
• CfP: 7th International Meeting of the Association for the Philosophy of Mathematical Practice (APMP), 18-21 June 2024, Pavia (Italy)
• CFP: International Symposium on Practical Aspects of Declarative Languages, 15-16 January 2024, London, United Kingdom
• CfParticipation: The Hao Wang Lectures and Workshops , Sep. 26-28 2023, Tsinghua University (Peking/China)

Received: 2023-09-19:

• CfP: WoLLIC 2024: 30th Workshop on Logic, Language, Information and Computation, 10-13 June 2024, Bern (Switzerland)
• CfP: STACS 2024 - The 41st International Symposium on Theoretical Aspects of Computer Science, 12 - 14 March 2024, Clermont-Ferrand (France)
• CfA: PostDoc 2y/ defeasible reasoning/ deontic logic, Bochum (Germany), deadline: 9 October 2023
• CfA: 3 postdocs in mathematics (including logic), Turin (Italy), Deadline: 29 September 2023 - 13:00 CEST

Received: 2023-09-18:

• CfParticipation: Formal Methods in Computer-Aided Design (FMCAD), Ames (Iowa/USA), 23-27 October 2023
• CfParticipation: Fourth Colloquium of the European Set Theory Society, 21 Sep 2023, Online
• CfParticipation: New Seminar on Infinite Games starting September 21, 2023
• CfA: 2 Tenure track positions available to logicians (2nd call, deadline change), Prague (Czech Republic), Deadline: 20 November 2023
• CfA: Associate Professor of Linguistics with a Specialization in Computational Linguistics, Oslo (Norway), deadline: 31 October 2023

Received: 2023-09-15:

• CfA: Expression of interest for up to 6 postdocs in Logic at the Logic Uncertainty Computation and Information (LUCI) Lab, Milan (Italy)
• CfA: Expressions of interests for two postdoctoral positions in Logic and Computer Science , Cagliari & Urbino (Italy), deadline 22 October 2023
• CfA: 2-year postdoc in UCL intersection of quantum technology and natural language, London (UK), Deadline: 30 Sept 2023
• CfP: SI of Mathematical Structures in Computer Science on Advances in Homotopy Type Theory, Deadline: 31 January 2024
• CfP: SALOME 1: 1st South American LOgic MEeting, 12-15 January 2024, Cusco, Peru

Received: 2023-09-13:

• CfParticipation: 5th ENCODE workshop on Group Accuracy/ Deliberation & Social Influence, Rotterdam (The Netherlands), October 3
• Thanases Pheidas (1958–2023)

Received: 2023-09-12:

• CfA: PhD / PostDoc position on Learning and Reasoning, TU Dortmund (Germany), Deadline: 19 September 2023
• CfP: SPIN 2024 - 30th International Symposium on Model Checking of Software, 6-11 April 2024, Luxembourg City (Luxembourg)
• CfP: CIFMA 2023, 7 November, Eidhoven (The Netherlands), Deadline: 15. September!
• CfA: Research Fellowship - Logic related AOS, St Andrews (Scottland), Deadline: 1 November 2023
• CfP: SPIN 2024 - 30th International Symposium on Model Checking of Software, 6-11 April 2024, Luxembourg City (Luxembourg)

Received: 2023-09-10:

• CfParticipation: Asian Logic Conference, 9 – 13 October 2023, Nankai University in Tianjin (China)
• CfParticipation: Model theory and groups : A conference on the occasion of Katrin Tent's 60th birthday, 25 - 29 September 2023, Münster (Germany)
• CfParticipation: FOIS 2023 13th International Conference on Formal Ontology in Information Systems, 18 - 20 September 2023, Online
• CfNominations: Sacks Prize - Dissertation Prize by the ASL, Deadline: September 30, 2023

Received: 2023-09-07:

• CfP: SI of RAP (Review of Analytic Philosophy) on Logics of Communicative Interaction, Deadline: 31st October 2023 (Extended)
• CfP (extended): BEWARE-23, 6-9 November 2023, Rome (Italy)
• CfP: Latin American Workshop on New Methods of Reasoning, 16 - 17 November 2023, Hybrid / México City (Mexico)

Received: 2023-09-05:

• CfPart: Methodological, Metaphysical & Epistemological Themes in the Philosophy of Logic, 28 - 30 September 2023, Bonn (Germany)
• CfA: Assistant/Associate Professor positions, Birmingham (UK), deadline 1 October 2023
• CFP (EXTENSION): 5th Workshop on Artificial Intelligence and fOrmal VERification/ Logic/ Automata/ and sYnthesis (OVERLAY 2023), 6 - 9 November 2023, Rome (Italy)

Received: 2023-09-02:

• CfPart: Formal Modeling of Ignorance, 7 - 8 September 2023, Urbino (Italy)

Received: 2023-09-01:

• CfP: Ninth International Conference on Formal Structures for Computation and Deduction (FSCD 2024), 10-13 July 2024, Tallinn (Estonia)
• CfPart: Building a Trans Community in Philosophy (including formal Logic), 4-5 September 2023, Online
• CfP: CIFMA - 2023: 5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, 7 November 2023, Eindhoven (The Netherlands)

Received: 2023-08-31:

• Call for Events: UNESCO World Logic Day 2024

Received: 2023-08-30:

• CfP: Zagreb Logic Conference 2024, 12-15 January 2024, Zagreb (Croatia)
• CfP: 14th International Workshop on Program Semantics, Specification and Verification, 3-4 November 2023, Hybrid - Innopolis (Republic of Tatarstan / Russia)
• CfP: ANU Logic Summer School, 4 - 15 December 2023, Canberra (Ngunnawal and Ngambri Country/ Australia)

Received: 2023-08-28:

• CfA: short-term fellowships (for PhD students) at the Centre “Limits of Variability in Language: Cognitive, Computational, and Grammatical Aspects” in Potsdam (Germany), deadline: 30 September 2023
• CfP: ISAIM 2024: Eighteenth International Symposium on ARTIFICIAL INTELLIGENCE and MATHEMATICS, 08 - 10 January 2024, Fort Lauderdale (Florida/USA)
• CfPart: CCC 2023: Continuity, Computability, Constructivity – From Logic to Algorithms, 25-29 Sept 2023, Kyoto (Japan) & Online

Received: 2023-08-25:

• CfA: PhD position (UK Home and Overseas students) in Combinatorics/ Random Graphs/ Logic/ Complexity/ and Semantics at the University of Sheffield (UK), deadline: 17 Sept 2023

Received: 2023-08-22:

• CfA: Research Associate at the School of Computing at the University of Kent (UK), deadline: 4 September 2023

Received: 2023-08-21:

• CfP: Computational approaches to metaphor and figurative language, 28 Feb - 1 March 2024, Bochum (Germany).

Received: 2023-08-17:

• CfA: Junior Professor (W1) in Algorithmic Game Theory and Discrete Mathematics, RWTH Aachen (Germany), Deadline: 10 September 2023
• CfA: PhD-student in project on "norms and nature of acceptance", Düsseldorf, Deadline 20 September 2023
• CfP: 25th International Conference on Verification, Model Checking, and Abstract, 15 - 16 January 2024, London (United Kingdom)

Received: 2023-08-16:

• CfA: two assistant prof at the Theoretical Computer Science group of Jagiellonian University, Kraków (Polen), Deadline: 18 August 2023
• CfPart: PROGIC 2023: Eleventh Workshop on Combining Probability and Logic, 30 August - 1 September 2023, Utrecht (Netherlands)

Received: 2023-08-14:

• University Assistant (Prae-doc) in Formal Methods in Systems Engineering, TU Vienna, Deadline: 31. Aug 2023
• Multiple PhD scholarships at The Australian National University, Canberra (Australia)

Received: 2023-08-09:

• Senior Lecturer (Akademischer Rat, A13) in programming languages, Konstanz (Germany), Deadline: 15 Sep 2023
• JURIX 2023: Legal Knowledge & Information Systems, 18-20 Dec 2023, Maastricht, The Netherlands
• PhD student positions and postdoctoral position in Argument Technology, Dundee (Scotland), Deadline: 14 Aug 2023 / 23 Sep 2023
• Assistant Professorship in Data Science, Durham (England), Deadline: 20 Aug 2023
• Highlights in the Language Sciences 2024, 8-11 Jul 2024, Nijmegen, The Netherlands
• CfPart: GandALF 2023, 18-20 Sep 2023, Udine, Italy

Received: 2023-08-08:

• CfP special issue of JSC on interaction of symbolic computation & machine learning, Deadline: 17 Sep 2023
• Working with Truth, 9-10 Sep 2023, Bristol, England
• BLC 2023: British Logic Colloquium, Bristol (England), 7-9 Sept 2023
• Associate Professorship in Fundamental Technology for CS, Nomi (Japan), Deadline: 15 Sep 2023

Received: 2023-08-06:

• PhD student position in Causal Analysis of Deep Neural Networks, Konstanz (Germany), Deadline: 15 Sep 2023

Received: 2023-08-04:

• PhD student position in situated autonomous systems, Gothenburg (Sweden)
• CfP special issue of Stud. Log. on information sharing in betworks, Deadline: 1 Sep 2023
• BEWARE-23: emerging ethical aspects of AI, 6-9 Nov 2023, Rome, Italy
• Peter Aczel (1941-2023)
• Two PhD student positions & one postdoctoral position in formal analysis of autonomous systems, Gothenburg (Sweden), Deadline: 1 Sep 2023

Received: 2023-08-03:

• PROGIC 2023: Combining Probability & Logic, 30 Aug - 1 Sep 2023, Utrecht, The Netherlands
• Szabolcs Mikulas (1966-2023)
• Trends in Logic XXIII: BLESS, 22-24 Nov 2023, Torun, Poland

Received: 2023-08-02:

• Trivalent suspension, uncertainty, & reasoning with conditionals, 30 Aug - 1 Sep 2023, Regensburg, Germany
• CfP topical collection of 'Global Philosophy' on mathematical neutrality in science, technology, & society, Deadline: 15 Dec 2023
• Peter Bieri (1944-2023)
• CfP special issue on the 100th anniversary of the Vienna Circle of 'Epistemology & Philosophy of Science', Deadline: 15 Nov 2023
• Concepts & Their Uses, 28-30 Aug 2023, Bern, Switzerland

Received: 2023-08-01:

• PhD student positions in theory & practice of indirect communication, Düsseldorf/Graz (Germany/Austria), Deadline: 2 Aug 2023 (tomorrow)
• First conference of the European Society for the Philosophy of Mathematics, 5-7 Sep 2023, London, England
• Postdoctoral position in philosophy of language or epistemology, Düsseldorf (Germany), Deadline: 23 Aug 2023
• PhD student position in logic and philosophy of language, Berlin (Germany), Deadline: 15 Aug 2023

Received: 2023-07-31:

• CfP OHAAI (Online Handbook of Argumentation for AI) Volume 4, Deadline: 8 Oct 2023
• AISC 2023: Italian Association for Cognitive Sciences, 14-16 Dec 2023, Genoa, Italy

Received: 2023-07-30:

• Actions & norms in deontic logic, 20 Sep 2023, Milan, Italy
• Computational approaches to metaphor & figurative language, 28 Feb-1 Mar 2024, Bochum, Germany
• KR 2023: Knowledge Representation & Reasoning, 2-8 Sep 2023, Rhodes, Greece
• Scholarships for Master's programme in philosophy of mind & cognition, Taipeh (Taiwan)
• Research Assistantship in NLP with Quantum Technology, London (England), Deadline: 30 Sep 2023
• PhD student position in evidence-based policy, Antwerp (Belgium), Deadline: 31 Aug 2023
• DT 2023: Deduktionstreffen, 26 Sep 2023, Berlin, Germany

Received: 2023-07-27:

• PhDs in Logic XIV, 4-6 Oct 2023, Granada, Spain
• LANMR 2023: Latin American Workshop on New Methods of Reasoning, 16-17 Nov 2023, Mexico City, Mexico
• LENLS20: Logic & Engineering of NLS, 18-20 Nov 2023, Osaka, Japan
• SALOME 1: South American Logic Meeting, 12-15 Jan 2024, Cusco, Peru
• ILDS Coq & Lean Autumn School 2023, 18-20 Sep 2023, Bucharest, Romania
• Central Topics in Situated Cognition, 5-6 Oct 2023, Bochum, Germany

Received: 2023-07-26:

• 5th ENCODE workshop on Group Accuracy, Deliberation, & Social Influence, 3 Oct 2023, Rotterdam, The Netherlands
• LAMAS & SR 2023: Logical Aspects of Multi-Agent Systems & Strategic Reasoning, 30 Sep - 1 Oct 2023, Krakow, Poland
• IntRS 2023: Interfaces & Human Decision Making for Recommender Systems, 18-22 Sep 2023, Singapore, Singapore
• "Wormshop": Proof Theory, Modal Logic & Reflection Principles, 31 Oct - 3 Nov 2023, Bern, Switzerland
• CfP special collection of Journal of Cybersecurity on philosophy of information security, Deadline: 31 Dec 2023
• Tenure-track positions in computer science, Prague (Czech Republic), Deadline: 20 Nov 2023
• RW 2023: Reasoning Web Summer School, 21-24 Sep 2023, Oslo, Norway

Received: 2023-07-25:

• Formal modeling of ignorance, 7-8 Sep 2023, Urbino, Italy
• CfP special issue of Studia Logica on information sharing in social networks, Deadline: 30 Sep 2023
• JELIA 2023: Logics in AI, 20-22 Sep 2023, Dresden, Germany
• ICCS 2023: Conceptual Structures, 11-13 Sep 2023, Berlin, Germany
• CfP special issue of AJL on the work of Ross Brady, Deadline: 15 Jan 2024
• CfP proceedings volume of ThEdu 2023 in EPTCS, Deadlin: 22 Oct 2023

Received: 2023-07-22:

• AWPL 2024: Asian Workshop on Philosophical Logic, 5-6 Mar 2024, Sapporo, Japan
• CCA 2023: Computability & Complexity in Analysis, 7-9 Sep 2023, Dubrovnik (Croatia)
• CfP special issue of Synthese on Hyperintensional Formal Epistemology, Deadline: 1 Dec 2023
• Sinn und Bedeutung 28, 5-8 September 2023, Bochum (Germany)
• Workshop on Contradictory Logics, 6-8 Dec 2023, Bochum, Germany
• PhD student and Postdoctoral positions at the Centre for Argument Technology, Dundee (Scottland), Deadline: 14 August 2023

Received: 2023-07-20:

• CSL 2024: Computer Science Logic, 19-23 Feb 2024, Naples, Italy
• Announcement: European Society for the Philosophy of Mathematics (inaugural conference: London, England, 5-7 Sep 2023)
• Martin Davis (1928-2023)

Received: 2023-07-18:

• ALC 2023: Australasian Logic Colloquium, 6-8 Nov 2023, Brisbane, Australia

Received: 2023-07-19:

• BLC 2023: British Logic Colloquium, 7-9 Sep 2023, Bristol, England
• Re-activation of the list / new moderator: Dr Deniz Sarikaya

Archived years: 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 all