Software Engineering Seminars

All are Fridays at 2pm in Room 479 of the Wolfson Building, unless otherwise stated.

For more information, including volunteering to present a seminar, contact Ralf Hinze.

Upcoming seminarsPrevious seminars

 Subscribe to this seminar series calendar.

There are no upcoming seminars in this series at this time. Please check again soon.

• 1Dec2014
  A Language Designer’s Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs

  14:00 Monday 1st December 2014 in Lecture Theatre B

  Eelco Visser ( TU Delft )
• 28May2010
  Coexistence, Collaboration, and Coordination Paradigms in the Presence of Mobility

  10:30 Friday 28th May ( week 5, Trinity Term 2010 ) in 478

  Catalin Roman ( Washington University in Saint Louis )
• 30Apr2010
  Formal methods @ runtime

  14:00 Friday 30th April ( week 1, Trinity Term 2010 ) in room 479

  Radu Calinescu ( Aston University )
• 12Mar2010
  Probabilistic Search with Agile UAVs

  14:00 Friday 12th March ( week 8, Hilary Term 2010 ) in 479

  Sonia Waharte ( SEP )
• 5Mar2010
  Probabilistic Target Detection by Camera-Equipped UAVs

  14:00 Friday 5th March ( week 7, Hilary Term 2010 ) in 479

  Andrew Symington ( SEP )
• 26Feb2010
  Discrete Gene Regulatory Networks: A novel approach to configuring sensor networks

  14:00 Friday 26th February ( week 6, Hilary Term 2010 ) in 479

  Andrew Markham ( SEP )
• 19Feb2010
  Security Certification - You're doing it wrong.

  14:00 Friday 19th February ( week 5, Hilary Term 2010 ) in 479

  Joe Loughry ( SEP )
• 27Nov2009
  Architectures for Trustworthy Utility Computing

  14:00 Friday 27th November ( week 7, Michaelmas Term 2009 ) in Room 479

  Cornelius Namiluko ( SEP )
• 20Nov2009
  Checking Model Consistency using Data-Flow Testing

  15:00 Friday 20th November ( week 6, Michaelmas Term 2009 ) in 479

  Jackie Wang ( SEP )
• 13Nov2009
  Checking Concurrent Contracts with Aspects

  14:00 Friday 13th November ( week 5, Michaelmas Term 2009 ) in 479

  Eric Kerfoot ( SEP )
• 30Oct2009
  CAPTCHAs, the good, the bad and the ugly

  14:00 Friday 30th October ( week 3, Michaelmas Term 2009 ) in 479

  Ivan Flechais ( SEP )
• 23Oct2009
  Formal Templates for Metamodels in Z

  14:00 Friday 23rd October ( week 2, Michaelmas Term 2009 ) in 479

  Nicolas Wu ( ComLab )
• 16Oct2009
  System Security: Some Home Truths

  14:00 Friday 16th October ( week 1, Michaelmas Term 2009 ) in 479

  Andrew Martin ( SEP )
• 12Jun2009
  Contextual evaluation framework: a prototype evaluation technique for e-Research

  15:30 Friday 12th June ( week 7, Trinity Term 2009 ) in room 479

  Grace de la Flor ( OUCL )
• 5Jun2009
  Removing intermediate data structures with stream fusion

  15:30 Friday 5th June ( week 6, Trinity Term 2009 ) in room 479

  Tom Harper ( OUCL )
• 29May2009
  The arithmetic of types

  15:30 Friday 29th May ( week 5, Trinity Term 2009 ) in room 479

  Jeremy Gibbons ( OUCL )
• 22May2009
  Hackers' perspectives on Software and Secure Programming

  15:30 Friday 22nd May ( week 4, Trinity Term 2009 ) in room 479

  Massimo Cotrozzi ( Sertytude )
• 8May2009
  Semantic Framework for Electronic Governance

  15:30 Friday 8th May ( week 2, Trinity Term 2009 ) in 479

  Aadya Shukla ( OUCL )
• 1May2009
  Target search with a swarm of UAVs

  15:30 Friday 1st May ( week 1, Trinity Term 2009 ) in 479

  Niki Trigoni ( SEP )
• 13Mar2009
  On model-driven data migration

  15:30 Friday 13th March ( Hilary Term 2009 ) in 479

  Mohammed Aboulsamh ( OUCL )
• 27Feb2009
  Ethics and the practice of software design

  15:30 Friday 27th February ( week 6, Hilary Term 2009 ) in 479

  Matteo Turilli ( OUCL )
• 20Feb2009
  Building a semantic research information infrastructure at Oxford

  15:30 Friday 20th February ( week 5, Hilary Term 2009 ) in 479

  Sally Rumsey ( OULS )
• 13Feb2009
  Certified Programming - A taste of interactive theorem proving

  16:00 Friday 13th February ( week 4, Hilary Term 2009 ) in 479

  Daniel James ( OUCL )
