| 15.30-18.00 | Registrering / innsjekking |
| 16.30 og 18.00 |
Byvandring i Varg Veums fotspor
med Gunnar Staalesen Oppmøte til angitt tid i resepsjonen, Hotel Norge |
| 20.00 | Middag |
| 8.30-9.00 | Registrering |
| 9.00 | Åpning |
| 9.10 | Invitert foredrag: Professor Dag Elgesem, institutt for informasjons- og medievitenskap, Universitetet i Bergen. Modellering og håndtering av tillit |
| 10.10 | Pause |
| Sesjon 1: Litt av hvert | |
| 10.30 |
Odd Erik Gundersen, Anders Kofod-Petersen
(NTNU) Multiagent based problem-solving in a mobile environment |
| 10.50 |
Atle Nes
(NTNU) Capturing the motion of ski jumpers using multiple stationary cameras |
| 11.10 | Kaffepause |
| Sesjon 2: Formelle språk og metoder | |
| 11.45 |
Frode Eika Sandnes
(Høgskolen i Oslo) Modeling text input strategies for miniature portable devices with finite state automata |
| 12.05 |
Magne Haveraaen, Enida Brkic
(Univ i Bergen) Structured testing in Sophus |
| 12.25 |
Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen
(Univ i Oslo) How to transform UML neg into a useful construct |
| 12.45 | Lunsj |
| Sesjon 3: Diverse matematisk | |
| 13.45 |
Johan Oppen, Arne Løkketangen
(Høgskolen i Molde) The Livestock Collection Problem |
| 14.05 |
Anurag Sahajpal, Terje Kristensen
(Høgskolen i Bergen) Transcription of text by incremental Support Vector Machine |
| 14.25 |
John Markus Bjørndalen, Otto Anshus
(Univ i Tromsø) Floating point benchmarks: can you trust them? |
| 14.45 | Pause |
| Sesjon 4: Algoritmer | |
| 15.00 |
Øyvind Ølberg
(Univ i Bergen) Aligning a splice graph to a genomic sequence |
| 15.20 |
Fredrik Manne, Erik Boman
(Univ i Bergen og Sandia National Laboratories) Balanced greedy colorings of sparse random graphs |
| 15.40 | Kaffepause |
| 16.15 |
Paneldebatt: Forskningssentre og grunnleggende undervisning - en usunn arbeidsdeling? Panelet består av: Prorektor Gunnar E. Christensen, NHH (leder) |
| 19.00 | Konferansemiddag |
| 9.00 | Invitert foredrag: Professor Helge Drange, Nansensenteret og Bjerknessenteret. The global climate system as a numerical laboratory - fake or reality? |
| Sesjon 5: Telematikk | |
| 10.00 |
Alf Inge Wang, Carl-Fredrik Sørensen, Thomas Fossum
(NTNU og NILU Kjeller) Mobile peer-to-peer technology used to promote spontaneous collaboration |
| 10.20 |
Laurent Paquereau, Brynjar Viken, Poul Heegaard
(Telenor, INSA Lyon, NTNU) Combining performance monitoring and location data in wireless networks |
| 10.40 |
A.M. Hegland, E. Winjum, Ø. Kure, S.F. Mjølsnes, C. Rong,
P. Spilling
(UniK Kjeller, NTNU, Univ i Stavanger) Evaluation of key management in ad hoc networks for emergency and rescue operations |
| 11.00 | Kaffepause |
| Sesjon 6: Sikkerhet | |
| 11.30 |
Hans Georg Schaathun
(Univ i Bergen) On watermarking/fingerprinting for copyright protection |
| 11.50 |
Simone Lupetti, Feike W. Dillema, Tage Stabell-Kulø
(Univ i Tromsø) The Pesto Broker |
| 12.10 |
Margrete Allern Brose, Ben Johnsen, Tage Stabell-Kulø
(Univ i Tromsø) Cryptographic access control in the Pesto file system |
| 12.30 | Avslutning |
| 12.35 | Lunsj |