Logic and Computation Group

Thursdays Lunch Seminar Series

Logic and Computation Group seminars are usually held at 13.00 on Thursdays (before February 2006, on Mondays) in the seminar room at the first floor of Ashton Building. The seminars are organized by Alexei Lisitsa.
Please contact him if you would like to suggest a speaker, offer to talk yourself, or just for information.

Autumn-Winter 2005

21 of November

Dmitry Tichkovsky, University of Liverpool. Comparative similarity, tree automata and Diophantine equations.

28 of November

Dirk Walther, University of Liverpool. ATEL with Common and Distributed Knowledge is ExpTime-complete.

5 of December

Paolo Ballarini, University of Liverpool. Automated Game Analysis via Probabilistic Model Checking.

12 of December

Cristmas Lunch

Winter-Spring 2006

9 of January

General Disscussion

16 of January

Michael Fisher, University of Liverpool.
Non-technical overview of the Verification Lab's attempts to interact with industry.

23 of January

Ben Moszkowski, Software Technlogy Research Laboratory, De Monfort University, Leicester.
A Hierarchical Analysis of Propositional Temporal Logic based on Intervals..
A full version of the paper is available.

30 of January

Thomas Schneider, University of Jena, Germany. Complexity of Hybrid Logics over Transitive Frames.
A full version of the paper and slides of the talk are available.

6 of February

General Disscusion

16 of February

General Disscussion

23 of February

Alexei Lisitsa, University Liverpool. Uniform testing + supercompilation = verification.
Verification via supercompilation web page.

2,9,16,23 of March

General Disscusion

30 of March

Claudia Nalon, University of Brasilia. Normal Forms for Normal Logics

7 of April

Evgeny Zolin, University of Manchester. Modal Logic with Variable Modalities and its Applications to Querying Knowledge Bases

April-May:

Transition of the Department to the Ashton Building

18 of May

Clare Dixon, University of Liverpool. Is There a Future for Deductive Temporal Verification?

25 of May, 1 of June

General disscussion

8 of June

Andrey Bovykin, University of Liverpool. Are there difficult questions?

Autumn-Winter 2006

28 of September

General Disscussion

5 of October

Michael Fisher, University of Liverpool. Model Checking Agent Programming Languages

12,19 of October

General Disscussion

26 of October

Matt Webster, University of Liverpool. Classifying Reproducers Using Affordances

2,9 of November

General Disscussion

16 of November

Louise Dennis, University of Liverpool. What is proof planning?

23 of November

General Disscussion

30 of November

Frank Wolter, University of Liverpool. Conservative extensions, refinements, and modular ontologies

7 of December

Christoph Ambuhl, University of Liverpool. Introduction to Spark

Winter-Spring 2007

1 of February

Clare Dixon, University of Liverpool. Tractable Temporal Resolution

8 of February

Louise Dennis, University of Liverpool. Overview of an intermediate language (AIL) for BDI-style programming languages

22 of February

Alexei Lisitsa, University of Liverpool. Logics with temporally accessible iteration

3 of May

Vladimir Sazonov, University of Liverpool. Natural non-dcpo Domains Suitable for Fully Abstract Models

10 of May

Vladimir Sazonov, University of Liverpool. Natural non-dcpo Domains Suitable for Fully Abstract Models (cont.)

24 of May

Paul Jackson, University of Edinburgh. A compact linear-size translation for bounded model checking
A paper and slides of the talk at the Bounded Model Checking Workshop 2006 are available.

19 of July

Richard Molyneux, University of Liverpool. Hyperset/Web-like Databases and the Experimental Implementation of the Query Language Delta - Current State of Affairs.

Current seminars