• 30Jan2009
  Evolving Gene Regulatory Networks to Control Wireless Sensor Networks

  15:30 Friday 30th January ( week 2, Hilary Term 2009 ) in Room 479

  Andrew Markham ( OUCL )
• 23Jan2009
  Semantics-driven Development for Electronic Government Applications

  15:30 Friday 23rd January ( week 1, Hilary Term 2009 ) in 479

  Jim Davies ( OUCL )
• 5Dec2008
  Security Evaluation of Existing IT Systems under the Common Criteria at Levels above EAL4

  15:30 Friday 5th December ( week 8, Michaelmas Term 2008 ) in Room 479 of the Wolfson Building

  Joe Loughry ( Oxford University Computing Laboratory )
• 28Nov2008
  Model-Driven Development of Relational Development and Semantics-based Scheduling of Concurrently-Executed Workflows

  15:30 Friday 28th November ( week 7, Michaelmas Term 2008 ) in Room 479 of the Wolfson Building

  Jackie Wang ( Oxford University Computing Laboratory )
• 21Nov2008
  Perceptions of volunteers in <a href="http://www.climateprediction.net/">climateprediction.net</a>

  15:30 Friday 21st November ( week 6, Michaelmas Term 2008 ) in Room 479 of the Wolfson Building

  Peter Darch ( Oxford University Computing Laboratory )
• 14Nov2008
  Surgical robotics - an ethnomethodologically informed approach to requirements elicitation with design, prototyping and testing

  15:30 Friday 14th November ( week 5, Michaelmas Term 2008 ) in Room 479 of the Wolfson Building

  Anthony Masih ( Oxford University Computing Laboratory )
• 7Nov2008
  SQIV

  15:30 Friday 7th November ( week 4, Michaelmas Term 2008 ) in Room 479 of the Wolfson Building

  Charlie Crichton ( Oxford University Computing Laboratory )
• 24Oct2008
  Using Formal Verification to Reduce Test Space of Fault-tolerant Programs

  15:30 Friday 24th October ( week 2, Michaelmas Term 2008 ) in Room 479 of the Wolfson Building

  Ana de Melo ( Universidade de S&atilde;o Paulo, Instituto de Matem&aacute;tica e Estat&iacute;stica, Departamento de Ci&ecirc;ncia da Computa&ccedil;&atilde;o )
• 17Oct2008
  Abstract Datatypes: The Phantom Menace

  15:30 Friday 17th October ( week 1, Michaelmas Term 2008 ) in Room 479 of the Wolfson Building

  Jeremy Gibbons ( Oxford University Computing Laboratory )
• 3Oct2008
  Geosensor Networks: State of the Art

  15:30 Friday 3rd October ( week -1, Michaelmas Term 2008 ) in Room 478 of the Wolfson Building

  Silvia Nittel ( University of Maine )
• 7Mar2008
  Code Generation with the Exemplar Flexibilization Language

  15:30 Friday 7th March ( week 8, Hilary Term 2008 ) in Room 479 of the Wolfson Building

  Reuben Heradio ( UNED, Spain )
• 29Feb2008
  Trusted Logging Requirements for Grid Computing

  15:30 Friday 29th February ( week 7, Hilary Term 2008 ) in Room 479 of the Wolfson Building

  Jun Ho Huh ( Oxford University Computing Laboratory )
• 22Feb2008
  Data flow analysis and testing of Abstract State Machines

  15:30 Friday 22nd February ( week 6, Hilary Term 2008 ) in Room 479 of the Wolfson Building

  Alessandra Cavarra ( Oxford University Computing Laboratory )
• 15Feb2008
  A Relative Timed Semantics for BPMN

  15:30 Friday 15th February ( week 5, Hilary Term 2008 ) in Room 479 of the Wolfson Building

  Peter Wong ( Oxford University )
• 8Feb2008
  Design-based Service Discovery

  15:30 Friday 8th February ( week 4, Hilary Term 2008 ) in Room 479 of the Wolfson Building

  Andrea Zisman ( School of Informatics, City University, London )
• 1Feb2008
  Enhancement, Deployment, and Generalization of Metadata Technologies

  15:30 Friday 1st February ( week 3, Hilary Term 2008 ) in Room 479 of the Wolfson Building

  Steve Harris ( Oxford University )
• 25Jan2008
  sif (service-oriented interoperability framework): from there to here

  15:30 Friday 25th January ( week 2, Hilary Term 2008 ) in Room 479 of the Wolfson Building

  Douglas Russell and Mark Slaymaker ( Oxford University )
• 18Jan2008
  sif (service-oriented interoperability framework): from there to here

  15:30 Friday 18th January ( week 1, Hilary Term 2008 ) in Room 479 of the Wolfson Building

  Andrew Simpson, David Power ( Oxford University )