pted papers will be included in the electronic CPSWeek workshop
proceedings. Please, check our workshop website for updates!
# Workshop Organizers #
Mario Gleirscher (U York, UK)
Stefan Kugele (TU Munich, DE)
Sven Linker (U Liverpool, UK)
# Workshop Website #
http://scav.in.tum.de
# Con
Technology Center, US)
Programme Chairs:
* Lukas Bulwahn (BMW Car IT GmbH, Germany)
* Maryam Kamali (University of Liverpool, UK)
* Sven Linker (University of Liverpool, UK)
)
Programme Chairs:
* Lukas Bulwahn (BMW Car IT GmbH, Germany)
* Maryam Kamali (University of Liverpool, UK)
* Sven Linker (University of Liverpool, UK)
)
Programme Chairs:
* Lukas Bulwahn (BMW Car IT GmbH, Germany)
* Maryam Kamali (University of Liverpool, UK)
* Sven Linker (University of Liverpool, UK)
Bulwahn (BMW Car IT GmbH, Germany)
* Maryam Kamali (University of Liverpool, UK)
* Sven Linker (University of Liverpool, UK)
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Dear colleague, apologies for cross-posting]
---
Funded PhD Studentship - Formal Verification of Sensor Networks