categories - Category Theory list
 help / color / mirror / Atom feed
* CALCO-Tools: Call for Papers
@ 2011-03-16 10:09 Dorel Lucanu
  0 siblings, 0 replies; 2+ messages in thread
From: Dorel Lucanu @ 2011-03-16 10:09 UTC (permalink / raw)
  To: categories

=========================================================================

                     CALL FOR PAPERS:  CALCO-Tools 2011

                             CALCO-Tools

                          part of CALCO 2011

                     August 30 - September 2, 2011

                              Winchester, UK

       http://calco2011.ecs.soton.ac.uk/workshops/calco-tools.html

=========================================================================

                 Paper submission:       March 23, 2011
                 Author notification:    April 20, 2011
                 Final version due:      May 18, 2011

=========================================================================

-- SCOPE --

CALCO-Tools 2011 Workshop is dedicated to tools based on algebraic and/or
coalgebraic principles or that are emerging from the intersection of
the two approaches. These include systems/prototypes/tools developed
specifically for design, checking, execution, and verification of (co)
algebraic specifications, but also tools targeting different application
domains while making core or interesting use of (co)algebraic techniques.

The previus CALCO-Tools editions, Bergen (Norway, 2007) and Udine (Italy,
2009),  took place in the day preceding the main CALCO conference.
This year, CALCO-Tools 2011 will take place on the same dates as the main
CALCO conference, with no overlap between the technical programmes of the
two events. In this way we achieve the goal of bringing together
researchers and practitioners.

-- TOPICS OF INTEREST --

We invite submissions of papers that are presenting systems/prototypes/tools
on topics included or related to those listed for the main CALCO conference:

  * Abstract models and logics
    - Automata and languages
    - Categorical semantics
    - Modal logics
    - Relational systems
    - Graph transformation
    - Term rewriting
    - Adhesive categories

  * Specialised models and calculi
    - Hybrid, probabilistic, and timed systems
    - Calculi and models of concurrent, distributed, mobile, and
      context-aware computing
    - General systems theory and computational models (chemical,
      biological, etc)

  * Algebraic and coalgebraic semantics
    - Abstract data types
    - Inductive and coinductive methods
    - Re-engineering techniques (program transformation)
    - Semantics of conceptual modelling methods and techniques
    - Semantics of programming languages

  * System specification and verification
    - Algebraic and coalgebraic specification
    - Formal testing and quality assurance
    - Validation and verification
    - Generative programming and model-driven development
    - Models, correctness and (re)configuration of
      hardware/middleware/architectures,
    - Process algebra


-- SUBMISSION GUIDELINES --

Tool submissions should not exceed 5 pages in LNCS format specified by
Springer (see http://www.springer.de/comp/lncs/authors.html). It is
recommended that submissions adhere to that format and
length. As with previous editions, the accepted tool papers will be
included in the final proceedings of the conference published in the
Springer Lecture Notes in Computer Science (LNCS) series.
The tools should be made available on the web at the time of submission.



-- IMPORTANT DATES --

 		Paper submission:	March 23, 2011
 		Author notification:	April 20, 2011
 		Final version due:	May 18, 2011


-- PROGRAMME COMMITTEE --

Paolo Baldan, University of Padova, IT
Luis Barbosa, Universidade do Minho, PT
Dorel Lucanu (chair), Al. I. Cuza University of Iasi, RO
Milad Niqui, CWI, Amsterdam, NL
Peter Olveczky, University of Oslo, NO
Dirk Pattinson, Imperial College London, UK



-- ORGANISING COMMITTEE --

Corina Cirstea (University of Southampton, UK)
Dirk Pattinson (Imperial College London, UK)
Toby Wilkinson (University of Southampton, UK)

-- LOCATION --

Winchester is a beautiful historic city in southern England, known for
its 11th-century cathedral and 12th-century castle. It is located just
under an hour by rail from London Waterloo, and 15 minutes by road or
rail from Southampton Airport. London Heathrow is 50 miles away and
London Gatwick 72 miles away.

-- FURTHER INFORMATION --

Queries related to submission, reviewing, and programme should be sent
to the PC chair.

Queries related to the organisation should be emailed to
calco2011@ecs.soton.ac.uk

The poster can be downloaded from
http://calco2011.ecs.soton.ac.uk/workshops/calcotools.jpg
http://calco2011.ecs.soton.ac.uk/workshops/calcotools.pdf




.


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] 2+ messages in thread

