(Logo)   IMADA
University of Southern Denmark IMADA - Department of Mathematics and Computer Science
   

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.

June 27, 2017, at 14:15 in IMADA's Seminar Room
A uniform framework for timed automata
Tomasz Brengos, Faculty of Mathematics and Information Science, Warsaw University of Technology, Poland
t.brengos@mini.pw.edu.pl
https://www.mini.pw.edu.pl/~tbrengos/www/
Abstract: html / pdf.


March 15, 2017, at 10:15 in U164
Analytic Combinatorics (Part 4)
Markus Nebel, Faculty of Technology / AG Algorithmik und Bioinformatik, University of Bielefeld
DBLP entry
Abstract: html / pdf.


March 07, 2017, at 14:15 in IMADA's Seminar Room
Analytic Combinatorics (Part 3)
Markus Nebel, Faculty of Technology / AG Algorithmik und Bioinformatik, University of Bielefeld
DBLP entry
Abstract: html / pdf.


February 28, 2017, at 14:15 in IMADA's Seminar Room
Analytic Combinatorics (Part 2)
Markus Nebel, Faculty of Technology / AG Algorithmik und Bioinformatik, University of Bielefeld
DBLP entry
Abstract: html / pdf.


February 21, 2017, at 14:15 in IMADA's Seminar Room
Analytic Combinatorics (Part 1)
Markus Nebel, Faculty of Technology / AG Algorithmik und Bioinformatik, University of Bielefeld
DBLP entry
Abstract: html / pdf.


February 21, 2017, at 15:15 in IMADA's Seminar Room
k-cycles and k-factors in Tournaments and Bipartite Tournaments
Stephane Bessy, LIRMM, University of Montpellier 2, France
stephane.bessy@lirmm.fr
https://www.lirmm.fr/~bessy/
Abstract: html / pdf.


January 31, 2017, at 14:15 in IMADA's Seminar Room
Gate-Scrambling Revisited - or: The TinyTable Protocol for 2-Party Secure Computation
Ivan Bjerre Damgård, Department of Computer Science, Aarhus University, Denmark
ivan@cs.au.dk
cs.au.dk/~ivan
Abstract: html / pdf.


January 18, 2017, at 10:15 in U44
Composable Open Memory Transactions
Marco Peressotti, Department of Mathematics and Computer Science, University of Udine
marco.peressotti@gmail.com
http://uniud.academia.edu/MarcoPeressotti
Abstract: html / pdf.


December 19, 2016, at 10:15 in U27
Types for access and memory control
Svetlana Jaksic, University of Novi Sad
sjaksic@uns.ac.rs
http://imft.ftn.uns.ac.rs/~svetlana/Main/HomePage
Abstract: html / pdf.


December 06, 2016, at 14:15 in IMADA's Seminar Room
Fast robust solutions to stochastic VRPs using SIMD instructions
Rune Larsen, Institut for Transport. Transportoptimering og trafikteknik, DTU
rular@dtu.dk
DTU Homepage
Abstract: html / pdf.


November 29, 2016, at 14:15 in IMADA's Seminar Room
Subdivision of digraphs with large minimum out-degree
Phablo Moura, Department of Mathematics and Statistics, University of Sao Paolo, Brazil
pablocrash@gmail.com
https://www.ime.usp.br/~phablo/
Abstract: html / pdf.


August 18, 2016, at 14:15 in U176
Building Graphical Choreographies From Communicating Machines: Principles and Applications
Julien Lange, Department of Computing, Imperial College London, United Kingdom
https://www.doc.ic.ac.uk/~jlange/
Abstract: html / pdf.


May 12, 2016, at 10:15 in U56
Building Reliable, Efficient, and Fast Distributed Systems
PARISA JALILI MARANDI, Microsoft Research, Cambridge
parisa.j@gmail.com
http://research.microsoft.com/en-us/people/pajalili/
Abstract: html / pdf.


May 10, 2016, at 14:15 in IMADA's Seminar Room
Dynamic Load Balancing within Parallelized Stream Processing Operators
Zhenjie Zhang, Advanced Digital Sciences Center, University of Illinois at Urbana Champaign
zhenjie@adsc.com.sg
https://sites.google.com/site/zhangzhenjie/
Abstract: html / pdf.


