Programming Language Design and Analysis using the K Framework
-----------------------------------
          
ABSTRACT
-----------------------------------
This talk will provide participants with a basic 
knowledge of the K framework, as well as hands-on 
experience with using K to define a real programming 
language. 
Time will be spent showing how one can write a formal 
(but quite intuitive) definition of a language, and 
use that to automatically generate an interpreter, 
debugger, state space search, and a model checker. 
After attending the tutorial, participants will be 
able to use K to define their own languages or calculi 
and then derive similar tools from their semantics 
for free.
Project page is http://www.k-framework.org.
          
SPEAKER(S)
-----------------------------------
dr. Traian Florin SERBANUTA
Universitatea Alexandru Ioan Cuza, Facultatea de Informatica,
Formal Methods in Software Engineering group
Iasi
Romania
-----------------------------------
For more information, please visit:
https://fmse.info.uaic.ro/
-----------------------------------

Andrei ARUSOAIEI
Universitatea Alexandru Ioan Cuza, Facultatea de Informatica,
Formal Methods in Software Engineering group
Iasi
Romania
-----------------------------------
For more information, please visit:
https://fmse.info.uaic.ro/
-----------------------------------
          
Asist.univ. Denis BOGDANAS
Universitatea Alexandru Ioan Cuza, Facultatea de Informatica,
Formal Methods in Software Engineering group
Iasi
Romania
-----------------------------------
Denis Bogdanas is Teaching Assistant at 
Technical University of Iasi.
For more information, please visit:
https://fmse.info.uaic.ro/ and
http://www.linkedin.com/pub/denis-bogdanas/b/183/a40
-----------------------------------
          
dr. Stefan CIOBACA
Universitatea Alexandru Ioan Cuza, Facultatea de Informatica,
Formal Methods in Software Engineering group
Iasi
Romania
-----------------------------------
For more information, please visit:
https://fmse.info.uaic.ro/
-----------------------------------
          
Prof.univ.dr. Gheorghe GRIGORAS
Universitatea Alexandru Ioan Cuza, Facultatea de Informatica,
Formal Methods in Software Engineering group
Iasi
Romania
-----------------------------------
For more information, please visit:
https://fmse.info.uaic.ro/
-----------------------------------
          
Prof.univ.dr. Dorel LUCANU
Universitatea Alexandru Ioan Cuza, Facultatea de Informatica,
Formal Methods in Software Engineering group
Iasi
Romania
-----------------------------------
Dr. Dorel Lucanu is a Professor in the Faculty of Computer Science,
"A.I.Cuza" University of Iasi, Romania. He received his MS in
 Mathematics and Computer Science from the same University in
1981, and his PhD in Computer Science from the Institute of Mathematics,
Romanian Academy in 1994.His interest fields include rewriting
logic, specification and verification of concurrent objects,
and formal methods in semantic web.
For more information, please visit:
https://fmse.info.uaic.ro/
-----------------------------------
          
Radu MEREUTA
Universitatea Alexandru Ioan Cuza, Facultatea de Informatica,
Formal Methods in Software Engineering group
Iasi
Romania
-----------------------------------
For more information, please visit:
https://fmse.info.uaic.ro/
-----------------------------------