[LOGIC] List

Archive of postings:
Twitter account is not monitored, but posts automatically list postings.

[[LOGIC] List @LOGIC_list]

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.

[[LOGIC] List @LOGIC_list]

CfP post-proceedings for ThEdu'22 in EPTCS, Deadline: 7 Nov 2022 https://t.co/3YTPj08HcJ

[[LOGIC] List @LOGIC_list]

Cross-Alps Logic Seminars, Virtual, starting 21 Oct 2022 https://t.co/vFDp9q0N1h

[[LOGIC] List @LOGIC_list]

Online panel discussion of the European Set Theory Society, Virtual, 27 Oct 2022 https://t.co/Y9yWjmcKMN

[[LOGIC] List @LOGIC_list]

Proof Society Autumn School & Workshop, 7-12 Nov 2022, Utrecht, The Netherlands https://t.co/CVDNneqR90

[[LOGIC] List @LOGIC_list]

BPGMTC 13: British Postgraduate Model Theory Conference, 18-20 Jan 2023, Leeds, England https://t.co/TIafmPfVy4

[[LOGIC] List @LOGIC_list]

Senior & Junior Fellowships in Mind & Cognition, Bochum (Germany) https://t.co/SR1XXPG7VG

[[LOGIC] List @LOGIC_list]

Institute Vienna Circle Fellowships, Vienna (Austria), Deadline: 11 Nov 2022 https://t.co/H8DtW4crL0

[[LOGIC] List @LOGIC_list]

ETAPS Doctoral Dissertation Award, Deadline: 16 Jan 2023 https://t.co/AH3kwvilqQ

[[LOGIC] List @LOGIC_list]

CIAC 2023: Algorithms & Complexity, 13-16 Jun 2023, Batumi, Georgia https://t.co/m01iPGqi18

[[LOGIC] List @LOGIC_list]

NFM 2023: NASA Formal Methods Symposium, 16-18 May 2023, Houston TX, U.S.A. https://t.co/XgdjV1Gn2A

[[LOGIC] List @LOGIC_list]

Sao Paulo School of Advanced Science on Contemporary Logic, Rationality, & Information, 6-17 Feb 2023, Campinas, Brazil https://t.co/LsUOndeYCd

[[LOGIC] List @LOGIC_list]

Model-based reasoning, abductive cognition, creativity, 7-9 Jun 2023, Rome, Italy https://t.co/Y23V2S2tqE

[[LOGIC] List @LOGIC_list]

14th French Philosophy of Mathematics Workshop, 19-21 Oct 2022, Nantes, France https://t.co/dYhIcCGHa3

[[LOGIC] List @LOGIC_list]

ETAPS 2023: European Joint Conference on Theory & Practice of Software, 22-27 Apr 2023, Paris, France https://t.co/6KTeiwCkES

[[LOGIC] List @LOGIC_list]

CfP special issue of IJAR on logics for the new AI spring, Deadline: 1 Mar 2023 https://t.co/uVi7zYh6pR

[[LOGIC] List @LOGIC_list]

CfP special issue of LJIGPL on non-classical modal and predicate logics, Deadline: 31 Oct 2022 https://t.co/DmJD24dcHU

[[LOGIC] List @LOGIC_list]

(Senior) Lectureship in Trusted AI (applications from logicians welcome), Glasgow (Scotland), Deadline: 23 Oct 2022 https://t.co/PQ9V4jfbC3

[[LOGIC] List @LOGIC_list]

Three PhD student positions in verification, Sheffield (England) https://t.co/JYGVYrUbzx

[[LOGIC] List @LOGIC_list]

Research visits in analytic philosophy at the Slovak Academy of Sciences, Bratislava (Slovakia), Deadline: 31 Oct 2022 https://t.co/aDHQjA2kEN