Merge branch 'master' of https://gitlab.lis-lab.fr/uli.fahrenberg/ramics19

c30ba2a136c42622/grantapplis/Chad_Nester.txt

-From: Chad Nester <chad.nester@gmail.com>
-
-I am a PhD student, and my (long) paper has been accpted to this year's RAMICS. I intend to attend the conference in-person, and will have to travel from Estonia to do so. While this is not a terribly long way to travel, it will still cost some money. I would be grateful for any assistance.

c30ba2a136c42622/grantapplis/Christophe_Lucas.txt

-From: Christophe Lucas <christophe.lucas@ens-lyon.fr>
-
-I am a PhD student under the supervision of Matteo Mio (in cc of this mail) at the Laboratoire de l'Informatique et du Parallélisme of the ENS Lyon. I am also one of the co-author of the paper "Free modal Riesz spaces are Archimedean: a syntactic proof" that was accepted and I will present the paper at the conference. Therefore I am writting to you to apply for a grant to attend RAMiCS 2021 at CIRM from 2 to 5 November 2021.

c30ba2a136c42622/grantapplis/Jeremie_Marques.txt

-Dear RAMiCS organizers,
-
-I am a PhD student with a long contribution to RAMiCS 2021. I would like
-to apply for a grant covering lodging and catering. Could you let me
-know what I should send you?
-
-Best regards,
-Jérémie Marquès

c30ba2a136c42622/grantapplis/Peter_Jipsen.txt

-Dear RAMiCS organizers,
-
-I am planning to attend RAMiCS 2021 at CIRM in person and would like to apply for a lodging and catering grant. I recently applied for travel money at Chapman University and found out that the budget for faculty travel this academic year is only 15% of what it was 2 years ago. I do hope that my university will at least be able to pay for my flight to Marseille, but it will take some time before I know exactly how much funding (if any) I can expect.
-
-I am planning to arrive on November 1 and depart on November 6.
-
-Please let me know if you need other information for the application for a CIRM grant.
-
-Best regards,
-Peter

c30ba2a136c42622/grantapplis/Ralph_Sarkis.txt

-From: Ralph Sarkis <ralph.sarkis@ens-lyon.fr>
-
-I pre-registered for RAMiCS 2021 and I would like to apply for a grant offered by the CIRM. I am a PhD student (at ENS de Lyon) and I also sent a proposal for a short contribution.
-
-https://ralphs16.github.io/
-

c30ba2a136c42622/grantapplis/Roland_Glueck.txt

-Dear Luigi,
-
-
-in a preceding mail I got the information that during the registration process at CIRM for RAMiCS I would be asked whether I prefer to participate online or physically. However, I was not asked about my preference in this case, and I did not see it when I tried to update my information at CIRMs registration page (I prefer to participate onsite). Can I give this information in some other way?
-
-I have another question regarding the fees: Will there be additional fees except the lodging at CIRM for RAMiCS? I ask this question because my institution (the German Aerospace Center) does not support travelling if there is an online or virtual alternative, so I would have free for the conference and to pay it on my own. I also heard/read someting about founding but I think this is only for students.
-
-
-Best regards,
-
-
-Roland
-
-
-Hi Roland,
-
-
-Le 09/09/2021 à 11:30, Roland.Glueck@dlr.de a écrit :
->
-> Dear Luigi,
->
->
-> in a preceding mail I got the information that during the registration process at CIRM for RAMiCS I would be asked whether I prefer to participate online or physically. However, I was not asked about my preference in this case, and I did not see it when I tried to update my information at CIRMs registration page
-
-
-yes, you registered too early ;-)
-
-
-> (I prefer to participate onsite). Can I give this information in some other way?
-
-
-
-
-Thanks for informing us that you aim at participating onsite. We have taken note of it, no need to do other things.
-
-
-
-> I have another question regarding the fees: Will there be additional fees except the lodging at CIRM for RAMiCS?
-
-No.
-
-
-> I ask this question because my institution (the German Aerospace Center) does not support travelling if there is an online or virtual alternative, so I would have free for the conference and to pay it on my own. I also heard/read someting about founding but I think this is only for students.
-
-
-It is not only for students, you can apply as well. I'm taking this email as an application for a grant (please reply if I'm mistaken).
-
-
-Best, see you soon in Marseille (let us be confident on that),
-
-
-    Luigi
->
->
-> Best regards,
->
->
-> Roland

