[LOGIC] List @LOGIC_list

Archive of postings: https://t.co/lAsrRrzQU2 Twitter account is not monitored, but posts automatically list postings. dlmps.org/pages/logic-li… Joined June 2016

Tweets

4K
Followers

1K
Following

16
Likes

4

[LOGIC] List @LOGIC_list

2 years ago

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

3 years ago

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

[LOGIC] List @LOGIC_list

3 years ago

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

[LOGIC] List @LOGIC_list

3 years ago

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

[LOGIC] List @LOGIC_list

3 years ago

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

[LOGIC] List @LOGIC_list

3 years ago

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

[LOGIC] List @LOGIC_list

3 years ago

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

[LOGIC] List @LOGIC_list

3 years ago

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

[LOGIC] List @LOGIC_list

3 years ago

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

[LOGIC] List @LOGIC_list

3 years ago

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

[LOGIC] List @LOGIC_list

3 years ago

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

[LOGIC] List @LOGIC_list

3 years ago

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

[LOGIC] List @LOGIC_list

3 years ago

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

[LOGIC] List @LOGIC_list

3 years ago

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

[LOGIC] List @LOGIC_list

3 years ago

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

[LOGIC] List @LOGIC_list

3 years ago

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

[LOGIC] List @LOGIC_list

3 years ago

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

[LOGIC] List @LOGIC_list

3 years ago

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

[LOGIC] List @LOGIC_list

3 years ago

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

[LOGIC] List @LOGIC_list

3 years ago

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

Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity

Joel David Hamkins @JDHamkins

26K Followers 281 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity

amateur dionysian ∞ account ran by @kamerynjw ∞ she/her

julia🦄 @KamerynJW

6K Followers 474 Following amateur dionysian ∞ account ran by @kamerynjw ∞ she/her

#Logician, #Onomast, #Medievalist, #AcademicMama, #Author, #Immigrant, founder of https://t.co/BFZX9c9uUK and @EllipsisImprint. Own views. Robot.

Doctor Logic @SaraLUckelman

5K Followers 2K Following #Logician, #Onomast, #Medievalist, #AcademicMama, #Author, #Immigrant, founder of https://t.co/BFZX9c9uUK and @EllipsisImprint. Own views. Robot.

Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her

Dr Valeria dePaiva @valeriadepaiva

3K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her

Aspiring philosopher; tolerable human;

Liam Bright @lastpositivist

62K Followers 4K Following Aspiring philosopher; tolerable human; "amusing combination of sardonic detachment & literally all the feelings felt entirely unironically all at once" [he/his]

Aggregating Set Theory Talks worldwide so that you won't have to.

Set Theory Talks @settheorytalks

1K Followers 11 Following Aggregating Set Theory Talks worldwide so that you won't have to.

phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him

Evan Washington @evanewashington

8K Followers 3K Following phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him

Abstracta Enjoyer |Mainly: B. Russell's Phil Sci, Metaphysics of Spacetime |Broadly: Metaphysics, Phil Sci, Logic |Philosophy PhD Candidate |

Logical Analysis @LogicalAnalysis

12K Followers 9K Following Abstracta Enjoyer |Mainly: B. Russell's Phil Sci, Metaphysics of Spacetime |Broadly: Metaphysics, Phil Sci, Logic |Philosophy PhD Candidate |

Researchers from the UBA and CONICET, Argentina 🇦🇷, specialized in Logic and Philosophical Logic.
They/them.

Buenos Aires Logic Gr... @BALogicGroup

1K Followers 126 Following Researchers from the UBA and CONICET, Argentina 🇦🇷, specialized in Logic and Philosophical Logic. They/them.

Promoviendo la difusión de la lógica, su filosofía y sus aplicaciones/ Promoting the dissemination of logic, its philosophy, and its applications. 🇲🇽

Lógica MX @MxLogica

1K Followers 83 Following Promoviendo la difusión de la lógica, su filosofía y sus aplicaciones/ Promoting the dissemination of logic, its philosophy, and its applications. 🇲🇽

Women in Logic: dismantling inequality tweet by tweet

WomenInLogic @WomenInLogic1

