is glad to announce that the 2023 S. Barry Cooper Prize has been awarded to Rodney G. Downey
Read the full announcement at
Follow
Click to Follow AssociationCiE
Association CiE
@AssociationCiE
Official page of Association Computability in Europe, and its conference series. Join at acie.eu
Association CiE’s Tweets
#CiE2023 in Batumi, Georgia: FINAL CALL FOR PAPERS
acie.eu/2023/01/27/cie
Deadlines:
Abstract submission: February 8, 2023 (AOE)
Article submission: February 15, 2023 (AOE)
2
2
Call for Nominations for 2023 S. Barry Cooper Prize
DEADLINE 31/01/2023
All Details at
2
CIE2023: First Call For Papers
Computability in Europe 2023
Batumi, Georgia, July 24-28, 2023
1
11
9
Call for Nominations for 2023 S. Barry Cooper Prize --
DEADLINE: 31/01/2023
all informations available at
1
2
The news is on the website of the Association for Symbolic Logic aslonline.org/meet/ so it is kind of official: in collaboration with #CS #Math and #History will be hosting #LogicColloquium2023 from 5-9 June! Stay tuned...
9
12
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
10
51
144
Show this thread
"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 and all the organizers and participants for a great day!
3
6
#CiE2022 is over! It was an honor to co-chair this PC with Ulrich Berger and work with my colleagues . Thanks to everyone who made it an amazing meeting -- even with this view of the bay, we kept listening to the talks!
read image description
ALT
4
7
3
6
#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
cs.swansea.ac.uk/cie2022/progra
1
1
3
7
Show this thread
#CiE2022 #day5 Special Sessions:
- Constructive and reverse mathematics
- Reachability problems
- Computing Language: Love Letters, Large Models and NLP
cs.swansea.ac.uk/cie2022/progra
1
1
1
3
Dora Giammarresi is giving the second part of her tutorial on 2D languages at #CiE2022. Currently discussing different types of automata that have been studied in this context.
1
3
5
Show this thread
#CiE2022 #day4 Special Sessions starting at 3:00pm BST:
- Constructive and reverse mathematics
- Reachability problems
- Language: Love Letters, Large Models and NLP
Links available at cs.swansea.ac.uk/cie2022/progra
1
This afternoon 3:30pm CEST at #CiE2022 Part1 of the #HaPoC Special Session on "Computing Language: Love Letters, Large
Models and NLP" with and Mael Pegny, Join us, link available at cs.swansea.ac.uk/cie2022/progra
3
7
Now we've got the #CiE2022 special sessions. Time for two talks on the intersection of computability theory and other areas of mathematics: first , and then Elvira Mayordomo.
1
2
4
Show this thread
#CiE2022 #day4 parallel sessions: - At the intersection of computability and other areas of mathematics
- Computing with bio-molecules
- Computability theory of blockchain
Links available at cs.swansea.ac.uk/cie2022/progra
2
2
Thursday at #CiE2022 is starting with Svetlana Selivanova's talk on the computational complexity of classical solutions to PDEs.
1
3
7
Show this thread
2
1
And now the last part of Noam Greenberg's tutorial at #CiE2022. Priority arguments in descriptive set theory!
1
3
Show this thread
2
3
Nice contributed talks this afternoon on everything from Selman's Theorem to KL-randomness () to trees without hyperimmune branches! #CiE2022
2
5
Show this thread
And the first installment of Dora Giammarresi's #CiE2022 tutorial on two-dimensional languages! This is great, it's all new to me.
1
2
6
Show this thread
2
3
The #CiE2022 Women in Computability workshop is starting! Dora Giammarresi and Troy Astarte are speaking. We were the first SIG of .
4
6
And now a very nice continuation of Noam Greenberg's #CiE2022 tutorial, this time about raising computable structure theory to the uncountable setting.
1
2
4
Show this thread
1
3
8
Show this thread
Two Postdoc Positions open within the #BRIO Project: 1 in Logic with and 1 in Logic and Philosophy of Science with and Viola Schiaffonati. Details and deadlines sites.unimi.it/brio/open-posi
13
12
Plus a great set of contributed talks. Everything from ordinal analysis of partial combinatory algebras (!) to ITRMs to discrete ODEs in polynomial time.
2
3
Show this thread
Update: I care more about my history now, and I'm even happier that I talk so much about Post when I teach History of Math.
Quote Tweet
Afternoon invited talk at #CiE2022! We'll be hearing from Liesbeth De Mol, who will tell us why we should care more about our histories.
Show this thread
2
6
2
4
Waiting for my 1st presentation, given by Manon Blanc.
1
2
Afternoon invited talk at #CiE2022! We'll be hearing from Liesbeth De Mol, who will tell us why we should care more about our histories.
2
3
10
Show this thread
Continuing #CiE2022 with the first day of Noam Greenberg's tutorial on the connections between computability theory and set theory...
1
1
5
Show this thread
CiE has started at ! With this lovely weather I'm sure it will be an amazing week
3
13