* CALCO-Tools: Call for Papers
@ 2011-02-21 19:13 Dorel Lucanu
  0 siblings, 0 replies; 2+ messages in thread
From: Dorel Lucanu @ 2011-02-21 19:13 UTC (permalink / raw)
  To: categories

=========================================================================

                     CALL FOR PAPERS:  CALCO-Tools 2011

                             CALCO-Tools

                          part of CALCO 2011

                     August 30 - September 2, 2011

                              Winchester, UK

       http://calco2011.ecs.soton.ac.uk/workshops/calco-tools.html

=========================================================================

                 Paper submission:       March 23, 2011
                 Author notification:    April 20, 2011
                 Final version due:      May 18, 2011

=========================================================================

-- SCOPE --

CALCO-Tools 2011 Workshop is dedicated to tools based on algebraic and/or
coalgebraic principles or that are emerging from the intersection of
the two approaches. These include systems/prototypes/tools developed
specifically for design, checking, execution, and verification of (co)
algebraic specifications, but also tools targeting different application
domains while making core or interesting use of (co)algebraic techniques.

The previus CALCO-Tools editions, Bergen (Norway, 2007) and Udine (Italy,
2009),  took place in the day preceding the main CALCO conference.
This year, CALCO-Tools 2011 will take place on the same dates as the main
CALCO conference, with no overlap between the technical programmes of the
two events. In this way we achieve the goal of bringing together
researchers and practitioners.

-- TOPICS OF INTEREST --

We invite submissions of papers that are presenting systems/prototypes/tools
on topics included or related to those listed for the main CALCO conference:

  * Abstract models and logics
    - Automata and languages
    - Categorical semantics
    - Modal logics
    - Relational systems
    - Graph transformation
    - Term rewriting
    - Adhesive categories

  * Specialised models and calculi
    - Hybrid, probabilistic, and timed systems
    - Calculi and models of concurrent, distributed, mobile, and
      context-aware computing
    - General systems theory and computational models (chemical,
      biological, etc)

  * Algebraic and coalgebraic semantics
    - Abstract data types
    - Inductive and coinductive methods
    - Re-engineering techniques (program transformation)
    - Semantics of conceptual modelling methods and techniques
    - Semantics of programming languages

  * System specification and verification
    - Algebraic and coalgebraic specification
    - Formal testing and quality assurance
    - Validation and verification
    - Generative programming and model-driven development
    - Models, correctness and (re)configuration of
      hardware/middleware/architectures,
    - Process algebra


-- SUBMISSION GUIDELINES --

Tool submissions should not exceed 5 pages in LNCS format specified by
Springer (see http://www.springer.de/comp/lncs/authors.html). It is
recommended that submissions adhere to that format and
length. As with previous editions, the accepted tool papers will be
included in the final proceedings of the conference published in the
Springer Lecture Notes in Computer Science (LNCS) series.
The tools should be made available on the web at the time of submission.



-- IMPORTANT DATES --

 		Paper submission:	March 23, 2011
 		Author notification:	April 20, 2011
 		Final version due:	May 18, 2011


-- PROGRAMME COMMITTEE --

Paolo Baldan, University of Padova, IT
Luis Barbosa, Universidade do Minho, PT
Dorel Lucanu (chair), Al. I. Cuza University of Iasi, RO
Milad Niqui, CWI, Amsterdam, NL
Peter Olveczky, University of Oslo, NO
Dirk Pattinson, Imperial College London, UK



-- ORGANISING COMMITTEE --

Corina Cirstea (University of Southampton, UK)
Dirk Pattinson (Imperial College London, UK)
Toby Wilkinson (University of Southampton, UK)

-- LOCATION --

Winchester is a beautiful historic city in southern England, known for
its 11th-century cathedral and 12th-century castle. It is located just
under an hour by rail from London Waterloo, and 15 minutes by road or
rail from Southampton Airport. London Heathrow is 50 miles away and
London Gatwick 72 miles away.

-- FURTHER INFORMATION --

Queries related to submission, reviewing, and programme should be sent
to the PC chair.

Queries related to the organisation should be emailed to
calco2011@ecs.soton.ac.uk

The poster can be downloaded from
http://calco2011.ecs.soton.ac.uk/workshops/calcotools.jpg
http://calco2011.ecs.soton.ac.uk/workshops/calcotools.pdf




.


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2011-03-16 10:09 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-03-16 10:09 CALCO-Tools: Call for Papers Dorel Lucanu
  -- strict thread matches above, loose matches on Subject: below --
2011-02-21 19:13 Dorel Lucanu

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).