Aron Fischer · @cobordism
181 followers · 865 posts · Server berlin.sociala belated #introduction
I'm a #mathematician living in #Berlin. Former researcher at #Ethereum and @colony #DAO.
a #news junkie and avid reader of #theatlantic #newyorker,
currently unemployed, and looking for inspiration :)
interested in #categorytheory, #theoreticalCS, #politics, #journalism and #technology. In particular how technologies can facilitate collective action and a responsive democracy. #privacy, #tech, #CivilSociety.
Dream of making #animations of #math papers.
#zappa fan.
#dao #news #theatlantic #newyorker #categorytheory #theoreticalCS #politics #journalism #technology #privacy #tech #CivilSociety #animations #math #zappa #introduction #mathematician #berlin #ethereum
Aron Fischer · @cobordism
181 followers · 865 posts · Server berlin.sociala belated #introduction
I'm a #mathematician living in #Berlin. Former researcher at #Ethereum and @colony #DAO.
a #news junkie and avid reader of #theatlantic #newyorker,
currently unemployed, and looking for inspiration :)
interested in #categorytheory, #theoreticalCS, #politics, #journalism and #technology. In particular how technologies can facilitate collective action and a responsive democracy. #privacy, #tech, #CivilSociety.
Dream of making #animations of #math papers.
#introduction #mathematician #berlin #ethereum #dao #news #theatlantic #newyorker #categorytheory #theoreticalCS #politics #journalism #technology #privacy #tech #CivilSociety #animations #math
RanaldClouston · @RanaldClouston
204 followers · 643 posts · Server fediscience.org#CallForPapers #ICTAC2023 (International Colloquium on Theoretical Aspects of Computing) "bring[s] together researchers and practitioners from academia, industry, and government to present research and exchange ideas and experiences within theoretical aspects of computing through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries". https://ictac2023.compsust.utec.edu.pe/call-for-papers/ I published my first ever paper at ICTAC! #TheoreticalCS
#theoreticalCS #ictac2023 #callforpapers
Sylvain Schmitz · @sylvainschmitz
70 followers · 110 posts · Server social.sciences.re📢 Open positions in theoretical computer science at IRIF, Paris
- 3 associate professor positions
- 2 full professor positions
Official announcement in French:
https://www.irif.fr/postes/universite
#AcJobs #TheoreticalCS #logic #algorithms #combinatorics #verification #automata #programming #quantumComputing
#acjobs #theoreticalCS #logic #algorithms #combinatorics #verification #automata #programming #quantumcomputing
RanaldClouston · @RanaldClouston
182 followers · 479 posts · Server fediscience.org#CallForPapers : #MFPS #MFPS2023 is "dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular". https://coalg.org/calco-mfps-2023/mfps/ #logic #tcs #theoreticalCS
#theoreticalCS #tcs #logic #mfps2023 #mfps #callforpapers
RanaldClouston · @RanaldClouston
164 followers · 430 posts · Server fediscience.orgA few interesting #CallforPapers in #logic and #theoreticalCS just dropped; a short thread:
#theoreticalCS #logic #callforpapers
RanaldClouston · @RanaldClouston
117 followers · 197 posts · Server fediscience.orgInteresting #CallForPapers just out : #FSCD2023 International Conference on Formal Structures for Computation and Deduction "covers all aspects of formal structures for computation and deduction from theoretical foundations to applications" https://easyconferences.eu/fscd2023/cfp/ #logic #TheoreticalCS
#theoreticalCS #logic #fscd2023 #callforpapers
RanaldClouston · @RanaldClouston
104 followers · 136 posts · Server fediscience.orgQuite a few #CallForPapers in my area just dropped, so I'll make a quick thread as a reference... #logic #TypeTheory #types #TCS #TheoreticalCS #ProofTheory #ITP #FormalMethods
#formalmethods #ITP #ProofTheory #theoreticalCS #tcs #types #typetheory #logic #callforpapers
Thomas Seiller · @thomasseiller
1531 followers · 34 posts · Server lipn.info
I am leaving Lyon after two days of a very interesting meeting on the philosophy of computer science. #philosophyofscience
I had the opportunity to present there a work in progress that I am particularly excited about. It tackles the question « what is an algorithm » both from a conceptual and a formal point of view, at the intersection of #mathematics, #philosophy and #theoreticalCS.
If anyone is interested, an earlier version of the talk was recorded in February: https://youtu.be/50MkNOi3LNw.
#philosophyofscience #mathematics #philosophy #theoreticalCS
· @cha
166 followers · 301 posts · Server social.sciences.re@sylvainschmitz
#logic #theoreticalCS and #QuasiOrders are awesome !
Happy to see you around !
BTW I will be at IRIF to give a talk at PPS the 23th of Nov.
#logic #theoreticalCS #QuasiOrders
pettter · @pettter
557 followers · 7545 posts · Server mastodon.acc.umu.seI might as well do another #introduction specifically for the #academic side of this here fediverse:
Coming from #theoreticalCS (with applications in #NLP) to doing #digitalhumanities (computational #musicology), I've now landed in #ResponsibleAI. Specifically, I'm interested in exploring #AntiCapitalistAI, both sharpening existing critiques of current AI practise by confronting capital and exploring inherent politics of technologies, and finding better ones for a socialist world.
#AntiCapitalistAI #responsibleai #musicology #digitalhumanities #nlp #theoreticalCS #academic #introduction