BX 2012
Call for Papers
Important Dates
Program Committee
Submission
BX 2012 Program
Invited Talks
Accepted Papers
Schedule
Adjacent Meetings
ESOP 2012
FASE 2012
GT-VMT 2012
VSSE 2012
LDTA 2012
FESCA 2012
... and others
Local Information
Venue
Registration & Accommodation
History
Previous Meetings
Searched:
Special *Feature[^A-Za-z]
Results from BX12 web
TentativeSchedule
JanisVoigtlaender
09 Dec 2009 - 08:55
- r1.3
The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...
WebNews
JanisVoigtlaender
11 Sep 2011 - 18:09
- r1.31
++ Follow on Twitter 2011-07-31 Program Committee formed. 2011-04-25 Workshop date fixed. 2011-03-11 BX accepted as ETAPS 2012 workshop. STOPINCLUDE
Number of topics:
2