[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The EPSRC grant `Coalgbraic Logic: Expanding the Scope' is a joint
project between Alexander Kurz (Leicester) and Achim Jung (Birmingham),
seeking to employ a Postdoc in Leicester and a PhD
- Franjo Ivancic, Princeton
- Juhani Karhumaki, Turku
- Joost-Pieter Katoen, Aachen
- Antonin Kucera, Brno
- Michal Kunc, Brno
- Alexander Kurz, Leicester
- Slawomir Lasota, Warsaw
- Alexei Lisitsa, Liverpool
- Luke Ong, Oxford
- Igor Potapov, Liverpool
- Wolfgang Thomas, Aachen
- Hsu-Chun Yen, Taipei
John Harding, New Mexico State University
Ramon Jansana, University of Barcelona
Peter Jipsen, Chapman University
Achim Jung, University of Birmingham
Alexander Kurz (co-chair), University of Leicester
Vincenzo Marra, University of Milan
Hiroakira Ono, Japan Advanced Institute of Science
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*
Midlands Graduate School 2013 in the Foundations of Computing
*
The
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hello,
in case somebody knows of a talented student who is looking for a place
to do a PhD in theoretical computer science (or any other topic
of interest to our department), please forward
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We have a lectureship in Computer Science available, see
http://www2.le.ac.uk/departments/computer-science/documents/vacancies/SEN00310_Further_Particulars.pdf
Deadline is 15th January.
I
topics:
https://www2.le.ac.uk/colleges/scieng/research/pgr/oct-2017/informatics
Please pass on to whoever might be interested.
I am happy to answer any further questions.
Kind regards,
Alexander Kurz
