[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: 2024 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-12-31:

• CfP: Agency and Intentionality: Collective and Individual, 25 - 26 May 2024, Beijing (China)

Received: 2023-12-27:

• CfA: postdoc situated in the Institute Vienna Circle (IVC), Vienna (Austria), deadline: 14. Jan 2024
• CfA: postdocs 1y in logics for concurrency / 1y non-classical logic, Urbino and Cagliari (Italy), deadline: 19 and 20 January 2024
• CfA: two PhD scholarships at Australian National: Verification of Safety-Critical Systems using Rely/Guarantee / Verification of Non-blocking Concurrent Algorithms, deadline: till the positions are filled

Received: 2023-12-23:

• CfP: RC 2024: Reversible Computation 2024, 4 -5 July 2024, Torun (Poland)
• CfR: World Logic Day in Hungary, 12 January 2024, Pécs (Hungary) and Online
• CfA: Postdoc 1y+1y in Logic, Torino (Italy), deadline: 22.01.2024

Received: 2023-12-22:

• CfR: What came first, Math or Computing? by Moshe Vardi, 12 Januar 2024, Online [World Logic Day Event]
• CfR: DiλLL 2024: Differential λ-Calculus and Differential Linear Logic - 20 Years Later, 13 - 17 May 2024, Marseille (France)
• CfP: TAP 2024: Tests and Proofs 2024, 09. - 10. Sept 2024, Milan (Italy)
• CfP: 2nd European Summer School on the Philosophy of Mathematics, 9-13 September 2024, Vienna (Austria)

Received: 2023-12-21:

• CfR: BLAST 2024, 6-9 April 2024, Denton (TX / USA)
• CfA: research assistant in the ERC Consolidator project AIMODELS, Venice (Italy), deadline: 29 February 2024
• CfR: Southern Summer Logic Day, AU/NZ, 12 January (local time) [World Logic Day Event]
• CfP (and Symposia): 5th conference of the East European Network for Philosophy of Science, 9-10 Sept 2024, Kraków (Poland)
• CfA: 2 Postdocs Logic (1 year each), University of Cagliari (Italy), deadline: 19 Jan 2024

Received: 2023-12-20:

• CfA: 18 - 24 month Postdoc in Epistemology / Phil of Math, Pavia (Italy), deadline: 15. Jan 2024
• CfR: Thoughts on Interlinguistics and Logic, 12. Jan 2024, Online [World Logic Day Event]
• CfP: CMU Summer School in Logic and Formal Epistemology, 3–7 + 10–14 + 17–21 June 2024, Pittsburgh (USA)
• CfP: Formal Ethics 2024, 15-17 July 2024, Greifswald (Germany)

Received: 2023-12-19:

• CfR: Online Workshop: WLD In Nigeria: Logic - A World of Interdisciplinary Science 3, 13 January 2024, Online
• CfP: CLIB 2024: 6th International Conference on Computational Linguistics in Bulgaria, 9 and 10 September 2024, Sofia (Bulgaria)
• CfP: ESSLLI 2024 Student Session, 29 July – 9 August 2024, Leuven (Belgium)
• CfP: DL2024: 37th International Workshop on Description Logics, 18-21 June 2024, Bergen (Norway)
• CfA: post-doc position in Udine in mathematical logic, Udine (Italy) deadline: 14 March 2024

Received: 2023-12-18:

• CfR: Workshop 'Proofs, Rules, and Meanings', 11-12 April 2024, University of St Andrews (Scotland)
• CfP: MCMP Summer School for Widening Participation in Mathematical Philosophy, 22 - 26 July 2024, MCMP (Munich, Germany)
• CfP: Special issue of AJL on the work of Ross Brady, deadline: 15 January 2024
• CfP: Lean Together 2024, 9-12 January 2024, Online
• CfA: Visiting/postdoc researcher in Logic, Semantics, Concurrency - University of Groningen (NL), deadline: 24 January 2024

Received: 2023-12-13:

• CfP: Special Issue of JLC - Journal of Logic and Computation on Combining Probability and Logic, Deadline: 31 March 2024
• CfP: Computability in Europe 2024, 08-12 July 2024, Amsterdam (The Netherlands)
• CfWorkshops: ESSLI: 35th European Summer School in Logic, Language and Information, 29 July – 9 August 2024, Leuven (Belgium)

Received: 2023-12-11:

• CfR: Certified Programs and Proofs (CPP'24), 15-16 January 2024, London (UK)
• CfCourses: ESSAI 2024: The 2nd European Summer School in Artificial Intelligence, 15-26 July 2024, Athens (Greece)
• CfWorkshops, COMMA 2024: 10th International Conference on Computational Models of Argument, 18-20 September 2024, Hagen (Germany)
• CfWorkshops: ICCC'24: The 15th Int. Conf. on Computational Creativity, 17-21 June 2024, Jönköping (Sweden)
• CfA: Full Professorship in Formal Methods at the Johannes Kepler University Linz, Linz (Austria), Deadline: 17 Januar 2024

Received: 2023-12-06:

• CfP CfP: COORDINATION 2024 - 26th International Conference on Coordination Models and Languages, 18-20 June 2024, Groningen (The Netherlands)
• CfP: Large Language Models & Natural Language Processing in Artificial Intelligence - LLMaNLPinAI 2024, 24 - 26 February 2024, Rome (Italy)
• CfTutorials / Workshops: DIAGRAMS 2024, 27 Sept - 1 Oct 2024, Münster (Germany)
• CfP: 7th International Meeting of the Association for the Philosophy of Mathematical, 18-21 June 2024, Pavia (Italy)

Received: 2023-12-05:

• CfA ERC-Funded PostDoc and PhD positions in combinatorial optimization (certifying algorithms/proof logging), VUB (Brussels, Belgium), deadline: 18. January 2024

Received: 2023-12-01:

• CfP: ECAI-2024: 27th European Conference on Artificial Intelligence (ECAI-2024), 19-24 October 2024, Santiago de Compostela (Spain)
• CfP: CCR 24 Seventeenth International Conference on Computability, Complexity and Randomness, 11-15 March 2024, Nagoya Univ (Japan)
• CfP: FLOPS 2024: 17th International Symposium on Functional and Logic Programming, 15 - 17 May 2024, Kumamoto (Japan)

Received: 2023-11-30:

• CfA: Tenure Track Assistant Professor AI for Social Good, ILLC at UvA (Amsterdam, The Netherlands)
• CfA: 1y Postdoc Definitions, Explanations, and Proofs, IUSS Pavia (Italy), deadline: 07 Dec 2023
• CfA: 3y postdoc in the ERC Proj Construction in the Formal Sciences, U Oslo (Norway)

Received: 2023-11-26:

• CfR: FCNO@40 - Forty Years of Neologicism, 30 Nov - 02 Dec 2023, Hybrid: Pavia (Italy) & Online
• CfP: IJCAR 2024 The 12th International Joint Conference on Automated Reasoning, 1-6 July 2024, Nancy (France)
• CfP: CiE2024 Computability in Europe 2024 Twenty years of theoretical and practical synergies, 08-12 July 2024, Amsterdam (The Netherlands)
• CfA: PostDoc and PhD positions in the LoDEx project, Bochum (Germany), Deadline: 30 November 2023

Received: 2023-11-25:

• CfP: Logic Colloquium 2024, 24-28 June 2024, Gothenburg (Sweden)
• CfR: Southern Summer Logic Day, 12 January 2014 in AU/NZ, online [WLD Event]
• CfP: CICM 2024 - 17th Conference on Intelligent Computer Mathematics, 5-9 August 2024, Montreal (Canada)

Received: 2023-11-23:

• CfP [EXTENDED]: FoIKS 2024, 13th Int. Symp. on Foundations of Information and Knowledge Systems, 8–11.04.2024, Sheffield (United Kingdom)
• CfP: FOIS 2024: 14th International Conference on Formal Ontology in Information Systems, 15-19 July 2024 & 08-09 July 2024, Enschede (Netherlands) & online

Received: 2023-11-22:

• CfP: HoTT/UF 2024: Workshop on Homotopy Type Theory and Univalent Foundations, 2-3 April 2024, Leuven (Belgium)

Received: 2023-11-21:

• CfA: PhD position in Computability, Swansea University (UK), Deadline 26 January 2023
• CfR: Wittgenstein and the formal sciences 3, 10 January 2024, Online [World Logic Day Event]

Received: 2023-11-19:

• CfP: WoLLIC 2024: Workshop on Logic/ Language/ Information and Computation, 10-13 June 2024, Bern (Switzerland)
• CfP: Engaging Rationality Today, 22-24 May 2024, Lille (France)

Received: 2023-11-17:

• CfR: EXUNMA 2: Explanation and understanding with(in) mathematics 2, 16. Jan 2024, Online [WLD Event]
• CfA: One-year Postdoc in computational logic, Tampere (Finland), Deadline 23 November 2023
• UNESCO-World Logic Day - January 14, 2024 - 2nd call for events.

Received: 2023-11-15:

• CfA: two Lectureships in Informatics, Sussex University (UK), deadlines: 4 & 14 December 2023

Received: 2023-11-14:

• CfP: Formal Methods and Science in Philosophy V, 16-18 May 2024, Dubrovnik (Croatia)

Received: 2023-11-13:

• CfParticipation: Proof-Theoretic Semantics and Truth Workshop, 16-17 Dec 2023, University of Bristol (UK)
• CfA: 1 Postdoc & 2 PhDs in a ERC Project POCOCOP (Polynomial-time computation: opening the black boxes in constraint problems) , Charles University (Prague, Czech Republic), deadline: 15 December 2023
• CfA: Postdoc in the NSF group "Logic and its application", New Mexico State University (Mexico), deadline: 15 December 2023

Received: 2023-11-10:

• CfParticipation: Workshop on Directions and Perspectives in the Lambda-Calculus, 08 January 2024, Bologna (Italy)

Received: 2023-11-08:

• CfP: Special Track on Uncertain Reasoning (UR) @ FLAIRS-37, 18-21 May 2024, Miramar Beach (Florida/ USA)

Received: 2023-11-07:

• CfP: ICCC'24: The 15th Int. Conf. on Computational Creativity, 17-21 June 2024, Jönköping (Sweden)
• CfA: PhD position (mostly) theoretical Computer Science, Birmingham (UK), deadline: (funding) 1 December 2023
• Memorial for Martin Davis

Received: 2023-11-03:

• CfP: DIAGRAMS 2024, 27 Sept - 1 Oct 2024, Münster (Germany)

Received: 2023-11-02:

• CfP: LPAR 2024-25 The 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, 26-31 May 2024, Mauritius,
• CfA: postdoctoral researcher in Logic, LUCI Lab (Milano / Italy), deadline: 27 November 2023
• CfA: 1 of 5 postdocs - "Proof, Explanation, and Paradoxes" in the PRIN project PUMa: "Proof and understanding in mathematics. Purity of methods, simplicity, and explanation in mathematical reasoning", Milan (Italy), deadline: 02 December 2023
• CfA: Six Fully-funded PhD Positions in Theoretical Computer Science, University of Sheffield (UK), deadline: 30 November (soft)
• CfP: FoIKS 2024, 13th International Symposium on Foundations of Information and Knowledge Systems, 8 - 11 April 2024, Sheffield (UK).

Received: 2023-10-31:

• CfParticipation: Announcing a new monthly online seminar on the topic of first-order modal logic, starting 6 November 2023
• CfNominations: Simon Award of the IACAP, deadline: 20 December 2023

Received: 2023-10-29:

• CfNominations: Covey Award of the IACAP, deadline 20 December 2023
• CfP: DL 2024: 37th International Workshop on Description Logics, 18-21 June 2024, Bergen (Norway)
• CfA: Fully funded PhD Studentship in Proof-theoretic Semantics, UCL (Lodon / UK), deadline: 08 January 2024

Received: 2023-10-28:

• CfEvents: IJCAR 2024: The 12th International Joint Conference on Automated Reasoning, 1-6 July 2024. Nancy (France)
• CfA: Postdoc - Semantic graphs in digital humanities, Paris (France), deadline: ?
• CfP: IJCAR 2024: The 12th International Joint Conference on Automated Reasoning, 1-6 July 2024. Nancy (France)
• CfA: Postdoc ~3 years Metaphysics / Ontology / Phil Language / Logic, Vienna (Austria), deadline: 31 Oct 2023

Received: 2023-10-24:

• CfA: Postdoc in Verification and Game Theory, University of Liverpool (UK), Deadline: 10 November 2023
• CfP: SCAI’24 - The 14th Scandinavian Conference on AI, 10-11 June 2024. Jönköping (Sweden)

Received: 2023-10-20:

• CfA: PhD position on "Computational Semantics of natural language for computational law", Swansea (UK) , deadline: 13 Nov 2023
• [correction] CfP: DL 2024: Description Logic Workshop, 18-21 June 2024, Bergen (Norway)

Received: 2023-10-18:

• CFP: DL 2024: Description Logic Workshop, 18-21 June 2024, Bergen (Norway)
• CfA: PhD or postdoc position in logical modelling of notarial procedures, FAU Erlangen-Nürnberg (Germany), Deadline: asap
• CFP: (extended) SI of Kuenstliche Intelligenz on Non-Classical Reasoning for Contemporary AI Applications, Deadline: 18 December 2023
• CfPart: ExtenDD Seminar Series on Definite Descriptions, starting 25 October 2023, online
• CfA: 2 PostDocs and 1 PhD Deontic Logic / Argumentation / Nonmonotonic Logic, Bochum (Germany), Deadline: 30 October 2023
• CfP: CTLM 2023: Conference on Techniques from Logic in Mathematics, 7.12.2023, Vienna (Austria)

Received: 2023-10-17:

• CfP: 16th NASA Formal Methods Symposium (NFM 2024), 4-6 June 2024, Moffett Field (California/US)
• CfP: (extended deadline) 6th Asian Workshop on Philosophical Logic, 5-6 March 2024, Sapporo (Japan)

Received: 2023-10-15:

• CfParticipation: Dov Gabbay Prize 2023 - Online Ceremony, October 25
• CfP: Formalize!(?) – 4: A philosophical & educational perspective on formalization in mathematics, Online, 15. January 2024 [celebrating World Logic Day]
• CfA: Postdoctoral Fellowships (2y) Logic in the Philosophy Department, Peking University (Beijing, China), Deadline: 21. Oct. 2023

Received: 2023-10-12:

• CfA: PhD position in Logic and Legal Reasoning, Vienna (Austria), Deadline: 30 November 2023
• CfA: PhD position in Epistemic Reasoning and Learning - IRIT, Toulouse (France), Deadline: 20 October 2023
• CfA: PhD scholarship in Computer Science: Model Checking for Malware Detection, Paris (France)
• CfP: (Extended deadline): ISAIM 2024: Eighteenth International Symposium on ARTIFICIAL INTELLIGENCE and MATHEMATICS, 08 - 10 January 2024, Fort Lauderdale (Florida/USA)
• CfP: Normative Reasons/ Explanation/ and Grounding, 24-25 October 2024, Bielefeld (Germany)

Received: 2023-10-09:

• CfA: Expressions of interests for two research fellowships positions in Statistics, Numerical Analysis, Logic, or Computer Science, Cagliari (Italy), Deadline: 31 October 2023
• CfA: postdoc computational linguistics, Gothenburg (Sweden), Deadline: 21. November 2023
• CfP: CCR2024 Seventeenth International Conference on Computability, Complexity and Randomness, 11-15 March 2024, Nagoya (Japan)
• CfP: ICALP 2024: The 51st EATCS International Colloquium on Automata, Languages, and Programming, 8-12 July 2024, Tallinn (Estonia)

Received: 2023-10-06:

• CfParticipation: ANU logic summer school, 4 - 15 December 2023, Canberra/ Ngunnawal and Ngambri Country (Australia)
• CfA: 2 PostDocs (3y, 2y) LoDEx/ deontic explanation/ defeasible reasoning, Bochum / Luxembourg / Vienna, Deadline: 30 October 2023

Received: 2023-10-03:

• CfP: NMPC 2024: Nonlinear Model Predictive Control, 21-24 August 2024, Kyoto (Japan)
• CfP: FoIKS 2024: 13th International Symposium on Foundations of Information and Knowledge Systems, 8 - 11 April 2024, Sheffield (UK)
• CfP: IACAP 2024: Congress of the International Association for Computing and Philosophy, 8-10 July 2024, Eugene (Oregon/USA)
• CfA: Assistant Prof. Philosophy of data / computing and AI, Boston (USA)
• CfSymposia / Save the date: 27 ICHST: International Congress of History of Science and Technology, 29 June – 5 July 2025, Ōtepoti Dunedin (New Zealand)

Received: 2023-09-30:

• CfParticipation: Nancy-Liège Workshops on Mathematical Intuition, 6-8 November 2023, Liège (Belgium)
• CfP: ETAPS 2024: 27th European Joint Conferences on Theory and Practice of Software, 6-11 April 2024, Luxembourg City (Luxembourg)
• CfP: Normative Reasoning Workshop, 30. October 2023, Leuven (Belgium)
• CfA: Full Professor at Graz University of Technology (Austria), Deadline: 16 November 2023
• CfA: Tenure Track Assistant Professor, University of Connecticut (USA), Deadline: 16 October 16 2023

Received: 2023-09-28:

• Book announcement: Computability and Complexity
• Call for nominations: 2023 Victor Lesser Distinguished Dissertation Award
• CfP: SALOME 1 - The 1st South American Logic Meeting, 12-15 January 2024, Cusco (Peru)
• CfP: Logic Colloquium 2024, 24-28 June 2024, Gothenburg (Sweden)
• CfA: Researcher Position, Slovak Academy of Sciences, Deadline: 27 October 2023

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

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

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: 2024 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