1K Followers 180 Following Women in Logic: dismantling inequality tweet by tweet

Philosopher. Logician. Cat Admirer. SFF enthusiast. He/Him. Black Lives Matter. Trans rights!

Andrew Tedder @AJTedder

723 Followers 572 Following Philosopher. Logician. Cat Admirer. SFF enthusiast. He/Him. Black Lives Matter. Trans rights!

Professor de matemática e lógico, teorista de conjuntos, trabalhando em Salvador na UFBA.

Samuel Gomes da Silva @SamucaMat

368 Followers 1K Following Professor de matemática e lógico, teorista de conjuntos, trabalhando em Salvador na UFBA.

postdoc @VUBrussel and @UniLuebeck
focuses on Phil of (Math | AI | CS),
Science and Society, Wittgenstein
& Math. Education.

Deniz Sarikaya @DenizPhiMa

416 Followers 450 Following postdoc @VUBrussel and @UniLuebeck focuses on Phil of (Math | AI | CS), Science and Society, Wittgenstein & Math. Education.

A doctoral student at @Cornell. Interested in logic (proof theory and set theory). he/him.

Mastodon: @hanuljeon95@mathstodon.xyz

Hanul Jeon @hanuljeon95

556 Followers 300 Following A doctoral student at @Cornell. Interested in logic (proof theory and set theory). he/him. Mastodon: @[email protected]

PMM for DevRel at Intuit. Knows a bit about the history, philosophy, and practices of mathematics, especially set theory. Onions my own.

Jason Chen @JZS_Chen

217 Followers 146 Following PMM for DevRel at Intuit. Knows a bit about the history, philosophy, and practices of mathematics, especially set theory. Onions my own.

blopes@mathstodon.xyz

Bruno Lopes @blopesvieira

264 Followers 203 Following [email protected]

Live long and prosper (Mr S'chn T'gai Spock)

Elaine Pimentel @Elaine_Pim

303 Followers 320 Following Live long and prosper (Mr S'chn T'gai Spock)

Scientist: logic & cognition, artificial intelligence.

She / her

Rineke Verbrugge @RinekeV

1K Followers 848 Following Scientist: logic & cognition, artificial intelligence. She / her

We are a great bunch of logicians working at the Department of Philosophy @LaStatale

https://t.co/XQ5sUzwmX3…

Logic Uncertainty Com... @LogicMilano

462 Followers 112 Following We are a great bunch of logicians working at the Department of Philosophy @LaStatale https://t.co/XQ5sUzwmX3…

masters in manga studies 🥸 | kinda interested in phil/rel/pol 🤔 | art 🗿

jisheis @j1shuu

102 Followers 1K Following masters in manga studies 🥸 | kinda interested in phil/rel/pol 🤔 | art 🗿

Philip Navin @PhilipNavin23

1 Followers 11 Following

黄祎妮 @yi_ni6991

0 Followers 2 Following

Hayali karakter

Betül Ertoş @Betulertoss

105 Followers 197 Following Hayali karakter

navi @itsna_v

101 Followers 253 Following

avrsarma @avrsarma

8 Followers 136 Following

Judith Judith @JudeJude777

140 Followers 2K Following

Muslim - Optimistic.

Majed Alghamdi @Sndd1400

390 Followers 8K Following Muslim - Optimistic.

Sandro Candoni @sandro_candoni

3 Followers 150 Following

تابعْ معکوس قوانین جمهوری اسلامی ایران 🖕🏼🇮🇷🖕🏼
تولید کنندۀ محصولات خودمقاربتی
اگر ریاضیات نمیدانید وارد نشوید

فضلِ رذل @AbolfazlUnited

39 Followers 163 Following تابعْ معکوس قوانین جمهوری اسلامی ایران 🖕🏼🇮🇷🖕🏼 تولید کنندۀ محصولات خودمقاربتی اگر ریاضیات نمیدانید وارد نشوید

Sabancı math | Bilkent math’25

A.Eren Uyanık 🇵�... @Eren112358

206 Followers 731 Following Sabancı math | Bilkent math’25

Hilal.Albayrak @Hilal_albayr4k

