From 51e5dff7fc3d05be457f063a16358c67bad41556 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 21 Jun 2017 10:20:01 +0100 Subject: [PATCH] Update 2017-06-16-Algebraic.md --- _posts/2017-06-16-Algebraic.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/_posts/2017-06-16-Algebraic.md b/_posts/2017-06-16-Algebraic.md index a650e89..5939f50 100644 --- a/_posts/2017-06-16-Algebraic.md +++ b/_posts/2017-06-16-Algebraic.md @@ -1,5 +1,5 @@ --- -title:Paper accepted at Concur 2017 +title: Paper accepted at Concur 2017 --- Andrea Cerone has had a paper accepted at this year’s [International Conference on Concurrency Theory, (Concur 2017)](https://www.concur2017.tu-berlin.de/) which will be held in Berlin, Germany in September. @@ -9,4 +9,4 @@ with [Alexey Gotsman]( http://software.imdea.org/~gotsman), IMDEA Software Insti The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. The topics covered are Theory, Formal Modelling, Verification, Performance Evaluation and Engineering of concurrent, timed, and other systems. CONCUR is part of [QONFEST](https://conference.imp.fu-berlin.de/qonfest/home), the umbrella event comprising the joint international 2017 meetings [CONCUR](https://www.concur2017.tu-berlin.de), -[QEST](http://www.qest.org/qest2017), [FORMATS](http://formats17.ulb.be), and [EPEW](http://page.mi.fu-berlin.de/preineck/epew2017-mirror), alongside with several workshops and tutorials. +[QEST](http://www.qest.org/qest2017), [FORMATS](http://formats17.ulb.be), and [EPEW](http://page.mi.fu-berlin.de/preineck/epew2017-mirror), alongside with several workshops and tutorials. \ No newline at end of file -- GitLab