Personal tools

You are here: Home → Events → LFCS Seminars-Folder → LFCS Seminar: Julian Gutierrez

LFCS Seminar: Julian Gutierrez

— filed under: LFCS Seminar

Determinacy for concurrent games on event structures

What	LFCS Seminar
When	Mar 12, 2013 from 10:00 AM to 11:00 AM
Where	IF 2.33
Contact Name	jcheney@inf.ed.ac.uk
Add event to calendar	vCal iCal

In this talk I will give an introduction to concurrent games on event structures and present some results regarding the determinacy problem (the existence of winning strategies) for certain classes of games. Such results rely on the games satisfying two (necessary and sufficient) structural conditions: race-freedom and bounded-concurrency.

Joint work with Glynn Winskel.

Document Actions

Upcoming Events: Milner Lecture 2018: Swift Logic for Big Data and Knowledge Graphs Lecture Theatre G.03, 50 George Square,
Jun 27, 2018; LFCS seminar: Georg Gottlob: General and Fractional Hypertree Decompositions: Hard and Easy Cases 7 George Square, room F.21,
Jun 28, 2018; LFCS seminar: Mitchell Wand IF 4.31/4.33,
Jul 18, 2018; LFCS seminar: Ronald Garcia IF 4.31/4.33,
Jul 31, 2018; LFCS seminar: Guillem Perarnau IF 4.31/4.33,
Sep 25, 2018; Previous events…; Upcoming events…

News: Congratulations to Ricardo Almeida on successfully passing his VIVA Aug 08, 2017; Congratulations to Perdita Stevens who has received a prestigious award (10-year most influential paper, from the MODELS conference) Mar 06, 2017; Congratulations to Cheng Feng on successfully passing his VIVA Nov 14, 2016; Multiple open permanent faculty positions in Algorithms and Complexity at the University of Edinburgh, School of Informatics Nov 14, 2016; Congratulations to Anastasis Georgoulas who successfully passed his VIVA Sep 13, 2016; More news…