| Titel |
Datum |
Zeit |
Ort |
Bemerkung |
| TBA |
20.06.2013 |
16:15 |
HS C |
David Basin, Professor an der ETH Zürich Info>> |
| Implementing Compilers as Higher-Order Rewriting Systems |
03.05.2013 |
16:15 |
HS D |
Kristoffer H. Rose, Forscher am IBM Thomas J. Watson Research Center, New York Info>> |
| Evolving structures and ramified information flow |
26.04.2013 |
16:15 |
HS D |
Jean-Yves Marion, Professor an der Université de Lorraine und bei INRIA Nancy Info >> |
| Computational Neuromechanics |
14.03.2013 |
16:15 |
HS E |
Francisco J Valero-Cuevas, Professor an der University of Southern California, Los Angeles Info>> |
| PMaC Framework |
14.02.2013 |
14:00 |
SR 1 |
Laura Carrington, Expert in High Performance Computing, San Diego Supercomputer Center Info>> |
| Edit lenses |
24.01.2013 |
16:15 |
HS C |
Martin Hoffmann, Professor an der LMU München Info>> |
| Softwarequalität - Schlagwort und Realität? |
14.01.2013 |
17:00 |
HS 11 |
Ernest Wallmüller, CEO Qualität & Informatik Zürich Info>> |
| Brain-inspired computing for machine vision |
10.01.2013 |
16:15 |
HS C |
Nicolai Petkov, Professor an der University of Groningen Info>> |
| Optimal and Robust Scheduling for Real Time Streaming in Unstructured Meshes |
16.05.2012 |
12:15 |
3W04 |
Renato Lo Cigno, Associate Professor at DISI at the University of Trento Info>> |
| Optimization of Semantic Web Queries |
03.05.2012 |
16:15 |
HS F |
Reinhard Pichler, Professor der Fakultät für Informatik an der TU-Wien Info>> |
| Finding Objects in Cluttered Scenes for Home Robotics |
24.04.2012 |
14:15 |
HS D |
Jim Little, Professor of the Department of Computer Science at the University of British Columbia Info>> |
| 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>> |
