AVIACC
Analysis and Verification of Critical Concurrent Programs
Login
|
Register
|
Print
Overview
Home
Project Proposal
Team
Research Team
Job Opportunities
Results
Publications
Tools
Events
First Project Meeeting
Second Project Meeting
Research
»
Aviacc
»
WebHome
»
2ndWorkshop
AVIACC Second Meeting and Workshop
Date
September 16, 2013, 10:00
Place
DCC-FCUP, videoconference room
Schedule
10h00 - 12h30: Scientific talks and discussion
14h30 - 15h30: project planning meeting
r2 - 19 May 2015 - 13:19:43 -
JorgeSousaPinto
Copyright © by the contributing authors. Ideas, requests, problems?
Send feedback
.
Syndicate this site
RSS
ATOM