1
0

CfParticipation LACompLing2021 / Logic and Algorithms in Computational Linguistics 2021, MALIN, Montpellier
by Roussanka Loukanova 13 Dec '21
by Roussanka Loukanova 13 Dec '21
13 Dec '21
1
0

Logica Universalis Webinar - December 15 - Decolonizing “Natural Logic” by Scott Pratt
by Antje Herbst 13 Dec '21
by Antje Herbst 13 Dec '21
13 Dec '21
1
0

[fm-announcements] Certified Programs and Proofs (CPP) 2022: Call for Participation
by Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements 09 Dec '21
by Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements 09 Dec '21
09 Dec '21
1
0

Lecturer position in Verification, Sheffield (UK), Deadline: 3 Jan 2022
by Jonni T Virtema 09 Dec '21
by Jonni T Virtema 09 Dec '21
09 Dec '21
1
0

PostDoc position in Computer Science Logic, Sheffield (UK). Deadline 3rd January 2022
by Jonni T Virtema 09 Dec '21
by Jonni T Virtema 09 Dec '21
09 Dec '21
1
0

02 Dec '21
1
0

02 Dec '21
1
0

Postdoc Position on Verification of Concurrent Systems via Model Learning, Royal Holloway University of London -- Application deadline 9 Jan 2022
by Matteo Sammartino 02 Dec '21
by Matteo Sammartino 02 Dec '21
02 Dec '21
1
0
1
0