![[The University of Leicester]](unilogo.gif)
Computer Science Seminars
- Please refer to the campus map for the exact location of lecture rooms.
- If the room is KE LT3 (Ken Edwards LT3) be aware that the entrance is hidden on the left hand side when you walk towards the main entrance of Ken Edwards.
Semester Two
| Seminar Programme |
|---|
| Fri Feb 3, 14:00 in KE LT1 (Host: Andrzej Murawski) Vincent Danos (University of Edinburgh) Information Carriers in Biomolecular Networks |
| Fri Feb 10, 14:00 in KE LT1 (Host: Neil Walkinshaw) Nicolas Gold (University College London) Understanding the Virtuoso: Exploring Music and Performance with Software |
| Fri Feb 17, 14:00 in KE LT3 (Host: Andrzej Murawski) Pasquale Malacaria (Queen Mary, University of London) Quantitative Information Flow: Ideas and Applications |
| Fri Feb 24, 14:00 in KE LT1 (Host: Alexander Kurz) Rodrigo Quian Quiroga (University of Leicester) Concept Cells |
| Fri Mar 2, 14:00 in KE LT1 (Host: Thomas Erlebach) Rizos Sakellariou (University of Manchester) Scheduling in Grids: Recent Progress and Open Questions |
| Fri Mar 9, 14:00 in KE LT1 (Host: Neil Walkinshaw) Sebastian Danicic (Goldsmiths, University of London) The Semantics of Control Dependence |
| Fri Mar 16, 14:00 in KE LT1 (Host: Igor Razgon) Oded Lachish (Birkbeck, University of London) Improved Competitive Ratio for the Matroid Secretary Problem |
| Fri Mar 23, 14:00 in KE LT1 (Host: Igor Razgon) Justyna Petke (University of Oxford) On the Bridge between Constraint Satisfaction and Boolean Satisfiability |
| Fri Mar 30, 14:00 in KE LT1 (Host: Igor Razgon) Rod Downey (Victoria University of Wellington, New Zealand) Algorithmic Randomness and Computability |
| Fri May 11, 14:00 in KE LT1 (Host: Igor Razgon) Oliver Kullmann (Swansea University) Towards a Theory of Good SAT Representations |
| Fri May 25, 14:00 in KE LT1 (Host: Laura Bocchi) Pierre-Malo Denielou (Imperial College London) Multiparty Session Types Meet Communicating Automata |
Semester One
| Seminar Programme |
|---|
| Fri Oct 7, 14:00 in BEN LT1 (Host: Andrzej Murawski) Bob Coecke (University of Oxford) How Computer Science Helps to Bring Quantum Physics to the Masses |
| Fri Oct 14, 14:00 in BEN LT1 (Host: Andrzej Murawski) Roland Backhouse (University of Nottingham) Algorithmic Problem Solving |
| Fri Oct 21, 14:00 in BEN LT1 (Host: Andrzej Murawski) Rob Hierons (Brunel University) Distributed Testing |
| Fri Oct 28, 14:00 in BEN LT1 (Host: Andrzej Murawski) Stefan Poslad (Queen Mary, University of London) An Internet of Things |
| Fri Nov 4, 14:00 in RAT LT (Host: Alexander Kurz) Irek Ulidowski (Leicester) A logic with reverse modalities for history preserving bisimilations |
| Fri Nov 25, 14:00 in RAT LT (Host: Alexander Kurz, Tadeusz Litak) Roman Kontachakov (London) Logic-based ontology comparison and module extraction in OWL 2 QL |
| Thu Dec 1, 10:00 in ATT LT3 (Host: Igor Razgon) Vadim Lozin (Warwick) Boundary properties of the satisfiability problems |
| Fri Dec 2, 14:00 in RAT LT (Host: Alexander Kurz, Tadeusz Litak) Georg Struth (Sheffield) Engineering Algebraic Methods in an Interactive Theorem Prover |
