[TYPES/announce] Release 0.6.0 of the SARL agent-programming language

stephane.galland at utbm.fr stephane.galland at utbm.fr
Thu Sep 14 13:05:15 EDT 2017

Previous message (by thread): [TYPES/announce] Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18)
Next message (by thread): [TYPES/announce] [fm-announcements] NASA Formal Methods Symposium 2018 - CFP
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170914/34695cf7/attachment-0001.html>

Previous message (by thread): [TYPES/announce] Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18)
Next message (by thread): [TYPES/announce] [fm-announcements] NASA Formal Methods Symposium 2018 - CFP
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-announce mailing list