[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

25K Followers 279 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 477 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.

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

725 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

419 Followers 451 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 297 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

265 Followers 204 Following [email protected]

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

Elaine Pimentel @Elaine_Pim

298 Followers 319 Following Live long and prosper (Mr S'chn T'gai Spock)

Scientist: logic & cognition, artificial intelligence.

She / her

Rineke Verbrugge @RinekeV

1K Followers 849 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

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

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

黄祎妮 @yi_ni6991

0 Followers 2 Following

Hayali karakter

Betül Ertoş @Betulertoss

108 Followers 199 Following Hayali karakter

navi @itsna_v

101 Followers 253 Following

avrsarma @avrsarma

8 Followers 136 Following

Judith Judith @JudeJude777

174 Followers 2K Following

Muslim - Optimistic.

Majed Alghamdi @Sndd1400

377 Followers 8K Following Muslim - Optimistic.

Sandro Candoni @sandro_candoni

3 Followers 150 Following

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

فضلِ رذل @AbolfazlUnited

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

Bilkent matematik | @bilkentphilsoc

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

207 Followers 729 Following Bilkent matematik | @bilkentphilsoc

Hilal.Albayrak @Hilal_albayr4k

7 Followers 291 Following

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

shobitch @cantor_mlm

83 Followers 829 Following Real Analysis and Material analysis | Long live PLGA | bramhin hater from UP

p-Solver @17psolver

2 Followers 29 Following

yesid misas @yesid34368

1 Followers 109 Following

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

ein einziger großer und zusammenhängender Irrthum

ברשוס @EverGottes

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

THIS IS MY PAGE
HAVE FUN HERE!!!

lasouda @lasouda000

22 Followers 317 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_

847 Followers 549 Following PhD @istuniresmi • mantık ve felsefesi • sinefil

AI Alignment, AI ethics

Dalton brown @Daltonbrown944

126 Followers 3K Following AI Alignment, AI ethics

Ginger 姜 @jjz1037656190

0 Followers 53 Following whtels????

sekki @sekkhii

8 Followers 140 Following 🇵🇸

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

Blaž @blazi1

290 Followers 948 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

369 Followers 632 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

15 Followers 590 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

482 Followers 677 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

188 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

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

Fruits 𝕏  ⊕ @blueberry__000

1 Followers 555 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

81 Followers 262 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

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

💤 @Yoyo__yolo

38 Followers 697 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

10 Followers 198 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

26 Followers 640 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

68 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

849 Followers 514 Following

Uğur @zbakuo

14 Followers 204 Following

Diego Fernandes @DiegoFerna97638

0 Followers 4 Following

ei @Edora3

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

Zhiguang Zhao @misha_eureka

0 Followers 34 Following

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

Joel David Hamkins @JDHamkins

25K Followers 279 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

419 Followers 451 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

626 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 77 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

893 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

23K Followers 727 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 686 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

617 Followers 579 Following

No recent Favorites. New Favorites will appear here.

Trends for United States

Karen

94,8 B posts

GiveRep V1

1.341 posts

Good Saturday

19,3 B posts

#SaturdayVibes

1.948 posts

Rachel

79,1 B posts

FKJD FANDAY24 SG

178 B posts

#saturdaymorning

1.601 posts

Ken Dryden

5.344 posts

AJ Lee

264 B posts

Mahomes

69,6 B posts

Herbert

59 B posts

#OverstockIsBack

Marvel Tokon

3.329 posts

Chargers

122 B posts

Bader

17,4 B posts

Big Brother

25,4 B posts

Elizabeth Warren

46,6 B posts

Kelce

42,3 B posts

Rose Garden

30,3 B posts

Eswatini

23,7 B posts

You might like

Set Theory Talks

@settheorytalks

arXiv math.LO Logic

Francesco Berto

Buenos Aires Logic Gr...

sequiturquodlibet

Elaine Pimentel