|
|
|
Size
|
Fully funded PhD Studentship in Proof-theoretic Semantics at UCL
|
Pym, David |
Fri, 27 Oct 2023 11:05:16 +0000 |
199 lines |
[ICTAC 2023] Call for Participation
|
Violet Ka I Pun |
Fri, 20 Oct 2023 11:23:12 +0200 |
163 lines |
Call for Participation: ICFEM 2023 (November 21-24, 2023, Brisbane, Australia)
|
Cheng-Hao Cai |
Fri, 20 Oct 2023 08:51:27 +0100 |
158 lines |
ABZ 2024: 10th International Conference on Rigorous State Based Methods
|
Silvia Bonfanti |
Mon, 16 Oct 2023 12:47:03 +0100 |
233 lines |
Call for Participation: ICFEM 2023
|
Neeraj Kumar Singh |
Mon, 16 Oct 2023 12:13:22 +0200 |
104 lines |
Call for Participation: FMAS 2023
|
FMAS Workshop |
Mon, 16 Oct 2023 11:54:39 +0200 |
208 lines |
ICCPS 2024 - 2nd Call for Papers
|
Sadegh soudjani |
Mon, 9 Oct 2023 18:39:25 +0100 |
136 lines |
BCS-FACS AGM & Landin Semantics Seminar: Logical Relations & Mathematical Foundations, 12 December 2023
|
Jonathan Bowen |
Sat, 7 Oct 2023 16:42:55 +0100 |
227 lines |