May 04, 2016, at 10:15 in U51
Bayesian Weakly Supervised Learning for Medical Computer Vision
Melih Kandemir, Heidelberg Collaboratory for Image Processing, Universität Heidelberg
melih.kandemir@iwr.uni-heidelberg.de
http://hci.iwr.uni-heidelberg.de/mkandemi
Abstract: html / pdf.


April 26, 2016, at 14:15 in IMADA's Seminar Room
Improving Searches for Evolutionary Trees
Katherine St. John, City University of New York & American Museum of Natural History
http://comet.lehman.cuny.edu/stjohn/
Abstract: html / pdf.


March 17, 2016, at 10:15 in U56
Speeding Up Privacy Preserving Record Linkage
Alexandros Karakasidis, University of Cyprus, Cyprus
a.karakasidis@eap.gr
http://linc.ucy.ac.cy/isocial/index.php/fellows/userprofile/akarak02
Abstract: html / pdf.


March 08, 2016, at 10:15 in U42
Incremental Parallel and Distributed Systems
Pramod Bhatotia, Dresden University of Technology
bhatotia@mpi-sws.org
http://www.mpi-sws.org/~bhatotia
Abstract: html / pdf.


March 07, 2016, at 10:15 in U51
The Story of DeCP: a Web-Scale CBIR system
Gylfi Þór Guðmundsson

https://amplab.cs.berkeley.edu/author/gylfi/
Abstract: html / pdf.


March 04, 2016, at 10:15 in Auditorium U51
Managing Complex Data Types
Panagiotis Bouros, Department of Computer Science, Aarhus University
pbour@cs.au.dk
http://cs.au.dk/~bouros/
Abstract: html / pdf.


March 03, 2016, at 10:15 in IMADA's Seminar Room
Ensembles for Unsupervised Outlier Detection: Challenges and Solutions
Arthur Zimek, Ludwig-Maximilians-Universität München
http://www.dbs.ifi.lmu.de/~zimek/
Abstract: html / pdf.


February 29, 2016, at 14:15 in IMADA's Seminar Room
Recent results on linear programming and graph-based two-player zero-sum games
Thomas Dueholm Hansen, Department of Computer Science, Aarhus University
tdh@cs.au.dk
http://cs.au.dk/~tdh/
Abstract: html / pdf.


December 01, 2015, at 14:15 in IMADA's Seminar Room
Determining the Minimum Genus of a Graph.
Michal Kotrbcik, Department of Mathematics and Computer Science, University of Southern Denmark, Denmark

Abstract: html / pdf.


November 26, 2015, at 10:15 in U28
External Memory Three-Sided Range Reporting and Top-k Queries with Sublogarithmic Updates
Gerth Stølting Brodal, Department of Computer Science, University of Aarhus
http://www.cs.au.dk/~gerth/
Abstract: html / pdf.


September 29, 2015, at 14:15 in IMADA's Seminar Room
Multiplication of Binary Polynomials - Revisited
Magnus Gausdal Find, Cryptographic Technology Group, National Institute of Standards and Technology
magnus.find@nist.gov
www.gausdalfind.dk
Abstract: html / pdf.


May 30, 2015, at 13:15 in IMADA's Seminar Room
Longest Common Extensions in Sublinear Space
Hjalte Wedel Vildhøj, Department of Applied Mathematics and Computer Science, Technical University of Denmark
http://hwv.dk/
Abstract: html / pdf.


May 20, 2015, at 10:15 in U143
Editing to two graph classes
Michal Kotrbčík , Faculty of Informatics, Masaryk University, Czech Republic
qkotrbc@fi.muni.cz
http://www.fi.muni.cz/~qkotrbc
Abstract: html / pdf.


January 28, 2015, at 13:15 in IMADA's Seminar Room
Effective Anomaly Detection and Explanation for Domain Experts
Ira Assent, Department of Computer Science, Aarhus University
ira@cs.au.dk
http://cs.au.dk/~ira/
Abstract: html / pdf.


August 19, 2014, at 14:15 in Auditorium U49C
The Quest for Optimal Sorting Networks (Part 1: Depth)
Luis Cruz-Filipe, Department of Mathematics and Computer Science, University of Southern Denmark, Denmark
lcf@imada.sdu.dk
http://tinyurl.com/lcfilipe
Abstract: html / pdf.


