[LOGIC] List (@LOGIC_list) | Aguea

Photos and videos

Tweets

[LOGIC] List @LOGIC_list

10 Aug 2023

Quick question: Does anyone know how to use the updated Twitter API to post automatically when we send out an email? Our previous solution now requires payment. Kindly send a DM to @DenizPhiMa or reply here. This is hopefully the only non-list posting in the next four years.

702

[LOGIC] List @LOGIC_list

18 Oct 2022

CfP post-proceedings for ThEdu'22 in EPTCS, Deadline: 7 Nov 2022 ift.tt/8SQpyJl

[LOGIC] List @LOGIC_list

18 Oct 2022

Cross-Alps Logic Seminars, Virtual, starting 21 Oct 2022 ift.tt/VQ6n4Si

2

1

[LOGIC] List @LOGIC_list

18 Oct 2022

Online panel discussion of the European Set Theory Society, Virtual, 27 Oct 2022 ift.tt/IdxqKCQ

1

[LOGIC] List @LOGIC_list

18 Oct 2022

Proof Society Autumn School & Workshop, 7-12 Nov 2022, Utrecht, The Netherlands ift.tt/Wy3ZcSw

1

[LOGIC] List @LOGIC_list

18 Oct 2022

BPGMTC 13: British Postgraduate Model Theory Conference, 18-20 Jan 2023, Leeds, England ift.tt/AXLUk5e

[LOGIC] List @LOGIC_list

18 Oct 2022

Senior & Junior Fellowships in Mind & Cognition, Bochum (Germany) ift.tt/YtTx8sM

1

[LOGIC] List @LOGIC_list

13 Oct 2022

Institute Vienna Circle Fellowships, Vienna (Austria), Deadline: 11 Nov 2022 ift.tt/Fiwz8S5

1

[LOGIC] List @LOGIC_list

13 Oct 2022

ETAPS Doctoral Dissertation Award, Deadline: 16 Jan 2023 ift.tt/7hEiPqs

[LOGIC] List @LOGIC_list

13 Oct 2022

CIAC 2023: Algorithms & Complexity, 13-16 Jun 2023, Batumi, Georgia ift.tt/TJuy8ML

[LOGIC] List @LOGIC_list

13 Oct 2022

NFM 2023: NASA Formal Methods Symposium, 16-18 May 2023, Houston TX, U.S.A. ift.tt/PE5JTuZ

[LOGIC] List @LOGIC_list

11 Oct 2022

Sao Paulo School of Advanced Science on Contemporary Logic, Rationality, & Information, 6-17 Feb 2023, Campinas, Brazil ift.tt/4NOg0ti

[LOGIC] List @LOGIC_list

11 Oct 2022

Model-based reasoning, abductive cognition, creativity, 7-9 Jun 2023, Rome, Italy ift.tt/4fwmxH5

1

[LOGIC] List @LOGIC_list

11 Oct 2022

14th French Philosophy of Mathematics Workshop, 19-21 Oct 2022, Nantes, France ift.tt/e8S5Tdb

3

[LOGIC] List @LOGIC_list

11 Oct 2022

ETAPS 2023: European Joint Conference on Theory & Practice of Software, 22-27 Apr 2023, Paris, France ift.tt/yTs7cGZ

1

[LOGIC] List @LOGIC_list

11 Oct 2022

CfP special issue of IJAR on logics for the new AI spring, Deadline: 1 Mar 2023 ift.tt/AThP4bZ

1

[LOGIC] List @LOGIC_list

11 Oct 2022

CfP special issue of LJIGPL on non-classical modal and predicate logics, Deadline: 31 Oct 2022 ift.tt/FI4OiwR

[LOGIC] List @LOGIC_list

11 Oct 2022

(Senior) Lectureship in Trusted AI (applications from logicians welcome), Glasgow (Scotland), Deadline: 23 Oct 2022 ift.tt/KT0yEen

1

[LOGIC] List @LOGIC_list

11 Oct 2022

Three PhD student positions in verification, Sheffield (England) ift.tt/dPzWjLQ

[LOGIC] List @LOGIC_list

10 Oct 2022

Research visits in analytic philosophy at the Slovak Academy of Sciences, Bratislava (Slovakia), Deadline: 31 Oct 2022 ift.tt/OAGUCTZ