 |
FTRTFT 2002
7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems. University of Oldenburg, Germany; 9--12 September 2002.
http://www.informatik.uni-oldenburg.de/ftrtft02
Uni-oldenburg.de ~
Site Info
Whois
Trace Route
RBL Check
|
 |
SVR 2002
Second summer school organized by Turku Centre for Computer Science (TUCS) together with European educational Forum (EEF) on the topics of Specification, Refinement and Verification. Turku, Finland; 19--30 August 2002.
http://www.tucs.fi/srv2002/
Tucs.fi ~
Site Info
Whois
Trace Route
RBL Check
|
 |
CSL'02
Annual Conference of the European Association for Computer Science Logic. Edinburgh, Scotland, UK; 22--25 September 2002.
http://www.dcs.ed.ac.uk/csl02/
Ed.ac.uk ~
Site Info
Whois
Trace Route
RBL Check
|
 |
Ubicomp 2002
The Fourth International Conference on Ubiquitous Computing. All areas relating to the design, implementation, application and evaluation of ubiquitous computing technologies. Goteborg, Sweden; 29 September -- 1 October 2002.
http://www.viktoria.se/ubicomp/
Viktoria.se ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|