August 26, 2014, at 13:15 in IMADA's Seminar Room
The Quest for Optimal Sorting Networks (Part 2: Size)
Peter Schneider-Kamp, Department of Mathematics and Computer Science, University of Southern Denmark, Denmark
petersk@imada.sdu.dk
http://imada.sdu.dk/~petersk/
Abstract: html / pdf.


May 20, 2014, at 14:15 in Auditorium U81
An Optimal Implementation of Fetch-and-Increment
Faith Ellen, Department of Computer Science, University of Toronto, Canada
faith@cs.toronto.edu
http://www.cs.toronto.edu/~faith/
Abstract: html / pdf.


March 13, 2014, at 14:15 in IMADA's Seminar Room
Design Patterns for Description Logic Programs
Isabel Nunes, Department of Informatics, Faculty of Sciences, University of Lisbon, Portugal
http://www.di.fc.ul.pt/~in
Abstract: html / pdf.


March 11, 2014, at 14:15 in IMADA's Seminar Room
A Finite Representation of the Narrowing Space and its Application
Naoki Nishida, Graduate School of Information Science, Nagoya University, Japan
nishida@is.nagoya-u.ac.jp
http://www.sakabe.i.is.nagoya-u.ac.jp/~nishida/
Abstract: html / pdf.


March 04, 2014, at 10:15 in IMADA's Seminar Room
To Merge or Not to Merge: Managing Software Families
Julia Rubin, University of Toronto, Canada and IBM Research - Haifa
http://researcher.watson.ibm.com/researcher/view.php?person=il-MJULIA
Abstract: html / pdf.


January 21, 2014, at 14:15 in Auditorium U49C
The Input/Output Complexity of Triangle Enumeration
Francesco Silvestri, Universita di Padova and ITU Copenhagen

Abstract: html / pdf.


October 08, 2013, at 14:15 in IMADA's Seminar Room
Travel Cost Inference from Sparse, Spatio-Temporally Correlated Time Series Using Markov Models
Bin Yang, Department of Computer Science, Aarhus University
http://yangbinisme.drivehq.com
Abstract: html / pdf.


August 22, 2013, at 14:15 in IMADA's Seminar Room
Searching The Cyber While Seeing The Physical
Lidan Shou, College of Computer Science, ZheJiang University
should@acm.org
http://db.zju.edu.cn/s/people-2/lidan-shou
Abstract: html / pdf.


May 21, 2013, at 14:15 in U49C
Cloud Security: Challenges and Practice
Prof Hai Jin, School of Computer Science and Technology, Huazhong University of Science and Technology
hjin@hust.edu.cn
http://grid.hust.edu.cn/hjin/
Abstract: html / pdf.


June 24, 2013, at 14:15 in U66
List Update for Data Compression
Alejandro L?pez-Ortiz, School of Computer Science, University of Waterloo Canada
alopez-o@uwaterloo.ca
http://www.cs.uwaterloo.ca/~alopez-o/
Abstract: html / pdf.


May 07, 2013, at 14:15 in IMADA's Seminar Room
PhD Colloqium: How Non-linear is your Boolean function
Magnus Gausdal Find, Department of Mathematics and Computer Science , University of Southern Denmark, Denmark

Abstract: html / pdf.


March 05, 2013, at 14:15 in IMADA's Seminar Room
Java 7's Dual Pivot Quicksort --- Analysis and Engineering
Markus Nebel, Department of Computer Science, University of Kaiserslautern, Germany and Department of Mathematics and Computer Science, University of Southern Denmark, Denmark

Abstract: html / pdf.


February 05, 2013, at 14:15 in IMADA's Seminar Room
Declarative approaches to hypergraph reconstruction
Philipp Peters, Department of Mathematics and Computer Science, University of Southern Denmark, Denmark

Abstract: html / pdf.


January 18, 2013, at 13:30 in U49C
The mathematics behind computer games
Thomas Jakobsen, Havok, Department of Mathematics, Technical University of Denmark
jakobsendk@gmail.com
http://www2.mat.dtu.dk/people/T.Jakobsen/
Abstract: html / pdf.


