DocumentCode
3112232
Title
22nd Annual IEEE Symposium on Logic in Computer Science-Title
fYear
2007
fDate
10-14 July 2007
Abstract
The following topics are dealt with: type theory; computational proof theory; timed and stochastic systems; verification; constraints; proof complexity; semantics of programming languages; game semantics; linear logic; topology and computable mathematics.
Keywords
formal logic; formal verification; programming language semantics; stochastic systems; theorem proving; type theory; computable mathematics; computational proof theory; constraints; game semantics; linear logic; programming languages semantics; proof complexity; stochastic systems; topology; type theory; verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 2007. LICS 2007. 22nd Annual IEEE Symposium on
Conference_Location
Wroclaw
ISSN
1043-6871
Print_ISBN
0-7695-2908-9
Type
conf
DOI
10.1109/LICS.2007.2
Filename
4276540
Link To Document