[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 280 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 475 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 573 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

554 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 147 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

300 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 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

Philip Navin @PhilipNavin23

1 Followers 11 Following

黄祎妮 @yi_ni6991

0 Followers 2 Following

Hayali karakter

Betül Ertoş @Betulertoss

109 Followers 200 Following Hayali karakter

navi @itsna_v

101 Followers 253 Following

avrsarma @avrsarma

8 Followers 136 Following

Judith Judith @JudeJude777

155 Followers 2K Following

Muslim - Optimistic.

Majed Alghamdi @Sndd1400

378 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

208 Followers 731 Following Bilkent matematik | @bilkentphilsoc

Hilal.Albayrak @Hilal_albayr4k

7 Followers 293 Following

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

shobitch @cantor_mlm

83 Followers 830 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

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

THIS IS MY PAGE
HAVE FUN HERE!!!

lasouda @lasouda000

23 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_

844 Followers 541 Following PhD @istuniresmi • mantık ve felsefesi • sinefil

AI Alignment, AI ethics

Dalton brown @Daltonbrown944

128 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 947 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 637 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 589 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

483 Followers 679 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

187 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

78 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

995 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 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

67 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

855 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 280 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

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

23K Followers 728 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 690 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

537 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

615 Followers 578 Following

No recent Favorites. New Favorites will appear here.

Trends for United States

$MINT

3.476 posts

#NeverForget

61,8 B posts

HBCUs

8.264 posts

#CharlieKirkshot

76,5 B posts

Namjoon

272 B posts

Mauser

11,3 B posts

#September11

17 B posts

GiveRep V1

The FBI

659 B posts

Nate

29,6 B posts

David Hogg

1.334 posts

#PatriotDay

8.999 posts

1-800-CALL-FBI

137 B posts

#HappyBirthdayRM

141 B posts

Antifa

97,9 B posts

George Floyd

374 B posts

World Trade Center

29,4 B posts

Borderlands 4

10,8 B posts

Gorillaz

10,7 B posts

Mac Jones

4.529 posts

You might like

Set Theory Talks

@settheorytalks

arXiv math.LO Logic

Francesco Berto

Buenos Aires Logic Gr...

sequiturquodlibet

Elaine Pimentel