COMMITTEE
Thorsten Altenkirch (University of Nottingham)
Marc Bezem (University of Bergen, chair)
Małgorzata Biernacka (University of Wrocław)
Jesper Cockx (Chalmers University Gothenburg)
Herman Geuvers (Radboud University Nijmegen)
Silvia Ghilezan (University of Novi Sad)
Mauro Jaskelioff
-proceedings: September 2019.
PROGRAMME COMMITTEE
Thorsten Altenkirch (University of Nottingham)
Marc Bezem (University of Bergen, chair)
Małgorzata Biernacka (University of Wrocław)
Jesper Cockx (Chalmers University Gothenburg)
Herman Geuvers (Radboud University Nijmegen)
Silvia Ghilezan
submission a zip or tgz file
containing code (formalized proofs or programs), but reviewers are not
obliged to take the attachments into account and they will not be published.
* In case of questions, e.g. on the page limit, contact one of the editors.
EDITORS
Marc Bezem, marc.be...@uib.no
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
At the University of Bergen, Norway, there are two vacancies in the
project "Computational Aspects of Univalence" led by Marc Bezem and
Bjørn Ian Dundas. The project is a col
(formalized proofs or programs), but reviewers are not
obliged to take the attachments into account and they will not be published.
* In case of questions, e.g. on the page limit, contact one of the editors.
EDITORS
Marc Bezem, marc.be...@uib.no, University of Bergen, Norway
Assia Mahboubi
2011
Conference: September 12-15, 2011
PROGRAM COMMITTEE
Samson Abramsky (Oxford)
Andrea Asperti (Bologna)
Franz Baader (Dresden)
Matthias Baaz (Vienna)
Johan van Benthem (Amsterdam/Stanford)
Marc Bezem (Bergen, chair)
Patrick Blackburn (Nancy)
Andreas Blass (Mic