[TYPES/announce] NWPT 2014: Call for Participation (Reg. Deadline: October 15)

[M.R. Mousavi]

***************************************************************************

Call for Participation

The 26th Nordic Workshop on Programming Theory, NWPT '14

29-31 October 2014 - Halmstad University, Sweden

Registration Deadline: 15 October 2014

http://ceres.hh.se/mediawiki/index.php/NWPT_2014


***************************************************************************

=Introduction=

The NWPT series of annual workshops is a forum bringing together
programming theorists from the Nordic and Baltic countries (but also
elsewhere).

=Invited Talks=

* Holger Hermanns, Saarland University, Germany,
Concurrent Programming Education in the Post-Java Era

* Anna Ingolfsdottir, Reykjavik University, Iceland,
Graphical versus Logical Specifications

* Catuscia Palamidessi, INRIA Saclay and École Polytechnique, France,
New Advances in Quantitative Information Flow


=Contributed Talks=

R. Pardo and G. Schneider. Privacy-Preserving Social Networks

B. Alkhawaldeh. Modelling and Verification of RBC Handover Using CSP

D. Plump. From Imperative to Rule-based Graph Programs

G. Caltais and B. Meyer. Coffman deadlocks in SCOOP

J. J. Camilleri and G. Schneider. On the formal analysis of normative texts

F. Rabbi, Y. Lamo, I. Yu and L. Kristensen. Towards a Diagrammatic
Rewriting System for Model Completion

P. Bahr, J. Berthold and M. Elsman. Towards Certified Management of
Financial Contracts

J. M. Chimento, W. Ahrendt, G. Schneider and G. Pace. StaRVOOrS: A
Framework for Unified Static and Runtime Verification of Object-Oriented
Software

H. Yin, R. Inam, Reinder Bril and Mikael Sjödin. Formalization and
verification of mode changes in hierarchical scheduling

V. Stolz. Safer Refactorings

M. Parsa, C. Snook, M. Olszewska and M. Walden. Parallel development of
Event-B systems with agile methods

M. Taimoor Khan, D. Serpanos and H. Shrobe. On the Behavioral Formalization
of the Cognitive Middleware AWDRAT

W. Taha, K. Atkinson, P. Brauner, R. Cartwright, A. Chapoutot, A. Duracz,
J. Duracz and Y. Zeng. The Acumen Language

S. Savas and E. Gebrewahid. Development of Architecture and Software Tools
for High Performance Embedded Computing

M. Varshosaz and H. Beohar. Delta-Oriented Testing for Finite State Machines

M. Mohaqeqi, M. R. Mousavi and W. Taha. Conformance Testing of
Cyber-Physical Systems: A Comparative Study

C. Bach Poulsen and P. D. Mosses. Divergence as State in Coinductive
Big-Step Semantics

H. Beohar. Towards a Precongruence Format for Input-Output Conformance
Abeer Al-Humaimeedy and Maribel Fernandez. Introducing Mobility into CSP

T. Uustalu. How to contain monads?

J. Chapman and A. Abel. Normalization by Evaluation in the Delay Monad: An
Extended Case Study for Coinduction via Copatterns and Sized Types


=Venue=

The workshop will be held on the campus of Halmstad University  in
Halmstad, Sweden.  Halmstad is a popular holiday destination located on the
Swedish west coast.

Direct trains services are available between Halmstad and Göteborg (ca. 75
minutes), and
between Halmstad and the Malmö-Copenhagen area (incl. Copenhagen Kastrup
Airport, in about 2 hours)
There are also direct daily flights between Halmstad and Stockholm.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20141002/676d9115/attachment.html>