http://mobius.inria.fr/twiki/bin/view/Members The web for users, groups and offices. TWiki is a Web-Based Collaboration Platform for the Corporate World. en-us Copyright 2010 by contributing authors Jorge Sacchini [Jorge-Luis.Sacchini@sophia.inria.fr] Jorge Sacchini [Jorge-Luis.Sacchini@sophia.inria.fr] TWiki TWiki.Members http://mobius.inria.fr/twiki/bin/view/Members http://mobius.inria.fr/twiki/pub/TWiki/TWikiLogos/twikiRobot46x50.gif http://mobius.inria.fr/twiki/bin/view/Members/WebStatistics?t=2009-12-01T06:02Z Statistics for Members Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Dec 2009 14 0 0 3 ... (last changed by TWikiGuest) 2009-12-01T06:02Z guest 1.1516 updated major http://mobius.inria.fr/twiki/bin/rdiff/Members/WebStatistics http://mobius.inria.fr/twiki/bin/rdiff/Members/WebStatistics http://mobius.inria.fr/twiki/bin/view/Members/ImperialCollege?t=2009-09-01T11:28Z Team from the Department of Computing, Imperial College, London http://www.doc.ic.ac.uk/ People: DimitrisMostrous SophiaDrossopoulou, NobukoYoshida, AlexSummers MartinBerger ... (last changed by SophiaDrossopoulou) 2009-09-01T11:28Z SophiaDrossopoulou 1.8 updated major http://mobius.inria.fr/twiki/bin/rdiff/Members/ImperialCollege http://mobius.inria.fr/twiki/bin/rdiff/Members/ImperialCollege http://mobius.inria.fr/twiki/bin/view/Members/WebHome?t=2009-08-28T17:37Z MOBIUS The European Mobius consortium is composed of 16 Partners: ENDCOLOR CO 1 INRIA CO 2 TLS Technologies Poland CO 3 ETH Zurich Switzerland CO 4 Radboud Universiteit ... (last changed by IanStark) 2009-08-28T17:37Z IanStark 1.49 updated major http://mobius.inria.fr/twiki/bin/rdiff/Members/WebHome http://mobius.inria.fr/twiki/bin/rdiff/Members/WebHome http://mobius.inria.fr/twiki/bin/view/Members/WebLeftBar?t=2009-07-30T09:02Z Mobius Home Objectives Partners Workpackages End User Panel Scientific Advisory Board Publications Deliverables Links to Related projects Intranet Tools Search Changes ... (last changed by JorgeSacchini) 2009-07-30T09:02Z JorgeSacchini 1.25 updated major http://mobius.inria.fr/twiki/bin/rdiff/Members/WebLeftBar http://mobius.inria.fr/twiki/bin/rdiff/Members/WebLeftBar http://mobius.inria.fr/twiki/bin/view/Members/TUD?t=2008-06-19T08:51Z The chair Theoretical Computer Science: Formal Methods and Information Security at the TU Darmstadt develops formal methods, techniques, and tools for the development ... (last changed by AlexanderReinhard) 2008-06-19T08:51Z AlexanderReinhard 1.2 updated major http://mobius.inria.fr/twiki/bin/rdiff/Members/TUD http://mobius.inria.fr/twiki/bin/rdiff/Members/TUD http://mobius.inria.fr/twiki/bin/view/Members/DimitrisMostrous?t=2008-06-11T15:36Z http://www.doc.ic.ac.uk/~mostrous (last changed by DimitrisMostrous) 2008-06-11T15:36Z DimitrisMostrous 1.2 updated major http://mobius.inria.fr/twiki/bin/rdiff/Members/DimitrisMostrous http://mobius.inria.fr/twiki/bin/rdiff/Members/DimitrisMostrous http://mobius.inria.fr/twiki/bin/view/Members/WebNotify?t=2007-11-29T13:36Z This is a subscription service to be automatically notified by e-mail when topics change in this Members web. This is a convenient service, so you do not have to come ... (last changed by SophieHadjadj) 2007-11-29T13:36Z SophieHadjadj 1.10 updated major http://mobius.inria.fr/twiki/bin/rdiff/Members/WebNotify http://mobius.inria.fr/twiki/bin/rdiff/Members/WebNotify http://mobius.inria.fr/twiki/bin/view/Members/RwthAachen?t=2007-07-10T16:46Z The Formal Methods for Security Engineering Group at the RWTH Aachen develops formal methods, techniques, and tools for the development of secure and reliable software ... (last changed by AlexanderReinhard) 2007-07-10T16:46Z AlexanderReinhard 1.5 updated major http://mobius.inria.fr/twiki/bin/rdiff/Members/RwthAachen http://mobius.inria.fr/twiki/bin/rdiff/Members/RwthAachen http://mobius.inria.fr/twiki/bin/view/Members/MartinBerger?t=2007-04-25T20:33Z Martin Berger is a MOBIUS member from Imperial College. More at his home page: http://www.doc.ic.ac.uk/~mberger/ (last changed by SophiaDrossopoulou) 2007-04-25T20:33Z SophiaDrossopoulou 1.1 updated major http://mobius.inria.fr/twiki/bin/rdiff/Members/MartinBerger http://mobius.inria.fr/twiki/bin/rdiff/Members/MartinBerger http://mobius.inria.fr/twiki/bin/view/Members/AdrianFrancalanza?t=2006-06-07T16:12Z Adrian Franclanza information to be added soon (last changed by SophiaDrossopoulou) 2006-06-07T16:12Z SophiaDrossopoulou 1.1 updated major http://mobius.inria.fr/twiki/bin/rdiff/Members/AdrianFrancalanza http://mobius.inria.fr/twiki/bin/rdiff/Members/AdrianFrancalanza http://mobius.inria.fr/twiki/bin/view/Members/TlsTechnologies?t=2006-01-10T16:25Z TLS-Technologie TLS-Technologie is a small software development company established in 2001 in Warsaw, Poland. TLS provides outsourcing services for larger companies ... (last changed by GrzegorzGrudzinski) 2006-01-10T16:25Z GrzegorzGrudzinski 1.3 updated major http://mobius.inria.fr/twiki/bin/rdiff/Members/TlsTechnologies http://mobius.inria.fr/twiki/bin/rdiff/Members/TlsTechnologies http://mobius.inria.fr/twiki/bin/view/Members/RadboudUniversiteit?t=2005-11-16T13:36Z The Security of Systems group at the Radboud University Nijmegen focuses its research on security and Java specification and verification. The group is involved in ... (last changed by ErikPoll) 2005-11-16T13:36Z ErikPoll 1.8 updated major http://mobius.inria.fr/twiki/bin/rdiff/Members/RadboudUniversiteit http://mobius.inria.fr/twiki/bin/rdiff/Members/RadboudUniversiteit http://mobius.inria.fr/twiki/bin/view/Members/UniversityOfWarsaw?t=2005-11-09T19:55Z Profile The Institute of Informatics of Warsaw University is one of three institutes within the Faculty of Mathematics, Informatics and Mechanics, Warsaw University ... (last changed by JacekChrzaszcz) 2005-11-09T19:55Z JacekChrzaszcz 1.5 updated major http://mobius.inria.fr/twiki/bin/rdiff/Members/UniversityOfWarsaw http://mobius.inria.fr/twiki/bin/rdiff/Members/UniversityOfWarsaw http://mobius.inria.fr/twiki/bin/view/Members/InstituteOfCybernetics?t=2005-10-21T16:52Z Institute of Cybernetics, Tallinn, Estonia The Institute of Cybernetics (IOC) is an interdisciplinary research institution with about 40 research staff that specializes ... (last changed by TarmoUustalu) 2005-10-21T16:52Z TarmoUustalu 1.5 updated major http://mobius.inria.fr/twiki/bin/rdiff/Members/InstituteOfCybernetics http://mobius.inria.fr/twiki/bin/rdiff/Members/InstituteOfCybernetics http://mobius.inria.fr/twiki/bin/view/Members/UniversityCollegeDublin?t=2005-10-07T09:28Z The Systems Research Group (SRG), primarily the KindSoftware subgroup, in the School of Computer Science and Informatics at University College Dublin focuses on the ... (last changed by JosephKiniry) 2005-10-07T09:28Z JosephKiniry 1.4 updated major http://mobius.inria.fr/twiki/bin/rdiff/Members/UniversityCollegeDublin http://mobius.inria.fr/twiki/bin/rdiff/Members/UniversityCollegeDublin http://mobius.inria.fr/twiki/bin/view/Members/LudwigMaximilianUniversitat?t=2005-09-02T15:18Z Ludwig-Maximilians-Universit t M nchen The chair for Theoretical Computer Science at LMU Munich carries out research in programming languages (semantics, type theory ... (last changed by LennartBeringer) 2005-09-02T15:18Z LennartBeringer 1.3 updated major http://mobius.inria.fr/twiki/bin/rdiff/Members/LudwigMaximilianUniversitat http://mobius.inria.fr/twiki/bin/rdiff/Members/LudwigMaximilianUniversitat