Sidebar

Login Form

  • Forgot your username?
  • Forgot your password?
TYPES2016
  • Conference
    • About Conference
    • Call for contributions
    • Call for papers
    • Programme Committee
    • Organisation
    • TYPES 2016 Poster
    • Sponsors
  • Workshop
  • Registration
  • Programme
    • Accepted papers
    • Conference programme
  • Venue
  • Practical
    • Accomodation
    • Travel
    • Local information
  • Gallery
  • Contact

22nd International Conference on Types for Proofs and Programs, TYPES 2016

 

Novi Sad, Serbia, 23-26 May 2016

 

Sample image

Programme

 

Accepted papers

Conference programme

 

 

types2016@uns.ac.rs
Author: Tatjana Zubić, Tatjana Tošić