Past Colloquia

This is a list of many of the colloquia held since December 1, 1994. Links to abstracts and announcements will remain valid, since they reside locally, whereas links to speakers' home pages and papers may change, if a speaker decides to move this information.

April 1, 2008, at 14:15 in IMADA's Seminar Room: Secure Sealed-Bid Online Auctions Using Discreet Cryptographic Proofs
René Peralta
rene.peralta@nist.gov
Abstract.
February 26, 2008, at 14:15 in IMADA's Seminar Room: On the expressive power of planar perfect matching and permanents of bounded treewidth matrices
Uffe Flarup
flarup@imada.sdu.dk
http://www.imada.sdu.dk/~flarup/
Abstract.
February 12, 2008, at 14:15 in IMADA's Seminar Room: Measuring On-Line Algorithms using the Cooperative Ratio
Alex López-Ortiz
alopez-o@uwaterloo.ca
http://www.cs.uwaterloo.ca/~alopez-o
Abstract.
January 29, 2008, at 14:15 in IMADA's Seminar Room: Complexity of Models for Sequence Assembly
Paul Medvedev
pashadag@cs.toronto.edu
http://www.cs.toronto.edu/~pashadag/
Abstract.
Colloquia in November, 2007. The case for simplicity-effective design - Tuesday, November 20, 2007, at 10:15 Order Statistic Problems on Suffixes - Thursday, November 22, 2007, at 10:15 Formal Methods for Design and Verification - Friday November 23 2007, at 10:15
January 21, 2008, at 10:15 in IMADA's Seminar Room: Algorithmics and Optimization for Complex Biological Systems
Daniel Merkle
merkle@informatik.uni-leipzig.de
http://pacosy.informatik.uni-leipzig.de/pv/Personen/merkle/dme.html
Abstract.
January 15, 2008, at 10:15 in IMADA's Seminar Room: Scalable and Adaptable Distributed Stream Processing
Yongluan Zhou
yongluan.zhou@epfl.ch
http://lsirpeople.epfl.ch/yzhou/
Abstract.
September 25, 2007, at 15:15 in IMADA's Seminar Room: New Approximability Results for 2-Dimensional Packing Problems
Klaus Jansen
kj@informatik.uni-kiel.de
http://www.informatik.uni-kiel.de/inf/Jansen/
Abstract.
June 26, 2007, at 14:15 in IMADA's Seminar Room: Multicriteria Airport Gate Assignment and Pareto Simulated Annealing
Yury Nikulin
nikulin@imada.sdu.dk
http://www.imada.sdu.dk/~nikulin/
Abstr act.
May 22, 2007, at 14:15 in IMADA's Seminar Room: Real life transportation planning and route optimization
Jakob Birkedal Nielsen
JBK@transvision.dk
http://www.transvision.dk/
Abstract.
May 15, 2007, at 14:15 in IMADA's Seminar Room: Security research in circuit complexity
René Peralta
peralta@nist.gov
Abstract.
May 8, 2007, at 14:15 in IMADA's Seminar Room: On the clustering of approximate solutions in multiobjective combinatorial optimization problems
Luis Paquete
lpaquete@ualg.pt
http://w3.ualg.pt/~lpaquete/
Abstract.
January 24, 2007, at 10:30 in Auditorium U49: Software Modularity
Klaus Ostermann
ostermann@informatik.tu-darmstadt.de
Abstract.
January 23, 2007, at 10:30 in IMADA's Seminar Room: Broadcast, Broadcast and All That
Jesper Larsson Träff
traff@ccrl-nece.de
Abstract.
January 15, 2007, at 10:30 in Auditorium U37: Zero Copy - Efficiency and Performance Engineering
for System Software in Distributed Systems
(including a brief look into its application at Google)
Thomas Stricker
tomstr@mac.com
Abstract.
December 12, 2006, at 10:15 in Room 4.39 third floor, J.B. Winsløws Vej 9B (Statistics Colloquium): An algorithmic and a geometric characterization of coarsening at random
Richard Gill, Leiden University
gill@math.leidenuniv.nl
http://www.math.leidenuniv.nl/~gill/
Abstract.
December 12, 2006, at 14:15 in IMADA's seminar room (Statistics Colloquium): Optimal Passion at a Distance
Richard Gill, Leiden University
gill@math.leidenuniv.nl
http://www.math.leidenuniv.nl/~gill/
Abstract.
October 31, 2006, at 14:15 in IMADA's seminar room: Query Processing for Network-Constrained Moving Objects
Xuegang Huang, Aalborg University
xghuang@cs.aau.dk
http://www.cs.aau.dk/~xghuang
Abstract.
October 10, 2006, at 14:15 in IMADA's seminar room: On the complexity of numerical computation
Peter Bro Miltersen, University of Aarhus
bromille@daimi.au.dk
http://www.daimi.au.dk/~bromille
Abstract.
September 15, 2006, at 14:15 in U49C: How Difficult is it to Take a Snapshot?
Faith Ellen, University of Toronto
faith@cs.toronto.edu
http://www.cs.toronto.edu/~faith
Abstract.
May 2, 2006, at 14:15 in IMADA's seminar room: Heuristics for Optimization: a Study on the Graph Set T-Colouring Problem
Marco Chiarandini, University of Southern Denmark
marco@imada.sdu.dk
http://www.imada.sdu.dk/~marco/
Abstract.
January 6, 2006, at 12:15 in U42: Symbolic Performance Models of Parallel Applications
Sadaf Alam, Oak Ridge National Laboratory
alamsr@ornl.gov
http://www.csm.ornl.gov/~sra/
Abstract.
Friday, November 25, 2005, 12:15, in IMADA's seminar room.: Geographical Cluster Based Routing in Ad Hoc Networks
Hannes Frey, University of Trier
frey@syssoft.uni-trier.de
http://tamdhu.uni-trier.de/~frey/
Abstract.
Monday, September 19, 2005, 14:15, in IMADA's seminar room.: The quartet distance between general trees
Christian Nørgaard Storm Pedersen, University of Aarhus
cstorm@daimi.au.dk
http://www.daimi.au.dk/~cstorm/
Abstract.
Tuesday, August 9, 2005, 14:15, in IMADA's seminar room.: Dark Encounter Computations
René Peralta
peralta@cs.yale.edu
http://www.cs.yale.edu/people/peralta.html
Abstract.
Tuesday, May 24, 2005, 14:15, in IMADA's seminar room.: Advanced timetable modelling for public transportation
Christian Liebchen, TU Berlin
liebchen@math.tu-berlin.de
http://www.math.tu-berlin.de/coga/people/liebchen/
Abstract.
Tuesday, April 19, 2005, 14:15, in IMADA's seminar room.: Parametric domain-theoretic models of linear/intuitionistic polymorphic lambda calculus
Lars Birkedal, IT University of Copenhagen
birkedal@itu.dk
http://www.itu.dk/people/birkedal/
Abstract.
Tuesday, April 5, 2005, 14:15, in IMADA's seminar room.: Real Computation, Hypercomputation, and Continuity
Martin Ziegler, University of Southern Denmark
ziegler@imada.sdu.dk
http://www.imada.sdu.dk/~ziegler/
Abstract.
Thursday, March 17, 2005, 16:15, in IMADA's seminar room.: Asymmetry in k-Center Variants
Inge Li Gørtz, IT University of Copenhagen
inge@itu.dk
http://www.itu.dk/people/inge/
Abstract.
Tuesday, December 7, 2004, 14:15, in IMADA's seminar room.: Ready, Set, Approximate!
Rasmus Pagh, IT University of Copenhagen
pagh@itu.dk
http://www.itu.dk/people/pagh/
Abstract.
Friday, November 26, 2004, 12:15, in IMADA's seminar room.: Unique colorings of mixed hypergraphs
Zsolt Tuza, Hungary
tuza@sztaki.hu
http://www.sztaki.hu/~tuza/
Abstract.
Friday, November 12, 2004, 9:15, in U51.: Three problems and one theorem
Gerhard J. Woeginger, TU Eindhoven
gwoegi@win.tue.nl
http://www.win.tue.nl/~gwoegi/
Abstract.
Wednesday, November 10, 2004, 14:15, in IMADA's seminar room.: Computer Science and Industrial Applications Colloquium
Protection of communication-networks using P-cycles
Tommy Thomadsen, Technical University of Denmark
tt@imm.dtu.dk
http://www.imm.dtu.dk/~tt/
Abstract.
Tuesday, November 9, 2004, 14:15, in IMADA's seminar room.: RISC's Unfinished Symphony:The Arithmetic Unit
David W. Matula, Southern Methodist University
matula@engr.smu.edu
http://engr.smu.edu/~matula/
Abstract.
Wednesday, October 27, 2004, 14:15 - 16:00, in U2.: Computer Science and Industrial Applications Colloquium
Planning in the airline industry - problems, methods and results
Jens Clausen, Technical University of Denmark, DSB
jc@imm.dtu.dk
http://www.imm.dtu.dk/~jc/
Abstract.
Tuesday, October 19, 2004, 14:15, in IMADA's seminar room.: Bioinformatics - Biology and Computer Science
Christian Nørgaard Storm Pedersen, University of Aarhus
cstorm@daimi.au.dk
http://www.daimi.au.dk/~cstorm/
Abstract.
Tuesday, August 24, 2004, 14:15, in IMADA's seminar room.: The Wand: UI-Independent Applications Through Abstraction and Types
Mayer Goldberg, Ben Gurion University
gmayer@cs.bgu.ac.il
http://www.cs.bgu.ac.il/~gmayer/
Abstract.
Tuesday, June 1, 2004, 14:15, in IMADA's seminar room.: Computing the Quartet Distance between Evolutionary Trees in Time O(n log n)
Rolf Fagerberg, University of Southern Denmark
rolf@imada.sdu.dk
http://www.imada.sdu.dk/~rolf/
Abstract.
Tuesday, May 25, 2004, 14:15, in IMADA's seminar room.: Lower Bounds for External Memory Dictionaries
Rolf Fagerberg, University of Southern Denmark
rolf@imada.sdu.dk
http://www.imada.sdu.dk/~rolf/
Abstract.
Tuesday, May 11, 2004, 14:15, in IMADA's seminar room.: Fast Multipoint Evaluation of Bivariate Polynomials
Martin Ziegler, Universität Paderborn
ziegler@uni-paderborn.de
http://wwwcs.upb.de/cs/ziegler.html
Abstract.
Tuesday, March 30, 2004, 14:15, in IMADA's seminar room. (Note: two talks): Flexibility of Steiner Trees in Uniform Orientation Metrics
Pawel Winter and Martin Zachariasen, University of Copenhagen
pawel@diku.dk and martinz@diku.dk
http://www.diku.dk/~pawel/ and http://www.diku.dk/~martinz/
Abstract.
Tuesday, March 16, 2004, 14:15, in IMADA's seminar room.: On the Curvature of the Central Path of Linear Programming Theory
Gregorio Malajovich, Universidade Federal do Rio de Janeiro
gregorio@ufrj.br
http://www.labma.ufrj.br/~gregorio/
Abstract.
Monday, February 16, 2004, 12:30, in IMADA's seminar room.: The Kernel Business in Parameterized Algorithmics OR: Small Is Beautiful
Henning Fernau, Universität Tübingen
fernau@informatik.uni-tuebingen.de
http://www-fs.informatik.uni-tuebingen.de/~fernau/
Abstract.
Wednesday, February 18, 2004, 10:30, in IMADA's seminar room.: Coping with the Memory Hierarchy the Cache-Oblivious Way
Rolf Fagerberg, University of Aarhus
rolf@daimi.au.dk
http://www.daimi.au.dk/~rolf/
Abstract.
Tuesday, October 28, 2003, 14:15, in IMADA's seminar room.: Capturing OS Expertise in an Event Type System: the Bossa Experience
Julia Lawall, University of Copenhagen
julia@diku.dk
http://www.diku.dk/~julia/
Abstract.
Tuesday, September 23, 2003, 14:15, in IMADA's seminar room.: The Capacitated Arc Routing Problem
Sanne Wøhlk, University of Southern Denmark
woehlk@imada.sdu.dk
http://www.imada.sdu.dk/~woehlk/
Abstract.
Tuesday, August 26, 2003, 13:15, in U44. (Note location and early time.): The Berge-Graph Robust Algorithm Problem
Jack Edmonds
Abstract.
Tuesday, August 26, 2003, 14:15, in U44.: Finding Induced Matchings and Connected Matchings in Graphs
Kathie Cameron, Wilfrid Laurier University
kcameron@wlu.ca
http://www.wlu.ca/~wwwmath/faculty/cameron/
Abstract.
Tuesday, June 10, 2003, 14:15, in IMADA's seminar room.: Solving real-life optimization problems - why mathematical programming is not enough
Jens Clausen, Technical University of Denmark
jc@imm.dtu.dk
http:/www.imm.dtu.dk/~jc/
Abstract.
Tuesday, May 6, 2003, 14:15, in IMADA's seminar room.: Σ-definability and computability on continuous data types
Margarita Korovina, University of Aarhus
korovina@brics.dk
http://www.daimi.au.dk/~korovina/
Abstract.
Tuesday, April 1, 2003, 14:15, in IMADA's seminar room.: An introduction to learning in web domains
Marco Gori, University of Siena
marco@ing.unisi.it
http://www-dii.ing.unisi.it/~marco/
Abstract.
Tuesday, March 18, 2003, 14:15, in IMADA's seminar room.: Discreet proofs for secure electronic commerce
René Peralta, Yale University
peralta-rene@cs.yale.edu
http://www.cs.yale.edu/people/peralta.html
Abstract.
Friday, March 14, 2003, 9:00, in IMADA's seminar room.: Quality Measures for On-Line Algorithms
Lene Monrad Favrholdt, University of Copenhagen
lenem@diku.dk
http://www.imada.sdu.dk/~lenem/
Abstract.
Wednesday, March 5, 2003, 11:00, in U49E.: Logical Proof Interpretations and Their Applications in Functional Analysis
Ulrich Kohlenbach, University of Aarhus
kohlenb@brics.dk
http://www.daimi.au.dk/~kohlenb/
Abstract.
December 11, 2001: The Complexity of Constructing Evolutionary Trees Using Experiments
Anna Östlin, University of Aarhus
annao@brics.dk
abstract.
announcement.txt, announcement.ps.gz.
December 4, 2001: Using Decomposition Techniques and Constraint Programming
for Solving the Two-Dimensional Bin Packing Problem
David Pisinger, University of Copenhagen
pisinger@diku.dk
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
November 20, 2001: Paging with Locality of Reference
Lene M. Favrholdt, University of Southern Denmark, Odense
lenem@imada.sdu.dk
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
October 23, 2001: The Ubiquitous Embedded System
Bruce D. Shriver, President Genesis 2, Inc., Tromsø and Hong Kong Universities
bruce@cs.uit.no
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
September 18, 2001: Inside Google's Web Page Scoring System
Marco Gori, Universita' di Siena
marco@dii.unisi.it
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
July 4, 2001: Optimal Preemptive Scheduling on Uniform Processors
with Non-Decreasing Speed Ratios
Leah Epstein, The Interdisciplinary Center, Herzliya, Israel
lea@idc.ac.il
abstract.
announcement.txt, announcement.ps.gz.
March 13, 2001: Evolutionary Trees can be Learned in Polynomial Time
in the Two-State General Markov Model
Mary Cryan, University of Aarhus
maryc@brics.dk
speaker's home page, abstract, paper1.
announcement.txt, announcement.ps.gz.
February 13, 2001: Computer Vision to Animate Vision
Jens Arnspang and Jon Sporring, University of Copenhagen
arnspang@diku.dk
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
February 7, 2001: Searching Ordered Lists on a Quantum Computer
Peter Høyer, University of Aarhus
hoyer@brics.dk
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
February 6, 2001: Musical Informatics
Jens Arnspang et.al., University of Copenhagen
arnspang@diku.dk
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
November 28, 2000: Efficient Recognition of Random Unsatisfiable k-SAT Instances
by Spectral Methods
Andreas Goerdt, Technische Universität Chemnitz
goerdt@informatik.tu-chemnitz.de
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
October 24, 2000: Limitations of Greedy Algorithms
Morten Nyhave Nielsen, University of Southern Denmark, Odense
nyhave@imada.sdu.dk
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
June 27, 2000: New Results on Flow Time with Resource Augmentation and Restarts
Leah Epstein, Tel Aviv University
lea@math.tau.ac.il
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
June 27, 2000: Resource Augmentation in Load Balancing
Rob van Stee, CWI
Rob.van.Stee@cwi.nl
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
May 11, 2000: Diagonalization
Lance Fortnow, NEC Research Institute
fortnow@research.nj.nec.com
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
May 11, 2000: Quantum Information and Communication Complexity
Richard Cleve, University of Calgary
cleve@cpsc.ucalgary.ca
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
April 11, 2000: From Internal to External Data Structures: Dynamic Heaps
Jyrki Katajainen, University of Copenhagen
jyrki@diku.dk
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
September 30, 1999: An Introduction to Real Number Complexity Theory
Klaus Meer, Rheinisch-Westfälische Technische Hochschule, Aachen
meer@alpha.mathc.rwth-aachen.de
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
September 28, 1999: Dynamic Representations of Sparse Graphs
Rolf Fagerberg, University of Aarhus
rolf@daimi.au.dk
abstract.
announcement.txt, announcement.ps.gz.
May 11, 1999: A Speed-Up Theorem for Cryptosystems
René Peralta, University of Wisconsin at Milwaukee
peralta@cs.uwm.edu
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
April 20, 1999: Searching is Not Simple
Faith E. Fich, University of Toronto, Université de Paris-Sud
fich@cs.toronto.edu
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
March 16, 1999: Distributed Shared Memory
Brian Vinter, Tromsø University
vinter@cs.uit.no
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
February 9, 1999: Interactions between Syntax and Semantics
Chris Holt, University of Newcastle
Chris.Holt@ncl.ac.uk
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
December 8, 1998: Steiner Trees in the Plane: Algorithms and Applications
Martin Zachariasen, University of Copenhagen
martinz@diku.dk
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
December 3, 1998: Står solen op i morgen?
Flemming Topsøe, University of Copenhagen
topsoe@math.ku.dk
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
November 26, 1998: Stamping through Mathematics
Robin J. Wilson, The Open University, UK
abstract.
announcement.txt, announcement.ps.gz.
November 24, 1998: The Mathematics of Lewis Carroll
Robin J. Wilson, The Open University, UK
abstract.
announcement.txt, announcement.ps.gz.
October 27, 1998: Extending Matchings in Graphs: a survey
Michael D. Plummer, Vanderbilt University
abstract.
announcement.txt, announcement.ps.gz.
September 24, 1998: Domination Analysis in Combinatorial Optimization:
probability, graphs and groups working together
Gregory Gutin, Brunel University
abstract.
announcement.txt, announcement.ps.gz.
September 15, 1998: En typisk løsning på år 2000-problemet
Morten Heine Sørensen, University of Copenhagen
rambo@diku.dk
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
September 8, 1998: Polynomial Algorithms for the TSP and the QAP
with a Factorial Domination Number
Gregory Gutin, Brunel University
abstract.
announcement.txt, announcement.ps.gz.
August 26, 1998: Core Technologies in the Age of the WEB
Bruce D. Shriver, Genesis 2, Inc. and University of Tromsø
abstract.
announcement.txt, announcement.ps.gz.
June 10, 1998: Data Structures for Parallel Programming
Jacob Kornerup, Southern Methodist University
kornerup@seas.smu.edu
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
April 28, 1998: Simplification and Complexity
in Subtype-Based Program Analysis
Jakob Rehof, University of Copenhagen
rehof@diku.dk
speaker's home page, abstract, paper1, paper2, paper3.
announcement.txt, announcement.ps.gz.
April 7, 1998: Extracting Pure Network Submatrices
in Linear Programs using Signed Graphs
Gregory Gutin, Brunel University
abstract.
announcement.txt, announcement.ps.gz.
March 31, 1998: Some Problems in Monotone Span Program Complexity
with Applications to Multiparty Computations
Ivan Damgård, University of Aarhus
ivan@daimi.aau.dk
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
March 10, 1998: The Complexity of End-to-end Communication
Faith E. Fich, University of Toronto and Fields Institute
fich@cs.toronto.edu
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
February 3, 1998: Software Design by Calculation in the CAMILA Toolset
José Nuno Oliveira, Universidade do Minho
jno@di.uminho.pt
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
September 23, 1997: Decomposition of Graphs and Digraphs
Michael Stiebitz, Technische Universität Ilmenau
abstract.
announcement.txt, announcement.ps.gz.
September 9, 1997: The Seat Reservation Problem
Joan Boyar, Odense University
joan@imada.ou.dk
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
August 28, 1997: Quantum Teleportation
Gilles Brassard, Université de Montréal
brassard@iro.umontreal.ca
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
January 7, 1997: Local Search for Combinatorial Optimization
Gregory Gutin, Brunel University
Z.G.Gutin@brunel.ac.uk
abstract.
announcement.txt, announcement.ps.gz.
December 17, 1996: Theoretical Computer Science: Opportunities for
Mathematical Science Popularization and Computer Games
Michael Fellows, University of Victoria
mfellows@csr.uvic.ca
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
December 10, 1996: Parameterized Complexity:
A Deal with the Devil of Intractability
Michael Fellows, University of Victoria
mfellows@csr.uvic.ca
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
November 5, 1996: On Optimal Ear-Decompositions of Graphs
Zoltán Szigeti, Université Paris VI
abstract.
announcement.txt, announcement.ps.gz.
September 10, 1996: A Survey of Self-Organizing Data Structures
Susanne Albers, Max-Planck-Institut für Informatik
albers@mpi-sb.mpg.de
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
June 4, 1996: Optimal Pointer Algorithms for Finding
Nearest Common Ancestors in Dynamic Trees
Stephen Alstrup, University of Copenhagen
stephen@diku.dk
speaker's home page, abstract, paper1.
announcement.txt, announcement.ps.gz.
May 21, 1996: And God said, ``let there be light'',...
and Man said, ``can I have some dice as well?''
René Peralta, University of Wisconsin at Milwaukee
peralta@cs.uwm.edu
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
April 23, 1996: Linear Zero-Knowledge
A Note on Efficient Zero-Knowledge Proofs and Arguments
Ivan Damgård, University of Aarhus
ivan@daimi.aau.dk
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
March 20, 1996: Static Dictionaries on AC0 RAMs:
Query time Theta(sqrt(log n/loglog n)) is necessary and sufficient
Arne Andersson, Lund University
Arne.Andersson@dna.lth.se
abstract.
announcement.txt, announcement.ps.gz.
March 19, 1996: Faster Sorting and Searching in Theory and Practice
Arne Andersson, Lund University
Arne.Andersson@dna.lth.se
abstract, paper1, paper2, paper3, paper4.
announcement.txt, announcement.ps.gz.
February 20, 1996: Search Trees of (Almost) Optimal Height
Rolf Fagerberg, Odense University
rolf@imada.ou.dk
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
February 13, 1996: Set-Pair Method in Extremal Set Theory
Benjamin Sudakov, Tel Aviv University
sudakov@math.tau.ac.il
abstract.
announcement.txt, announcement.ps.gz.
February 6, 1996: The Multiple Loading Problem
David Pisinger, University of Copenhagen
abstract.
announcement.txt, announcement.ps.gz.
November 29, 1995: Domination Perfect Graphs
Vadim Zverovich, State University of Belarus at Minsk
abstract.
announcement.txt, announcement.ps.gz.
November 1, 1995: An Introduction to Matroids,
Oriented Matroids, and Linear Programming
Jack R. Edmonds, University of Waterloo and University of Copenhagen
jedmonds@math.uwaterloo.ca
abstract.
announcement.txt, announcement.ps.gz.
October 31, 1995: The Successive Connectivity Augmentation Problem
Tibor Jordàn, CWI, Amsterdam and Technical University Budapest
jordan@ludens.elte.hu
abstract.
announcement.txt, announcement.ps.gz.
October 25, 1995: An Introduction to Matroids,
Oriented Matroids, and Linear Programming
Jack R. Edmonds, University of Waterloo and University of Copenhagen
jedmonds@math.uwaterloo.ca
abstract.
announcement.txt, announcement.ps.gz.
September 5, 1995: Randomized Analytic Decision Trees
Michael Ben-Or, The Hebrew University
benor@cs.huji.ac.il
abstract.
announcement.txt, announcement.ps.gz.
June 6, 1995: Meeting Times of Random Walks on Graphs
Lisa Higham, University of Calgary
higham@cpsc.ucalgary.ca
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
June 1, 1995: A Practical Real-Time Systolic Integer Multiplier
Guy Even, Technion - Israel Institute of Technology
guy@csc.cs.technion.ac.il
abstract.
announcement.txt, announcement.ps.gz.
May 30, 1995: Ripping Coins for a Fair Exchange
Markus Jakobsson, University of California at San Diego
markus@cs.ucsd.edu
speaker's home page, abstract, paper1.
announcement.txt, announcement.ps.gz.
May 23, 1995: Development of Safety-Critical Real-Time Systems
The ProCoS Approach
Hans Rischel, Technical University of Denmark
rischel@id.dtu.dk
abstract.
announcement.txt, announcement.ps.gz.
May 16, 1995: Implementation of the Hypercube Variation
of the Multiple Polynomial Quadratic Sieve
René Peralta, University of Wisconsin at Milwaukee
peralta@cs.uwm.edu
speaker's home page, abstract, paper1.
announcement.txt, announcement.ps.gz.
April 25, 1995: Parallel Computers and Numerical Algorithms
Per Christian Hansen, Uni-C
per.christian.hansen@uni-c.dk
abstract.
announcement.txt, announcement.ps.gz.
April 4, 1995: An Introduction to Quantum Computation
Joan F. Boyar, Odense University
joan@imada.ou.dk
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
March 28, 1995: Connectivity Augmentation Problems in Graphs
Tibor Jordàn, CWI and Technical University Budapest
jordan@ludens.elte.hu
abstract.
announcement.txt, announcement.ps.gz.
March 21, 1995: MST: A Modified Svoboda-Tung Division Algorithm
Luis A. Montalvo, Institut National Polytechnique de Grenoble
montalvo@archi.imag.fr
abstract.
announcement.txt, announcement.ps.gz.
March 14, 1995: Lower Bounds on Algebraic Random Access Machines
Amir Ben-Amram, University of Copenhagen
amirben@diku.dk
abstract.
announcement.txt, announcement.ps.gz.
February 28, 1995: On Comparing Evolutionary Trees
Teresa M. Przytycka, Odense University
przytyck@imada.ou.dk
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
February 21, 1995: Partial Evaluation: Principles, Applications, and Perspectives
Olivier Danvy, Aarhus University
danvy@daimi.aau.dk
abstract, paper1.
announcement.txt, announcement.ps.gz.
February 14, 1995: MSB-first Digit Serial Arithmetic
Asger M. Nielsen, Odense University
asger@imada.ou.dk
speaker's home page, abstract.
announcement.txt, announcement.ps.gz.
February 7, 1995: Linear Logic on Petri Nets
Uffe H. Engberg, University of Aarhus
engberg@daimi.aau.dk
speaker's home page, abstract, paper1, paper2.
announcement.txt, announcement.ps.gz.
December 20, 1994: Mapping Powerlists onto Hypercubes
Jacob Kornerup, University of Texas at Austin
kornerup@cs.utexas.edu
speaker's home page, abstract, paper1.
announcement.txt, announcement.ps.gz.

SDU HOME | IMADA HOME | Previous Page

Last modified: Wed Apr 9 13:47:21 CEST 2008

Joan Boyar (joan@imada.sdu.dk)


			IMADA - Department of Mathematics and Computer Science