Wolfram Kahl | 26 Oct 23:18 2013
Picon
Picon

Relational & Algebraic Methods --- RAMiCS 2014 --- Final CFP, with Deadlines extended!

                   14th International Conference on
          Relational and Algebraic Methods in Computer Science

                            RAMiCS 2014

            FINAL CALL FOR PAPERS, with DEADLINE EXTENSION

      27 April to 1 May 2014, Marienstatt im Westerwald, Germany
             URL:  http://mathcs.chapman.edu/ramics2014
      PDF: http://mathcs.chapman.edu/ramics2014/RAMiCS14-CFP.pdf

Invited Speakers
----------------

* C.A.R. Hoare (Microsoft Research Cambridge)
* Alexander Kurz (University of Leicester)
* Jose Oliveira (Universidade do Minho)

Important Dates
---------------

    Title and abstract submission:         November   1  2013 (anywhere on Earth)
    Submission of full papers:             November   9  2013 (anywhere on Earth)
    Notification:                          December  16  2013
    Final versions due (firm deadline):    January   17  2014
    Conference                          April 27 - May 1 2014

Scope
-----

(Continue reading)


Gmane