Difference between revisions of "News"

From K Framework
Jump to: navigation, search
 
Line 1: Line 1:
 
: '''2012-01-27:''' [[An Executable Formal Semantics of C with Applications]] was presented at POPL'12, with much interest.
 
: '''2012-01-27:''' [[An Executable Formal Semantics of C with Applications]] was presented at POPL'12, with much interest.
 +
: '''2012-01-24:''' Our paper on [[Making Maude Definitions more Interactive]] was accepted at WRLA'12.
 
: '''2011-11-01:''' A 5 minute [[The K Framework Demo | K Framework Demo]] video is now available
 
: '''2011-11-01:''' A 5 minute [[The K Framework Demo | K Framework Demo]] video is now available
 
: '''2011-10-15:''' [[An Executable Formal Semantics of C with Applications]] was accepted for POPL'12. Congratulations to [[Chucky Ellison | Chucky]] and [[Grigore Rosu | Grigore]]!
 
: '''2011-10-15:''' [[An Executable Formal Semantics of C with Applications]] was accepted for POPL'12. Congratulations to [[Chucky Ellison | Chucky]] and [[Grigore Rosu | Grigore]]!

Latest revision as of 19:50, 1 February 2012

2012-01-27: An Executable Formal Semantics of C with Applications was presented at POPL'12, with much interest.
2012-01-24: Our paper on Making Maude Definitions more Interactive was accepted at WRLA'12.
2011-11-01: A 5 minute K Framework Demo video is now available
2011-10-15: An Executable Formal Semantics of C with Applications was accepted for POPL'12. Congratulations to Chucky and Grigore!
2011-09-30: Chucky Ellison presented An Executable Formal Semantics of C with Applications at Midwest Verification Day 25px-Pdf_icon.pngPDF Info_circle.png

2011-09-30: K and Matching LogicGrigore Rosu gave an invited talk at Midwest Verification Day 25px-Zip_icon.png PPTX Info_circle.png

and 25px-Pdf_icon.pngPDF Info_circle.png .

2011-07-05: Dorel Lucanu and Vlad Rusu presented K Semantics for Domain Specic Modeling Languages at KEPT 2011.
2011-06-20: Wolfram Schulte interviewed Grigore Rosu about K and matching logic on Microsoft's Channel 9.
2011-06-20: The call for papers and the website for the 2011 K Workshop was launched.
2011-06-20: Dorel Lucanu presented Contributions to the K framework at the 7th MC+WG Meeting, 2nd Action Training School
2011-04-27: Our C semantics, written in the K Framework, has been reviewed by Professor John Regehr.
Personal tools
Namespaces

Variants
Actions
Navigation