November 27, 2012, at 14:15 in IMADA's Seminar Room
PhD colloqium: Analysis of Generative Chemistries -- Graph Grammars, Hyperflows and Composition of Rules
Jakob Lykke Andersen, Department of Mathematics and Computer Science , University of Southern Denmark, Denmark

Abstract: html / pdf.


October 30, 2012, at 14:15 in IMADA's Seminar Room
PhD colloqium: Quasi-Hamiltonian Paths in Semicomplete Multipartite Digraphs
Sven Simonsen, Department of Mathematics and Computer Science, University of Southern Denmark, Denmark

Abstract: html / pdf.


October 22, 2012, at 14:15 in IMADA's Seminar Room
Scalable and Programmable Behavioral Simulations through Database Techniques
Marcos Vaz Salles, Department of Computer Science, University of Copenhagen
vmarcos@diku.dk
http://www.diku.dk/~vmarcos/
Abstract: html / pdf.


October 11, 2012, at 14:15 in IMADA's Seminar Room
PhD colloqium: Online Multi-Coloring on the Path
Marie Christ, Department of Mathematics and Computer Science, University of Southern Denmark, Denmark

Abstract: html / pdf.


October 09, 2012, at 14:15 in IMADA's Seminar Room
Efficient Container Ship Stowage Planning
Dario Pacino, Software Development Group, IT-University of Copenhagen
dpacino@itu.dk
http://www.itu.dk/people/dpacino/Dario_Pacino
Abstract: html / pdf.


June 14, 2012, at 14:15 in U49D
PhD colloqium: Finding hay in a haystack - or proving superlinear circuit lower bounds for linear circuits
Magnus Gausdal Find, Department of Mathematics and Computer Science, University of Southern Denmark, Denmark

Abstract: html / pdf.


June 01, 2012, at 9:0 in Auditorium U49
Sound and Fast Static Analysis for Higher-Order Programs
Jan Midtgaard, Department of Computer Science, Aarhus University
http://cs.au.dk/~jmi/
Abstract: html / pdf.


May 25, 2012, at 10:45 in Auditorium U58
Heterogeneous Modelling
Alexander Knapp, Software & Systems Engineering, Department of Computer Science, Augsburg University, Germany
http://www.informatik.uni-augsburg.de/lehrstuehle/swt/sse/
Abstract: html / pdf.


May 08, 2012, at 14:15 in IMADA's Seminar Room
Lectures on Categorical Foundations
Colin McLarty, Department of Mathematics and Department of Philosophy, Case Western Reserve University,Cleveland, OH
http://www.colinmclarty.com/
Abstract: html / pdf.


May 21, 2012, at 10:30 in Auditorium U49D
Infrastructure-free Floor Localization via Mobile Phone Sensing
Tao Gu, Department of Mathematics and Computer Science, University of Southern Denmark, Denmark
http://www.imada.sdu.dk/~gu/
Abstract: html / pdf.


May 03, 2012, at 9:0 in IMADA's Seminar Room
Efficient key pathway mining - Combining networks and OMICS data
Jan Baumbach, Computational Systems Biology Group, Max Planck Institute for Informatics, Saarbr?cken, Germany
http://www.mmci.uni-saarland.de/en/investigators/irgleaders/jbaumbach
Abstract: html / pdf.


April 18, 2012, at 15:15 in IMADA's Seminar Room
Preprocessing with Guarantee
Saket Saurabh, Institute of Mathematical Sciences, C I T CAMPUS, TARAMANI, CHENNAI India
saket@imsc.res.in
http://www.imsc.res.in/~saket/
Abstract: html / pdf.


April 10, 2012, at 14:15 in IMADA's Seminar Room
Eulerian Graphs and Reading DNA Sequences
Michael S. Waterman, Department of Biological Sciences, Mathematics and Computer Science, University of Southern California
msw@usc.edu
http://www.cmb.usc.edu/people/msw/Waterman.html
Abstract: html / pdf.


February 29, 2012, at 12:15 in U49D
Outperforming LRU via Competitive Analysis on Parametrized Inputs for Paging
Gabriel Moruz, Department of Computer Science, University of Frankfurt
http://www-stud.rbi.informatik.uni-frankfurt.de/~gabi/
Abstract: html / pdf.


