researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Conference series
csl 2014: CSL 2014
in ,
Conference
Call for Papers
Program
About the Conference
Conference Dates
Proceedings
Thomas A. Henzinger
,
Dale Miller
, editors,
Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014
.
ACM,
2014.