The Temporal Reasoning, Artificial Intelligence and Logic (TRAIL) Seminar Series


The Temporal Reasoning, Artificial Intelligence and Logic (TRAIL) Group is an informal group of researchers which holds occasional seminars on topics related to Temporal Reasoning, Reasoning about Actions, Artificial Intelligence and Logic. The current email list of participants, from Imperial College, London, Queen Mary & Westfield College, London, King's College, London, The Open University, University College, London, University of Greenwich, London, Manchester Metropolitan University, Brunel University, Oxford University and Warwick University, is:

  • Ionnis Akrotirianakis (email: ia4@doc.ic.ac.uk)
  • Mauricio Alvarez-Manilla (email: ma12@doc.ic.ac.uk)
  • Bernhard Beckert (email: bb7@doc.ic.ac.uk)
  • John Bell (email: John.Bell@dcs.qmw.ac.uk)
  • Sergio Brandano (email: sb@dcs.qmw.ac.uk)
  • Krysia Broda (email: kb@doc.ic.ac.uk)
  • Keith Clark (email: klc@doc.ic.ac.uk)
  • Jim Cunningham (email: rjc@doc.ic.ac.uk)
  • Marcello D'Agostino (email: mda@doc.ic.ac.uk)
  • Aspassia Daskalopulu (email: Aspassia.Daskalopulu@brunel.ac.uk)
  • Jacinto Dávila (email: jacinto@ing.ula.ve)
  • Clare Dixon (email: C.Dixon@doc.mmu.ac.uk)
  • Maarten de Rijke (email: mdr@dcs.warwick.ac.uk)
  • Sophia Drossopoulou (email: scd@doc.ic.ac.uk)
  • Kostis Dryllerakis (email: kd@doc.ic.ac.uk)
  • Carlos Duarte (email: cd7@doc.ic.ac.uk)
  • Senanu Etrey (email: sae@doc.ic.ac.uk)
  • Chris Evans (email: c.evans@open.ac.uk)
  • David Evans (email: dhe@doc.ic.ac.uk)
  • Marcelo Finger (email: mfinger@ime.usp.br)
  • Michael Fisher (email: M.Fisher@doc.mmu.ac.uk)
  • Jacques Fleuriot (email: jacques.fleuriot@cl.cam.ac.uk)
  • Enrico Franconi (email: franconi@cs.man.ac.uk)
  • Dov Gabbay (email: dg@dcs.kcl.ac.uk)
  • Artur Davila Garcez (email: aag@doc.ic.ac.uk)
  • Guido Governatori (email: gg6@doc.ic.ac.uk)
  • Robin Hirsch (email: R.Hirsch@cs.ucl.ac.uk)
  • Ian Hodkinson (email: imh@doc.ic.ac.uk)
  • Wilfrid Hodges (email: W.A.Hodges@qmw.ac.uk)
  • Theodore Hong (email: twh1@doc.ic.ac.uk)
  • Zhisheng Huang (email: huang@dcs.qmw.ac.uk)
  • Tony Hunter (email: A.Hunter@cs.ucl.ac.uk)
  • Samin Ishtiaq (email: si@dcs.qmw.ac.uk)
  • Paul Kelly (email: p.kelly@doc.ic.ac.uk)
  • Ruth Kempson (email: rmk@doc.ic.ac.uk)
  • Brian Knight (email: b.knight@greenwich.ac.uk)
  • Bob Kowalski (email: rak@doc.ic.ac.uk)
  • Luis Lamb (email: ldcl@doc.ic.ac.uk)
  • Miguel Leith (email: mfl@doc.ic.ac.uk)
  • J P Lodge (email: jpl1@doc.ic.ac.uk)
  • Jixin Ma, (email: j.ma@greenwich.ac.uk)
  • Tom Maibaum (email: tsem@doc.ic.ac.uk)
  • Peter McBrien (email: pjm@dcs.kcl.ac.uk)
  • Wilfred Meyer-Viol (email: wm3@doc.ic.ac.uk)
  • Szabolcs Mikulas (email: szabolcs@dcs.kcl.ac.uk)
  • Rob Miller (email: rsm@ucl.ac.uk)
  • Sanjay Modgil (email: S.Modgil@eastman.ucl.ac.uk)
  • Steve Moyle (email: smoyle@ermine.ox.ac.uk)
  • Michael Norrish (email: Michael.Norrish@cl.cam.ac.uk)
  • Rolf Nossum (email: rn7@doc.ic.ac.uk)
  • Hans Juergen Ohlbach (email: ohlbach@dcs.kcl.ac.uk)
  • Nicola Olivetti (email: no@doc.ic.ac.uk)
  • Christiana Panayiotou (email: christiana@dcs.qmw.ac.uk)
  • Simon Parsons (email: S.D.Parsons@qmw.ac.uk)
  • Taoxin Peng (email: t.peng@greenwich.ac.uk)
  • Yongyuth (Ber) Permpoontanalarp (email: ja8@doc.ic.ac.uk)
  • Iain Phillips (email: iccp@doc.ic.ac.uk)
  • Jeremy Pitt (email: jvp@doc.ic.ac.uk)
  • Till Plewe (email: tp5@doc.ic.ac.uk)
  • Elizabeth Pollitzer (email: eep@doc.ic.ac.uk)
  • Nat Pryce (email: np2@doc.ic.ac.uk)
  • Mark Reynolds (email: markr@dcs.kcl.ac.uk)
  • Graem Ringwood (email: gar@dcs.qmw.ac.uk)
  • Odinaldo Rodrigues (email: rodrigu@dcs.kcl.ac.uk)
  • Alessandra Russo (email: ar3@doc.ic.ac.uk)
  • Fariba Sadri (email: fs@doc.ic.ac.uk)
  • (Klaus) Stefan Schlobach (email: kss1@doc.ic.ac.uk)
  • Peter Schroeder-Heister (email: p.schroeder-heister@doc.ic.ac.uk)
  • Marek Sergot (email: mjs@doc.ic.ac.uk)
  • Nimish.Shah. (email: Nimish.Shah@durham.ac.uk)
  • Murray Shanahan (email: m.shanahan@ic.ac.uk)
  • Mike Smyth (email: mbs@doc.ic.ac.uk)
  • Kostas Stathis (email: ks@doc.ic.ac.uk)
  • Donald Syme (email: Donald.Syme@cl.cam.ac.uk)
  • Bent Thomsen (email: bt@doc.ic.ac.uk)
  • Francesca Toni (email: ft@doc.ic.ac.uk)
  • Graham White (email: graham@dcs.qmw.ac.uk)
  • Mark Witkowski (email: markw@dcs.qmw.ac.uk or markw@aiqltd.demon.co.uk)
  • Mike Wooldridge (email: M.J.Wooldridge@qmw.ac.uk)
  • Silvana Zappacosta (email: sza@doc.ic.ac.uk)
  • If you have a browser which supports email, click here to email everybody on this list. Please restrict such emails to academic seminar, workshop and conference announcements and calls for papers. If you'd like to be added to or deleted from this list, or better still, if you'd like to give a talk, please email Alessandra Russo: ar3@doc.ic.ac.uk, or Rob Miller: rsm@ucl.ac.uk.


    Forthcomming TRAIL seminars

    Where titles are marked with a (*), you are advised to check these details again nearer the advertised date of the talk.

    N.B. Individual speakers should feel free to advertise their own talks more widely.

    (BACK TO LIST OF MEMBERS), (BACK TO TOP OF PAGE), (PREVIOUS SEMINARS)


  • Labelled Deductive Systems for Practical Reasoning (*)

    Sanjay Modgil
    Imperial College, London

    (Date to be announced.)

    Room 433, Department of Computing, Huxley Building, Imperial College, 180 Queen's Gate, London SW7 2BZ


  • More Logic Without Model Theory (*)

    Bob Kowalski
    Imperial College, London

    (Date to be announced.)

    Department of Computing, Huxley Building, Imperial College, 180 Queen's Gate, London SW7 2BZ


  • (*) Where titles are marked with a (*), you are advised to check these details again nearer the advertised date of the talk.


    Abstracts of previous TRAIL seminars, and associated papers


    Information about other groups and individuals researching into Reasoning About Actions


    (BACK TO LIST OF MEMBERS), (BACK TO TOP OF PAGE)