NWPT 2014 - Revision history

Ceres at 07:37, 29 October 2014

2014-10-29T07:37:27Z

2014-10-29T07:36:43Z

2014-10-29T05:57:19Z

2014-10-29T05:23:44Z

2014-10-28T15:28:09Z

2014-10-28T15:11:09Z

2014-10-27T21:41:43Z

2014-10-26T20:30:46Z

2014-10-26T20:30:15Z

2014-10-24T20:17:08Z

@@ Line 251: / Line 251: @@
 Directions for getting to campus can be found at [http://www.hh.se/english/abouttheuniversity/visitus.307_en.html http://www.hh.se/english/abouttheuniversity/visitus.307_en.html]
 The campus map can be found [http://www.hh.se/download/18.a1aee661454347d5b4426a5/1399619424979/Campuskarta+A5+ENG-MAJ+2014.pdf here]. The workshop will be located at the Wigforss lecture hall, which is located at the ground floor of the J building (Visionen). Coffee breaks will be held at the ground floor of the same building.
 ==Directions to Halmstad==
 Trains take you directly to Göteborg in 75 minutes, to the Malmö-Copenhagen area in about 2 hours and to Stockholm in 4.5 hours.

← Older revision		Revision as of 07:36, 29 October 2014
Line 113:		Line 113:


−	10:30-12:00 Session 4: Semantics, Chair: ~~Tarmo Uustalu~~	+	10:30-12:00 Session 4: Semantics, Chair: Harsh Beohar

	* Casper Bach Poulsen and Peter D. Mosses. Divergence as State in Coinductive Big-Step Semantics		* Casper Bach Poulsen and Peter D. Mosses. Divergence as State in Coinductive Big-Step Semantics

← Older revision		Revision as of 05:57, 29 October 2014
Line 51:		Line 51:

	=Program=		=Program=
		+
		+	'''All talks will be at the Wigforss hall at the ground floor of the J Building (Visionen).'''

	'''October 29 (08:30-17:00)'''		'''October 29 (08:30-17:00)'''

← Older revision		Revision as of 05:23, 29 October 2014
Line 67:		Line 67:


−	11:00-12:30 Session 1: Security and Contracts Chair: Marina Waldén	+	11:00-12:30 Session 1: Security and Contracts, Chair: Marina Waldén

	* Raúl Pardo and Gerardo Schneider. Privacy-Preserving Social Networks		* Raúl Pardo and Gerardo Schneider. Privacy-Preserving Social Networks

@@ Line 137: / Line 137: @@
-:00-17:00 Session 6: Specification and Refinement, Chair: Volker Stolz
+:00-17:00 Session 6: Specification and Verification, Chair: Volker Stolz
 * Masoumeh Parsa, Colin Snook, Marta Olszewska and Marina Walden. Parallel development of Event-B systems with agile methods
-* Muhammad Taimoor Khan, Dimitrios Serpanos and Howard Shrobe. On the Behavioral Formalization of the Cognitive Middleware AWDRAT
+* Hang Yin, Rafia Inam, Reinder Bril and Mikael Sjödin. Formalization and verification of mode changes in hierarchical scheduling
@@ Line 156: / Line 156: @@
-:30-12:30 Session 7: Embedded and Cyber-Physical Systems, Chair: Gerardo Schneider
+:30-12:00 Session 7: Embedded and Cyber-Physical Systems, Chair: Gerardo Schneider
-−
-* Hang Yin, Rafia Inam, Reinder Bril and Mikael Sjödin. Formalization and verification of mode changes in hierarchical scheduling
 * Walid Taha, Kevin Atkinson, Paul Brauner, Robert Cartwright, Alexandre Chapoutot, Adam Duracz, Jan Duracz and Yingfu Zeng. The Acumen Language
@@ Line 168: / Line 166: @@
-:30-14:00  Lunch
+:00-13:30  Lunch

@@ Line 67: / Line 67: @@
-:00-12:30 Session 1: Security and Contractsm Chair: Marina Waldén
+:00-12:30 Session 1: Security and Contracts Chair: Marina Waldén
 * Raúl Pardo and Gerardo Schneider. Privacy-Preserving Social Networks
 * John J. Camilleri and Gerardo Schneider. On the formal analysis of normative texts
 :30-14:00  Lunch
@@ Line 80: / Line 79: @@
 :00-15:30 Session 2: Process Algebra,  Chair: Gerardo Schneider
 * Abeer Al-Humaimeedy and Maribel Fernandez. Introducing Mobility into CSP
@@ Line 85: / Line 87: @@
 * Bashar Alkhawaldeh. Modelling and Verification of RBC Handover Using CSP
@@ Line 163: / Line 164: @@
 * Suleyman Savas and Essayas Gebrewahid. Development of Architecture and Software Tools for High Performance Embedded Computing
-* Morteza Mohaqeqi, Mohammadreza Mousavi and Walid Taha. Conformance Testing of Cyber-Physical Systems: A Comparative Study
+* Patrick Bahr, Jost Berthold and Martin Elsman. Towards Certified Management of Financial Contracts

@@ Line 110: / Line 110: @@
-:30-12:00 Session 4: Semantics, Chair: Bengt Norström
+:30-12:00 Session 4: Semantics, Chair: Tarmo Uustalu
 * Casper Bach Poulsen and Peter D. Mosses. Divergence as State in Coinductive Big-Step Semantics
@@ Line 143: / Line 143: @@
-:30- Social Dinner at [http://www.heagardsskafferi.se/ Heagårds Skafferi] (busses leave Continental Hotel at 16:15)
+:30- Social Dinner at [http://www.heagardsskafferi.se/ Heagårds Skafferi] (busses leave Continental Hotel at 18:15)

← Older revision		Revision as of 20:17, 24 October 2014
Line 249:		Line 249:

	Directions for getting to campus can be found at [http://www.hh.se/english/abouttheuniversity/visitus.307_en.html http://www.hh.se/english/abouttheuniversity/visitus.307_en.html]		Directions for getting to campus can be found at [http://www.hh.se/english/abouttheuniversity/visitus.307_en.html http://www.hh.se/english/abouttheuniversity/visitus.307_en.html]
		+
		+	We have created a [https://www.google.com/maps/d/viewer?mid=zg466yRKr6MA.khE1r5rg8V64 Google map] to indicate some points of interest in Halmstad, including the conference and the reception venues.

	The campus map can be found [http://www.hh.se/download/18.a1aee661454347d5b4426a5/1399619424979/Campuskarta+A5+ENG-MAJ+2014.pdf here]. The workshop will be located at the Wigforss lecture hall, which is located at the ground floor of the J building (Visionen). Coffee breaks will be held at the ground floor of the same building.		The campus map can be found [http://www.hh.se/download/18.a1aee661454347d5b4426a5/1399619424979/Campuskarta+A5+ENG-MAJ+2014.pdf here]. The workshop will be located at the Wigforss lecture hall, which is located at the ground floor of the J building (Visionen). Coffee breaks will be held at the ground floor of the same building.