caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] Frama-C Day 2016 | updated invitation!
@ 2016-05-17  8:50 Zaynah Dargaye
  0 siblings, 0 replies; only message in thread
From: Zaynah Dargaye @ 2016-05-17  8:50 UTC (permalink / raw)


Dear all,

we are please to confirm César A. Muñoz as a speaker of the Frama-C Day 
2016. The Frama-C Day 2016 will take place on June 20th from 8:30 to 
18:30 at la Maison de La Recherche, Paris.

Speakers at the Frama-C Day will demonstrate and discuss innovative 
approaches to software analysis, from both academic and industrial 
points of views. In addition to invited presentations, this will be a 
space for community discussions, updates on ongoing developments, and 
upcoming projects.

Details are available at : http://frama-c.com/FCD16.html
Space is limited, so register now : 
http://public.message-business.com/form/48834/21/form.aspx

-- 
The Frama-C Team


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2016-05-17  8:50 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-05-17  8:50 [Caml-list] Frama-C Day 2016 | updated invitation! Zaynah Dargaye

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).