- Details
- Written by Christoph Wagner
- Category: People
People |
Groups |
Institutes
- Denmark, Sweden
- BRICS: Basic Research in Computer Science, Denmark
- Aalborg University, DoCS, Semantics & Theory of Computation: Ny-Klubben
- Uppsala University, DoCSystems: Mobility Group
- SICS Stockholm, The FDT group
- Halmstad University, Model-Based Testing and Verification
- France, Italy
- INRIA Rocqencourt: MOSCOVA (formerly PARA)
- INRIA Sophia-Antipolis: MIMOSA (formerly Mobility Group)
- University of Provence, Marseille, CMI, Modelisation & Verification
- University of Bologna, Dept. of Computer Science
- University of Pisa, DoCS, Process Description Languages
- University of Firenze, Concurrency and Mobility Group
- University of Genova, DISI
- Switzerland, Netherlands, Germany
- EPF Lausanne, Programming Methods Lab
- University of Berne, Software Composition Group
- Centrum voor Wiskunde en Informatica (CWI)
- Eindhoven University of Technology, Formal Methods Group
- Leiden University, Theoretical Computer Science
- Technical University München, Higher Order and Mobile Systems
- University of Saarbrücken, DFKI, Programming Systems Lab
- University of Karlsruhe, Institute for Program Structures and Data Organization
- Scotland, England
- Microsoft Research at Cambridge: Programming Principles and Tools
- University of Edinburgh, LFCS
- University of Cambridge, Theory and Semantics of Programming Languages
- University of Sussex at Brighton, COGS, Foundations of Computation (pub)
- University of London, Department of Computing, Theory and Formal Methods
- United States, Japan
- Carnegie-Mellon University (CMU), School of Computer Science
- Massachusetts Institute of Technology (MIT), Programming Methodology Group
- Kobayashi Lab
- Yonezawa Lab (pub)
- Tokoro Lab
Effective 2006
- Details
- Written by Christoph Wagner
- Category: People
(* UN: While it seems to make much sense to have an overbiew of groups/locations, I am not sure whether we should at all keep the list of researchers *)
(* The following is anyways only the leftovers of the abandoned mobility page *)
People |
Groups |
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z