=============================================================================
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 links): * 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 presentations. 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 https://www.easychair.org/conferences/?conf=k2011. 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 workshop. 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 k...@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 _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
