CALL FOR SHORT CONTRIBUTIONS / POSTERS
19th International Conference on
Relational and Algebraic Methods in Computer Science
RAMiCS 2021
2 to 5 November 2021, Marseille, France
https://ramics19.lis-lab.fr/
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: 29 August 2021
Notification: 5 September 2021
RAMiCS registration: 12 September 2021
INVITED SPEAKERS:
Marcelo Frias, Instituto Tecnológico de Buenos Aires, Argentina
Barbara König, Universität Duisburg-Essen, Germany
Dmitriy Zhuk, Moscow State University, Russia
GENERAL INFORMATION:
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.
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 as a single pdf file to
ramics2021(a)easychair.org
by 29 August 2021.
ORGANIZERS:
Luigi Santocanale, Aix-Marseille University, France
Uli Fahrenberg, École polytechnique, France
Mai Gehrke, Université Côte d’Azur, France
Michael Winter, Brock University, Canada
- Application deadline: Midnight, 31 Aug 2021
- Interview Date: To be confirmed
- Starting date: 1 Oct 2021, or as soon as possible thereafter
- Salary: £35,931-£37,979
- Duration: until February 2023
Applications are invited for the post of Post-Doctoral Research Assistant in the Computer Science Department at Royal Holloway, University of London.
Successful applicants will be working on the EPSRC-funded "Verification of Hardware Concurrency via Model Learning" (CLeVer) project (EP/S028641/1), led by Alexandra Silva (UCL) and Matteo Sammartino (Royal Holloway, University of London).
This is a joint research endeavour involving Royal Holloway University of London, University College London, and ARM, world-leading designer of multi-core chips.
For an informal discussion about the post, please contact Dr. Matteo Sammartino on Matteo.Sammartino(a)rhul.ac.uk.
# Project Description
Digital devices increasingly rely on multi-threaded computation, with sophisticated concurrent behaviour becoming prevalent at any scale. As the complexity of these systems increases, there is a pressing need to automate the assessment of their correctness, especially with respect to concurrency-related aspects. Formal verification provides highly effective techniques to assess the correctness of systems. However, formal models are usually built by humans, and as such can be error-prone and inaccurate.
The CLeVer project aims to:
- develop a novel verification framework that relies on learning techniques to automatically build and verify models of concurrency, with a particular focus on multi-core systems.
- apply the framework to real-world verification tasks, in collaboration with ARM.
# The ideal candidate
We are looking for candidates with a PhD in one of the following areas: model-based testing and verification, formal methods for concurrency, automated analysis of hardware systems. Experience in multiple areas will be valued. Candidates ideally should also have strong programming skills.
# Where to apply
https://jobs.royalholloway.ac.uk/vacancy.aspx?ref=0721-259
Join the Logica Universalis Webinar!
The next session will be held on Wednesday, July 21 at 4pm CEST with the talk
A Venn Diagram System for Universe Without Boundary<https://link.springer.com/article/10.1007/s11787-019-00227-z>
Reetu Bhattacharjee<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.researchgate.net_s…> (Jadavpur University, Kolkata, West Bengal, India)
Chair: Raja Natarajan<https://urldefense.proofpoint.com/v2/url?u=http-3A__www.tcs.tifr.res.in_-7E…>, Editorial Board LU
Associate Organization: Calcutta Logic Circle<https://urldefense.proofpoint.com/v2/url?u=https-3A__sites.google.com_view_…>
Presented by its president Mihir Chakraborty<https://urldefense.proofpoint.com/v2/url?u=https-3A__sites.google.com_site_…>
The Logica Universalis Webinar is a World Seminar Series connected to the journal Logica Universalis<https://www.springer.com/journal/11787/>, the book series Studies in Universal Logic<https://www.springer.com/series/7391> and the Universal Logic Project<https://logica-universalis.org/>. It is an open platform for all scholars interested in the many aspects of logic. (See the full program here<https://www.springer.com/journal/11787/updates/18988758>.)
The sessions take place on Wednesdays at 4pm CEST (click here<https://www.timeanddate.com/worldclock/fixedtime.html?msg=Logica+Universali…> to convert to your timezone). They are held via Zoom and are free to attend. Please register in advance.
Registration is now open!<https://springer.zoom.us/meeting/register/tJMvdu6vrzMiHda_iDhjxw9vA9d7we9gT…>
Each session of the webinar is chaired by a member of the editorial board of the journal Logica Universalis (LU), the book series Studies in Universal Logic (SUL) or an organizer of an event of the Universal Logic Project (ULP). Sessions will start with a short presentation of a logical organization related to the region of the speaker or the topic of the talk. The talk (30 min) will focus on a recently published paper in LU, on a book in SUL, on an event or on the ULP. Talks are followed by a discussion (15 min).
Video recordings of the seminars are uploaded on the YouTube channel Universal Logic Project<https://www.youtube.com/channel/UCPS1c5ApuwjuCV9UjXHUN4w>.
---
To unsubscribe from these notifications for the Logica Universalis Webinar please send a message with 'Unsubscribe' to this e-mail address (antje.herbst(a)springernature.com<mailto:antje.herbst@springernature.com>).
--
Antje Herbst
Associate Editor Mathematics
Journals
Springer Nature
Tiergartenstraße 17, 69121 Heidelberg, Germany
T +49 62214878984
antje.herbst(a)springernature.com<mailto:antje.herbst@springernature.com>
www.springernature.com<http://www.springernature.com/>
--
Springer Nature is a leading research, educational and professional publisher, providing quality content to our communities through a range of innovative platforms, products and services. Every day, around the globe, our imprints, books, journals and resources reach millions of people - helping researchers, students, teachers & professionals to discover, learn and achieve.
--
Branch of Springer-Verlag GmbH, Heidelberger Platz 3, 14197 Berlin, Germany
Registered Office: Berlin / Amtsgericht Berlin-Charlottenburg, HRB 91881 B
Directors: Martin Mos, Dr. Ulrich Vest, Dr. Niels Peter Thomas
CALL FOR PARTICIPATION
Sixth International Conference on
Formal Structures for Computation and Deduction (FSCD 2021)
July 17 – July 24, 2021, Buenos Aires, Argentina
https://fscd2021.dc.uba.ar/
In-cooperation with ACM SIGLOG and SIGPLAN
The 2021 edition of FSCD and of its satellite workshops will be held
online. Participation will, a priori, be free of charge, unless we
receive way too many requests, in which case we will invite those
who can to pay the modest amount of 7 USD.
FSCD covers all aspects of formal structures for computation and
deduction from theoretical foundations to applications. Building on
two communities, RTA (Rewriting Techniques and Applications) and
TLCA (Typed Lambda Calculi and Applications), FSCD embraces their
core topics and broadens their scope to closely related areas in
logics, models of computation (e.g., quantum computing, probabilistic
computing, homotopy type theory), semantics and verification in new
challenging areas (e.g., blockchain protocols or deep learning
algorithms).
REGISTRATION
---------------
The registration page is already open and linked from:
https://fscd2021.dc.uba.ar/registration.html
This link should be used also to register for affiliated workshops.
Registration is open until July 11.
FSCD 2021 will run over the Clowdr platform. After the registration is
closed, you will receive an invitation link and instructions on how to
participate.
INVITED SPEAKERS
----------------
- Zena M. Ariola https://ix.cs.uoregon.edu/~ariola/
- Nao Hirokawa https://www.jaist.ac.jp/~hirokawa/
- Elaine Pimentel https://sites.google.com/site/elainepimentel/
- Sam Staton https://www.cs.ox.ac.uk/people/samuel.staton/main.html
FSCD AFFILIATED WORKSHOPS:
--------------------------
- HoTT/UF (6th Workshop on Homotopy Type Theory/Univalent Foundations, July 17-18)
- ITRS (10th Workshop on Intersection Types and Related Systems, July 17)
- WPTE (7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation, July 18)
- UNIF (35th International Workshop on Unification, July 18)
- LSFA (16th Logical and Semantics Frameworks with Applications, July 23-24)
- IWC (10th International Workshop on Confluence, July 23)
- IFIP WG 1.6 (24th meeting of the IFIP Working Group 1.6: Rewriting, July 24)
PROGRAM COMMITTEE CHAIR
-----------------------
Naoki Kobayashi, The University of Tokyo
fscd2021(a)easychair.org
PROGRAM COMMITTEE
-----------------
Mauricio Ayala-Rincón, Universidade de Brasília
Stefano Berardi, University of Torino
Frédéric Blanqui, INRIA
Eduardo Bonelli, Stevens Institute of Technology
Évelyne Contejean, CNRS, Université Paris-Saclay
Thierry Coquand, University of Gothenburg
Thomas Ehrhard, Université de Paris, CNRS
Santiago Escobar, Univ. Politècnica de València
José Espírito Santo, University of Minho
Claudia Faggian, Université de Paris, CNRS
Amy Felty, University of Ottawa
Santiago Figueira, Universidad de Buenos Aires
Marcelo Fiore, University of Cambridge
Marco Gaboardi, Boston University
Silvia Ghilezan, University of Novi Sad
Ichiro Hasuo, National Institute of Informatics
Delia Kesner, Université de Paris
Robbert Krebbers, Radboud University Nijmegen
Temur Kutsia, Johannes Kepler University Linz
Barbara König, University of Duisburg-Essen
Marina Lenisa, University of Udine
Naoki Nishida, Nagoya University
Luke Ong, University of Oxford
Paweł Parys, University of Warsaw
Jakob Rehof, TU Dortmund University
Camilo Rocha, Pontificia Univ. Javeriana Cali
Alexandra Silva, University College London
Alwen Tiu, Australian National University
Sarah Winkler, University of Verona
Hongseok Yang, KAIST, South Korea
CONFERENCE CHAIR
----------------
Alejandro Díaz-Caro, Quilmes Univ. & ICC/CONICET
ORGANIZING COMMITTEE
--------------------
Mauricio Ayala-Rincón (Workshops co-chair), Universidade de Brasília
Santiago Figueira, Universidad de Buenos Aires & ICC
Malena Ivnisky (Virtualization co-chair), Universidad de Buenos Aires & ICC
Mauro Jaskelioff, Universidad Nacional de Rosario & CIFASIS
Carlos López Pombo (Workshops co-chair), Universidad de Buenos Aires & ICC
Ricardo Rodríguez (Virtualization co-chair), Universidad de Buenos Aires & ICC
Rafael Romero (Virtualization co-chair), Universidad de Buenos Aires & ICC
Nora Szasz, Universidad ORT Uruguay
Beta Ziliani, Universidad Nacional de Córdoba
FSCD STEERING COMMITTEE
-----------------------
Zena M. Ariola, University of Oregon
Mauricio Ayala-Rincón, University of Brasilia
Carsten Fuhs (Publicity Chair), Birkbeck, University of London
Herman Geuvers, Radboud University
Silvia Ghilezan, University of Novi Sad
Stefano Guerrini, University of Paris 13
Delia Kesner (SC Chair), University of Paris Diderot Hélène Kirchner, Inria
Cynthia Kop, Radboud University
Damiano Mazza, University of Paris 13
Luke Ong, Oxford University
Jakob Rehof, TU Dortmund
Jamie Vicary (SC Workshop Chair), Oxford University
Second Call for Workshops- FLoC 2022 — The 2022 Federated Logic Conference
July 31 - August 12, 2022
Haifa, Israel
http://www.floc2022.org/
Deadline on September 27, 2021
[apologies for cross posting]
CALL FOR WORKSHOPS
The Eighth Federated Logic Conference (FLoC 2022) will host the following ten
conferences and affiliated workshops.
LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science) https://lics.siglog.org//
Workshop chair: Frederic Blanqui Frederic.Blanqui(a)inria.fr
FSCD (7th International Conference on Formal Structures for Computation and Deduction) http://fscd-conference.org/
Workshop chair: Nachum Dershowitz nachumd(a)tau.ac.il
ITP (13th International Conference on Interactive Theorem Proving) https://itp-conference.github.io/
Workshop chair: Cyril Cohen cyril.cohen(a)inria.fr
IJCAR (International Joint Conference on Automated Reasoning)
http://www.ijcar.org
Workshop chairs: Simon Robillard simon.robillard(a)imt-atlantique.fr
Sophie Tourret stourret(a)mpi-inf.mpg.de
CSF (35th IEEE Computer Security Foundations Symposium) http://www.ieee-security.org/CSFWweb/
Workshop chair: Musard Balliu musard(a)kth.se
CAV (34th International Conference on Computer Aided Verification)
http://i-cav.org/
Workshop chair: TBD
KR (19th International Conference on Principles of Knowledge Representation and Reasoning)
http://www.kr.org/
Workshop chair: Stefan Borgwardt stefan.borgwardt(a)tu-dresden.de
ICLP (38th International Conference on Logic Programming) https://www.cs.nmsu.edu/ALP/conferences/
Workshop chair: Daniela Inclezan inclezd(a)miamioh.edu
SAT (25th International Conference on Theory and Applications of Satisfiability Testing) http://www.satisfiability.org
Workshop chair: Alexander Nadel alexander.nadel(a)intel.com
CP (25th International Conference on Principles and Practice of Constraint Programming) http://a4cp.org/events/cp-conference-series
Workshop chair: TBD
SUBMISSION OF WORKSHOP PROPOSALS
Researchers and practitioners are invited to submit proposals for workshops on
topics in the field of computer science, related to logic in the broad sense.
Each workshop proposal must indicate one affiliated conference of FLoC 2022.
It is strongly suggested that prospective workshop organizers contact the
relevant conference workshop chair before submitting a proposal.
Each proposal should consist of the following two parts.
1) A short scientific justification of the proposed topic, its significance,
and the particular benefits of the workshop to the community, as well as a
list of previous or related workshops (if relevant).
2) An organisational part including:
- contact information for the workshop organizers;
- proposed affiliated conference;
- estimate of the number of workshop participants (please note that small workshops, i.e., of less than ~13 participants, will likely be cancelled or merged);
- proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.);
- potential invited speakers (note that expenses of workshop invited speakers are not covered by FLoC);
- procedures for selecting papers and participants;
- plans for dissemination, if any (e.g. a journal special issue);
- duration (which may vary from one day to two days);
- preferred period (pre or post FLoC);
- virtual/hybrid backup plans (including platform preference).
The FLoC Organizing Committee will determine the final list of accepted
workshops based on the recommendations from the Workshop Chairs of the hosting
conferences and availability of space and facilities.
Proposals should be submitted through EasyChair:
https://easychair.org/conferences/?conf=floc2022workshops
Please see the Workshop Guidelines page: https://floc2022.org/workshops/ for further details and FAQ.
IMPORTANT DATES
Submission of workshop proposals deadline: September 27, 2021 (note extended deadline)
Notification: November 1, 2021
Pre-FLoC workshops: Sunday & Monday, July 31–August 1, 2022 (note corrected dates)
Post-FLoC workshops: Thursday & Friday, August 11-12, 2022
CONTACT INFORMATION
Questions regarding proposals should be sent to the workshop chairs of the
proposed affiliated conference. General questions should be sent to:
shaull(a)technion.ac.il
GuillermoAlberto.Perez(a)uantwerpen.be
FLoC 2022 WORKSHOP CHAIRS
Shaull Almagor
Guillermo A. Perez