February 29, 2012, at 14:15 in IMADA's Seminar Room
Outperforming LRU via Competitive Analysis on Parametrized Inputs for Paging
Gabriel Moruz, Department of Computer Science, University of Frankfurt
http://www-stud.rbi.informatik.uni-frankfurt.de/~gabi/
Abstract: html / pdf.


December 15, 2011, at 14:15 in U49E
PhD colloqium: A Comparison of Performance Measures via Online Search
Abyayananda Maiti , Department of Mathematics and Computer Science, University of Southern Denmark, Denmark

Abstract: html / pdf.


December 06, 2011, at 14:15 in IMADA's Seminar Room
Domination and colorings
Mika Olsen, Departamento de Matematicas Aplicadas y Sistemas, UAM - Cuajimalpa, Mexico

Abstract: pdf.


November 29, 2011, at 14:15 in IMADA's Seminar Room
S3: An Efficient Shared-Scan Scheduler on MapReduce Framework
Lei Shi, Department of Computer Science , National University of Singapore
shilei@nus.edu.sg
http://www.comp.nus.edu.sg/~shilei/
Abstract: html / pdf.


October 25, 2011, at 15:0 in Auditorium U27
Shedding Light on the Dark Matter of the Genome: Discoveries in the World of Non-Coding RNAs
Peter F. Stadler, Bioinformatics Group, Department of Computer Science., University of Leipzig, Germany.
http://www.bioinf.uni-leipzig.de/~studla/
Abstract: html / pdf.


November 01, 2011, at 14:15 in Auditorium U143
Privacy-preserving Electronic Transactions
Rene Peralta, Computer Security Division, National Institute of Standards and Technology , USA
rene.peralta@nist.gov

Abstract: html / pdf.


August 16, 2011, at 10:15 in IMADA's Seminar Room
Dynamic and Streaming Data Processing and Management
Yongluan Zhou, Department of Mathematics and Computer Science, University of Southern Denmark, Denmark

Abstract: html / pdf.


June 22, 2011, at 14:15 in U49
The complexity of finding disjoint cycles and dicycles in a digraph.
Alessandro Maddaloni and Sven Simonsen, Department of Mathematics and Computer Science, University of Southern Denmark, Denmark

Abstract: html / pdf.


June 21, 2011, at 14:15 in U49E
Tight Bounds for Anonymous Adopt-Commit Objects
Faith Ellen, Department of Computer Science, University of Toronto, Canada
faith@cs.toronto.edu
http://www.cs.toronto.edu/~faith/
Abstract: html / pdf.


June 16, 2011, at 14:15 in IMADA's Seminar Room
A solution of the RNA-RNA Interaction Problem
Jing Qin, MPI for Mathematics in the Sciences, Leipzig, Germany

Abstract: html / pdf.


May 10, 2011, at 14:15 in IMADA's Seminar Room
A generalization of tournaments
Morten Hegner Nielsen, Department of Mathematics, Thompson Rivers University
Mnielsen@tru.ca

Abstract: html / pdf.


April 28, 2011, at 14:15 in IMADA's Seminar Room
Biofuels for energy production and stochastic optimization
Niels Kjeldsen, Department of Mathematics and Computer Science, University of Southern Denmark, Denmark

Abstract: html / pdf.


March 29, 2011, at 14:15 in Auditorium U47
Network optimization for wireless microwave backhaul
Napoleao Nepomuceno, IMADA
napoleao@imada.sdu.dk

Abstract: html / pdf.


March 18, 2011, at 12:30 in IMADA's Seminar Room
Modelling and Optimization in Education and Algorithm Design
Marco Chiarandini, Department of Mathematics and Computer Science, University of Southern Denmark, Denmark
marco@imada.sdu.dk
http://www.imada.sdu.dk/~marco
Abstract: html / pdf.


March 10, 2011, at 15:15 in U51
A Framework for Automated Analysis of Runtime Complexity
Fabian Emmes, LuFG I2, RWTH Aachen University, Germany
emmes@informatik.rwth-aachen.de
http://verify.rwth-aachen.de/emmes/
Abstract: html / pdf.


March 08, 2011, at 14:15 in IMADA's Seminar Room
The biochemist - the unknown creature
Philipp Peters, Department of Mathematics and Computer Science, University of Southern Denmark, Denmark

