Cl-isabelle-users December 2020 Archives by author
- Andrei Popescu, andrei.h.popescu at gmail.com
- Carsten Fuhs, carsten at dcs.bbk.ac.uk
- Clemens Ballarin, ballarin at in.tum.de
- David E. Narvaez, den9562 at rit.edu
- David Kretzmer, david.k at posteo.de
- Eugene W. Stark, isabelle-users at starkeffect.com
- Gerwin Klein, kleing at unsw.edu.au
- itp2021-workshops, itp2021-workshops at easyconferences.eu
- Jasmin Blanchette via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
- John F. Hughes, jfh at cs.brown.edu
- Kristin Yvonne Rozier, kyrozier at iastate.edu
- Lawrence Paulson, lp15 at cam.ac.uk
- Leon Hansen, lhansen at uni-bremen.de
- Makarius, makarius at sketis.net
- Manuel Eberl, eberlm at in.tum.de
- Mathias Fleury, mathias.fleury12 at gmail.com
- Mikhail Chekhov, mikhail.chekhov.w at gmail.com
- Peter Achten, P.Achten at cs.ru.nl
- Peter Lammich, lammich at in.tum.de
- Peter Sewell, Peter.Sewell at cl.cam.ac.uk
- PriSC PC Chairs, prisc.pc.chairs at gmail.com
- Rob Lewis, rob.y.lewis at gmail.com
- Rozman, Mihaela, mihaela.rozman at tuwien.ac.at
- Stepan Holub, holub at karlin.mff.cuni.cz
- Temur Kutsia, kutsia at risc.jku.at
- Tobias Nipkow, nipkow at in.tum.de
- Thiemann, René, Rene.Thiemann at uibk.ac.at
- Pedro Sánchez Terraf, sterraf at famaf.unc.edu.ar
This archive was generated by a fusion of
Pipermail (Mailman edition) and
MHonArc.