Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] STANCE workshop 2016 - 6/4/2016 London UK
- Subject: [Frama-c-discuss] STANCE workshop 2016 - 6/4/2016 London UK
- From: armand.puccetti at cea.fr (Armand Puccetti)
- Date: Thu, 25 Feb 2016 15:08:57 +0100
Dear Colleagues, On behalf of the STANCE <http://www.stance-project.eu/> consortium we have the pleasure to announce the *STANCE Final Workshop* which//will take place on *_6 April 2016 _ *in the Royal Holloway (University of London) in London, hosted by the *International Symposium on Engineering Secure Software and Systems****Symposium (ESSoS16). * STANCE is a multi-disciplinary initiative with the objective of driving scientific and technological breakthroughs in the domain of software security. STANCE has defined, implemented and validated a set of program analysis tools capable of verifying the security of complex software systems made in C, C++ and Java. The Symposium is a unique opportunity to learn more about the results of STANCE and also to network with renowned experts and get acquainted with the activities of other on-going and future initiatives. For more information: 1. - Please visit the STANCE public website <http://www.stance-project.eu/> 2. - Read the attached leaflet of the STANCE workshop. 3. - Please visit under this link <https://distrinet.cs.kuleuven.be/events/essos/2016/index.html> the complete program of the ESSoS 2016 Symposium. There you will find all the details to register to the main event and book your hotels) *We count on all of you to attend this event and we are happy to offer you the possibility to get a special rate of 10 £ instead of 70 £ if you register using **this link <http://onlinestore.rhul.ac.uk/browse/extra_info.asp?compid=1&modid=1&prodid=2227> **before the 14^th of March.* After the 14^th , you will have to register trough the ESSoS16 general registration link <http://onlinestore.rhul.ac.uk/browse/product.asp?compid=1&modid=1&catid=675> and pay the full amount to attend the STANCE workshop. Please do not hesitate to contact us for further information, We are looking forward to seeing you in London! Best regards, Dr Armand PUCCETTI Coordinator of STANCE / CEA Saclay - NanoInnov -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20160225/eba15b41/attachment-0001.html> -------------- next part -------------- A non-text attachment was scrubbed... Name: STANCE Final event announcement.pdf Type: application/pdf Size: 409979 bytes Desc: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20160225/eba15b41/attachment-0001.pdf>
- Prev by Date: [Frama-c-discuss] Extraction of relationships from application programming interfaces
- Next by Date: [Frama-c-discuss] ACSL specifications
- Previous by thread: [Frama-c-discuss] Extraction of relationships from application programming interfaces
- Next by thread: [Frama-c-discuss] ACSL specifications
- Index(es):