Abstract: html / pdf.


February 10, 2011, at 10:15 in U141
Graph-Based Termination Analysis of C Program
Thomas Stroeder, LuFG I2, RWTH Aachen University, Germany
stroeder@informatik.rwth-aachen.de
http://verify.rwth-aachen.de/stroeder/
Abstract: html / pdf.


February 09, 2011, at 12:15 in U145
SAT-based Synthesis of Shortest Linear Straight-Line Programs over GF(2)
Carsten Fuhs, LuFG I2, RWTH Aachen University, Germany
fuhs@informatik.rwth-aachen.de
http://verify.rwth-aachen.de/fuhs/
Abstract: html / pdf.


February 01, 2011, at 14:15 in IMADA's Seminar Room
MaxFirst for MaxBRkNN
Xiaohui Li, Department of Computer Science, University of Aarhus

Abstract: html / pdf.


January 25, 2011, at 14:15 in Auditorium U49B
Heuristics for multiobjective optimization applied to long-term planning of home healthcare
Thomas Sejr Jensen, Department of Mathematics and Computer Science, University of Southern Denmark, Denmark

Abstract: html / pdf.


September 28, 2010, at 14:45 in IMADA's Seminar Room
Query Processing on Spatial Data with Heterogeneous Attributes
Hua Lu, Department of Computer Science, Aalborg University
zhou@imada.sdu.dk
http://www.cs.aau.dk/~luhua/
Abstract: html / pdf.


August 17, 2010, at 10:15 in IMADA's Seminar Room
Artificial Intelligence Applications of On-Line Geometric Searching
Alejandro López-Ortiz, School of Computer Science, University of Waterloo, Canada
alopez-o@uwaterloo.ca
http://www.cs.uwaterloo.ca/~alopez-o/
Abstract: html / pdf.


May 25, 2010, at 14:15 in IMADA's Seminar Room
A New Universal Construction for Distributed Computing
Faith Ellen, Department of Computer Science, University of Toronto, Canada / Department of Mathematics and Computer Science, University of Southern Denmark, Denmark
faith@imada.sdu.dk
http://www.cs.toronto.edu/~faith
Abstract: html / pdf.


June 17, 2010, at 14:15 in IMADA's Seminar Room
Improved Approximation Guarantees for Weighted Matching in the Semi-Streaming Model
Leah Epstein, Department of Mathematics, University of Haifa, Israel
lea@math.haifa.ac.il
http://math.haifa.ac.il/lea/
Abstract: html / pdf.


February 17, 2010, at 14:0 in U47
Scheduling of Data Transmission in Grid Computing
Mette Gamst, DTU Management, Department of Operations Research, Technical University of Denmark
http://www.or.man.dtu.dk/om/medarbejdere.aspx?lg=showcommon&id=42045&type=person
Abstract: html / pdf.


January 29, 2010, at 12:15 in Auditorium U49C
Geo-Spatial Context on the Mobile Internet
Christian S. Jensen, Center for Data-Intensive Systems, Department of Computer Science, Aalborg University, Denmark
http://www.cs.aau.dk/~csj/
Abstract: html / pdf.


November 24, 2009, at 14:15 in IMADA's Seminar Room
Realizing Deterministic Behaviour from Multiple Non-Deterministic Behaviours
Thomas Ströder, Department of Computer Science, RWTH Aachen University
thomas.stroeder@rwth-aachen.de

Abstract: html / pdf.


September 29, 2009, at 14:15 in IMADA's Seminar Room
On the Expressive Power of CNF Formulas of Bounded Tree- and Clique-Width
Klaus Meer, Brandenburg University of Technology
http://www-ti.informatik.tu-cottbus.de/meer/
Abstract: html / pdf.


September 03, 2009, at 14:15 in IMADA's Seminar Room
Bin packing with general cost structures
Asaf Levin, Faculty of Industrial Engineering and Management, The Technion, Israel
http://ie.technion.ac.il/Home/Users/levinas.html
Abstract: html / pdf.


September 01, 2009, at 14:15 in IMADA's Seminar Room
Hybrid Logic
Torben Braüner , Programming, Logic and Intelligent Systems Group, Roskilde University
http://akira.ruc.dk/~torben/
Abstract: html / pdf.


