![[LLF logo]](images/llf.gif)
[intro and news]
[people]
[visitors]
[seminars]
[related links]
London Logic Forum (LLF) - Seminars
2009
| Wed 22 July room 217, Huxley Building Imperial College |
15:00 | Cover Systems for Lax Logic Rob Goldblatt, Victoria University, Wellington, NZ (abstract) |
| Tue 31 Mar room 1.20, Malet Place Engineering Building, UCL |
14:00 | Back and forth between logic and relativity theory Hajnal Andréka and István Németi, Alfréd Rényi Institute of Mathematics (abstract) |
| Fri 27 Mar room 110, Roberts Building, UCL |
14:00 | Equational theories of reducts of representable relation algebras Szabolcs Mikulás, Birkbeck College |
| 15:00 | Two dimensional cylindric algebras and products of modal logics with a diagonal Agi Kurucz, King's College London |
|
| 16:00 | Some undecidability results for various problems of
representing binary relations Robin Hirsch, University College London (abstract) |
2008
| Tue 27 May room 1.13, New Engineering Building, UCL |
14:00 | Density elimination George Metcalfe, Vanderbilt University (abstract) |
| Thu 24 Jan room 121, Birkbeck College |
14:00 | Relevance logic as a fragment of the calculus of relations Roger Maddux, Iowa State University |
2007
| Wed 5 Sep room 1.02, UCL |
14:00 | A temporal logic of robustness John McCabe-Dansted, University of Western Australia (abstract) |
| Thu 10 May room 121, Birkbeck College |
15:30 | The unification problem for modal logics Michael Zakharyaschev, Birkbeck College |
| Thu 1 Mar room 121, Birkbeck College |
15:00 | On preservation theorems IV Agi Kurucz, King's College London |
| Wed 14 Feb room 121, Birkbeck College |
15:30 | On preservation theorems III Agi Kurucz, King's College London |
2006
| Wed 13 Dec room 121, Birkbeck College |
15:00 | On preservation theorems II Agi Kurucz, King's College London |
| Fri 1 Dec room Studio A, Imperial College |
15:00 | On preservation theorems Agi Kurucz, King's College London |
| Wed 25 Oct room 121, Birkbeck College |
16:00 | Hybrid formulas and elementary generated modal logics III Ian Hodkinson, Imperial College London |
| Wed 18 Oct room 6.12a, UCL |
14:00 | Hybrid formulas and elementary generated modal logics II Ian Hodkinson, Imperial College London |
| Fri 27 Jan room 121, Birkbeck College |
17:00 | Modal logics for reasoning about distances and similarity Michael Zakharyaschev, Birkbeck College |
2005
| Fri 16 Dec room 4.02a, UCL |
14:00 | Hybrid formulas and elementary generated modal logics Ian Hodkinson, Imperial College London |
| Fri 25 Nov room 6.12a, UCL |
17:00 | Hybrid Logic with operations on nominals Evan Tzanis, University College London (abstract) |
| Wed 26 Oct room 121, Birkbeck College |
16:00 | Bisimulation quantifiers for modal logics Tim French, University of Western Australia (abstract) |
| Wed 19 Oct room 6.12a, UCL |
14:00 | Peirce algebras and Boolean modules Robin Hirsch, University College London |
| Wed 12 Oct room CS/445, Queen Mary |
15:30 | Undecidability of two-variable intuitionistic and modal predicate logics Agi Kurucz, King's College London (abstract) |
| Wed 5 Oct room 6.12, UCL |
14:00 | Enriching hybrid logics with abstraction, consistency checking,and probabilities Michael Huth, Imperial College London (abstract) |
| Thu 9 June room 6.12, UCL |
14:00 | Real Time CTL and Model Checking Bozena Wozna, University College London (abstract) |
| Thu 10 Feb room 23D, Strand Building, KCL |
13:30 | Explicit Substitutions without Alpha-Conversion Maribel Fernandez, King's College London (abstract) |
| Wed 2 Feb room 426 Huxley, Imperial College |
13:30 | Application of Hybrid Logic to Intervals Altaf Hussain, Imperial College London (abstract) |
| Tue 11 Jan room 23D, Strand Building, KCL |
11:00 | From Logic of Proofs to Evidence-Based Logics of Knowledge Sergei Artemov and Elena Nogina, City University of New York (abstract) |
2004
| Thur 7 Oct room 23D, Strand Building, KCL |
15:45 | Canonical extensions and discrete duals of partially ordered algebras Mai Gehrke, New Mexico State University |
| Fri 9 July room 23D, Strand Building, KCL |
14:00 | Products of `transitive' modal logics with expanding domains David Gabelaia, King's College London |
| Fri 2 July room 23D, Strand Building, KCL |
14:00 | Products of `transitive' modal logics Agi Kurucz, King's College London |
| Wed 31 Mar room 229, Pearson Building, UCL |
13:30 | Some applications of random graphs in algebraic and modal logic Ian Hodkinson, Imperial College (slides) |
| 14:30 | Logical Foundation of Spacetime Hajnal Andréka and István Németi ,Alfréd Rényi Institute of Mathematics (abstract) |
|
| 16:00 | Logic, relativity theory, closed timelike curves ("time-travel") Hajnal Andréka and István Németi, Alfréd Rényi Institute of Mathematics (abstract) |
|
| 17:00 | Robin Hirsch, University College London (abstract) | |
| Thur 18 Mar room 23D, Strand Building, KCL |
15:00 | Modal logics of submaximal spaces David Gabelaia, King's College London |