| Mon, Nov 25, 2024 |
Laura Kovács |
Automating Game Reasoning in Blockchain Security |
| Thu, Oct 10, 2024 |
Jan von Plato (University of Helsinki) |
Jan von Plato: Two Gödelian Topics in Modal Logic |
| Fri, Oct 4, 2024 |
Georg Metcalfe (University of Bern) |
Substructural Logics with Minimally True Tautologies |
| Thu, Aug 29, 2024 |
Rajeev Gore (Monash University -- Melbourne, Australia) |
CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT |
| Tue, Aug 27, 2024 |
Guillermo Badia |
Logical Characterizations of Weighted Complexity Classes |
| Wed, Jun 5, 2024 |
David Pearce |
Logic, Accountability, and Design |
| Tue, May 28, 2024 |
Georg Gottlob |
Artificial Intelligence and Artificial Ignorance |
| Wed, Apr 17, 2024 |
Byron Cook |
Business of Proofs |
| Tue, Apr 16, 2024 |
Nick Bezhanishvili |
Degrees of the Finite Model Property for Superintuitionistic and Modal Logics |
| Tue, Mar 26, 2024 |
Reiner Hähnle |
Context-aware Trace Contracts |
| Wed, Mar 20, 2024 |
Valeria de Paiva |
Women in Logic Online - Network Mathematics |
| Wed, Feb 28, 2024 |
Emiliano Lorini |
A Rule-based Modal View of Causal Reasoning |
| Fri, Jan 12, 2024 |
Adnan Darwiche |
Beyond truth and falsehood: Logic as a Calculus of Events |
| Thu, Nov 16, 2023 |
Petra Mutzel (University of Bonn) |
Algorithmic Data Science on Graphs |
| Wed, Oct 18, 2023 |
Hans van Ditmarsch (CNRS, France) |
Distributed Knowledge Revisited |
| Tue, Jun 6, 2023 |
Carla P. Gomes and Bart Selman |
Exploring Connections: Wittgenstein, Gödel, and ChatGPT |
| Sat, Jan 14, 2023 |
Dov Gabbay |
Logic and argumentation for the 21st century |
| Thu, Nov 24, 2022 |
Dr. Ran Gelles |
Distributed Computations in Fully-Defective Networks |
| Wed, May 25, 2022 |
Hans van Ditmarsch |
Reasoning about Gossip |
| Tue, Apr 5, 2022 |
Manfred Scheucher (TU Berlin) |
A brief introduction to Combinatorial Geometry |
| Fri, Jan 14, 2022 |
Moshe Y. Vardi |
From Greek Paradoxes to Political Paradoxes |
| Wed, Oct 20, 2021 |
Lutz Strassburger |
Combinatorial Proofs and Decomposition Theorems for First-order Logic |
| Tue, Sep 21, 2021 |
Hans van Ditmarsch |
One Hundred Prisoners and a Light Bulb |
| Thu, Jul 22, 2021 |
Joscha Bach |
Cognitive AI: From AI models to mental representations? |
| Thu, Jan 14, 2021 |
Georg Gottlob |
Knowledge Processing, Logic, and the Future of AI |
| Tue, Jul 21, 2020 |
Cory Doctorow |
Working as Intended -- Surveillance Capitalism is not a Rogue Capitalism |
| Fri, Dec 13, 2019 |
Torsten Schaub |
Dynamic Answer Set Programming |
| Wed, Dec 4, 2019 |
Joost-Pieter Katoen |
Probabilistic Programming: Machine Learning for the Masses? |
| Thu, Nov 28, 2019 |
Ringo Baumann |
An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms |
| Wed, Nov 27, 2019 |
Dominique Larchey-Wendling |
Hilbert’s Tenth Problem in Coq |
| Wed, Nov 20, 2019 |
Tommaso Moraschini |
Profinite Heyting algebras and the representation problem for Esakia spaces |
| Mon, Nov 11, 2019 |
Prafullkumar Tale |
Lossy Kernels for Graph Contraction Problems |
| Wed, Nov 6, 2019 |
Davide Grossi |
Credulous Acceptability, Poison Games and Modal Logic |
| Wed, Oct 16, 2019 |
David Cerna |
A Mobile Application for Self-Guided Study of Formal Reasoning |
| Tue, Oct 1, 2019 |
Gerd Brewka |
Admissibility and Completeness Revisited |
| Mon, Sep 30, 2019 |
Dana Scott |
Free Logic: its Formalization and some Applications |
| Tue, Sep 24, 2019 |
Alexej Rotar |
The Satisfiability Problem for Fragments of PCTL |
| Tue, Sep 24, 2019 |
Martin Munoz |
Descriptive Complexity for Counting Complexity Classes |
| Wed, Sep 18, 2019 |
Yuri Gurevich |
LOGIC in computer science and software industry (and in mathematics, time permitting) |
| Mon, Sep 16, 2019 |
Tanja Schindler |
A DPLL(T) theory solver for quantified formulas |
| Tue, Aug 27, 2019 |
Joshua Blinkhorn |
Building Strategies into DQBF Proofs |
| Fri, Jul 26, 2019 |
John D. Barrow |
100 Years of Universes |
| Thu, Jul 25, 2019 |
Juliet Floyd |
In and Out of Mind: Wittgenstein and Gödel, Post and Turing |
| Thu, Jul 11, 2019 |
Alessio Gizzi |
Multiphysics modeling of nonlinear cardiac dynamics: Experiments, Theory and Simulations |
| Mon, Jul 8, 2019 |
Andrea Cali |
Querying Web Data: A Computational Perspective |
| Mon, Jul 8, 2019 |
Andreas Pieris |
Counting Database Repairs under Primary Keys Revisited |
| Mon, Jul 1, 2019 |
Peter Stuckey |
The Multi-Agent Path Finding Problem |
| Tue, Jun 25, 2019 |
Olivia Erdélyi |
Why Bother With Regulation and Ethics? We Just Develop the Technology... |
| Mon, Jun 24, 2019 |
Mateus de Oliveira Oliveira |
Some Width Measures for Proofs |
| Tue, Jun 18, 2019 |
Daniel Le Berre |
Recursive Explore and Check Abstraction Refinement (RECAR) |
| Mon, Jun 17, 2019 |
Anne Schreuder |
Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence |
| Fri, Jun 7, 2019 |
Arnaud Durand |
Introduction to dependence logic and team semantics |
| Thu, May 23, 2019 |
Colin Toal |
Developing software and ML models at IBM, Amazon and integrate.ai |
| Mon, May 20, 2019 |
David Basin |
Security Protocols: Model Checking Standards |
| Tue, Apr 9, 2019 |
Peter Eades |
How to Draw a Graph ... Revisited |
| Mon, Mar 25, 2019 |
Manuel Sorge |
Clustered, but when? From static to temporal graph algorithms |
| Tue, Mar 19, 2019 |
Dominik Peters |
Truthful Aggregation of Budget Proposals |
| Thu, Feb 7, 2019 |
Stefan Milius |
Eilenberg Theorems for Free |
| Mon, Jan 21, 2019 |
Francesco Scarcello |
Tree projection width and fixed-parameter tractable queries |
| Tue, Jan 15, 2019 |
Fabrizio Montecchiani |
Advances on 1-planar graphs |
| Mon, Jan 7, 2019 |
Marijn Heule |
Massively Parallel Solving of Math Problems |
| Wed, Dec 12, 2018 |
Sanjay Modgil |
Logic, Argument and Dialectic |
| Fri, Nov 23, 2018 |
Sebastian Rudolph |
The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics |
| Fri, Nov 23, 2018 |
Fredrik Heintz |
Reasoning and Learning over Streams for Safe Autonomous Systems |
| Thu, Nov 22, 2018 |
Luca Cardelli |
Programming with Chemical Reactions |
| Wed, Nov 21, 2018 |
Alice Miller |
Probabilistic model checking for UAV strategy generation |
| Mon, Nov 19, 2018 |
Vladimir Lifschitz |
How We Studied the Input Language of gringo |
| Thu, Nov 8, 2018 |
Moshe Vardi |
How the Hippies Destroyed the Internet |
| Mon, Nov 5, 2018 |
Martin Grohe |
The Graph Isomorphism Problem |
| Wed, Oct 31, 2018 |
Dale Miller |
Separating Functional Computation from Relations |
| Thu, Oct 25, 2018 |
Marcello D'Agostino |
An informational view of classical logic |
| Fri, Oct 5, 2018 |
Tomi Janhunen |
Writing Declarative Specifications for Clauses |
| Wed, Sep 26, 2018 |
Rajeev Gore |
Interactive Synthesis of Verified Vote-counting Programs |
| Thu, Sep 20, 2018 |
Toby Walsh |
Living with Artificial Intelligence – How to stay Human |
| Wed, Jul 25, 2018 |
Iyad Kanj |
How to navigate through obstacles? |
| Tue, Jul 24, 2018 |
Markus Endres |
Preference-Aware Database Systems |
| Thu, Jul 19, 2018 |
Steven Chaplick |
Approximation Schemes for Geometric Coverage Problems |
| Tue, Jun 26, 2018 |
Torsten Schaub |
ASP in Time |
| Fri, Jun 22, 2018 |
Ramchandra Phawade |
Combining free choice and time in Petri nets |
| Tue, May 29, 2018 |
Ronald de Haan |
Using Knowledge Compilation in Social Choice |
| Tue, May 29, 2018 |
Martin Josef Geige |
Solving large-scale, mid-term planning problems under multiple objectives – A contribution to VeRoLog 2017 optimization competition |
| Wed, May 23, 2018 |
Gyula O.H. Katona |
Cryptology, Isoperimetric Problems and Shadows |
| Thu, May 3, 2018 |
Christian Klamler |
Using Borda Scores for Ranking Sets of Objects |
| Wed, Apr 18, 2018 |
Daniel Paulusma |
Colouring Square-Free Graphs without Long Induced Paths |
| Mon, Apr 9, 2018 |
Henning Fernau |
Self-monitoring approximation algorithms |
| Tue, Feb 27, 2018 |
Benjamin Niedermann |
On Ortho-Radial Drawings for Metro Networks |
| Wed, Feb 14, 2018 |
Jorge Fandinno |
Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports |
| Tue, Dec 19, 2017 |
Eunjung Kim |
Erdos-Posa Property of Chordless Cycles and its Applications |
| Wed, Dec 13, 2017 |
Przemysław Andrzej Wałęga |
Horn fragments of Halpern-Shoham logic: complexity vs expressiveness |
| Wed, Nov 22, 2017 |
Maarten Löffler |
Pleaching Pencil-&-Paper Picture Puzzles |
| Mon, Nov 20, 2017 |
Sasha Rubin |
Mini course: Milestones in solving games on graphs |
| Mon, Nov 13, 2017 |
Mohammad Farshi |
(Weakly) Self-approaching graphs |
| Mon, Nov 13, 2017 |
Piotr Skowron |
Approximating Optimal Social Choice under Metric Preferences |
| Mon, Oct 30, 2017 |
Tamara Mchedlidze |
Application of the point-line duality principle in graph drawing |
| Fri, Oct 20, 2017 |
Francesco Scarcello |
Dealing with the Shapley Value: islands of tractability and useful tools |
| Fri, Oct 20, 2017 |
Gerhard Woeginger |
Buffers, Buckets, and Overflows |
| Wed, Oct 11, 2017 |
Roman Prutkin |
Graph Embeddings Motivated by Greedy Routing |
| Fri, Sep 29, 2017 |
Emilia Oikarinen |
Minimum-Width Confidence Bands via Constraint Optimization |
| Fri, Sep 29, 2017 |
Matti Järvisalo |
The Implicit Hitting Set Approach and Preprocessing for Maximum Satisfiability Solving |
| Wed, Aug 23, 2017 |
Iyad Kanj |
The complexity of tree partitioning |
| Wed, May 31, 2017 |
Odile Papini |
Prioritized Assertional-Based Removed Sets Revision of DL-Lite Belief Bases |
| Wed, Mar 22, 2017 |
Vladislav Ryzhikov and Michael Zakharyaschev |
Horn fragments of temporal logics and ontology-based access to temporal data |
| Mon, Mar 6, 2017 |
Danny Hermelin |
Fractals for Kernelization Lower Bounds |
| Thu, Feb 23, 2017 |
Ondřej Kunčar |
CoCon: A Non-Leaking Conference System |
| Tue, Feb 21, 2017 |
Filippo Bonchi |
Full Abstraction for Signal Flow Graphs |
| Tue, Dec 6, 2016 |
Rupak Majumdar |
[Software Testing] Hitting families of schedules |
| Mon, Nov 7, 2016 |
Victor Dalmau |
Approximation of MIN CSP |
| Thu, Oct 27, 2016 |
Johannes Kinder |
High System-Code Security with Low Overhead |
| Mon, Oct 24, 2016 |
Tomáš Vojnar |
Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems |
| Thu, Oct 20, 2016 |
Evgenij Thorstensen |
Self join elimination and new notions of query containment |
| Tue, Sep 20, 2016 |
Jörg Rothe |
Economics and Computation: Five Challenges in Algorithmic Game Theory, Computational Social Choice, and Fair Division |
| Thu, Jun 30, 2016 |
Martin Schäf |
Classifying Bugs with Interpolants |
| Thu, Jun 23, 2016 |
Igor Razgon |
Lower bounds for branching programs of bounded repetition computing CNFs of bounded treewidth: an overview |
| Tue, May 31, 2016 |
Leslie Lamport |
A Mathematical View of Computer Systems – Q&A |
| Thu, May 12, 2016 |
Idit Keidar |
Transactional Data Structure Libraries |
| Thu, Apr 28, 2016 |
Tom van Dijk |
Workers in forests: developments in parallel decision diagrams |
| Tue, Apr 12, 2016 |
Joseph Sifakis |
Rigorous System Design in BIP |
| Mon, Mar 14, 2016 |
O-Joung Kwon |
Deletion problems regarding graphs of bounded rank-width |
| Tue, Mar 8, 2016 |
Cliff B. Jones |
Reasoning about Interference (or Lack Thereof) |
| Thu, Mar 3, 2016 |
Evgenia Ternovska |
An Algebra of Modular Systems |
| Tue, Feb 23, 2016 |
Johannes Hölzl |
Markov chains and Markov decision processes in Isabelle/HOL |
| Thu, Feb 18, 2016 |
Pierre Bourhis |
A Formal Study of Collaborative Access Control in Distributed Datalog |
| Tue, Feb 16, 2016 |
Keren Censor-Hillel |
Distributed Algorithms as Combinatorial Structures |
| Mon, Feb 8, 2016 |
Maria Gorinova |
Termination proving |
| Tue, Jan 12, 2016 |
Martin Suda |
Resolution-based Methods for Linear Temporal Reasoning |
| Thu, Dec 10, 2015 |
Sayan Mitra |
Automating invariant and progress proofs for distributed systems |
| Mon, Oct 12, 2015 |
Bertrand Meyer |
A Theory of Programs |
| Tue, Oct 6, 2015 |
Miroslav Truszczynski |
Abstract Perspectives on Modularity in Knowledge Representation |
| Tue, Sep 22, 2015 |
Piero Bonatti |
DL^N: a utilitarian nonmonotonic description logic |
| Fri, Aug 14, 2015 |
Alexey Ignatiev |
Efficient Model Based Diagnosis with Maximum Satisfiability |
| Fri, Aug 14, 2015 |
Caterina Urban |
Abstract Interpretation as Automated Deduction |
| Tue, Aug 4, 2015 |
Sarah Kirchner |
Appointment scheduling in hospitals - sequencing and scheduling using time aggregation |
| Tue, Aug 4, 2015 |
Stephan Holzer |
New Algorithms and Lower Bounds in Distributed Computing |
| Wed, Jul 8, 2015 |
Peter Stadler |
Dynamic Programming for Lazy Bastards |
| Tue, Jul 7, 2015 |
Alexandru Popa |
Algorithmic and Hardness Results for the Colorful Components Problems |
| Thu, Jul 2, 2015 |
Paolo Papotti |
Beyond declarative data cleaning |
| Mon, Jun 29, 2015 |
Dana S. Scott |
Can Modalities Save Naive Set Theory? |
| Wed, Jun 24, 2015 |
Wolfgang Gatterbauer |
The Linearization of Pairwise Markov Random Fields |
| Wed, Jun 10, 2015 |
Tomas Vojnar |
From Pointers to List Containers |
| Thu, May 21, 2015 |
András Vörös |
Saturation-based incremental LTL model checking with inductive proofs |
| Mon, May 18, 2015 |
Wolfgang Dvorak |
Welfare Maximization with Friends-of-Friends Network Externalities |
| Wed, May 6, 2015 |
Hubie Chen |
The Logic of Counting Query Answers: A Study via Existential Positive Queries |
| Thu, Apr 30, 2015 |
Yoram Moses |
Principles of Coordination in Multi-agent Systems |
| Tue, Apr 28, 2015 |
Neng-Fa Zhou |
The Picat Language and System |
| Mon, Apr 27, 2015 |
Andrej Bauer |
An Introduction to Algebraic Effects and Handlers |
| Fri, Apr 24, 2015 |
James Anderson |
Graph Decomposition for Large-Scale Dynamical System Analysis |
| Tue, Mar 24, 2015 |
Hannes Strass |
Abstract Argumentation and Approximation Fixpoint Theory |
| Thu, Feb 19, 2015 |
Roopsha Samanta |
Succinct Representation of Concurrent Trace Sets |
| Wed, Feb 18, 2015 |
Iyad Kanj |
On Bounded-Degree Plane Geometric Spanners |
| Tue, Jan 27, 2015 |
Helmut Seidl |
Parametric Strategy Iteration |
| Thu, Dec 18, 2014 |
Gordon Cichon |
Formal Semantics of Synchronous Transfer Architecture |
| Thu, Dec 4, 2014 |
Christian Scheideler |
Towards a rigorous base for the design of P2P systems |
| Thu, Nov 27, 2014 |
Pavithra Prabhakar |
Algorithmic Verification of Stability of Hybrid Systems |
| Thu, Nov 27, 2014 |
Lenore D. Zuck |
Parameterized Verification: Theory and Practice |
| Mon, Nov 24, 2014 |
Vinay K. Chaudhri |
An Architecture for Intelligence Using Prototypes, Composition and Analogy |
| Thu, Nov 20, 2014 |
Nathan Wasser |
Abstraction On-Demand: Automatically Generating Invariants for Loops and Recursive Method Calls |
| Mon, Oct 27, 2014 |
Marco Maratea |
Multi-Engine Answer Set Programming |
| Thu, Oct 9, 2014 |
Johann A. Makowsky |
Sets and Logic for CS: How to teach what is useful |
| Wed, Oct 8, 2014 |
Stefan Mengel |
Understanding model counting for beta-acyclic CNF-formulas |
| Tue, Sep 30, 2014 |
Ringo Baumann |
Context-free and Context-sensitive Kernels: Update and Deletion Equivalence in Abstract Argumentation |
| Tue, Sep 30, 2014 |
M. S. Ramanujan |
Solving d-SAT via backdoors to small treewidth |
| Mon, Jul 28, 2014 |
EunJung Kim |
A parameterized algorithm for tree-cut width. |
| Mon, Jul 14, 2014 |
Jeff Z. Pan |
Approximate Reasoning for Description Logics based Ontologies |
| Thu, Jul 10, 2014 |
Sebastian Ordyniak |
A more general approach for Backdoor Sets into SAT and CSP |
| Tue, Jul 8, 2014 |
|
A linear-time algorithm for the orbit problem over cyclic groups |
| Thu, Jun 12, 2014 |
Gábor Erdélyi |
Algorithms and Elections |
| Wed, Jun 4, 2014 |
Massimiliano Giacomin |
An input/output characterization of abstract argumentation frameworks and semantics |
| Thu, May 8, 2014 |
Jakob Lechner |
Mitigation of Transient Faults and Timing Variations in GALS Circuits |
| Tue, Mar 25, 2014 |
Son Cao Tran |
Combining ASP and Prolog |
| Mon, Mar 3, 2014 |
M. S. Ramanujan |
Parameterized Algorithms to Preserve Connectivity |
| Thu, Jan 9, 2014 |
Franz Wotawa |
Test automation – How far shall we go? |
| Wed, Jan 8, 2014 |
Matthias Mnich |
A Complexity Dichotomy for the Steiner Multicut Problem |
| Tue, Dec 17, 2013 |
Adam Rogalewicz |
The Tree Width of Separation Logic with Recursive Definitions |
| Fri, Dec 6, 2013 |
|
Explicit State Model Checking with DIVINE |
| Thu, Dec 5, 2013 |
Mira Mezini |
From Active to Reactive Objects |
| Wed, Nov 27, 2013 |
George Metcalfe |
Proof Theory for Lattice-Ordered Groups |
| Wed, Nov 20, 2013 |
Esko Turunen |
Pavelka style fuzzy logic over Chang's MV-algebra |
| Thu, Nov 14, 2013 |
Alfons Laarman |
Multi-Core Model Checking |
| Mon, Nov 11, 2013 |
Pedro Calabar |
Setting the stage for ASP functions |
| Thu, Nov 7, 2013 |
Aniello Murano |
Enriched Modal Logics |
| Mon, Oct 21, 2013 |
Meghyn Bienvenu |
Inconsistency-tolerant semantics for ontology-based data access |
| Fri, Sep 27, 2013 |
Chao Wang |
Symbolic Predictive Analysis for Improving the Reliability and Security of Concurrent Software |
| Wed, Sep 18, 2013 |
Sicun Gao |
Delta-Decisions over the Reals |
| Fri, Sep 6, 2013 |
Kewen Wang |
Phase Transition in Answer Set Programming |
| Thu, Aug 29, 2013 |
Christoph Haase |
Graph-Based Approaches to Reasoning in Separation Logic |
| Wed, Aug 21, 2013 |
Iyad Kanj |
On the Ordered List Subgraph Embedding Problems |
| Wed, Aug 14, 2013 |
Borzoo Bonakdarpou |
Automated synthesis of Fault-tolerant Distributed Algorithms |
| Wed, Jun 26, 2013 |
Johann A. Makowsky |
Characterizing word functions recognized by weighted automata |
| Fri, Jun 14, 2013 |
Joel Ouaknine |
A Survey of Classical and Real-Time Verification |
| Tue, Jun 4, 2013 |
Christoph Weidenbach |
The Design of Automated Reasoning Systems |
| Thu, May 23, 2013 |
Alexey Gotsman |
Abstraction for Weakly Consistent Systems |
| Thu, May 23, 2013 |
Doron Peled |
Concurrent Software Synthesis: Old Challenge - New Ideas |
| Thu, May 16, 2013 |
Donald Knuth |
All questions answered |
| Mon, Apr 22, 2013 |
Hubie Chen |
Meditations on Quantified Constraint Satisfaction |
| Thu, Apr 18, 2013 |
Peter Robinson |
Sublinear Bounds for Randomized Leader Election |
| Mon, Apr 15, 2013 |
Andre Platzer |
How to Prove Your Robot Safe |
| Thu, Apr 11, 2013 |
Wilfried Steiner |
Model-Checking Fault-Tolerant Clock Synchronization Protocols |
| Thu, Mar 28, 2013 |
Torsten Schaub |
Potassco, the Potsdam Answer Set Solving Collection. |
| Thu, Mar 7, 2013 |
Reiner Hähnle |
Abstract Symbolic Execution |
| Tue, Mar 5, 2013 |
Pietro Baroni |
Abstract argumentation semantics: from limits to perspectives |
| Mon, Feb 25, 2013 |
EunJung Kim |
Linear kernels and single-exponential algorithms via protrusion decompositions |
| Mon, Feb 25, 2013 |
Loris Bozzato |
CKR: a general framework for context in Semantic Web |
| Thu, Feb 21, 2013 |
Diego Calvanese |
Verification of Relational Data-Centric Dynamic Systems with External Services |
| Thu, Jan 31, 2013 |
Javier Esparza |
Parameterized Verification of Asynchronous Shared-Memory Systems |
| Wed, Jan 30, 2013 |
Samanta Roopsha |
Robustness Analysis of Networked Systems |
| Thu, Jan 17, 2013 |
Alexander Pretschner |
Model-Based Security Testing: From Models to the Real World |
| Thu, Dec 13, 2012 |
Andrey Rybalchenko |
Program verification as constraint solving (also for existential and universal CTL properties) |
| Thu, Nov 29, 2012 |
Tomer Kotek |
Applications of logic in graph theory: definability of graph invariants |
| Tue, Nov 20, 2012 |
Madalina Erascu |
Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms |
| Thu, Nov 15, 2012 |
Miroslaw Truszczynski |
Connecting first-order ASP and the logic FO(ID) through reducts |
| Thu, Jan 1, 1970 |
Christoph Lenzen |
Fast Routing Table Construction Using Small Messages |
| Mon, Nov 5, 2012 |
James Delgrande |
Revising Horn Theories |
| Mon, Oct 22, 2012 |
Andreas Griesmayer |
Model checking Business Processes with Multi-Agent Systems |
| Tue, Oct 16, 2012 |
Leonid Libkin |
Graph Logics and Relations on Words |
| Tue, Oct 2, 2012 |
Robert Ganian |
Generalizing vertex cover as a graph parameter |
| Tue, Sep 4, 2012 |
Xavier Rival |
MemCAD, a Modular Abstract Domain for Reasoning on Memory States |
| Tue, Aug 28, 2012 |
|
Workshop on Logic and Algebra |
| Mon, Aug 13, 2012 |
Florent Madelaine |
On the complexity of the model checking problem for syntactic fragments of first-order logic |
| Mon, Jun 25, 2012 |
Iyad Kanj |
What makes normalized weighted satisfiability tractable |
| Fri, Jun 22, 2012 |
Ruslan L. Smeliansky |
Computer Systems Laboratory – Skills, Experience, Main Research Directions |
| Wed, Jun 20, 2012 |
Werner Dietl |
Verification Games: Making Verification Fun |
| Thu, Jun 14, 2012 |
Ana Sokolova |
Quantitative Relaxation of Concurrent Data Structure |
| Wed, Jun 6, 2012 |
Stefan Szeider |
Mini-Workshop on Logic, Proofs and Algorithms |
| Fri, Jun 1, 2012 |
Vladimir Zakharov |
Automata-theoretic approach to the equivalence checking problem for sequential programs |
| Thu, May 31, 2012 |
Vladimir Zakharov |
Equivalence Checking Problem: 1953 - 2011 (survey) |
| Wed, May 30, 2012 |
Nikolaj Bjorner |
Taking Satisfiability to the Next Level with Z3 |
| Wed, May 30, 2012 |
Justyna Petke |
On the bridge between Constraint Satisfaction and Boolean Satisfiability |
| Fri, May 25, 2012 |
Byron Cook |
A New Approach to Temporal Property Verification |
| Mon, May 21, 2012 |
Neeldhara Misra |
From FVS to F-deletion: the Story of a Simple Algorithm |
| Mon, May 7, 2012 |
Hubie Chen |
Decomposing First-Order Logic |
| Fri, May 4, 2012 |
|
Concepts and Meaning -- Workshop in honour of Alexander Leitsch's 60th Birthday |
| Thu, Apr 26, 2012 |
Christoph Lenzen |
Improved Bounds for Byzantine Self-stabilizing Clock Synchronization |
| Tue, Apr 24, 2012 |
Meghyn Bienvenu |
On the compexity of querying data through ontologies |
| Fri, Apr 13, 2012 |
|
TUTORIAL: Social Choice - problems, results, tools and recent extensions |
| Wed, Mar 28, 2012 |
Giorgio Levi |
Abstract interpretation: from theory to applications |
| Fri, Mar 23, 2012 |
Simone Bova |
Expression Complexity of Conjunctive Queries |
| Thu, Mar 15, 2012 |
Jasmin Fisher |
From Coding the Genome to Algorithms Decoding Life |
| Mon, Mar 12, 2012 |
Johannes Fürnkranz |
Course on Inductive Rule Learning |
| Thu, Mar 8, 2012 |
Ana Sokolova |
Course on Coalgebra in Computer Science |
| Thu, Mar 8, 2012 |
Laura Kovacs |
Playing in the Grey Area of Proofs |
| Tue, Feb 21, 2012 |
Daniel Paulusma |
Lift Contractions |
| Mon, Feb 13, 2012 |
Olga Tveretina |
Relative Efficiency of Propositional Proof Systems Based on Resolution and OBDDs |
| Wed, Jan 25, 2012 |
Edmund M. Clarke |
30 Years of Model Checking |
| Wed, Jan 25, 2012 |
Joao Marques-Silva |
Practical Algorithms for Minimal Unsatisfiable Core Extraction |
| Wed, Jan 25, 2012 |
Georg Weissenbacher |
Battling Bugs with Interpolants |
| Wed, Jan 25, 2012 |
Fedor V. Fomin |
Kernelization Algorithms |
| Wed, Jan 25, 2012 |
Thomas A. Henzinger |
Formal Specification and Verification of Markovian Population Models |
| Tue, Jan 10, 2012 |
Moritz Müller |
On lower bounds for Res(k) |
| Sun, Sep 4, 2011 |
Michael R. Fellows |
Kernelization and the Larger Picture of Practical Algorithmics, in Contemporary Context |
| Sat, Sep 3, 2011 |
Daniel Lokshtanov |
Generalization and Specialization of Kernelization |
| Sat, Sep 3, 2011 |
Bart Jansen |
Kernelization for a Hierarchy of Structural Parameters |
| Sat, Sep 3, 2011 |
Sourav Chakraborty |
Property Testing: Sublinear Algorithms for Promise Problems |
| Fri, Sep 2, 2011 |
Anders Yeo |
Simultaneously Satisfying Linear Equations Over F_2: Parameterized Above Average |
| Fri, Sep 2, 2011 |
Pierre Marquis |
A Few Words about Knowledge Compilation |
| Fri, Sep 2, 2011 |
Armin Biere |
Preprocessing and Inprocessing Techniques in SAT |
| Fri, Sep 2, 2011 |
Fedor V. Fomin |
Protrusions in graphs and their applications |
