The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Newton InstituteWeb SeminarsProgrammes & Workshops2006 > LAA

16 Jan - 7 Jul 2006

Logic and Algorithms

An Isaac Newton Institute Programme

Warning: Information on this page may be out of date.

For the full list of seminars given during this programme, see:
http://www.newton.ac.uk/programmes/LAA/seminars/


Workshops or other collections

3 - 7 Jul 2006: LAAw06 - Games and Verification
in association with the LAA programme
8 - 12 May 2006: LAAw05 - Constraints and Verification
in association with the LAA programme
10 - 13 Apr 2006: LAAw04 - New Directions in Proof Complexity
in association with the LAA programme
27 Feb - 3 Mar 2006: LAAw02 - Logic and Databases
in association with the LAA programme
9 - 13 Jan 2006: LAAw01 - Finite and Algorithmic Model Theory
in association with the LAA programme

Individual Presentations

22 Jun 2006: On the complexity of infinite computations
D. Niwinski
12 Jun 2006: Model theory on well-behaved finite structures
A. Dawar
8 Jun 2006: Choiceless polynomial time
D. Richerby
5 Jun 2006: Post's lattice with applications to complexity theory (Part III)
H. Vollmer
1 Jun 2006: Post's lattice with applications to complexity theory (Part II)
H. Vollmer
30 May 2006: Post's lattice with applications to complexity theory (Part I)
H. Vollmer
25 May 2006: A physical analysis of mechanical computability
S. Lindell
18 May 2006: Solving games without determinization
N. Piterman
17 May 2006: Model checking for probabilistic real-time systems
M. Kwiatkowska
16 May 2006: Don't care words with an application to the automata-based approach for real addition
F. Klaedtke
15 May 2006: Connecting logic and learning
E. Amir
5 May 2006: Confluent Markov chains
P. Abdulla
4 May 2006: Graph Decompositions and Applications IV
S. Kreutzer
3 May 2006: Observations on inverting the VMPC one-way function
K. Kulesza
2 May 2006: Graph Decompositions and Applications III
S. Kreutzer
27 Apr 2006: Graph Decompositions and Applications II
S. Kreutzer
26 Apr 2006: Complexity gaps for resolution-based proof systems
S. Dantchev
25 Apr 2006: Graph Decompositions and Applications I
S. Kreutzer
24 Apr 2006: On lower bounds in non-classical logics
P. Pudlak
21 Apr 2006: Team Logic
J. Vaananen
18 Apr 2006: O-minimal hybrid systems, bisimulation and control
T. Brihaye
7 Apr 2006: The semantics of modularity
W. Hodges
4 Apr 2006: Approximation Schemes for First-Order Definable Optimisation Problems
S. Kreutzer
30 Mar 2006: Verification and change-impact analysis of access-control policies
K. Fisler
27 Mar 2006: Fixed-parameter algorithms for propositional satisfiability and constraint satisfaction
S. Szeider
17 Mar 2006: Logic and Algorithms
M. Vardi
17 Mar 2006: Infinite state model checking in modal logic
V. Goranko
15 Mar 2006: Graph partitions
P. Hell
10 Mar 2006: Metarouting: An algebraic approach to defining routing protocols
T. Griffin
8 Mar 2006: On asymptotic classes of finite structures
C. Steinhorn
7 Mar 2006: Basic proof complexity I
J. Krajicek
6 Mar 2006: Constraint satisfaction problems and dualities
A. Krokhin
24 Feb 2006: Complete problems for higher order logics
L. Hella
23 Feb 2006: Beyond Hypertree Width: Decomposition methods without decompositions
V. Dalmau
22 Feb 2006: Syntactic vs. semantic approximations to logics that capture complexity classes
A. Arratia-Quesada
21 Feb 2006: Biological systems as reactive systems
L. Cardelli
16 Feb 2006: Game semantics and its algorithmic applications: Part V
L. Ong
14 Feb 2006: Game semantics and its algorithmic applications: Part IV
L. Ong
13 Feb 2006: Avoiding determinization
O. Kupferman
9 Feb 2006: Game semantics and its algorithmic applications: Part III
L. Ong
7 Feb 2006: Game semantics and its algorithmic applications: Part II
L. Ong
6 Feb 2006: Game semantics and its algorithmic applications: Part I
L. Ong
3 Feb 2006: Automatically proving the termination of C programs
B. Cook
31 Jan 2006: Tractable constraint languages arising from some algebras that generate congruence distributive varieties
M. Valeriote
24 Jan 2006: Epistemic logics for time and space bounded reasoning
N. Alechina
19 Jan 2006: On the selectivity of a semantic subsumption index
J. Marcinkowski

Newton InstituteWeb SeminarsProgrammes & Workshops2006 > LAA

Comments or suggestions? Send feedback!