c30ba2a136c42622/grantapplis/Sven_Dziadek.txt

-Bonjour,
-I would like to ask for a grant for CIRM accommodation and, if possible, also to cover the train trip Paris-Marseille (~150€).
-
-I am a postdoc at LRDE, EPITA Paris, and you already accepted my proposal for a short contribution.
-
-Thank you for your consideration,
-Sven Dziadek

c30ba2a136c42622/shortsubs/Fahrenberg-HDA/abstract.txt

-From: Uli Fahrenberg <uli@lrde.epita.fr>
-
-Title:
-Languages of Higher-Dimensional Automata
-
-Authors:
-Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański
-
-Abstract:
-
-We introduce languages of higher-dimensional automata (HDAs) and develop some of their properties.  To this end, we define a new category of precubical sets, uniquely naturally isomorphic to the standard one, and introduce a notion of event consistency.  HDAs are then finite, labeled, event-consistent precubical sets with distinguished subsets of initial and accepting cells.  Their languages are sets of interval orders closed under subsumption; as a major technical step we expose a bijection between interval orders and a subclass of HDAs.  We show that any finite subsumption-closed set of interval orders is the language of an HDA, that languages of HDAs are closed under binary unions and parallel composition, and that bisimilarity implies language equivalence.
-
-This work is part of an ongoing program to develop a theory of regular concurrent languages.  In RAMiCS-18 the first three authors together with Ratan Bahadur Thapa introduced gluing-parallel posets with interfaces as a model for concurrent Kleene algebra.  Here we develop the basics of HDA languages as sets of gluing-parallel pomsets, and in currently ongoing work we prove a Kleene theorem for such languages.
-
-This talk is based on arxiv:2103.07557 which has recently been accepted for publication in MSCS.  In the talk I will put this work in the context above.

c30ba2a136c42622/shortsubs/Makefile

-zip:
-	rm shortsubs.zip
-	zip -r shortsubs.zip *

c30ba2a136c42622/shortsubs/Poiger-Semiprimal/abstract.txt

-From: Wolfgang POIGER <wolfgang.poiger@uni.lu>
-
-Title: Many-valued modal logic over a semi-primal algebra
-
-Abstract:
-Since semi-primal algebras behave similarly to the two-element Boolean algebra, it makes sense to consider many-valued logic over a semi-primal algebra of truth values. Our interest lies in modal extensions of such logics. Through their respective dual categories we explore the relationship between the variety HSP(L) generated by a semi-primal algebra L and the variety BA of Boolean algebras. As an example, we utilize this relationship to prove a many-valued analogue of the Goldblatt-Thomason Theorem. Furthermore, we discuss the underlying coalgebraic picture and discuss how one may lift results from the classical case to the many-valued case.

c30ba2a136c42622/shortsubs/Sarkis-Quotienting/sarkis.txt

-From: Ralph Sarkis <ralph.sarkis@ens-lyon.fr>
-
-I would like to submit a short contribution to RAMiCS 2021. It is unfinished research in categorical semantics.
-
-Title : Quotienting a Monad via Projective Algebras
-
-Abstract : Quotient types are quite common in mathematics but they are rather difficult to implement in a programming language. For instance, one can easily define the type of pairs of integers $\mathsf{Int}\times \mathsf{Int}$, but in order to define the type of rational numbers, one needs to quotient $\mathsf{Int}\times \mathsf{Int}$ by the relation $(p,q) \sim (r,s) \Leftrightarrow ps = rq$, which is easier said than done. In the framework of monadic programming, datatypes are free algebras for a monad. Not all algebras for a monad are free, but they are all quotients of free algebras. An algebra for a monad is said to be \emph{projective} if it is both a quotient and a subalgebra of a free algebra. We show that a natural family of projective algebras can be seen as algebras for a quotient monad. In other words, when a quotienting operation is nice enough that 1) the resulting algebra is a subalgebra of the free algebra and 2) it satisfies some naturality condition, then we obtain a monad that models the quotient type.