<div dir="ltr"><div class="gmail_default"><div class="gmail_default"><font size="4">==============================<WBR>===========================</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">              CALL FOR PAPERS:  CALCO 2015</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">6th International Conference on Algebra and Coalgebra in Computer Science</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">                 June 24 - 26, 2015</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">                Nijmegen, Netherlands</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">               <a href="http://coalg.org/calco15/" target="_blank">http://coalg.org/calco15/</a></font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">==============================<WBR>============================</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">       Abstract submission:    March 22, 2015</font></div><div class="gmail_default"><font size="4">       Paper submission:       April 2, 2015</font></div><div class="gmail_default"><font size="4">       Author notification:    May 6, 2015</font></div><div class="gmail_default"><font size="4">       Final version due:      June 3, 2015</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">==============================<WBR>============================</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">-- SCOPE --</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">CALCO aims to bring together researchers and practitioners with</font></div><div class="gmail_default"><font size="4">interests in foundational aspects, and both traditional and emerging</font></div><div class="gmail_default"><font size="4">uses of algebra and coalgebra in computer science.</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">It is a high-level, bi-annual conference formed by joining the forces </font></div><div class="gmail_default"><font size="4">and reputations of CMCS (the International Workshop on Coalgebraic </font></div><div class="gmail_default"><font size="4">Methods in Computer Science), and WADT (the Workshop on Algebraic </font></div><div class="gmail_default"><font size="4">Development Techniques). Previous CALCO editions took place in </font></div><div class="gmail_default"><font size="4">Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009), </font></div><div class="gmail_default"><font size="4">Winchester (UK, 2011) and Warsaw (Poland, 2013). The sixth edition will </font></div><div class="gmail_default"><font size="4">be held in Nijmegen, the Netherlands, colocated with MFPS XXXI.</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">-- INVITED SPEAKERS --</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">Andy Pitts - University of Cambridge, UK (joint with MFPS)</font></div><div class="gmail_default"><font size="4">Chris Heunen - University of Oxford, UK</font></div><div class="gmail_default"><font size="4">Matteo Mio - CNRS, ENS Lyon, FR</font></div><div class="gmail_default"><font size="4">Daniela Petrisan - Radboud University, Nijmegen, NL</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">-- TOPICS OF INTEREST --</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">We invite submissions of technical papers that report results of</font></div><div class="gmail_default"><font size="4">theoretical work on the mathematics of algebras and coalgebras, the</font></div><div class="gmail_default"><font size="4">way these results can support methods and techniques for software</font></div><div class="gmail_default"><font size="4">development, as well as experience with the transfer of the resulting</font></div><div class="gmail_default"><font size="4">technologies into industrial practice. We encourage submissions in</font></div><div class="gmail_default"><font size="4">topics included or related to those listed below.</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4"> * Abstract models and logics</font></div><div class="gmail_default"><font size="4">   - Automata and languages</font></div><div class="gmail_default"><font size="4">   - Categorical semantics</font></div><div class="gmail_default"><font size="4">   - Modal logics</font></div><div class="gmail_default"><font size="4">   - Relational systems</font></div><div class="gmail_default"><font size="4">   - Graph transformation</font></div><div class="gmail_default"><font size="4">   - Term rewriting</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4"> * Specialised models and calculi</font></div><div class="gmail_default"><font size="4">   - Hybrid, probabilistic, and timed systems</font></div><div class="gmail_default"><font size="4">   - Calculi and models of concurrent, distributed, mobile, and</font></div><div class="gmail_default"><font size="4">     context-aware computing</font></div><div class="gmail_default"><font size="4">   - General systems theory and computational models (chemical,</font></div><div class="gmail_default"><font size="4">     biological, etc.)</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4"> * Algebraic and coalgebraic semantics</font></div><div class="gmail_default"><font size="4">   - Abstract data types</font></div><div class="gmail_default"><font size="4">   - Inductive and coinductive methods</font></div><div class="gmail_default"><font size="4">   - Re-engineering techniques (program transformation)</font></div><div class="gmail_default"><font size="4">   - Semantics of conceptual modelling methods and techniques</font></div><div class="gmail_default"><font size="4">   - Semantics of programming languages</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4"> * System specification and verification</font></div><div class="gmail_default"><font size="4">   - Algebraic and coalgebraic specification</font></div><div class="gmail_default"><font size="4">   - Formal testing and quality assurance</font></div><div class="gmail_default"><font size="4">   - Validation and verification</font></div><div class="gmail_default"><font size="4">   - Generative programming and model-driven development</font></div><div class="gmail_default"><font size="4">   - Models, correctness and (re)configuration of</font></div><div class="gmail_default"><font size="4">     hardware/middleware/<WBR>architectures,</font></div><div class="gmail_default"><font size="4">   - Process algebra</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4"> * Corecursion in Programming Languages</font></div><div class="gmail_default"><font size="4">    - Corecursion in logic / constraint / functional / answer set</font></div><div class="gmail_default"><font size="4">      programming</font></div><div class="gmail_default"><font size="4">    - Corecursive type inference</font></div><div class="gmail_default"><font size="4">    - Coinductive methods for proving program properties</font></div><div class="gmail_default"><font size="4">    - Implementing corecursion</font></div><div class="gmail_default"><font size="4">    - Applications</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4"> * Algebra and Coalgebra in quantum computing</font></div><div class="gmail_default"><font size="4">    - Categorical semantics for quantum computing</font></div><div class="gmail_default"><font size="4">    - Quantum calculi and programming languages</font></div><div class="gmail_default"><font size="4">    - Foundational structures for quantum computing</font></div><div class="gmail_default"><font size="4">    - Applications of quantum algebra</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">-- NEW TOPIC --</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">This edition of CALCO will feature a new topic, and submission of papers</font></div><div class="gmail_default"><font size="4">in this area is particularly encouraged.</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">* String Diagrams and Network Theory</font></div><div class="gmail_default"><font size="4">    - Combinatorial approaches </font></div><div class="gmail_default"><font size="4">    - Theory of PROPs and operads</font></div><div class="gmail_default"><font size="4">    - Rewriting problems and higher-dimensional approaches</font></div><div class="gmail_default"><font size="4">    - Automated reasoning with string diagrams</font></div><div class="gmail_default"><font size="4">    - Applications of string diagrams</font></div><div class="gmail_default"><font size="4">    - Connections with Control Theory, Engineering and Concurrency</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">-- SUBMISSION GUIDELINES --</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">Prospective authors are invited to submit full papers in English</font></div><div class="gmail_default"><font size="4">presenting original research. Submitted papers must be unpublished and</font></div><div class="gmail_default"><font size="4">not submitted for publication elsewhere. Experience papers are</font></div><div class="gmail_default"><font size="4">welcome, but they must clearly present general lessons learned that</font></div><div class="gmail_default"><font size="4">would be of interest and benefit to a broad audience of both</font></div><div class="gmail_default"><font size="4">researchers and practitioners. Starting with CALCO 2015, proceedings</font></div><div class="gmail_default"><font size="4">will be published in the Dagstuhl LIPIcs–Leibniz International Proceedings </font></div><div class="gmail_default"><font size="4">in Informatics series. Final papers should be no more than 15 pages long </font></div><div class="gmail_default"><font size="4">in the format specified by LIPIcs </font></div><div class="gmail_default"><font size="4">(<a href="http://www.dagstuhl.de/publikationen/lipics/anleitung-fuer-autoren/" target="_blank">http://www.dagstuhl.de/<WBR>publikationen/lipics/<WBR>anleitung-fuer-autoren/</a>).</font></div><div class="gmail_default"><font size="4">It is recommended that submissions adhere to that format and</font></div><div class="gmail_default"><font size="4">length. Submissions that are clearly too long may be rejected</font></div><div class="gmail_default"><font size="4">immediately. Proofs omitted due to space limitations may be included</font></div><div class="gmail_default"><font size="4">in a clearly marked appendix. Both an abstract and the full paper must</font></div><div class="gmail_default"><font size="4">be submitted by their respective submission deadlines.</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">A special issue of the open access journal Logical Methods in Computer</font></div><div class="gmail_default"><font size="4">Science (<a href="http://www.lmcs-online.org" target="_blank">http://www.lmcs-online.org</a>), containing extended versions of</font></div><div class="gmail_default"><font size="4">selected papers, is also being planned.</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">Submissions will be handled via EasyChair</font></div><div class="gmail_default"><font size="4"><a href="https://www.easychair.org/conferences/?conf=calco2015" target="_blank">https://www.easychair.org/<WBR>conferences/?conf=calco2015</a></font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">-- BEST PAPER AND BEST PRESENTATION AWARDS --</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">Following from the successful trial at CALCO 2013, this edition of </font></div><div class="gmail_default"><font size="4">CALCO will feature two awards: a best paper award whose recipients will </font></div><div class="gmail_default"><font size="4">be selected by the PC before the conference and a best presentation </font></div><div class="gmail_default"><font size="4">award, elected by the participants.</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">-- IMPORTANT DATES --</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">Abstract submission:    March 22, 2015</font></div><div class="gmail_default"><font size="4">Paper submission:       April 2, 2015</font></div><div class="gmail_default"><font size="4">Author notification:    May 6, 2015</font></div><div class="gmail_default"><font size="4">Final version due:      June 3, 2015</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">-- PROGRAMME COMMITTEE --</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">Samson Abramsky, University of Oxford, UK</font></div><div class="gmail_default"><font size="4">Andrej Bauer, University of Ljubljana, SLO</font></div><div class="gmail_default"><font size="4">Filippo Bonchi, CNRS and ENS Lyon, FR</font></div><div class="gmail_default"><font size="4">Corina Cirstea, University of Southampton, UK</font></div><div class="gmail_default"><font size="4">Andrea Corradini, University of Pisa, IT</font></div><div class="gmail_default"><font size="4">Ross Duncan, University of Strathclyde, UK</font></div><div class="gmail_default"><font size="4">Martín Escardó, University of Birmingham, UK</font></div><div class="gmail_default"><font size="4">Dan Ghica, University of Birmingham, UK</font></div><div class="gmail_default"><font size="4">Helle Hansen, Radboud University Nijmegen and CWI, NL</font></div><div class="gmail_default"><font size="4">Ichiro Hasuo, University of Tokyo, JP</font></div><div class="gmail_default"><font size="4">Bart Jacobs, Radboud University Nijmegen, NL</font></div><div class="gmail_default"><font size="4">Bartek Klin, University of Warsaw, PL</font></div><div class="gmail_default"><font size="4">Barbara König, University of Duisburg-Essen, D</font></div><div class="gmail_default"><font size="4">Dexter Kozen, Cornell, US</font></div><div class="gmail_default"><font size="4">Alexander Kurz, University of Leicester, UK</font></div><div class="gmail_default"><font size="4">Paul-André Melličs, CNRS and University Paris VII, FR</font></div><div class="gmail_default"><font size="4">Stefan Milus, University of Erlangen-Nürnberg, D</font></div><div class="gmail_default"><font size="4">Larry Moss (co-chair), Indiana University, US</font></div><div class="gmail_default"><font size="4">Dusko Pavlovic, University of Hawaii, US</font></div><div class="gmail_default"><font size="4">Daniela Petrisan, ENS Lyon, FR</font></div><div class="gmail_default"><font size="4">Damien Pous, ENS Lyon, FR</font></div><div class="gmail_default"><font size="4">John Power, University of Bath, UK</font></div><div class="gmail_default"><font size="4">Jan Rutten, Radboud University Nijmegen and CWI, NL</font></div><div class="gmail_default"><font size="4">Lutz Schroeder, University of Erlangen-Nuernberg, D</font></div><div class="gmail_default"><font size="4">Monika Seisenberger, University of Swansea, UK</font></div><div class="gmail_default"><font size="4">Alexandra Silva, Radboud University Nijmegen, NL</font></div><div class="gmail_default"><font size="4">Pawel Sobocinski (co-chair), University of Southampton, UK</font></div><div class="gmail_default"><font size="4">Ana Sokolova, University of Salzburg, AT</font></div><div class="gmail_default"><font size="4">Andrzej Tarlecki, University of Warsaw, PL </font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">-- ORGANISING COMMITTEE --</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">Alexandra Silva</font></div><div class="gmail_default"><font size="4">Bart Jacobs</font></div><div class="gmail_default"><font size="4">Nicole Messink</font></div><div class="gmail_default"><font size="4">Sam Staton </font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">-- PUBLICITY --</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">Fabio Zanasi</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">-- LOCATION --</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">Nijmegen is the oldest city in the Netherlands and celebrated its </font></div><div class="gmail_default"><font size="4">2,000th year of existence in 2005. It is situated in the eastern </font></div><div class="gmail_default"><font size="4">province of Gelderland, quite near to the German border. The latin </font></div><div class="gmail_default"><font size="4">name for Nijmegen, `Noviomagus´, is a reminder of its Roman past. </font></div><div class="gmail_default"><font size="4">`Noviomagus´ means `new market´ and refers to the right to hold a </font></div><div class="gmail_default"><font size="4">market as granted by the Romans. In the days of Charlemagne, the </font></div><div class="gmail_default"><font size="4">city was called `Numaga´; later on, this became `Nieumeghen´ and </font></div><div class="gmail_default"><font size="4">`Nimmegen´. However, citizens born and bred in Nijmegen speak </font></div><div class="gmail_default"><font size="4">affectionately of `Nimwegen´.</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">Nijmegen is one of the warmest cities of the Netherlands, especially </font></div><div class="gmail_default"><font size="4">during summer, when the highest temperatures in the country are </font></div><div class="gmail_default"><font size="4">usually measured in the triangle Roermond – Nijmegen – Eindhoven. </font></div><div class="gmail_default"><font size="4">The lack of north-south oriented mountain ranges in Europe make this </font></div><div class="gmail_default"><font size="4">area prone to sudden shifts in weather, giving the region a </font></div><div class="gmail_default"><font size="4">semi-continental climate.</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">-- SATELLITE WORKSHOPS --</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">The workshop is intended to enable presentation of work in progress and </font></div><div class="gmail_default"><font size="4">original research proposals. PhD students and young researchers are </font></div><div class="gmail_default"><font size="4">particularly encouraged to contribute. CALCO 2015 will run together </font></div><div class="gmail_default"><font size="4">with the CALCO Early Ideas Workshop, with dedicated Early Ideas sessions </font></div><div class="gmail_default"><font size="4">at the end of each conference day.</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">-- CALCO Early Ideas Overview --</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">The CALCO Early Ideas Workshop invites submissions on the same topics</font></div><div class="gmail_default"><font size="4">as the CALCO conference: reporting results of theoretical work on the</font></div><div class="gmail_default"><font size="4">mathematics of algebras and coalgebras, the way these results can</font></div><div class="gmail_default"><font size="4">support methods and techniques for software development, as well as</font></div><div class="gmail_default"><font size="4">experience with the transfer of the resulting technologies into</font></div><div class="gmail_default"><font size="4">industrial practice. The list of topics of particular interest is</font></div><div class="gmail_default"><font size="4">shown on the main CALCO 2015 page.</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">CALCO Early Ideas presentations will be selected according to originality,</font></div><div class="gmail_default"><font size="4">significance, and general interest, on the basis of submitted 2-page short</font></div><div class="gmail_default"><font size="4">contributions.  It can be work in progress, a summary of work submitted to a</font></div><div class="gmail_default"><font size="4">conference or workshop elsewhere, or work that in some other way might be </font></div><div class="gmail_default"><font size="4">interesting to the CALCO audience. A booklet with the accepted short </font></div><div class="gmail_default"><font size="4">contributions will be made available.</font></div><div class="gmail_default"><font size="4"><br></font></div><div class="gmail_default"><font size="4">We encourage PhD students and young researchers to submit Early Ideas papers </font></div><div class="gmail_default"><font size="4">to the CALCO 2015 Easychair site as for ordinary submissions, mentioning in </font></div><div class="gmail_default"><font size="4">the abstract that the paper is to be considered for an Early Ideas talk.</font></div><div style="font-size:large"><br></div></div></div>
<img src='https://ssl.google-analytics.com/collect?v=1&t=event&ec=Yet%20Another%20Mail%20Merge%20-%20Email%20Opened&tid=UA-17877121-2&z=1421779972&cid=7ff0b160-b367-af57-17c6-bef4765f3eb6&ea=NONE&el=NONE' width='1' height='1'/>