Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Assistant Professor Position (tenured) in Soft...

Email Gateway (Aug 22 2022 at 16:49):

From: Thomas Genet <thomas.genet@irisa.fr>
-------- Message transféré --------
Sujet : Assistant Professor Position (tenured) in Software Security at
University of Rennes (France)

Last updated: Apr 26 2026 at 09:04 UTC