30th Nordic Workshop on Programming Theory

The Department of Informatics organizes and hosts the  30th Nordic Workshop on Programming Theory (NWPT'18), 24-26 October 2018. Submission deadline 1.September,.

 

See the conference's  webpage http://nwpt2018.ifi.uio.no/ for further information

 

 

 

Tags: NWPT, programming language theory, semantics, formal methods, program analysis, programming logics, Conference, Conferences.security, language-based security, formal specification, real-time systems, program transformation, refinement, models of concurrency, language design By Martin Steffen
Published June 1, 2018 3:49 PM - Last modified June 1, 2018 3:57 PM
E-mail this page