[TYPES/announce] DisCoTec call for satelite events (extended submission deadline)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] After some requests, we decided to give an extension to the submission deadline for a workshop proposal for DisCoTec 2020. The new submission deadline is January 17. On behalf of the

[TYPES/announce] The Logic Colloquium 2022

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Logic Colloquium 2022 will take place from June 27 to July 1, 2022 at Reykjavik University, in Iceland. The deadline to submit abstracts is quite soon, on 24/3. The website is:

[TYPES/announce] Logic Colloquium deadline extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Logic Colloquium 2022 will take place from June 27 to July 1, 2022 at Reykjavik University, in Iceland. The deadline to submit abstracts has been extended to March 31. For updates,

[TYPES/announce] Open postdoc or PhD position at Reykjavik University, department of Computer Science

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Mode(l)s of Verificaton and Monitorability Department of Computer Science, Reykjavik University One postdoc or PhD position We invite applications for one postdoc or PhD position at the

[TYPES/announce] Logic colloquium 2022 registration is open

the schedule shortly. Please distribute this message to whoever you think would be interested. We look forward to seeing as many of you as possible in Reykjavik in June - and many others online! Antonis On behalf of the organisers Antonios Achilleos Lektor | Tölvunarfræðideild Assistant Professor

[TYPES/announce] GandALF 2023: Call For Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [apologies for cross-postings] The Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23) will be held in Udine (Italy) on September 18-20,

[TYPES/announce] GandALF 2023: 2nd Call For Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [apologies for cross-postings] The Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23) will be held in Udine (Italy) on September 18-20,

[TYPES/announce] GandALF 2023: Deadline extension (abstract and paper submission)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [apologies for cross-postings] · New abstract submission deadline: 23 June 2023 30 June 2023 · New paper submission deadline: 30 June 2023 7 July 2023 The

[TYPES/announce] GandALF 2024: Last Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [apologies for cross-postings] Please distribute. Paper submission deadline: 10 April 2024 19 April 2024 Application for student accommodation: 15 May 2024 Application for ASL student

[TYPES/announce] Joint CFP NLS and SLSS 2024

-Agent Systems Logic and Linguistics Philosophical Logic Philosophy of Logic, Mathematics and Computation Programme Committee Antonios Achilleos (Reykjavik University, co-chair) Dag Westerståhl (Stockholm University, Tsinghua University, co-chair) Gaia Belardinelli (University of Copenhagen

[TYPES/announce] GandALF 2024: Call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [apologies for cross-postings] Abstract submission deadline: 7 April 2024 Paper submission deadline: 10 April 2024 Website:

[TYPES/announce] Final Joint Call for Participation for NLS 2024, SLSS 2024, GandALF 2024

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please distribute. Call for Participation: Fifth Nordic Logic Summer School (NLS 2024) Twelfth Scandinavian Logic Symposium (SLSS 2024) Fifteenth International Symposium on Games, Automata,

[TYPES/announce] GandALF 2024: 2nd Call for Papers and deadline extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [apologies for cross-postings] Please distribute. Abstract submission deadline: 7 April 2024 16 April 2024 Paper submission deadline: 10 April 2024 19 April 2024 Application for ASL

[TYPES/announce] Second Joint CFP NLS and SLSS 2024 and extension

and Logic Categorical Logic Modal and Temporal Logics Dynamic Logics Logic and Computer Science Logic in AI and Multi-Agent Systems Logic and Linguistics Philosophical Logic Philosophy of Logic, Mathematics and Computation Programme Committee Antonios Achilleos (Reykjavik University, co