May 14, 2009, at 14:15 in IMADA's Seminar Room
SAT Modulo Non-Linear Arithmetic for Termination Analysis
Carsten Fuhs, Research Group Computer Science 2, RWTH Aachen University, Germany
fuhs@informatik.rwth-aachen.de
http://verify.rwth-aachen.de/fuhs/
Abstract: html / pdf.


April 28, 2009, at 14:15 in IMADA's Seminar Room
Facility Location Games with Fair Cost Allocation
Orestis Telelis, Computer Science Department, Aarhus University, Denmark
http://www.daimi.au.dk/~telelis
Abstract: html / pdf.


April 01, 2009, at 14:15 in Auditorium U49E
Graph Coloring via Constraint Programming-based Column Generation
Stefano Gualandi, Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy
gualandi@elet.polimi.it
http://home.dei.polimi.it/gualandi
Abstract: html / pdf.


March 26, 2009, at 14:15, Auditorium U59
A Dynamic Approach for Reconstructing the Cophylogenetic History of Hosts and Parasites.
Nicolas Wieseke, Parallel Computing and Complex Systems Group, University of Leipzig, Germany
Abstract: html / pdf.


March 24, 2009, at 14:15 in Auditorium U48
Small Circuits for Linear Functions
René Peralta, Computer Security Division, National Institute of Standards and Technology
rene.peralta@nist.gov

Abstract: html / pdf.


March 23, 2009, at 14:15 in Auditorium U51
RiTE: Providing On-Demand Data for Right-Time Data Warehousing
Torben Bach Pedersen, Department of Computer Science, Aalborg University
http://www.cs.aau.dk/~tbp/
Abstract: html / pdf.


March 11, 2009, at 14:15 in Auditorium U47
Online Sorted Range Reporting
Mark Greve, Department of Computer Science, University of Aarhus
http://person.au.dk/mgreve@cs
Abstract: html / pdf.


February 26, 2009, at 14:15 in Auditorium U44
Termination of Narrowing using Dependency Pairs
José Iborra, Department of Information Systems and Computation, Universidad Politecnica de Valencia, Spain
pepeiborra@gmail.com
http://safe-tools.dsic.upv.es/mediawiki/index.php/Jose_Iborra
Abstract: html / pdf.


February 24, 2009, at 14:15 in IMADA's Seminar Room
Reputation System for User-Generated Opportunistic Podcasting
Liang Hu, Network Technology and Service Platform, Technical University of Denmark, Lyngby, Denmark
http://www.fotonik.dtu.dk/Forskning/Pub_COM.aspx?lg=showcommon&id=22077&type=cv
Abstract: html / pdf.


January 13, 2009, at 14:15, Auditorium U49B
Approximate Graph Products
Marc Hellmuth, Department of Computer Science, Bioinformatics Group, University of Leipzig, Germany
http://www.bioinf.uni-leipzig.de/~marc/
Abstract: html / pdf.


January 07, 2009, at 10:15 in IMADA's Seminar Room
Pervasive Computing: Bridging Multi-disciplinary Knowledge
Tao Gu, Institute for Infocomm Research, Singapore
http://www1.i2r.a-star.edu.sg/~tgu/
Abstract: html / pdf.


January 05, 2009, at 10:15 in IMADA's Seminar Room
Handling SLA-based Workflows : Achievements and Challenges
Minh Quan Dang, Computer Networks and Distributed Systems Group, International University, Bruchsal, Germany
http://www.i-u.de/nav-main/faculty-research/school-of-information-technology/faculty-staff/dang-minh-quan.html
Abstract: html / pdf.


December 09, 2008, at 14:15 in IMADA's Seminar Room
Wiener Index and Diameter of a Planar Graph in Subquadratic Time
Christian Wulff-Nilsen, Department of Computer Science (DIKU), University of Copenhagen, Denmark
http://www.diku.dk/~koolooz/
Abstract: html / pdf.


November 11, 2008, at 9:30 in the BMB Seminar Room ( location )
Foldamers to Target Protein-Protein Interactions
Carsten Baldauf, CAS/MPG-Partner Institute for Computational Biology, Shanghai, Chinese Academy of Science
http://www.picb.ac.cn/graeter/moldyn_website/private_sites/carstenbaldauf.html
Abstract: html / pdf.


