<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">---------- Forwarded message ---------<br>From: <b class="gmail_sendername" dir="auto">'Samuel Gomes' via Grupo de Lógica de Bogotá</b> <span dir="auto"><<a href="mailto:logbog@googlegroups.com" target="_blank">logbog@googlegroups.com</a>></span><br>Date: Wed, Jan 13, 2021 at 8:04 AM<br>Subject: [LOGBOG: 965] Fw: RAMiCS 2021 - CFP<br>To: Teoria Dos Conjuntos E. Topologia Geral Logica <<a href="mailto:logica-teoria-dos-conjuntos-e-topologia-geral@googlegroups.com" target="_blank">logica-teoria-dos-conjuntos-e-topologia-geral@googlegroups.com</a>>, Logbog <<a href="mailto:logbog@googlegroups.com" target="_blank">logbog@googlegroups.com</a>><br></div><br><br><div><div style="font-family:Helvetica Neue,Helvetica,Arial,sans-serif;font-size:16px"><div id="m_-4462813837872905212m_2028808394800109231ydp2e53aad1yiv2088641636"><div><div style="font-family:Helvetica Neue,Helvetica,Arial,sans-serif;font-size:16px"><div></div>
<div><br clear="none"></div><div><br clear="none"></div>
</div></div></div></div><div id="m_-4462813837872905212m_2028808394800109231ydpec16c267yiv2088641636yqt60062"><div id="m_-4462813837872905212m_2028808394800109231ydpec16c267yiv2088641636ydpe513540byahoo_quoted_1065528053">
<div style="font-family:'Helvetica Neue',Helvetica,Arial,sans-serif;font-size:13px;color:#26282a">
<div>----- Mensagem encaminhada -----</div>
<div><b>De:</b> Samuel Gomes da Silva <<a href="mailto:samuel@ufba.br" target="_blank">samuel@ufba.br</a>></div><div><b>Para:</b> samuca mat <<a href="mailto:samuca_mat@yahoo.com.br" target="_blank">samuca_mat@yahoo.com.br</a>></div><div><b>Enviado:</b> terça-feira, 12 de janeiro de 2021 15:22:20 AMT</div><div><b>Assunto:</b> Fwd: RAMiCS 2021 - CFP</div><div><br clear="none"></div>
<div><div dir="ltr"><br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr">----- Mensagem encaminhada -----<br clear="none"></div><div dir="ltr">De: "luigi santocanale" <<a shape="rect" href="mailto:luigi.santocanale@lis-lab.fr" rel="nofollow" target="_blank">luigi.santocanale@lis-lab.fr</a>><br clear="none"></div><div dir="ltr">Para: <a shape="rect" href="mailto:samuel@ufba.br" rel="nofollow" target="_blank">samuel@ufba.br</a><br clear="none"></div><div dir="ltr">Cc: "luigi santocanale" <<a shape="rect" href="mailto:luigi.santocanale@lis-lab.fr" rel="nofollow" target="_blank">luigi.santocanale@lis-lab.fr</a>><br clear="none"></div><div dir="ltr">Enviadas: Terça-feira, 12 de janeiro de 2021 13:39:56<br clear="none"></div><div dir="ltr">Assunto: RAMiCS 2021 - CFP<br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr">CALL FOR PAPERS<br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr"> 19th International Conference on<br clear="none"></div><div dir="ltr"> Relational and Algebraic Methods in Computer Science<br clear="none"></div><div dir="ltr"> RAMiCS 2021<br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr"> 2 to 5 November 2021, CIRM, Marseille, France<br clear="none"></div><div dir="ltr"> <a shape="rect" href="https://ramics19.lis-lab.fr/" rel="nofollow" target="_blank">https://ramics19.lis-lab.fr/</a><br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr">IMPORTANT DATES:<br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr"> Abstract Submission: 14 May 2021<br clear="none"></div><div dir="ltr"> Paper Submission: 21 May 2021<br clear="none"></div><div dir="ltr"> Author Notification: 9 July 2021<br clear="none"></div><div dir="ltr"> Final Version: 30 July 2021<br clear="none"></div><div dir="ltr"> RAMiCS 2021: 2 to 5 November 2021<br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr">GENERAL INFORMATION:<br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr">Since 1994, the RAMiCS conference series has been the main venue for<br clear="none"></div><div dir="ltr">research on relation algebras, Kleene algebras and similar algebraic<br clear="none"></div><div dir="ltr">formalisms, and their applications as conceptual and methodological<br clear="none"></div><div dir="ltr">tools in computer science and beyond.<br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr">RAMiCS 2021 will take place at CIRM, the Centre International de<br clear="none"></div><div dir="ltr">Rencontres Mathématiques at the beautiful Luminy campus close to<br clear="none"></div><div dir="ltr">Marseille. Depending on the Covid-19 situation, it will take the<br clear="none"></div><div dir="ltr">form of a physical conference, a virtual conference, or a hybrid<br clear="none"></div><div dir="ltr">between the two.<br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr">TOPICS:<br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr">We invite submissions in the general fields of algebras relevant to<br clear="none"></div><div dir="ltr">computer science and applications of such algebras. Topics include but<br clear="none"></div><div dir="ltr">are not limited to:<br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr">* Theory<br clear="none"></div><div dir="ltr"> - algebras such as semigroups, residuated lattices, semirings,<br clear="none"></div><div dir="ltr"> Kleene algebras, relation algebras and quantales<br clear="none"></div><div dir="ltr"> - their connections with program logics and other logics<br clear="none"></div><div dir="ltr"> - their use in the theories of automata, concurrency, formal languages,<br clear="none"></div><div dir="ltr"> games, networks and programming languages<br clear="none"></div><div dir="ltr"> - the development of algebraic, algorithmic, category-theoretic,<br clear="none"></div><div dir="ltr"> coalgebraic and proof-theoretic methods for these theories<br clear="none"></div><div dir="ltr"> - their formalisation with theorem provers<br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr">* Applications<br clear="none"></div><div dir="ltr"> - tools and techniques for program correctness, specification and<br clear="none"></div><div dir="ltr"> verification<br clear="none"></div><div dir="ltr"> - quantitative and qualitative models and semantics of computing<br clear="none"></div><div dir="ltr"> systems and processes<br clear="none"></div><div dir="ltr"> - algorithm design, automated reasoning, network protocol analysis,<br clear="none"></div><div dir="ltr"> social choice, optimisation and control<br clear="none"></div><div dir="ltr"> - industrial applications<br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr">SUBMISSION INSTRUCTIONS:<br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr">Submission is via EasyChair at<br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr"> <a shape="rect" href="https://www.easychair.org/conferences/?conf=ramics2021" rel="nofollow" target="_blank">https://www.easychair.org/conferences/?conf=ramics2021</a><br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr">All papers will be peer-reviewed by at least three referees. The<br clear="none"></div><div dir="ltr">proceedings will be published in an LNCS volume by Springer, ready at<br clear="none"></div><div dir="ltr">the conference. Submissions must not be published or under review for<br clear="none"></div><div dir="ltr">publication elsewhere. Submissions must be in English using a PDF not<br clear="none"></div><div dir="ltr">exceeding 16 pages in LNCS style. Submissions must provide sufficient<br clear="none"></div><div dir="ltr">information to judge their merits. Additional material may be provided<br clear="none"></div><div dir="ltr">in a clearly marked appendix or by a reference to a manuscript on a web<br clear="none"></div><div dir="ltr">site. Experimental data, software or mathematical components for theorem<br clear="none"></div><div dir="ltr">provers must be available in sufficient detail for referees. Deviation<br clear="none"></div><div dir="ltr">from these requirements may lead to rejection.<br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr">One author of each accepted paper is expected to present the paper at<br clear="none"></div><div dir="ltr">the conference. Accepted papers must be produced with LaTeX. Formatting<br clear="none"></div><div dir="ltr">instructions and LNCS style files are available at<br clear="none"></div><div dir="ltr"><a shape="rect" href="http://www.springer.de/comp/lncs/authors.html" rel="nofollow" target="_blank">http://www.springer.de/comp/lncs/authors.html</a><br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr">As for earlier RAMiCS conferences, we intend to publish a journal<br clear="none"></div><div dir="ltr">special issue with revised and extended versions of a selection of the<br clear="none"></div><div dir="ltr">best papers.<br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr">COMMITTEES:<br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr"> Organising Committee<br clear="none"></div><div dir="ltr"> --------------------<br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr"> Conf. & PC Co-Chair: Mai Gehrke, LJAD CNRS, France<br clear="none"></div><div dir="ltr"> Conf. & PC Co-Chair: Uli Fahrenberg, Ecole polytechnique, France<br clear="none"></div><div dir="ltr"> Conf. & PC Co-Chair: Michael Winter, Brock University, Canada<br clear="none"></div><div dir="ltr"> Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France<br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr"> Programme Committee<br clear="none"></div><div dir="ltr"> -------------------<br clear="none"></div><div dir="ltr"><br clear="none"></div><div dir="ltr"> Bahareh Afshari, University of Amsterdam, Holland<br clear="none"></div><div dir="ltr"> Christel Baier, Technische Universität Dresden, Germany<br clear="none"></div><div dir="ltr"> Manuel Bodirsky, Technische Universität Dresden, Germany<br clear="none"></div><div dir="ltr"> Ignacio Fábregas, IMDEA, Spain<br clear="none"></div><div dir="ltr"> Uli Fahrenberg, Ecole polytechnique, France<br clear="none"></div><div dir="ltr"> Marcelo Frias, Buenos Aires Institute of Technology, Argentina<br clear="none"></div><div dir="ltr"> Hitoshi Furusawa, Kagoshima University, Japan<br clear="none"></div><div dir="ltr"> Mai Gehrke, LJAD CNRS, France<br clear="none"></div><div dir="ltr"> Silvio Ghilardi, Università degli Studi di Milano, Italy<br clear="none"></div><div dir="ltr"> Roland Glueck, German Aerospace Center, Germany<br clear="none"></div><div dir="ltr"> Walter Guttmann, University of Canterbury, New Zealand<br clear="none"></div><div dir="ltr"> Peter Höfner, Australian National University, Australia<br clear="none"></div><div dir="ltr"> Ali Jaoua, Qatar University, Qatar<br clear="none"></div><div dir="ltr"> Peter Jipsen, Chapman University, USA<br clear="none"></div><div dir="ltr"> Sebastiaan Joosten, Dartmouth College, USA<br clear="none"></div><div dir="ltr"> Laura Kovacz, Technische Universität Wien, Austria<br clear="none"></div><div dir="ltr"> Tadeusz Litak, Erlangen-Nürnberg University, Germany<br clear="none"></div><div dir="ltr"> Roger Maddux, Iowa State University, USA<br clear="none"></div><div dir="ltr"> Dale Miller, Ecole polytechnique, France<br clear="none"></div><div dir="ltr"> Martin Mueller, University of Augsburg, Germany<br clear="none"></div><div dir="ltr"> Daniela Petrisan, IRIF, University Paris 7, France<br clear="none"></div><div dir="ltr"> Damien Pous, CNRS, ENS Lyon, France<br clear="none"></div><div dir="ltr"> David Pym, University College, London, UK<br clear="none"></div><div dir="ltr"> Mehrnoosh Sadrzadeh, University College, London, UK<br clear="none"></div><div dir="ltr"> Luigi Santocanale, LIS, Aix-Marseille University, France<br clear="none"></div><div dir="ltr"> Georg Struth, University of Sheffield, UK<br clear="none"></div><div dir="ltr"> Sam van Gool, IRIF, University Paris 7, France<br clear="none"></div><div dir="ltr"> Michael Winter, Brock University, Canada<br clear="none"></div></div>
</div>
</div></div></div>
<p></p>
-- <br>
-- <br>
Grupo de Lógica de Bogotá: <a href="https://sites.google.com/a/unal.edu.co/logbog" target="_blank">https://sites.google.com/a/unal.edu.co/logbog</a><br>
<br>
Ha recibido este mensaje porque usted es miembro del grupo en Google "Grupo de Lógica de Bogotá" .<br>
Para enviar un mensaje, envíe un email a <a href="mailto:logbog@googlegroups.com" target="_blank">logbog@googlegroups.com</a><br>
Para salir del grupo, envíe un email a <a href="mailto:logbog-unsubscribe@googlegroups.com" target="_blank">logbog-unsubscribe@googlegroups.com</a><br>
Para más opciones, visite <a href="http://groups.google.com/group/logbog?hl=es" target="_blank">http://groups.google.com/group/logbog?hl=es</a><br>
--- <br>
Has recibido este mensaje porque estás suscrito al grupo "Grupo de Lógica de Bogotá" de Grupos de Google.<br>
Para cancelar la suscripción a este grupo y dejar de recibir sus mensajes, envía un correo electrónico a <a href="mailto:logbog+unsubscribe@googlegroups.com" target="_blank">logbog+unsubscribe@googlegroups.com</a>.<br>
Para ver esta conversación en el sitio web, visita <a href="https://groups.google.com/d/msgid/logbog/361495291.771403.1610492674277%40mail.yahoo.com?utm_medium=email&utm_source=footer" target="_blank">https://groups.google.com/d/msgid/logbog/361495291.771403.1610492674277%40mail.yahoo.com</a>.<br>
</div><br clear="all"><br>-- <br><div dir="ltr" data-smartmail="gmail_signature"><div dir="ltr"><span><div><div dir="ltr"><div><div>Diego A. Mejía (PhD)<br></div><div>Associate Professor<br></div>Faculty of Science, Shizuoka University<br></div><div>836 Ohya, Suruga-ku, Shizuoka 422-8529 Japan<br></div><div>Tel: +81-54-2384787</div></div></div></span></div></div></div>