7 Followers 299 Following

Real Analysis and Material analysis | Long live PLGA | bramhin hater from UP

shobitch @cantor_mlm

84 Followers 836 Following Real Analysis and Material analysis | Long live PLGA | bramhin hater from UP

p-Solver @17psolver

1 Followers 29 Following

yesid misas @yesid34368

1 Followers 111 Following

אני, שבחור ישיבה הייתי, מה ראיתי לשטות זו? אלא עיני הטעתי

ein einziger großer und zusammenhängender Irrthum

ברשוס @EverGottes

285 Followers 410 Following אני, שבחור ישיבה הייתי, מה ראיתי לשטות זו? אלא עיני הטעתי ein einziger großer und zusammenhängender Irrthum

THIS IS MY PAGE
HAVE FUN HERE!!!

lasouda @lasouda000

22 Followers 319 Following THIS IS MY PAGE HAVE FUN HERE!!!

LIFEI WANG @LifeiW718

0 Followers 2 Following

J.Aristia @cielo_blu

59 Followers 272 Following

My road leads into the desert

Angelo Matteo @AngeloMatteo3

3 Followers 33 Following My road leads into the desert

PhD @istuniresmi • mantık ve felsefesi • sinefil

leylâ @weltangst_

860 Followers 543 Following PhD @istuniresmi • mantık ve felsefesi • sinefil

AI Alignment, AI ethics

Dalton brown @Daltonbrown944

132 Followers 3K Following AI Alignment, AI ethics

Ginger 姜 @jjz1037656190

0 Followers 53 Following whtels????

sekki @sekkhii

8 Followers 141 Following 🇵🇸

PhD student @tu_wien, focusing on AI, logic, rational choice (decision/social choice/game theory), Carnap. // ⛰️🥾 na Gorenjskem.

Blaž @blazi1

290 Followers 942 Following PhD student @tu_wien, focusing on AI, logic, rational choice (decision/social choice/game theory), Carnap. // ⛰️🥾 na Gorenjskem.

Dedicated student at Al-Azhar, focusing on Islamic sciences. Committed to spreading knowledge and contributing to my community.

ADIL AL-AZHARI @adil_alazhari

368 Followers 642 Following Dedicated student at Al-Azhar, focusing on Islamic sciences. Committed to spreading knowledge and contributing to my community.

Want to see the real me? Come to my booth. https://t.co/jeKMHgwCdp

Interpreter @Nesmar213841

14 Followers 587 Following Want to see the real me? Come to my booth. https://t.co/jeKMHgwCdp

X @wMFybIe7PC84394

4 Followers 300 Following

Jens Lemanski @JensLemanski

8 Followers 88 Following

Matemático e investigador. Estudiante de PhD en la universidad tecnológica de Viena. De Itagüí.

Andrés Felipe @afuz17

484 Followers 681 Following Matemático e investigador. Estudiante de PhD en la universidad tecnológica de Viena. De Itagüí.

Theoretical computer science geek, seeking to automate his life

ramit @ramit_tcs

5 Followers 17 Following Theoretical computer science geek, seeking to automate his life

Angel Osorio @ANGELOSORIOPERU

184 Followers 5K Following

🇳🇱 Postdoc in Quantum moduli spaces, QFT, TQFT & CFT, Algebraic Geometry, Differential Geometry. Maths/Physics/Logic – Please talk 🇩🇰🇮🇹🇩🇪🇲🇫 to me

