[racket] Fwd: K 2011: Call for Papers

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Mon Jun 20 05:06:05 EDT 2011


                      K 2011

   2nd International Workshop on the K Framework and its Applications

             August 8-12, 2011, Cheile Gradistei, Romania


K (http://k-framework.org) is an executable semantic framework focused on the
definition of programming languages, language calculi, type systems, and
formal analysis tools. K has been successfully used for giving the formal
definitions of a series of real-life languages, including (see below for

* C [1]
* Scheme [2], and
* Verilog [3].

K has also been used in semantics-based analysis and verification frameworks
such as Matching Logic [4], and is currently used in language design and
language semantics courses at several universities. The K workshop series
promotes research and collaboration in the area of the development and use of
the K framework.

The topics of the workshop comprise, but are not limited to:

# foundations and models of K;
# languages based on K, including implementation issues;
# K as a logical framework;
# K as a semantic framework, including for
 * object-oriented systems,
 * concurrent and/or parallel systems,
 * interactive, distributed, open ended and mobile systems;
# uses of K to provide rigorous support for model-based software engineering;
# comparisons of K with existing formalisms having analogous aims.

The first edition of the workshop was held in Nags Head (US) in 2010. K 2011,
like K 2010, is planned as a "true workshop", with significant time set aside
for participants to both talk and work together outside of research

Submissions and Publication: Before the workshop, authors are invited to submit
an extended abstract of 2 to 3 pages. Accepted abstracts will be presented at
the workshop and included in the preliminary proceedings, available at the
workshop. Abstracts can be submitted using EasyChair at

After the workshop, authors will be invited to submit a full paper (most likely
of 15 pages), based on their abstract and presentation, which will be refereed
and considered for publication in ENTCS.

Beyond original ideas and recent results not already submitted or published
elsewhere, we also invite authors to submit abstracts describing relevant work
that has been or will be published elsewhere, or work in progress. These
submissions will only be considered for presentation at the workshop and
inclusion in the preliminary proceedings, but not in the final proceedings.

Depending on the quality of the received submissions for the final proceedings,
we envision publication of a special issue of a journal dedicated to the K 2011

Important Dates:
# Submission of Abstract: July 7, 2011
# Notification: July 10, 2011
# Preliminary proceedings version due: July 31, 2011
# Workshop: August 8-12, 2011
# Submission for final proceedings: October 31, 2011
# Notification: December 12, 2011
# Final version: January 23, 2012

Steering Committee:
# Chucky Ellison (University of Illinois at Urbana-Champaign, USA)
# Dorel Lucanu (Alexandru Ioan Cuza University of Iasi, Romania)
# Grigore Rosu (University of Illinois at Urbana-Champaign, USA)

Program Committee:
# Maria Alpuente, Universidad Politecnica de Valencia, Spain
# Santiago Escobar, Universidad Politecnica de Valencia, Spain
# Robert Bruce Findler, Northwestern University, USA
# Fabio Gadducci, University of Pisa, Italy
# Dan Ghica, University of Birmingham, UK
# Klaus Havelund, NASA Jet Propulsion Laboratory, USA
# Mark Hills, CWI, The Netherlands (Chair)
# Lennart Kats, Delft University of Technology, The Netherlands
# Andrew Lenharth, The University of Texas at Austin, USA
# Dorel Lucanu, Alexandru Ioan Cuza University of Iasi, Romania
# Salvador Lucas, Universidad Politecnica de Valencia, Spain
# Narciso Marti-Oliet, Universidad Complutense de Madrid, Spain
# Jose Meseguer, University of Illinois at Urbana-Champaign, USA
# Peter Mosses, Swansea University, UK
# Peter Olveczky, University of Oslo, Norway
# John Regehr, University of Utah, USA
# Grigore Rosu, University of Illinois at Urbana-Champaign, USA
# Vlad Rusu, INRIA, France
# Wolfram Schulte, Microsoft Research, USA
# Jurgen Vinju, CWI, The Netherlands

Workshop web page: http://k-framework.org/K11/index.html

For more information please email K11 at k-framework.org.

[1] http://fsl.cs.uiuc.edu/index.php/A_Formal_Semantics_of_C_with_Applications
[2] http://fsl.cs.uiuc.edu/index.php/K-Scheme
[3] http://fsl.cs.uiuc.edu/index.php/Verilog_Semantics
[4] http://fsl.cs.uiuc.edu/index.php/Matching_Logic

Posted on the users mailing list.