Upcoming colloquia

• No colloquia scheduled at the moment.

Past colloquia

• Mon 19 Mar 2012 Modelica – Object Oriented Simulation
• Mon 20 Feb 2012 Computer Science in the Visual Effects and Animation Industry
• Thu 10 Nov 2011 Open Source: Where do we stand, You, and the Future
• Wed 9 Nov 2011 Computer Go: where are we now?
• Thu 13 Oct 2011 Unifying Testing and Analysis through Behavioral Coverage
• Fri 7 Oct 2011 Future of Software Engineering on Mobile Devices
• Thu 26 May 2011 Real World Android and iPhone Development
• Thu 27 Jan 2011 MSc defence: Johann Bergh – Understanding ontologies
• Thu 27 Jan 2011 MSc defence: Roxy Adams – Implementation of Cell Clustering in Cellular Automata
• Thu 28 Oct 2010 Computer Science in Africa – Challenges and Opportunities
• Thu 21 Oct 2010 Symbolic Execution with String and Integer Constraints
• Tue 19 Oct 2010 An Integrative Approach for Software Architectures
• Thu 26 Aug 2010 JavaPathFinder Tutorial
• Tue 11 May 2010 Test Transformation
• Tue 11 May 2010 Optimizing Runtime Program Monitoring
• Tue 11 May 2010 Testing Evolving Software
• Tue 11 May 2010 IBM India's Research Overview and Static Analysis Tool Portal
• Thu 15 Apr 2010 Tough Problems in Cloud Computing
• Thu 25 Mar 2010 Ontologies of knowledge
• Tue 2 Feb 2010 A Formal Language Theory Approach to Music Generation
• Tue 15 Dec 2009 Distributed Binary Decision Diagram Algorithms
• Thu 12 Nov 2009 Parallel likelihood calculation of phylogenetic trees
• Thu 12 Nov 2009 A 3D virtual environment development platform for ASD therapy tools
• Thu 29 Oct 2009 Chipping away at P vs NP: How Far Are We from Proving Circuit Size Lower Bounds?
• Thu 1 Oct 2009 Social networks and Random Graphs
• Tue 22 Sep 2009 An introduction to Cloud Computing
• Thu 17 Sep 2009 Who really cares if the program crashes?
• Thu 3 Sep 2009 Reducing Nondeterministic Finite Automata with SAT Solvers
• Thu 6 Aug 2009 Genotype, phenotype and environment: incorporating phenotypic considerations into models of molecular evolution
• Wed 8 Apr 2009 Two taxonomies and a toolkit for regular tree algorithms
• Tue 7 Apr 2009 Application of tree automata to NLP and the learning of automata with the estimation maximization algorithm
• Tue 7 Apr 2009 A successor to Treebag – What should go into a new NLP software toolkit?
• Mon 6 Apr 2009 Macro Tree Transducers
• Mon 6 Apr 2009 Tree Adjoining Grammars and Languages
• Thu 5 Mar 2009 Computer Forensics
• Thu 12 Feb 2009 RoboCup Modeling
• Wed 29 Oct 2008 Small and Cheap Counterexamples
• Wed 15 Oct 2008 Amazon Web Services
• Wed 1 Oct 2008 Self-Organizing Transport Networks
• Wed 30 Jul 2008 Working at Google
• Mon 7 Apr 2008 Evolutionary fingerprinting of viral genes
• Fri 4 Apr 2008 Symbolic verification of local properties in infinite-state transition systems modelled as rational graphs
• Fri 14 Mar 2008 Model checking, program verification and program testing
• Fri 8 Feb 2008 Miracles and Computer Science