Pedro Calabar
Setting the stage for ASP functions; November 11, 2013
Katarina Singer
Aniello Murano
Enriched Modal Logics; November 7th, 17:00
Meghyn Bienvenu
Inconsistency-tolerant semantics for ontology-based data access; October 21st, 14:00h
Pre-doc position in theoretical computer science
Application deadline: October 31st;
PhD thesis in the area of constraint satisfaction problems
Sicun Gao
Delta-Decisions over the Reals - September 18th, 2013; 14:00
Iyad Kanj
New VCLA calendar feature
Subscribe to the VCLA calendar feed
Borzoo Bonakdarpou
Automated synthesis of Fault-tolerant Distributed Algorithms
August 14, 2013
Post-doc position in Applied Logic (1 year)
Application deadline: September 30, 2013
Start of position: November 2013 or later
Johann A. Makowsky
Characterizing word functions recognized by weighted automata; June 26th, 16:00