Tim Henke (tɪm 'ɦɛ... @TimHenke9

2K Followers 1K Following 🇳🇱 Postdoc in Quantum moduli spaces, QFT, TQFT & CFT, Algebraic Geometry, Differential Geometry. Maths/Physics/Logic – Please talk 🇩🇰🇮🇹🇩🇪🇲🇫 to me

Angirotum Cornelius @CkaaKornelios

3 Followers 85 Following

Jakub Sochacki @j_s0chacki

1 Followers 72 Following

Filósofo / @UNAM_IIFs / Philosopher.
Logic, Philosophy of Science / Lógica y Filosofía de la Ciencia.
Hago radio en @Reactor105

Axel Arturo Barceló ... @ztante

6K Followers 5K Following Filósofo / @UNAM_IIFs / Philosopher. Logic, Philosophy of Science / Lógica y Filosofía de la Ciencia. Hago radio en @Reactor105

It is easy to be unaware of how much we don't know. 🐢

Fruits 𝕏  ⊕ @blueberry__000

2 Followers 558 Following It is easy to be unaware of how much we don't know. 🐢

Portatori di logica e di pensiero critico in questa piattaforma dominata dall'ignoranza e dal pressappochismo.

Intenzionalità Colle... @IA_collettiva

12 Followers 146 Following Portatori di logica e di pensiero critico in questa piattaforma dominata dall'ignoranza e dal pressappochismo.

Profesor de Filosofía.
Filosofía analítica.
Lógica.
Wittgenstein.

Martin Gutiérrez Ben... @gutibenar2

79 Followers 269 Following Profesor de Filosofía. Filosofía analítica. Lógica. Wittgenstein.

Professor at National Institute of Technology | mathematical logic | theoretical computer science | quantum physics | analytic philosophy

Kenji Tokuo @ktokuo

993 Followers 1K Following Professor at National Institute of Technology | mathematical logic | theoretical computer science | quantum physics | analytic philosophy

💤 @Yoyo__yolo

38 Followers 695 Following

Spider Jerusalem @guy_axelrod

0 Followers 3 Following

Curto Homens. Sou escritor e minha especialidade são contos gays. Vídeos e fotos envolvendo a beleza sedutora masculina! Gosta disso? Vem comigo, vem!

Thales Alexander @DomThalex

11 Followers 199 Following Curto Homens. Sou escritor e minha especialidade são contos gays. Vídeos e fotos envolvendo a beleza sedutora masculina! Gosta disso? Vem comigo, vem!

Programmer of systems.

hans.bijker @HansBijker

25 Followers 639 Following Programmer of systems.

Postdoc @ VTech. Coding Theory, Distributed Computing, and Algebraic & Numerical Computing. Lover of Algebra, Combinatorics, Logic, and Information theory.

pedro soto @pedrosotooo

70 Followers 643 Following Postdoc @ VTech. Coding Theory, Distributed Computing, and Algebraic & Numerical Computing. Lover of Algebra, Combinatorics, Logic, and Information theory.

interested in languages, learning and mathematics. This page will be an accumulation of publications about interesting and causal things involving everything th

Nukei @Nukei137324

1 Followers 35 Following interested in languages, learning and mathematics. This page will be an accumulation of publications about interesting and causal things involving everything th

Facundo Miranda @Facundo59204769

882 Followers 514 Following

Uğur @zbakuo

14 Followers 202 Following

Diego Fernandes @DiegoFerna97638

0 Followers 4 Following

ei @Edora3

14 Followers 53 Following ♫♪♪♫♫♫♪♪♪♪♫♪

Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity

Joel David Hamkins @JDHamkins

26K Followers 281 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity

postdoc @VUBrussel and @UniLuebeck
focuses on Phil of (Math | AI | CS),
Science and Society, Wittgenstein
& Math. Education.

Deniz Sarikaya @DenizPhiMa

416 Followers 450 Following postdoc @VUBrussel and @UniLuebeck focuses on Phil of (Math | AI | CS), Science and Society, Wittgenstein & Math. Education.

Receive the latest news and offerings in philosophical research from @CambridgeUP’s books and journals. https://t.co/dRewcirNGo

Cambridge University ... @CambUP_PHILNYUK

32K Followers 4K Following Receive the latest news and offerings in philosophical research from @CambridgeUP’s books and journals. https://t.co/dRewcirNGo

UNESCO World Logic Day: 14 January. Coordinated by CIPSH, the International Council for Philosophy and the Human Sciences.

Account run by @DenizPhiMa

World Logic Day @UNESCO_WLD

630 Followers 39 Following UNESCO World Logic Day: 14 January. Coordinated by CIPSH, the International Council for Philosophy and the Human Sciences. Account run by @DenizPhiMa

Association CiE @AssociationCiE

208 Followers 76 Following Official page of Association Computability in Europe, and its conference series. Join at https://t.co/JkeOTpDgky

The UConn Logic Group is an active research hub, with over forty members from mathematics, philosophy, linguistics, computer science, psychology, and law.

UConn Logic Group @UConnLogicGroup

1K Followers 181 Following The UConn Logic Group is an active research hub, with over forty members from mathematics, philosophy, linguistics, computer science, psychology, and law.

Open Source, Customizable, Advanced Logic Text. No longer active on Twitter. See pinned post.

Open Logic Project @OpenLogicProj

2K Followers 15 Following Open Source, Customizable, Advanced Logic Text. No longer active on Twitter. See pinned post.

The global voice for #science.

Through our members, partners and associates, we aim to advance science as a global public good.

International Science... @ISC

30K Followers 2K Following The global voice for #science. Through our members, partners and associates, we aim to advance science as a global public good.

Logic at Melbourne. Weekly seminars, workshops, logic classes, and more.

Logic at Melbourne @logicmelb

891 Followers 13 Following Logic at Melbourne. Weekly seminars, workshops, logic classes, and more.

Logicomix, an epic search for truth, by A. Doxiadis & C. Papadimitriou. A graphic novel about the foundational quest in mathematics, starring Bertrand Russell.

Logicomix @LOGICOMIX

2K Followers 549 Following Logicomix, an epic search for truth, by A. Doxiadis & C. Papadimitriou. A graphic novel about the foundational quest in mathematics, starring Bertrand Russell.

The APA is the largest philosophical society in North America, promoting the discipline of philosophy and serving philosophers at all levels. https://t.co/h8BdTCQudO

American Philosophica... @apaphilosophy

31K Followers 450 Following The APA is the largest philosophical society in North America, promoting the discipline of philosophy and serving philosophers at all levels. https://t.co/h8BdTCQudO

News for & about the philosophy profession, ed. by Justin Weinberg, philosopher at the U. of South Carolina. You can also find me on bsky.

Daily Nous / Justin W... @DailyNousEditor

24K Followers 731 Following News for & about the philosophy profession, ed. by Justin Weinberg, philosopher at the U. of South Carolina. You can also find me on bsky.

Philosophy, logic, and mathematics. No justice, no peace. Free Palestine 🇵🇸 #ACAB

Philosophical Logic @logicians

7K Followers 794 Following Philosophy, logic, and mathematics. No justice, no peace. Free Palestine 🇵🇸 #ACAB

A PI at the Center for Mind/Brain University of Trento researching language and cognition in humans and machines https://t.co/ndzcwLrh0L

Jakub Szymanik @Logic_Cognition

2K Followers 689 Following A PI at the Center for Mind/Brain University of Trento researching language and cognition in humans and machines https://t.co/ndzcwLrh0L

Division for Logic, Methodology and Philosophy of Science and Technology of the International Union of History of Science and Technology

DLMPST/IUHPST @DLMPST_IUHPST

538 Followers 129 Following Division for Logic, Methodology and Philosophy of Science and Technology of the International Union of History of Science and Technology

Benedikt Löwe @BenediktLoewe

614 Followers 578 Following

No recent Favorites. New Favorites will appear here.

Trends for United States

Dodgers

65,9 B posts

#AEWDynamite

32,1 B posts

Mookie

4.890 posts

Yamamoto

18,3 B posts

Lodolo

1.627 posts

Andrade

19,5 B posts

Tito

12,1 B posts

Elly

7.548 posts

#Reds

2.448 posts

Harmless

8.833 posts

#Survivor49

2.995 posts

Sheehan

1.953 posts

Nick Martinez

Littell

1.838 posts

Yankees

81,5 B posts

Jane Goodall

188 B posts

Game 3

50,5 B posts

Don Callis

4.965 posts

#ChicagoPD

1.552 posts

#TAR38

You might like

Set Theory Talks

@settheorytalks

arXiv math.LO Logic

Francesco Berto

Buenos Aires Logic Gr...

Dr Valeria dePaiva

@valeriadepaiva

sequiturquodlibet

Elaine Pimentel