The Embedded Systems Unit at Fondazione Bruno Kessler, Trento, Italy
is happy to announce the availability of
xSAP 1.1.0
This is a major release, containing new features, and a few bug fixes.
The documentation has been updated to cover the new features.
** First Call for Workshop Proposals ***
22nd ACM International Conference on Intelligent User Interfaces
IUI 2017
St. Raphael Resort, Limassol, Cyprus
March 13-16, 2017
*** Last Mile - Deadline Approaching! ***
The 15th International Conference on Intelligent Software
Methodologies, Tools and Techniques (SoMeT 2016)
September 12-14, 2016, Lordos Beach Hotel, Larnaca, Cyprus
FM 2016: 21st International Symposium on Formal Methods
Limassol, Cyprus, 7-11 November 2016
One additional week to submit your papers!
PAPER SUBMISSION DEADLINE EXTENDED: Friday April 8th, 7pm EDT (firm
deadline)
Submit your papers now: https://raid2016.cs.unc.edu/papers
Call for Papers:
RAID 2016
19th International Symposium
Call for Poster Presentations
ISSAC 2016
The 41st International Symposium on Symbolic and Algebraic Computation
Wilfrid Laurier