ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
In the summer of 2014, Vienna hosted the largest event in the history of logic. The Vienna Summer of Logic (VSL) consists of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world. The VSL conferences and workshops deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence, which are reflected in the event's organization in three streams. The International Workshop on Proof, Structure and Computation (PSC) is a CSL-LICS affiliated workshop on the extraction of computational content from proofs. The focus is on computational aspects of proofs and the specification of the structures involved.