Skip to primary content

PLanCompS

Programming Language Components and Specifications

Main menu

  • Home
  • Background
  • People
  • Publications
  • Semantic descriptions library

Post navigation

← Previous Next →

PLanCompS at ETAPS

Posted on March 17, 2013 by jreddington

This week, Martin and Peter will be at ETAPS, Rome. Martin will be presenting their paper Modular Bisimulation Theory for Computations and Values as part of FoSSaCS, tomorrow at 4pm.

Update: the slides are now available.

This entry was posted in Uncategorized by jreddington. Bookmark the permalink.
Proudly powered by WordPress