November 04, 2008, at 14:15 in IMADA's Seminar Room
Minimum Makespan Multi-Vehicle Dial-a-Ride
Inge Li Gørtz, Department of Informatics and Mathematical Modelling, Technical University of Denmark
http://www2.imm.dtu.dk/~ilg/
Abstract: html / pdf.


October 24, 2008, at 10:15 in Auditorium U49E
Searching and Gaming on Relational Data
Alexander Markowetz, Department of Computer Science and Engineering, University of Science and Technology, Hong Kong SAR
http://www.cse.ust.hk/~alexmar/
Abstract: html / pdf.


October 23, 2008, at 10:15 in Auditorium U49E
Characterizing YouTube Workload at a Campus Network
Anirban Mahanti, Department of Computer Science and Engineering, Indian Institute of Technology (IIT), Delhi, India
http://www.cse.iitd.ac.in/~mahanti/index.html
Abstract: html / pdf.


October 06, 2008, at 10:15 in Room U49E
Automated Termination Analysis of Programs using Term Rewriting
Peter Schneider-Kamp, Department of Computer Science, RWTH Aachen, Germany
http://verify.rwth-aachen.de/psk/
Abstract: html / pdf.


September 22, 2008, at 11:15 in U49E
Modern Applications of Database Theory
Stijn Dekeyser , Department of Mathematics and Computing, University of Southern Queensland, Australia
http://www.sci.usq.edu.au/staff/dekeyser/


September 03, 2008, at 14:15 in Auditorium U48
Towards real-life production scheduling
Ruben Ruiz Garcia , Deptartment of Applied Statistics, Operations Research and Quality , Polytechnic University of Valencia, Spain
http://soa.iti.es/rruiz
Abstract.


August 21, 2008, at 14:15 in IMADA's Seminar Room
Intriguing graph polynomials
Johann Makowsky, Faculty of Computer Science, Technion - Israel Institute of Technology, Israel
janos@cs.technion.ac.il
http://www.cs.technion.ac.il/~janos/
Abstract.


August 12, 2008, at 14:15 in IMADA's Seminar Room
Inferring Genome Rearrangements in a Phylogenetic Tree
Matthias Bernt, Department of Mathematics and Computer Science, University of Leipzig, Germany
http://pacosy.informatik.uni-leipzig.de/pv/Personen/bernt
Abstract.


July 3, 2008, at 14:15 in IMADA's Seminar Room
Quantum Lower Bounds Made Easy
Peter Hyer, Department of Computer Science, University of Calgary, Canada
http://pages.cpsc.ucalgary.ca/~hoyer/
Abstract.


July 1, 2008, at 14:15 in IMADA's Seminar Room
On Flips in Triangulations
Prosenjit Bose, School of Computer Science, Carleton University, Canada
http://cg.scs.carleton.ca/~jit
Abstract.


June 27, 2008, at 10:30 in IMADA's Seminar Room
A Calculational Approach to Control-flow Analysis by Abstract Interpretation
Jan Midtgaard, IRISA, INRIA, Rennes, France
jan.midtgaard@irisa.fr
Abstract.


June 24, 2008, at 14:15 in Auditorium U49
Competitive Exploration of Rectilinear Polygons
Mia Persson, Department of Systems and Software Engineering, Blekinge Institute of Technology, Sweden
mia.persson@bth.se
Abstract.


June 17, 2008, at 14:15 in Auditorium U50
From Obstruction-Free to Wait-Free
Faith Ellen, University of Toronto
faith@cs.toronto.edu
Abstract.


May 13, 2008, at 14:15 in IMADA's Seminar Room
CATCH those ChIP profiles! Presenting CATCH: an algorithm for Clustering and Alignment of ChIP profiles
Fiona Nielsen, Radboud University Nijmegen Medical Centre
F.Nielsen@cmbi.ru.nl
Abstract.


April 22, 2008, at 14:15 in IMADA's Seminar Room
RAGE-BLAST: Resource Adaptive Grid Execution of BLAST
Lene M. Favrholdt
lenem@imada.sdu.dk
Abstract.


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.

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
Daniel Merkle