Why this work is in the frame
A frame that forgets how it found something cannot be audited. These are the routes that admitted this work.
Bibliographic record
Abstract
The EXPRESS workshops aim at bringing together researchers interested in the relations between various formal systems, particularly in the field of Concurrency. More specifically, they focus on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, rewrite systems etc.) on the basis of their relative expressive power. For online-information see http://express02.epfl.ch/ . The EXPRESS workshops were originally held as meetings of the HCM project EXPRESS, which was active with the same focus from January 1994 till December 1997. The first three workshops were held respectively in Amsterdam (1994, chaired by Frits Vaandrager), Tarquinia (1995, chaired by Rocco De Nicola), and Dagstuhl (1996, co-chaired by Ursula Goltz and Rocco De Nicola). The workshop in 1997, which took place in Santa Margherita Ligure and was co-chaired by Catuscia Palamidessi and Joachim Parrow, was organized as a conference with a call for papers and a significant attendance from outside the project. The 1998 workshop was held as a satellite workshop of the CONCUR'98 conference in Nice, co-chaired by Ilaria Castellani and Catuscia Palamidessi, and like on that occasion EXPRESS'99 was hosted by the CONCUR'99 conference in Eindhoven, co-chaired by Ilaria Castellani and Björn Victor. The EXPRESS'00 workshop was held as a satellite workshop of CONCUR 2000, Pennsylvania State University, USA, co-chaired by Luca Aceto and Björn Victor. The EXPRESS'01 workshop was held at BRICS, Aalborg University as a satellite of CONCUR'01 and was co-chaired by Luca Aceto and Prakash Panangaden. In addition to the nine accepted (out of 30 submitted) papers presented at the workshop, this collection also contains the abstracts of the two invited talks by Catuscia Palamidessi and Igor Walukiewicz. We would like to thank the authors of the submitted papers, the invited speakers, and the members of the program committee for their contribution to both the meeting and this volume. We also would like to thank EPFL for the printing and Michael Mislove and Simon Kramer for his help with the editing of the preliminary proceedings, the CONCUR organizing committee at Brno University for hosting EXPRESS'02, especially the workshop coordinator Antonín Kucera for further local organization. EXPRESS'02 Programme Committee Martin Berger (U. London, UK), Alan Jeffrey (DePaul U., USA), Barbara König (TU München, DE), Francois Laroussinie (ENS Cachan, FR), James Leifer (INRIA Rocquencourt, FR), Massimo Merro (EPFL, CH), Faron Moller (U. Wales, Swansea, UK), Uwe Nestmann (EPFL, CH), Prakash Panangaden (McGill U., CA), Arend Rensink (U. Twente, NL), Peter Sewell (U. Cambridge, UK), Gianluigi Zavattaro (U. Bologna, IT), EXPRESS'02 Additional Referees Luca Aceto, Alessandro Aldini, Paolo Baldan, Paolo Ballarini, Béatrice Bérard, Henrik Bohnenkamp, Alexandre Boisseau, Mario Bravetti, Roberto Bruni, Marzia Buscemi, Nadia Busi, Didier Caucal, Vincent Cremet, Silvano Dal-Zilio, Vincent Danos, Stéphane Demri, Simon Gay, Daniel Hirschkoff, Michael Huth, Ole Høgh Jensen, Astrid Kiehn, Huimin Lin, Sergio Maffeis, Monika Maidl, Nicolas Markey, Fabio Martinelli, Robin Milner, Francesco Zappa Nardelli, Mikkel Nygaard, Martin Otto, Laure Petrucci, Carla Piazza, Jorge Sousa Pinto, Rosario Pugliese, Marina Ribaudo, Christine Röckl, Stefan Römer, Alan Schmitt, Philippe Schnoebelen, Stefan Schwoon, Martin Steffen, Simone Tini, Björn Victor, Walter Vogler, Heike Wehrheim, Lucian Wischik, Pascal Zimmer.
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
Full frame distilled prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.
Codex and Gemma teacher scores by category
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.002 | 0.000 |
| Meta-epidemiology (narrow) | 0.000 | 0.000 |
| Meta-epidemiology (broad) | 0.000 | 0.000 |
| Bibliometrics | 0.000 | 0.003 |
| Science and technology studies | 0.000 | 0.001 |
| Scholarly communication | 0.000 | 0.001 |
| Open science | 0.004 | 0.001 |
| Research integrity | 0.000 | 0.000 |
| Insufficient payload (model declined to judge) | 0.000 | 0.000 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from it