| Title |
Date |
Time |
Place |
Comment |
| Business Process Modeling. A Case Study: BPMN, YAWL, S-BPM |
12.03.2012 |
15:15 |
HS A |
Egon Börger, Emeritus Professor of the Department of Computer Science at the University of Pisa
Info>> |
| Combining compositional shape hierarchy and multi-class object taxonomy for efficient object categorisation |
01.12.2011 |
16:15 |
HS C |
Ales Leonardis, University of Ljubljana
Info>>
|
| IBM Change Risk Expert - Never Touch a running expert. |
27.10.2011 |
16:15 |
HS C |
Dirk Husemenn, IBM research Zurich
Info >> |
Multi-Task Prediction of Drug Bioactivity with Ensembles of
Graph Labeling Models |
28.07.2011 |
16:15 |
HS D |
Juho Rousu, University of Helsinki Info>> |
| The Free Software Movement and the GNU/Linux Operating System, Free Software in Ethics and in Practice |
09.06.2011 |
13:00 |
Aula Architektur |
Richard Stallman, Free Software Foundation Info>> |
| Bringing the Benefits of Java to Embedded Systems: Hard Real-Time Capable Garbage Collection in JamaicaVM |
19.05.2011 |
16:15 |
HS D |
Cemens Ballarin, Head of the quality assurance group at aicas, Info>> |
| Observations on the Use of UML in Industry |
07.04.2011 |
16:15 |
HS D |
Jim Arlow, Director of Clear View Training Limted Info>> |
| Predicate Abstraction and Refinement for Verifying Multi-Treaded Programs |
17.03.2011 |
16:15 |
HS D |
Andrey Rybalchenko, TU Munich Info>> |
| Teaching Semantics with a Proof Assistant or No more LSD trip proofs |
20.01.2011 |
16:15 |
HS C |
Tobias Nipkow, TU Munich Info>>
|
| Privacy-aware access control in social networks |
28.10.2010 |
16:15 |
HS C |
Federica Paci, University of Trento Info>> |
| Program Parallelization and Optimization at Compile-Time in the Polyhedral Model |
16.09.2010 |
16:15 |
HS C |
Cedric Bastoul, University of Paris-Sud Info>> |
(How) Did You Specify Your Test-Suites?
|
17.06.2010 |
16:15 |
HS D |
Helmut Veith, TU-Wien Info>> |
| Learning Similarity Queries from Preferences |
10.06.2010 |
16:15 |
HS D |
Ingo Schmitt, TU Cottbus Info>> |
| Future Variability Management |
18.03.2010 |
16:15 |
HS G
|
Christoph Weidenbach, MPI Saarbrücken Info>> |
| Theory and Practice of Dynamic Patterns |
04.03.2010 |
16:15 |
HSB1 |
Delia Kesner, University Paris Diderot 7 Info>> |
| Church's Thesis is Provable |
04.02.2010 |
16:00 |
HS C |
Nachum Dershowitz, Tel Aviv Universität Info>> |
| Aggregating Probabilistic Information |
21.01.2010 |
16:15 |
HS C |
Werner Nutt, Faculty of Computer Sciences, University of Bozen Info>> |
| Frontiers of Structured Business Process Modeling |
17.12.2009 |
16:15 |
HS B |
Dirk Draheim, Head of the ZID Innsbruck Info>> |
| Semantic based Discovery and Management of Contents, Services and Software |
07.12.2009 |
10:00 |
HS E |
Beniamino Di Martino, Professor of Information Systems at the Second University of Naples Info>>
|
| Orthographic Software Modeling: A Practical Approach for "Living Models" |
01.12.2009 |
16:15 |
HS D |
Colin Atkinson, Chair of Software Engineering at University of Mannheim. Affiliated to the Institute of Computer Science, University of Innsbruck Info>>
|
Software Best Practices: Agile Deconstructed |
5.10.2009 |
09:30 |
HSB1 |
Steven Fraser PhD, Cisco Resarch Center Info>> |
| Lambda Calculus with Systems of Types |
9.7.2009 |
16:15 |
HS C |
Henk Barendregt (Chair Found. of Maths and Computer Sciene, Radboud University) Info>> |
| MPI on a Million Processors - and Less |
25.6.2009 |
16:00 |
HS C |
Jesper Larsson Träff (Chief Reserchaer at NEC Laboratories Europe, NEC Europe ltd.) Info>> |
| The Semantic Gap in Image Indexing and Retrieval - Application to the Recognition of Botanical Bloom Characteristics |
18.6.2009 |
16:15 |
HS C |
Harald Kosch (Chair of Distributed and Multimedia Information Systems, University Passau) Info>> |
| Sequence Analysis with Suffix Arrays |
2.4.2009 |
16:15 |
HS C |
Enno Ohlebusch (Theoretical Bioinformatics Group, Universität Ulm) Info>> |
| Randomized Algorithms |
5.3.2009 |
16:00 |
HS C |
Jörg Hoffmann (SAP Research, CEC Karlsruhe) Info>> |
