Viðburðir eftir árum


27th Nordic Workshop on Programming Theory (NWPT 2015)

  • 21.10.2015 - 23.10.2015


27th Nordic Workshop on Programming Theory, NWPT 2015 21-23 October 2015, Reykjavik University, Iceland

Organized by the Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS)

Programme for the workshop

The programme for the workshop is available here

Event description

The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). The 27th edition of the Nordic Workshop on Programming Theory will be hosted by the School of Computer Science at Reykjavik University and Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS) The workshop will take place on the premises of Reykjavik University.

Invited speakers

Scope

Topics of interest include (but are not limited to)

  • semantics of programming languages
  • programming language design and programming methodology
  • programming logics
  • formal specification of programs
  • program verification
  • program construction
  • tools for program verification and construction
  • program transformation and refinement
  • real-time and hybrid systems
  • models of concurrency and distributed computing
  • language-based security.

ICE-TCS-logo-200px



Vinsamlegast athugið að á viðburðum Háskólans í Reykjavík (HR) eru teknar ljósmyndir og myndbönd sem notuð eru í markaðsstarfi HR. Hægt er að nálgast frekari upplýsingar á ru.is eða með því að senda tölvupóst á netfangið: personuvernd@ru.is
//
Please note that at events hosted at Reykjavik University (RU), photographs and videos are taken which might be used for RU marketing purposes. Read more about this on our ru.is or send an e-mail: personuvernd@ru.is