The Coq mailing list

[Michael Winter <mwinter AT brocku.ca>]

CALL FOR PARTICIPATION

                    18th International Conference on
          Relational and Algebraic Methods in Computer Science
                              RAMiCS 2020

                 08 to 11 April 2020, Palaiseau, France
                    http://ramics18.gforge.inria.fr/

Since 1994, the RAMICS conference series has been the main venue for
research on relation algebras, Kleene algebras and similar algebraic
formalisms, and their applications as conceptual and methodological
tools in computer science and beyond.

The participation fee for RAMiCS is 204 Euro; participation for students (up
to MSc level) is free.  Please go to

	http://ramics18.gforge.inria.fr/#regis

for registration.  Registration ends 15 March, but we appreciate early
registrations.


CALL FOR SHORT CONTRIBUTIONS / POSTERS

Additionally to the standard CfP, RAMiCS is also calling for short
contributions and posters.  We are hence calling for presentations of
original, unfinished, already published, or otherwise interesting work
within the topics of the RAMICS conferences.  The submission can be in the
form of a poster, an abstract, a paper submitted to or published at another
conference, etc.  Short contributions will *not* be published in the
conference proceedings.

IMPORTANT DATES:

  Submission:    14 February 2020
  Notification:  28 February 2020
  Registration:  15 March 2020

INVITED TALKS:

Christel Baier, Technische Universitaet Dresden, Germany
    Probabilistic bisimulation with silent moves

Manfred Droste, Universitaet Leipzig, Germany
    Weighted automata and quantitative logics

Daniela Petrisan, Universite Paris Diderot, France
    Combining probabilistic and non-deterministic choice via weak
    distributive laws

TOPICS:

We invite short submissions in the general fields of algebras relevant
to computer science and applications of such algebras. Topics include
but are not limited to:

* Theory
  - algebras such as semigroups, residuated lattices, semirings,
    Kleene algebras, relation algebras and quantales
  - their connections with program logics and other logics
  - their use in the theories of automata, concurrency, formal languages,
    games, networks and programming languages
  - the development of algebraic, algorithmic, category-theoretic,
    coalgebraic and proof-theoretic methods for these theories
  - their formalisation with theorem provers

* Applications
  - tools and techniques for program correctness, specification and
    verification
  - quantitative and qualitative models and semantics of computing
    systems and processes
  - algorithm design, automated reasoning, network protocol analysis,
    social choice, optimisation and control
  - industrial applications

SUBMISSION INSTRUCTIONS:

Please send your short submission to

  ramics18-info AT lists.gforge.inria.fr

by 14 February 2020.

ORGANIZING COMMITTEE:

  Conf. & PC Co-Chair: Peter Jipsen, Chapman University, USA
  Conf. & PC Co-Chair: Uli Fahrenberg, École polytechnique, France
  Conf. & PC Co-Chair: Michael Winter, Brock University, Canada

For more information, see http://ramics18.gforge.inria.fr/