10times
Conference

International Conference on Relational and Algebraic Methods in Computer Science

08 - 11 Apr 2020 Cancelled  New Date Reminder
ecole Polytechnique, Palaiseau, France

About Followers 2 Reviews Exhibitors Photos Speakers Travel Deals

International Conference on Relational and Algebraic Methods in Computer Science 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. Theoretical aspects include semigroups, residuated lattices, semirings, Kleene algebras, relation algebras, quantales and other algebras 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.


Timings

09:00 AM-06:00 PM (expected)
Not Verified

Entry Fees

Check Official Website

Participants

100 - 500
Delegates
Estimated Count

Category & Type

Conference
Science & Research

Editions

08 - 11 Apr 2020


Frequency Not Available

Official Links

WebsiteContacts


Report Error
Claim this event

Organizer

Logo Follow Company

INRA - Institut National de la Recherche Agronomique

France 45 Total Events / 4 Upcoming Events

User Community [ Users who have shown interest for this Event ]

Alexandra Simanovsky

Alexandra Simanovsky

Student at Bar Ilan University

Tel Aviv-Yafo, Israel
olorunsola olaniran festus

olorunsola olaniran festus

Operations Manager at corns nigeria limted

Abuja, Nigeria

Write a Review

Add Your Review
48.714297 2.211292

Venue Map & Directions

map of ecole Polytechnique

ecole Polytechnique

Route de Saclay, 91128 Palaiseau
France

Get Directions

Featured Hotels in Palaiseau

More Hotels