Instituttseminar 2001
Hovedinnhold
- Torsdag 15/2:
Dr. Godehard Sutmann
Research Centre Juelich (FZJ), Central Institute for Applied Mathematics (ZAM), D - 52425 Juelich / Germany,
Molecular Dynamics Computer Simulations on Massively Parallel Processor Architectures and PC-Clusters - Torsdag 29/3:
Professor Stein Wallace
NTNU, Trondheim,
Sensitivitetsanalyse - hva kan det brukes til? - Torsdag 19/4:
Jörn Behrens
Munich University of Technology, Center for Mathematical Science, D-80290 München
Adaptive Atmospheric Modeling in a Modular Programming - Torsdag 10/5:
Arild Waaler
Høgskolen i Finnmark og Institutt for informatikk, Universitetet i Oslo
Automated Reasoning and Intuitionistic Logic - Tirsdag 15/5:
Fedor Fomin
St. Petersburg University, Russia
Pathwidth of outerplanar graph - Torsdag 31/5:
Kjersti Engan
Electrical and Computer Engineering Departement, Høgskolen i Stavanger
- Friday 17/8, 14:15:
Prof. Eugene Luks
University of Oregon, USA
The 15 Puzzle, Parallel Computation, and 15000-Page Proofs - Thursday 30/8, 14:15:
Cand.Scient. Atle Refsdal
University of Oslo
Analysis and definition of modal logics using falsification rules - Monday 3/9, 10:15:
Ataru T. Nakagawa
SRA Key Technologie Laboratory Inc
Coalgebraic structures - Thursday 6/9, 14:15:
Professor Alexander Bolshoy
University of Haifa, Israel
Sequence research at the Haifa Genome Diversity Center: linguistic methods and methods of weak pattern recognition in sequence analysis. - Thursday 20/9, 14:15:
Jean Blair
Visiting Assoc. Prof. Univ. of Bergen
Self-Stabilizing Algorithms for Trees - Thursday 27/9, 14:15:
Jiri Fiala
Charles Univ, Prague, currently postdoc Univ of Bergen
Generalized graph colorings and applications - Thursday 4/10, 14:15:
Prof Tor Sørevik
Dept of Informatics, Univ of Bergen
Performance Issues in Parallel Programming with OpenMP - Thursday 11/10, 14:15:
Dr Anne Berry
Université Blaise Pascal, France
Edge composition schemes for triangulated and weakly triangulated graphs - Friday 19/10, 14:15:
Prof Luiz DeRose
IBM T.J. Watson Research Center, Yorktown Heights, NY, USA
ACTC Application Performance Tools for High Performance Computation - Current Status and On-going Work - Thursday 25/10, 14:15:
Dr Eric Wagner
Wagner Mathematics, USA
Algebraic Specifications: some old history, and new thoughts - Thursday 1/11, 14:15:
Gunnar Schroeter
TU Berlin, Germany
InterACT - An interactic theorem prover - Thursday 8/11, 14:15:
Jochen Alber
Universitaet Tuebingen, Germany
Fixed Parameter Algorithms for Planar Graph Problems: Theory and Experiments - Thursday 15/11, 14:15:
Otto Skrove Bagge (CMR) - Karl Trygve Kalleberg (Prosalg)
II, UIB
An introduction to Free Software and Open Source Software - Thursday 22/11, 14:15:
Rob H. Bisseling
Mathematical Institute, Utrecht University
How to split your application data: new distribution methods for parallel computing - Thursday 29/11, 14:15:
Dr Petr Kolman
Charles University, Prague, Czech Republic
Improved Bounds for the Unsplittable Flow Problem - Monday 3/12, 13:15:
Markus Roggenbach
University of Bremen, Germnay
Specifying Real Numbers in CASL - Thursday 6/12, 14:15:
Dr Van Bang Le
Univ Rostock, Germany
Solving problems on restricted graph classes - Thursday 13/12, 11:15:
Arne Løkketangen
Høgskolen i Molde
On the Tradeoff between Randomization and Search Guidance for Local Search - Tuesday 18/12, 14:15:
Dimitri Hendriks
Univ of Utrecht, Holland
Automated Proof Construction in Type Theory using Resolution
03.02.2009