diff --git a/c30ba2a136c42622/RAMICS_program.ods b/c30ba2a136c42622/RAMICS_program.ods
deleted file mode 100644
index 2ce9cf6d9d0cf70542fc5ec33904d134e28c9b9d..0000000000000000000000000000000000000000
Binary files a/c30ba2a136c42622/RAMICS_program.ods and /dev/null differ
diff --git a/c30ba2a136c42622/grantapplis/Chad_Nester.txt b/c30ba2a136c42622/grantapplis/Chad_Nester.txt
deleted file mode 100644
index fa9ef67ba3480764e226a53e492c0bd1a0b94ac4..0000000000000000000000000000000000000000
--- a/c30ba2a136c42622/grantapplis/Chad_Nester.txt
+++ /dev/null
@@ -1,3 +0,0 @@
-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.
diff --git a/c30ba2a136c42622/grantapplis/Christophe_Lucas.txt b/c30ba2a136c42622/grantapplis/Christophe_Lucas.txt
deleted file mode 100644
index eb2ce249f675e442eba37104388552bf625eeaab..0000000000000000000000000000000000000000
--- a/c30ba2a136c42622/grantapplis/Christophe_Lucas.txt
+++ /dev/null
@@ -1,3 +0,0 @@
-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.
diff --git a/c30ba2a136c42622/grantapplis/Jeremie_Marques.txt b/c30ba2a136c42622/grantapplis/Jeremie_Marques.txt
deleted file mode 100644
index 829e137d24e1707a3b1af4eda9e526218efe8875..0000000000000000000000000000000000000000
--- a/c30ba2a136c42622/grantapplis/Jeremie_Marques.txt
+++ /dev/null
@@ -1,8 +0,0 @@
-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
diff --git a/c30ba2a136c42622/grantapplis/Peter_Jipsen.txt b/c30ba2a136c42622/grantapplis/Peter_Jipsen.txt
deleted file mode 100644
index f890d74d439c251d931598995497c26bd10fa26b..0000000000000000000000000000000000000000
--- a/c30ba2a136c42622/grantapplis/Peter_Jipsen.txt
+++ /dev/null
@@ -1,10 +0,0 @@
-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
diff --git a/c30ba2a136c42622/grantapplis/Ralph_Sarkis.txt b/c30ba2a136c42622/grantapplis/Ralph_Sarkis.txt
deleted file mode 100644
index bdff9c261c587f3ec8359e412a8f826e55f7c4a8..0000000000000000000000000000000000000000
--- a/c30ba2a136c42622/grantapplis/Ralph_Sarkis.txt
+++ /dev/null
@@ -1,6 +0,0 @@
-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/
-
diff --git a/c30ba2a136c42622/grantapplis/Roland_Glueck.txt b/c30ba2a136c42622/grantapplis/Roland_Glueck.txt
deleted file mode 100644
index 8afb02a69b4c21e6c7f10214df7d854ff63ab962..0000000000000000000000000000000000000000
--- a/c30ba2a136c42622/grantapplis/Roland_Glueck.txt
+++ /dev/null
@@ -1,58 +0,0 @@
-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
diff --git a/c30ba2a136c42622/grantapplis/Sven_Dziadek.txt b/c30ba2a136c42622/grantapplis/Sven_Dziadek.txt
deleted file mode 100644
index 76caa047aeab22b8d0b3a19f716db274d0c391a7..0000000000000000000000000000000000000000
--- a/c30ba2a136c42622/grantapplis/Sven_Dziadek.txt
+++ /dev/null
@@ -1,7 +0,0 @@
-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
diff --git a/c30ba2a136c42622/shortsubs/Addison-Concept/AddisonSahaWinter.pdf b/c30ba2a136c42622/shortsubs/Addison-Concept/AddisonSahaWinter.pdf
deleted file mode 100644
index 918485b7cef0b94977a46113d7440f68ec04a54e..0000000000000000000000000000000000000000
Binary files a/c30ba2a136c42622/shortsubs/Addison-Concept/AddisonSahaWinter.pdf and /dev/null differ
diff --git a/c30ba2a136c42622/shortsubs/Delacroix-Girard/delacroix_abstract.pdf b/c30ba2a136c42622/shortsubs/Delacroix-Girard/delacroix_abstract.pdf
deleted file mode 100644
index 58a57c6a9b247cd02ed2a88e2cc47f15bb50b1cb..0000000000000000000000000000000000000000
Binary files a/c30ba2a136c42622/shortsubs/Delacroix-Girard/delacroix_abstract.pdf and /dev/null differ
diff --git a/c30ba2a136c42622/shortsubs/Dziadek-Greibach/dziadek.pdf b/c30ba2a136c42622/shortsubs/Dziadek-Greibach/dziadek.pdf
deleted file mode 100644
index 5c45704b27d064f8823e4560b8af9a0286d7b7c6..0000000000000000000000000000000000000000
Binary files a/c30ba2a136c42622/shortsubs/Dziadek-Greibach/dziadek.pdf and /dev/null differ
diff --git a/c30ba2a136c42622/shortsubs/Fahrenberg-HDA/abstract.txt b/c30ba2a136c42622/shortsubs/Fahrenberg-HDA/abstract.txt
deleted file mode 100644
index 7a3d5bd6dbfc763a350129bf288cd6746e159254..0000000000000000000000000000000000000000
--- a/c30ba2a136c42622/shortsubs/Fahrenberg-HDA/abstract.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-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.
diff --git a/c30ba2a136c42622/shortsubs/Glueck-Sublattice/SublatticeComputation.pdf b/c30ba2a136c42622/shortsubs/Glueck-Sublattice/SublatticeComputation.pdf
deleted file mode 100644
index d766e58a8fcf28c28841a3a4bdf254de41aa6dea..0000000000000000000000000000000000000000
Binary files a/c30ba2a136c42622/shortsubs/Glueck-Sublattice/SublatticeComputation.pdf and /dev/null differ
diff --git a/c30ba2a136c42622/shortsubs/Makefile b/c30ba2a136c42622/shortsubs/Makefile
deleted file mode 100644
index f492754bc704d6a169384e90a490a6605d48a1c6..0000000000000000000000000000000000000000
--- a/c30ba2a136c42622/shortsubs/Makefile
+++ /dev/null
@@ -1,3 +0,0 @@
-zip:
-	rm shortsubs.zip
-	zip -r shortsubs.zip *
diff --git a/c30ba2a136c42622/shortsubs/Mozhui-Representation/KM_KVK_RAMiCS_SC.pdf b/c30ba2a136c42622/shortsubs/Mozhui-Representation/KM_KVK_RAMiCS_SC.pdf
deleted file mode 100644
index ce7203f81238a1ef969fe988cd0e23b44f7a3f3a..0000000000000000000000000000000000000000
Binary files a/c30ba2a136c42622/shortsubs/Mozhui-Representation/KM_KVK_RAMiCS_SC.pdf and /dev/null differ
diff --git a/c30ba2a136c42622/shortsubs/Muresan-Subreducts/cmuresan_ramics.pdf b/c30ba2a136c42622/shortsubs/Muresan-Subreducts/cmuresan_ramics.pdf
deleted file mode 100644
index b6df5ccb8418170cb0a81e038b2a7b52e2212dcb..0000000000000000000000000000000000000000
Binary files a/c30ba2a136c42622/shortsubs/Muresan-Subreducts/cmuresan_ramics.pdf and /dev/null differ
diff --git a/c30ba2a136c42622/shortsubs/Poiger-Semiprimal/abstract.txt b/c30ba2a136c42622/shortsubs/Poiger-Semiprimal/abstract.txt
deleted file mode 100644
index 17131a452d52a08a13c3f306e553bca0d1e52451..0000000000000000000000000000000000000000
--- a/c30ba2a136c42622/shortsubs/Poiger-Semiprimal/abstract.txt
+++ /dev/null
@@ -1,6 +0,0 @@
-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.
diff --git a/c30ba2a136c42622/shortsubs/Sarkis-Quotienting/sarkis.txt b/c30ba2a136c42622/shortsubs/Sarkis-Quotienting/sarkis.txt
deleted file mode 100644
index 3b07524c9621e27d6e776be1c322a5a621ead9c0..0000000000000000000000000000000000000000
--- a/c30ba2a136c42622/shortsubs/Sarkis-Quotienting/sarkis.txt
+++ /dev/null
@@ -1,7 +0,0 @@
-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.
diff --git a/c30ba2a136c42622/shortsubs/Semrl-FRP/FRP Talk Abstract.pdf b/c30ba2a136c42622/shortsubs/Semrl-FRP/FRP Talk Abstract.pdf
deleted file mode 100644
index 17997c4cbf6cfd4b6dab84be30cfc3b54fe18b9e..0000000000000000000000000000000000000000
Binary files a/c30ba2a136c42622/shortsubs/Semrl-FRP/FRP Talk Abstract.pdf and /dev/null differ
diff --git a/c30ba2a136c42622/shortsubs/Winter-FuReM/Winter.pdf b/c30ba2a136c42622/shortsubs/Winter-FuReM/Winter.pdf
deleted file mode 100644
index ac4b999e1876f526d0b5078a6b62a42ce174423f..0000000000000000000000000000000000000000
Binary files a/c30ba2a136c42622/shortsubs/Winter-FuReM/Winter.pdf and /dev/null differ