Isabelle World Map

It seems that your browser is not supported by Google Maps; note you have to turn on JavaScript.

Here follows a text-only overview:

Technische Universität München

Chair for Logic and Verification, headed by Tobias Nipkow.

University of Cambridge

Larry Paulson, Tom Ridge et al.

University of Edinburgh

David Aspinall: Proof General, Lucas Dixon: IsaPlanner, Jacques Fleuriot: HOL-Hyperreal

University of Warwick

Sara Kalvala

University of Reading

Xiaoqi Ma

Universität Innsbruck

Computational Logic Group: René Thiemann

Galois Inc.

John Matthews

Oborniki Śląskie, Poland

Slawomir Kolodynski: IsarMathLib

University of Chicago

Dave McQueen

University of Illinois, Urbana - Champaign

Elsa L. Gunter

Stetson University

Robert Lamar

Carnegie Mellon University

Jeremy Avigad, Sean McLaughlin

Massachusetts Institute of Technology

Viktor Kuncak: Jahob

Concordia University

Dependable Software Research Group: Patrice Chalin

Basque Country University

Paqui Lucio

Université Bordeaux

Pierre Castéran

SAP Research Karlsruhe

Achim D. Brucker: HOL-OCL, HOL-TestGen, HOL-Z, IsaMorph

Université Paris-Sud, Orsay

Burkhart Wolff: HOL-OCL, HOL-TestGen, HOL-Z, IsaMorph

TU Kaiserslautern

AG Softwaretechnik

Graz University of Technology

Walther Neuper: ISAC

Albert-Ludwigs-Universität Freiburg

Harald Hiss

LORIA

Stephan Merz et al.

Institut für Informatik, Universität Münster

Peter Lammich

University of Bremen, DFKI Lab Bremen

Till Mossakowski: Heterogeneous Tool Set

Technical University of Denmark

Jørgen Villadsen

NICTA, UNSW

Gerwin Klein et al.: L4.verified

IIT Guwahati

Kamal Kant Gupta

University of Tsukuba

Yasuhiko Minamide

Institute of Software, Beijing

Gang Yu: Formalizing Lambda-Calculus and Virtual Machine with Non-Local Control Operators

University of Nouakchott

Sidi O Ehmety

Saarland University

Wolfgang Paul et al.

Karlsruhe Institute of Technology

Lehrstuhl Programmierparadigmen (Andreas Lochbihler, Denis Lohner): CoreC++, Quis Custodiet

Khabarovsk State University of Technology

J. Dalinger, L. Petrova

Universidad de La Rioja

Jesús Aranzay

Security Engineering Group, Peshawar

Masoom Alam, Tamleek Ali, Muhammad Amin, Mohammad Nauman, Shahbaz Khan

University of Waikato

Steve Reeves, David Streader

Ivanovo

Michael Nedzelsky

Kestrel Institute, Palo Alto

Alessandro Coglio

secunet Security Networks AG

Alexander Senier et al.

Context IT GmbH

Jens Doll

Inria / INSA Lyon

Denis Butin

Japan Advanced Institute of Science and Technology

Christian Sternagel

Contact {webmaster} AT [isabelle.in.tum.de] WITH (subject=Isabelle World Map) if you want to be added to the map. Please send your name, location, probably a web URL and a Google Maps URL.