Recent Changes

Monday, September 4

  1. page home edited 3rd International Workshop on Meta Models for Process Languages (MeMo) 2017 CANCELLED !! Unfor…

    3rd International Workshop on Meta Models for Process Languages (MeMo) 2017
    CANCELLED !!
    Unfortunately too few submissions forced to cancel the workshop.

    affiliated with CONCUR, September 4th, 2017, Berlin, Germany
    Deadline EXTENDED to 5th July !!
    Aim and Topics:
    Developing appropriate models for systems, programming languages and processes is not easy. Hence, several metamodels have been proposed. Metamodels are framework theories which provide general, structural results simplifying and driving the development of models of specific systems and languages. There are frameworks for operational semantics (such as GSOS, graph rewriting systems, Milner’s bigraphs, coalgebras), for denotational semantics (such as algebraic/bialgebraic specifications, monads, enriched Lawvere theories, mathematical operational semantics), and for logical semantics (such as metalanguages for deductive systems, i.e. Logical Frameworks). The boundaries between these metamodels are blurred, and techniques and ideas from one can be reapplied to the others. Moreover, metamodels can help in the definition of new computation and programming paradigms.
    (view changes)

Monday, June 26

  1. 7:39 am
  2. page abstract edited MEMO Keynote Title: Operational semantics and a meta compiler. Speaker: Jan Friso Groote, Eind…

    MEMO Keynote
    Title: Operational semantics and a meta compiler.
    Speaker: Jan Friso Groote, Eindhoven University of Technology, Department of Mathematics and
    Computer Science
    Abstract:
    A presentation of the history of operational semantics is given focussing on
    the development of early formats, such as the DeSimone, tyft-tyxt and BIM formats.
    The relation with testing scenario's will be addressed.
    It will be indicated how in the early days operational semantics has been used to
    systematically build simulator frameworks for formal languages. Unfortunately, this approach
    has an intrinsic performance problem which makes them unusable when hundreds of
    millions of states must be evaluated. As it stands there is a need for meta compilers that
    given a language with an operational semantics provides a high performance tool that allows to execute
    concrete specifications and generate their state spaces. This very much fits in the current
    developments around Model Driven Software Engineering.

    (view changes)
    7:38 am

Saturday, June 24

  1. page home edited ... Submission posters: 6 August 2017 Notification posters: 13 August 2017 Important Dates Key…
    ...
    Submission posters: 6 August 2017
    Notification posters: 13 August 2017
    Important DatesKeynote Speaker
    Jan Friso Groote, Technical University Eindhoven, The Netherlands
    Submission Instructions
    (view changes)
  2. page home edited ... 3rd International Workshop on Meta Models for Process Languages (MeMo) 2017 affiliated with C…
    ...
    3rd International Workshop on Meta Models for Process Languages (MeMo) 2017
    affiliated with CONCUR, September 4th, 2017, Berlin, Germany
    Deadline EXTENDED to 5th July !!
    Aim and Topics:
    Developing appropriate models for systems, programming languages and processes is not easy. Hence, several metamodels have been proposed. Metamodels are framework theories which provide general, structural results simplifying and driving the development of models of specific systems and languages. There are frameworks for operational semantics (such as GSOS, graph rewriting systems, Milner’s bigraphs, coalgebras), for denotational semantics (such as algebraic/bialgebraic specifications, monads, enriched Lawvere theories, mathematical operational semantics), and for logical semantics (such as metalanguages for deductive systems, i.e. Logical Frameworks). The boundaries between these metamodels are blurred, and techniques and ideas from one can be reapplied to the others. Moreover, metamodels can help in the definition of new computation and programming paradigms.
    ...
    Tools, implementations, and experiments
    Important Dates
    ...
    23 June 2017 5 July 2017
    Notification regular papers and presentation proposals: 31 July 2017
    Camera-ready copy: 6 August 2017
    (view changes)

Monday, June 12

  1. page home edited ... Marino Miculan, University of Udine, Italy Joachim Parrow, Uppsala Universitet, Sweden Marc…
    ...
    Marino Miculan, University of Udine, Italy
    Joachim Parrow, Uppsala Universitet, Sweden
    Marco Peressotti, University of Southern Denmark
    Johannes Åman Pohjola, Chalmers University, Sweden
    Jan Rutten, Centrum Wiskunde & Informatica (CWI), The Netherlands
    (view changes)

Sunday, June 11

  1. page home edited ... Submission posters: 6 August 2017 Notification posters: 13 August 2017 Important Dates Jan…
    ...
    Submission posters: 6 August 2017
    Notification posters: 13 August 2017
    Important Dates
    Jan Friso Groote, Technical University Eindhoven, The Netherlands

    Submission Instructions
    We invite three types of submissions:
    (view changes)

Saturday, April 29

  1. page home edited ... Uwe Egbert Wolter, University of Bergen, Norway TBA Previous editions 2nd International Wo…
    ...
    Uwe Egbert Wolter, University of Bergen, Norway
    TBA
    Previous editions
    2nd International Workshop on Meta Models for Process Languages (2015)
    1st International Workshop on Meta Models for Process Languages (2014)

    (view changes)

Friday, April 28

  1. page home edited ... '''Program Committee''' Patrick Bahr, IT University of Copenhagen, Denmark Iliano Cervesato,…
    ...
    '''Program Committee'''
    Patrick Bahr, IT University of Copenhagen, Denmark
    Iliano Cervesato, CMU QatarCarnegie Mellon University, USA
    Matteo Cimini, Indiana University, Bloomington, USA
    Søren Debois, IT University of Copenhagen, Denmark
    (view changes)

Thursday, April 27

  1. page home edited ... All papers and posters must be in English and submitted at the EasyChair submission site. Pap…
    ...
    All papers and posters must be in English and submitted at the EasyChair submission site.
    Papers should use the EPTCS style and not exceed 15 pages in length.
    ...
    of the programmeprogram committee.
    We plan an EPTCS post-proceedings volume and depending on the quality of the submissions also a special journal issue of selected, extended papers.
    Organisation
    ...
    Thomas Hildebrandt, IT University of Copenhagen, Denmark
    Christian Johansen, University of Oslo, Norway
    '''Programme'''Program Committee Co-Chairs'''
    Thomas Hildebrandt, IT University of Copenhagen, Denmark
    Christian Johansen, University of Oslo, Norway
    (view changes)

More