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.

December 13, 2022, at 14:15 in IMADA's Seminar Room: Parameterizing the Permanent: Hardness for Fixed Excluded Minors
Radu Curticapean, IT University of Copenhagen
radu.curticapean@gmail.com
https://pure.itu.dk/portal/en/persons/radu-cristian-curticapean
Abstract: html / pdf.
November 18, 2022, at 13:15 in IMADA's Seminar Room: In the Backrooms of Data Science
Elena Parmiggiani, Department of Computer Science, Norwegian University of Science and Technology
parmiggi@ntnu.no
https://elenaparmiggiani.com/
Abstract: html / pdf.
November 15, 2022, at 14:15 in IMADA's Seminar Room: Network programmability, 5G and microservices
Franco Callegati, Department of Computer Science and Engineering, University of Bologna
franco.callegati@unibo.it
https://www.unibo.it/sitoweb/franco.callegati/en
Abstract: html / pdf.
August 29, 2022, at 10:15 in IMADA's Seminar Room: Orientations and connectivity
Florian Hoersch, Instittute of Mathematics, Technische Universitat Ilmenau, Germany
florian.hoersch@tu-ilmenau.de

Abstract: html / pdf.
August 23, 2022, at 14:15 in IMADA's Conference Room: Extensions of Moon's and Alspach's theorems on tournaments to multipartite tournaments
Yubao Guo, Institute for Mathematics of Information Processing, RWTH Aachen University 52056 Aachen Germany
jbj@imada.sdu.dk
http://www.mathc.rwth-aachen.de/~guo/home/
Abstract: html / pdf.
August 16, 2022, at 14:15 in IMADA's Seminar Room: On the Bamboo Garden Trimming Problem
Rob van Stee, Department of Mathematics, University of Siegen
rob.vanstee@uni-siegen.de
https://www.uni-siegen.de/fb6/aan/optimierung/mitarbeiter2/vanstee/index.html.en?lang=en
Abstract: html / pdf.
August 02, 2022, at 14:15 in IMADA's Seminar Room: Constant-Length Labelling Schemes for Deterministic Radio Broadcast
Faith Ellen, Department of Computer Science, University of Toronto, Canada

Abstract: html / pdf.
June 24, 2022, at 15:00 in IMADA's Methods Lab: Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation
Alessandro Bruni, ITU
https://alessandrobruni.name
Abstract: html / pdf.
June 03, 2022, at 10:15 in IMADA's Conference Room: Model Counting, its Relationship to Symbolic Quantitative AI, and a Glimpse into Practical Solving
Johannes Fichte, Vienna University of Technology
johannes.fichte@tuwien.ac.at
https://www.dbai.tuwien.ac.at/staff/fichte/
Abstract: html / pdf.
June 14, 2022, at 10:15 in IMADA's Seminar Room: Quantum Information Effects
Robin Kaarsgaard, University of Edinburgh
https://functorial.org/
Abstract: html / pdf.
May 24, 2022, at 14:15 in IMADA's Seminar Room: Bloom Filter Alternatives based on Xor-Probing
Stefan Walzer, Department of Computer Science, University of Cologne
walzer@cs.uni-koeln.de
https://cs.uni-koeln.de/ls-sohler/team/dr-stefan-walzer
Abstract: html / pdf.
March 30, 2022, at 10:15 in CP3 Meeting Room: GeekChalk --- Digital Teaching Reloaded
Markus Nebel, Faculty of Technology / AG Algorithmik und Bioinformatik, Bielefeld University, Germany
https://pub.uni-bielefeld.de/person/71594916
Abstract: html / pdf.
November 09, 2021, at 14:15 in Auditorium U62: Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits
Nutan Limaye, Computer Science Department, IT University of Copenhagen, Denmark
nuli@itu.dk

Abstract:html / pdf.
August 03, 2021, at 10:00 in Zoom: Algorithms under Low Information Cost: Theory and Practice
Kevin Schewior, Department of Mathematics and Computer Science, University of Cologne, Germany
https://sites.google.com/view/kschewior
Abstract :html / pdf.
August 04, 2021, at 09:00 in Zoom: Facets of algorithmic (graph) theory: width measures, structure, and diversity
Lars Jaffke, Department of Informatics, University of Bergen, Norway
https://folk.uib.no/lja081/
Abstract: html / pdf.
June 28, 2021, at 14:15 in IMADA's Seminar Room: Information Theoretically Secure MPC Against Dynamic Adversaries
Ivan Bjerre Damgård, Department of Computer Science, Aarhus University, Denmark
ivan@cs.au.dk
Homepage
Abstract: html / pdf.
March 05, 2020, at 14:15 in IMADA's Seminar Room: Rewriting theory for stochastic dynamical systems and combinatorics
Nicolas Behr, CRI Paris, INSERM and University of Paris
http://nicolasbehr.com/
Abstract: html / pdf.
January 29, 2020, at 14:15 in IMADA's Seminar Room: A New Linear Logic for Deadlock-Free Session-Typed Processes
Ornela Dardha, University of Glasgow
http://www.dcs.gla.ac.uk/~ornela/
Abstract: html / pdf.
September 25, 2019, at 14:15 in U175: Matching and Edge-connectivity in Graphs with given Maximum Degree
Michael A. Henning, Department of Mathematics and Applied Mathematics, University of Johannesburg, South Africa
mahenning@uj.ac.za
https://www.uj.ac.za/research/Pages/Prof-Michael-Henning.aspx
Abstract: html / pdf.
September 03, 2019, at 14:15 in IMADA's Seminar Room: Streaming Event Detection in Microblogs
Pinar Karagöz, Computer Eng. Department, Middle East Technical University
http://user.ceng.metu.edu.tr/~karagoz/
Abstract: html / pdf.
July 16, 2019, at 14:15 in IMADA's Seminar Room: Local Intrinsic Dimensionality II: Multivariate Analysis and Distributional Support
Michael E. Houle, National Institute of Informatics, Japan
https://researchmap.jp/meh/
Abstract: html / pdf.
June 11, 2019, at 14:15 in DIAS conference room: Density-Based Methods for Data Analysis: Some Recent Developments and Future Perspectives
Ricardo Campello, School of Mathematical and Physical Sciences, University of Newcastle, Australia
https://www.newcastle.edu.au/profile/ricardo-campello
Abstract: html / pdf.
May 28, 2019, at 14:15 in DIAS Conference Room: The Complexity of Consensus and Set Agreement
Faith Ellen, Department of Computer Science, University of Toronto

