[LOGIC] List (@LOGIC_list) header
[LOGIC] List (@LOGIC_list) profile picture

[LOGIC] List

@LOGIC_list

Archive of postings: https://nitter.gq/t.co/lAsrRrzQU2 Twitter account is not monitored, but posts automatically list postings.

dlmps.org/pages/logic-list.php
Joined June 2016
  • Tweets3.7K
  • Following16
  • Followers1K
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.
723
CfP post-proceedings for ThEdu'22 in EPTCS, Deadline: 7 Nov 2022 ift.tt/8SQpyJl
Cross-Alps Logic Seminars, Virtual, starting 21 Oct 2022 ift.tt/VQ6n4Si
2
1
Online panel discussion of the European Set Theory Society, Virtual, 27 Oct 2022 ift.tt/IdxqKCQ
1
Proof Society Autumn School & Workshop, 7-12 Nov 2022, Utrecht, The Netherlands ift.tt/Wy3ZcSw
1
BPGMTC 13: British Postgraduate Model Theory Conference, 18-20 Jan 2023, Leeds, England ift.tt/AXLUk5e
Senior & Junior Fellowships in Mind & Cognition, Bochum (Germany) ift.tt/YtTx8sM
1
Institute Vienna Circle Fellowships, Vienna (Austria), Deadline: 11 Nov 2022 ift.tt/Fiwz8S5
1
ETAPS Doctoral Dissertation Award, Deadline: 16 Jan 2023 ift.tt/7hEiPqs
CIAC 2023: Algorithms & Complexity, 13-16 Jun 2023, Batumi, Georgia ift.tt/TJuy8ML
NFM 2023: NASA Formal Methods Symposium, 16-18 May 2023, Houston TX, U.S.A. ift.tt/PE5JTuZ
Sao Paulo School of Advanced Science on Contemporary Logic, Rationality, & Information, 6-17 Feb 2023, Campinas, Brazil ift.tt/4NOg0ti
Model-based reasoning, abductive cognition, creativity, 7-9 Jun 2023, Rome, Italy ift.tt/4fwmxH5
1
14th French Philosophy of Mathematics Workshop, 19-21 Oct 2022, Nantes, France ift.tt/e8S5Tdb
3
ETAPS 2023: European Joint Conference on Theory & Practice of Software, 22-27 Apr 2023, Paris, France ift.tt/yTs7cGZ
1
CfP special issue of IJAR on logics for the new AI spring, Deadline: 1 Mar 2023 ift.tt/AThP4bZ
1
CfP special issue of LJIGPL on non-classical modal and predicate logics, Deadline: 31 Oct 2022 ift.tt/FI4OiwR
(Senior) Lectureship in Trusted AI (applications from logicians welcome), Glasgow (Scotland), Deadline: 23 Oct 2022 ift.tt/KT0yEen
1
Three PhD student positions in verification, Sheffield (England) ift.tt/dPzWjLQ
Research visits in analytic philosophy at the Slovak Academy of Sciences, Bratislava (Slovakia), Deadline: 31 Oct 2022 ift.tt/OAGUCTZ
Load more