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

9th Workshop Computational Logic and Applications - CLA 2016

Novi Sad, 26-27 May 2016


It is our pleasure to announce that the ninth workshop Computational Logic and Applications (CLA 2016) will be held on 26-27 May 2016 in Novi Sad, Serbia, as a satellite event of 22nd International Conference on Types for Proofs and Programs TYPES 2016.

 

 

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