Topics in Members web: Changed: now 11:35 Changed by:
AdrianFrancalanza 07 Jun 2006 - 16:12 - NEW SophiaDrossopoulou
Adrian Franclanza information to be added soon  
ChalmersUniversity 04 Jul 2005 - 13:23 - r1.3 AndreiSabelfeld
The research team involved in the Mobius project consists of two Chalmers research groups: ProSec and Formal Methods groups. The ProSec group explores security models ...  
ChristopherAnderson 20 May 2005 - 13:59 - NEW SophiaDrossopoulou
Christopher Anderson http://binarylord.com/  
DimitrisMostrous 11 Jun 2008 - 15:36 - r1.2 DimitrisMostrous
http://www.doc.ic.ac.uk/~mostrous  
EthZurich 05 Aug 2005 - 07:58 - r1.7 HermannLehner
The Software Component Technology Group at the Swiss Federal Institute of Technology Zurich aims at creating techniques and tools for the development of provably ...  
EverestProject 01 Jul 2005 - 09:07 - r1.3 JulienCharles
The Everest Project home page: http://www-sop.inria.fr/everest/  
FranceTelecom 01 Aug 2005 - 15:51 - r1.4 PierreCregut
France Télécom Profile France Télécom is one of the world's leading telecommunications carriers, with 117,1 million customers on the five continents (220 countries ...  
ImperialCollege 01 Sep 2009 - 11:28 - r1.8 SophiaDrossopoulou
Team from the Department of Computing, Imperial College, London http://www.doc.ic.ac.uk/ People: DimitrisMostrous SophiaDrossopoulou, NobukoYoshida, AlexSummers MartinBerger ...  
InRia 27 Jul 2005 - 12:28 - r1.5 JulienCharles
Profile INRIA is a French public-sector scientific and technological institute operating under the dual authority of the Ministry of Research and the Ministry of ...  
InstituteOfCybernetics 21 Oct 2005 - 16:52 - r1.5 TarmoUustalu
Institute of Cybernetics, Tallinn, Estonia The Institute of Cybernetics (IOC) is an interdisciplinary research institution with about 40 research staff that specializes ...  
LudwigMaximilianUniversitat 02 Sep 2005 - 15:18 - r1.3 LennartBeringer
Ludwig-Maximilians-Universit t M nchen The chair for Theoretical Computer Science at LMU Munich carries out research in programming languages (semantics, type theory ...  
MartinBerger 25 Apr 2007 - 20:33 - NEW SophiaDrossopoulou
Martin Berger is a MOBIUS member from Imperial College. More at his home page: http://www.doc.ic.ac.uk/~mberger/  
NobukoYoshida 20 May 2005 - 14:01 - NEW SophiaDrossopoulou
Nobuko Yoshida http://www.doc.ic.ac.uk/~yoshida/  
RadboudUniversiteit 16 Nov 2005 - 13:36 - r1.8 ErikPoll
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 ...  
RwthAachen 10 Jul 2007 - 16:46 - r1.5 AlexanderReinhard?
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 ...  
SapAg 27 May 2005 - 11:49 - r1.3 MaartenRits
http://www.sap.com Founded in 1972, SAP is the recognized leader in providing collaborative business solutions for all types of industries and for every major market ...  
SophiaDrossopoulou 20 May 2005 - 13:55 - NEW SophiaDrossopoulou
Sophia Drossopoulou http://www.doc.ic.ac.uk/~scd/ Sophia Drossopoulou photo:  
TUD 19 Jun 2008 - 08:51 - r1.2 AlexanderReinhard?
The chair Theoretical Computer Science: Formal Methods and Information Security at the TU Darmstadt develops formal methods, techniques, and tools for the development ...  
TlsTechnologies 10 Jan 2006 - 16:25 - r1.3 GrzegorzGrudzinski
TLS-Technologie TLS-Technologie is a small software development company established in 2001 in Warsaw, Poland. TLS provides outsourcing services for larger companies ...  
TrustedLogic 20 May 2005 - 08:42 - r1.3 EricVetillard
Trusted Logic Trusted Logic is a small software company, created in 1999, which specializes in software security for embedded systems. Trusted Logic addresses four ...  
UniversidadPolitecnica 29 Jul 2005 - 19:00 - r1.6 MobiusAtUpm
Ph D? Scholarships associated to Mobius offered at UPM Profile The Computational Logic, Implementation, and Parallelism (CLIP) Group at the Technical University of Madrid ...  
UniversityCollegeDublin 07 Oct 2005 - 09:28 - r1.4 JosephKiniry
The Systems Research Group (SRG), primarily the KindSoftware subgroup, in the School of Computer Science and Informatics at University College Dublin focuses on the ...  
UniversityOfEdinburgh 02 Aug 2005 - 16:49 - r1.4 IanStark
The University of Edinburgh Profile The Mobius team at Edinburgh are from the Mobility and Security group in the Laboratory for Foundations of Computer Science (LFCS ...  
UniversityOfWarsaw 09 Nov 2005 - 19:55 - r1.5 JacekChrzaszcz
Profile The Institute of Informatics of Warsaw University is one of three institutes within the Faculty of Mathematics, Informatics and Mechanics, Warsaw University ...  
WebChanges 16 Aug 2001 - 19:56 - r1.2 PeterThoeny
INCLUDE{" TWIKIWEB .WebChanges"}  
WebHome 28 Aug 2009 - 17:37 - r1.49 IanStark
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 ...  
WebIndex 24 Nov 2001 - 11:36 - r1.2 PeterThoeny
SEARCH{"\. " scope "topic" regex "on" nosearch "on"} See also the faster WebTopicList  
WebLeftBar 30 Jul 2009 - 09:02 - r1.25 JorgeSacchini
Mobius Home Objectives Partners Workpackages End User Panel Scientific Advisory Board Publications Deliverables Links to Related projects Intranet Tools Search Changes ...  
WebNotify 29 Nov 2007 - 13:36 - r1.10 SophieHadjadj
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 ...  
WebPreferences 05 Apr 2005 - 17:17 - r1.20 JulienCharles
Members Web Preferences The following settings are web preferences of the Members web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC ...  
WebRss 16 Aug 2004 - 03:26 - r1.2 PeterThoeny
TWiki's Members web SCRIPTURL /view SCRIPTSUFFIX /Members The web for users, groups and offices. TWiki is a Web-Based Collaboration Platform for the Corporate World ...  
WebSearch 08 Aug 2001 - 05:57 - r1.8 PeterThoeny
INCLUDE{" TWIKIWEB .WebSearch"}  
WebSearchAdvanced 18 Jan 2004 - 10:49 - NEW PeterThoeny
INCLUDE{" TWIKIWEB .WebSearchAdvanced"}  
WebStatistics 01 Dec 2009 - 06:02 - r1.1516 TWikiGuest
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 ...  
WebTopicList 24 Nov 2001 - 11:36 - NEW PeterThoeny
TOPICLIST{" $name "} See also the verbose WebIndex.  

Number of topics: 35

See also the faster Web Topic List

Revision: r1.2 - 24 Nov 2001 - 11:36 - PeterThoeny
Members > WebIndex
Ideas, requests, problems regarding the Mobius site QUESTION?