Abstract: html / pdf.
January 22, 2019, at 14:15 in IMADA's Seminar Room: Planar Reachability in Linear Space and Constant Time
Eva Rotenberg, DTU COMPUTE, Technical University of Denmark
https://www.dtu.dk/service/telefonbog/person?id=33822&tab=1
Abstract: html / pdf.
December 07, 2018, at 9:0 in IMADA's Seminar Room: Cold Start in Recommender Systems
Mehdi Elahi, Faculty of Computer Science, Free University of Bozen - Bolzano (Italy)
https://www.linkedin.com/in/mehdielahi/
Abstract: html / pdf.
December 04, 2018, at 14:15 in D-IAS Conference Room: AVD coloring and entropy compression.
William Lochet, Department of Informatics, University of Bergen

Abstract: html / pdf.
November 23, 2018, at 11:15 in DIAS conference room: Value Creation and Big Data Analysis: Best Practices and Lessons Learned
Mahdi Bohlouli, Institute for Advanced Studies in Basic Sciences, Zanjan Graduate University of Basic Sciences, Iran
https://www.bohlouli.com/
Abstract: html / pdf.
November 08, 2018, at 14:15 in U48: Visualization for the Digital Humanities
Stefan Jänicke, Image and Signal Processing Group, Institut für Informatik, Leipzig University
http://www.informatik.uni-leipzig.de/bsv/homepage/de/people/dr-stefan-j%C3%A4nicke
Abstract: html / pdf.
November 02, 2018, at 14:15 in DIAS Conference Room: Fast Stable Sorting, Adapting to Existing Runs
Ian Munro, Cheriton School of Computer Science, University of Waterloo
https://cs.uwaterloo.ca/~imunro/
Abstract: html / pdf.
October 09, 2018, at 14:15 in IMADA's Seminar Room: Fractional colouring and density of sets avoiding distance 1
Thomas Bellitto, Dept. of Mathematics & Computer Science , University of Southern Denmark
https://imada.sdu.dk/~bellitto/
Abstract: pdf.
September 18, 2018, at 14:15 in IMADA's Seminar Room: Certifying High Connectivity
Matthias Kriesell, Arbeitsgruppe Diskrete Mathematik und Algebra , TU Ilmenau
https://www.tu-ilmenau.de/dma/team/matthias-kriesell/
Abstract: html / pdf.
May 25, 2018, at 14:15 in Auditorium U164: Making Large-scale Machine Learning work in Theory and in Copenhagen's Coolest Start-up
Søren Dahlgaard, PhD in computer science and co-founder of SupWiz
https://www.supwiz.com/the-team/
Abstract: html / pdf.
April 12, 2018, at 14:15 in IMADA's Seminar Room: The Fitch Relation
Marc Hellmuth, Department of Mathematics and Computer Science, University of Greifswald, Germany
https://math-inf.uni-greifswald.de/hellmuth
Abstract: html / pdf.
April 10, 2018, at 14:15 in IMADA's Seminar Room: Identifying Codes in Grids
Frederic Havet, CNRS, Inria, I3S, Inria Sophia Antipolis, Project-team COATI, Université Côte d'Azur
http://www-sop.inria.fr/members/Frederic.Havet/

Abstract: html / pdf.
November 08, 2017, at 13:15 in U26A: Finding the needle in the haystack: finding what matters in biomedical imaging
Raphael Sznitman, University of Bern

Abstract: html / pdf.
November 01, 2017, at 14:15 in IMADA's Seminar Room: Algorithmic Cheminformatics --- Engineering a Chemical Graph Transformation System
Jakob Lykke Andersen, Institute for Theoretical Chemistry, University of Vienna

Abstract: html / pdf.
October 31, 2017, at 12:10 in IMADA's Seminar Room: Visual Object Tracking Using Deep Features
Fahad Khan, Department of Electrical Engineering, Linköping University

Abstract: html / pdf.
October 30, 2017, at 10:15 in U147: Application Deployment - What can be automated?
Jacopo Mauro, Department of Informatics , University of Oslo

Abstract: html / pdf.
October 23, 2017, at 10:15 in Auditorium U17: The Quest for Fast Learning from Few Examples
Andreas Loukas, Signal Processing Laboratory, École Polytechnique Fédérale de Lausanne

Abstract: html / pdf.
October 13, 2017, at 12:15 in IMADA's Seminar Room: Verification and Analysis of Probabilistic Systems
Petr Novotný, Institute of Science and Technology, Austria

Abstract: html / pdf.
August 28, 2017, at 10:15 in IMADA's Seminar Room: An Extreme-Value-Theoretic Foundation for Similarity Applications
Michael E. Houle, National Institute of Informatics, Tokyo, Japan
http://research.nii.ac.jp/~meh/
Abstract: html / pdf.
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://www.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. 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

Daniel Merkle


			IMADA - Department of Mathematics and Computer Science