Association CiE
@AssociationCiE
Followers
207
Following
381
Media
75
Statuses
1K
Official page of Association Computability in Europe, and its conference series. Join at https://t.co/JkeOTpDgky
Europe
Joined January 2010
@ChurchillCol Fellow @BenediktLoewe has been elected to serve as one of the three Vice Presidents of the International Council for Philosophy & Human Sciences (CIPSH) from 2023-2027 👏@UNESCO 👉 https://t.co/WhCnj8K9T3
2
11
23
The @DLMPST_IUHPST General Assembly also elected eight additional Council members: Atocha Aliseda @atocha_aliseda Agnes Bolinska Juliet Floyd Valeria Giardino @ValeriaGiardino Sabina Leonelli @SabinaLeonelli Fenrong Liu Marco Panza Giuseppe Primiero @gprimiero 2/2
0
8
13
The @DLMPST_IUHPST General Assembly in Buenos Aires @clmpst2023 elected the new Executive Committee for the term from 1 January 2024 to 31 December 2027: Valentin Goranko, Sandra Mitchell, Mitsuhiro Okada, Eleonora Cresto, Pierre Édouard Bour, & Nancy Cartwright 1/2
1
8
15
@AssociationCiE is glad to announce that the 2023 S. Barry Cooper Prize has been awarded to Rodney G. Downey @WellingtonUni Read the full announcement at https://t.co/375chS24Ov
acie.eu
The Association for Computability in Europe is glad to announce that the S. Barry Cooper Prize for the Year 2023 is awarded to Rodney G. Downey (Victoria Universityof Wellington). The award is give…
0
3
3
#CiE2023 in Batumi, Georgia: FINAL CALL FOR PAPERS https://t.co/qHq3kt1ifw Deadlines: Abstract submission: February 8, 2023 (AOE) Article submission: February 15, 2023 (AOE)
acie.eu
CiE 2023: FINAL CALL FOR PAPERS Computability in Europe 2023 Unity of Logic and Computation Batumi, GeorgiaJuly 24-28, 2023 Submission link: IMPORTANT DATES: Deadline for article submission: …
0
1
2
Call for Nominations for 2023 S. Barry Cooper Prize DEADLINE 31/01/2023 All Details at https://t.co/WfG9AHYstB
acie.eu
====================S. Barry Cooper Prize====================The S. Barry Cooper Prize is awarded to a researcher who has contributed to a broad understanding and foundational study of computabilit…
0
0
2
CIE2023: First Call For Papers Computability in Europe 2023 Batumi, Georgia, July 24-28, 2023
acie.eu
Computability in Europe 2023 Batumi, GeorgiaJuly 24-28, 2023 Submission link: IMPORTANT DATES: Deadline for article registration (abstract submission):  February 8, 2023 (AOE)Deadline fo…
0
10
7
Call for Nominations for 2023 S. Barry Cooper Prize -- DEADLINE: 31/01/2023 all informations available at https://t.co/WfG9AHYstB
acie.eu
====================S. Barry Cooper Prize====================The S. Barry Cooper Prize is awarded to a researcher who has contributed to a broad understanding and foundational study of computabilit…
0
1
2
The news is on the website of the Association for Symbolic Logic https://t.co/3eCAjOFjnf so it is kind of official: @LogicMilano @LaStataleFilo in collaboration with #CS #Math and #History @LaStatale will be hosting #LogicColloquium2023 from 5-9 June! Stay tuned...
0
7
8
Alan Turing is to be honoured with a statue at his alma mater after King’s College Cambridge overcame objections and won approval for it
thetimes.com
Alan Turing is to be honoured with a statue at his alma mater after King’s College Cambridge overcame objections and won approval for it. The mathematician an
7
37
124
"Love Letters, Large Models and #NLP": what's not to like? It was an honor to share my thoughts on #gpt3, #dalle2 and the quest for #semantics at #CiE2022. Thanks @AssociationCiE @HaPoComputing @gprimiero and all the organizers and participants for a great day!
0
3
5
#CiE2022 #day5 from 2pm BST Special Sessions: - At the intersection of computability and other areas of mathematics - Computing with bio-molecules - Computability theory of blockchain technology https://t.co/t4QYHGN1Jz
0
0
0
#CiE2022 #day5 Special Sessions: - Constructive and reverse mathematics - Reachability problems - @HaPoComputing Computing Language: Love Letters, Large Models and NLP https://t.co/t4QYHGN1Jz
0
1
1
#CiE2022 #day4 Special Sessions starting at 3:00pm BST: - Constructive and reverse mathematics - Reachability problems - @HaPoComputing Language: Love Letters, Large Models and NLP Links available at
0
0
1
This afternoon 3:30pm CEST at #CiE2022 @AssociationCiE Part1 of the #HaPoC Special Session on "Computing Language: Love Letters, Large Models and NLP" with @jacopotagliabue and Mael Pegny, Join us, link available at
0
3
7