[Om-announce] xSAP 1.1.0 has been released

2016-04-04 Thread Marco Bozzano
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.

[Om-announce] 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): First Call for Workshop Proposals

2016-04-04 Thread Announce Announcements
** First Call for Workshop Proposals *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017

[Om-announce] The 15th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT 2016): Last Mile - Deadline Approaching!

2016-04-04 Thread Announce Announcements
*** 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

[Om-announce] 21st International Symposium on Formal Methods (FM 2016): Third Call for Papers

2016-04-04 Thread Announce Announcements
FM 2016: 21st International Symposium on Formal Methods Limassol, Cyprus, 7-11 November 2016

[Spam:*****] [Om-announce] DEADLINE EXTENDED: RAID 2016 (Paris, France, Sept 19-21)

2016-04-04 Thread Yazan Boshmaf
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

[Om-announce] [ISSAC-ANNOUNCE] ISSAC 2016 - SECOND CALL FOR POSTERS

2016-04-04 Thread Albert Heinle
Call for Poster Presentations ISSAC 2016 The 41st International Symposium on Symbolic and Algebraic Computation Wilfrid Laurier