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
Foreword This volume contains the Proceedings of MFPS 17, the Seventeenth Conference on the Mathematical Foundations of Programming Semantics. The conference was hosted by the Basic Research in Computer Science and Aarhus University, Aarhus, Denmark, and took place from May 23 through May 26, 2001. MFPS 17 featured invited talks by seven renowned scholars: • Olivier Danvy Aarhus • Joshua Guttman Mitre Corporation • Neil Jones DIKU • Kim Larsen Aalborg • Prakash Panangaden McGill • Jan Rutten CWI • Glynn Winskel Cambridge There also were three special sessions: 1. A session honoring Neil Jones ( DIKU ) organized by Olivier Danvy ( Aarhus ) and David Schmidt ( Kansas State University ). The session began with Olivier Danvy's invited address, and included talks by Radhia Cousot ( Ecole Polytechnique, Paris ), John Hannan ( Penn State ), John Hughes ( Chalmers ), David Schmidt and Peter Sestoft ( ITU and Royal Veterinary and Agricultural University ). 2. A session on model checking organized by Gavin Lowe ( Oxford ). The session began with Kim Parsen's invited address, and included talks by Jose Desharnais ( Laval ), Michael Huth ( Kansas State and Imperial College ), Henrik Jensen ( BRICS ), Marta Kwiatkowska ( Birmingham ) and Gavin Lowe. 3. A session on security organized by Catherine Meadows ( NRL ). The session began with Joshua Guttman's invited address, and included talks by Andrew Gordon ( Microsoft, Cambridge ) and Alan Jeffrey ( DePaul ), Gavin Lowe, Thomas Jensen ( INRIA ), Dusko Pavlovic ( Kestrel ), Catherine Meadows and Andre Scedrov ( Penn ). The remainder of the program was made up of papers selected by the Program Committee from those submitted in response to the Call for Papers that was circulated in Fall, 2000. The Program Committee was co-chaired by Stephen Brookes ( CMU ) and Michael Mislove ( Tulane ) and included Lars Birkedal ( ITU ), Rance Cleaveland ( SUNY, Stony Brook ), Marcelo Fiore ( Cambridge ), Matthew Hennessy ( Sussex ), Alan Jeffrey ( DePaul ), Achim Jung ( Birmingham ), Gavin Lowe ( Oxford ), Catherine Meadows ( NRL ), Peter O'Hearn ( QMW ), Suysan Older ( Syracuse ), Dusko Pavlovic ( Kestrel ), Uday Reddy ( Birmingham ), Giuseppe Rosolini ( Genoa ), Davide Sangiori ( INRIA ) and Andre Scedrov ( Penn ). The Organizers of the MFPS series are Stephen Brookes, Michael Main ( Colorado ), Austin Melton ( Kent State ), Michael Mislove and David Schmidt. The Local Arrangements for the meeting were overseen by Olivier Danvy and Andrzej Filinski, both of BRICS and Aarhus. We are grateful to these colleagues for having so efficiently overseen the local arrangements. We also are happy to acknowledge the exceptional efforts of Karen Kjer Müller, who literally anticipated almost all of the needs of participants, and saw to it that every aspect of the meeting went off without any problems. Finally, we are extremely grateful for the financial support provided by BRICS and by the US Office of Naval Research, without which the meeting could not have taken place. We are particularly grateful to Dr. Ralph Wachter for his continuing interest in the MFPS series and the support his program in Software Systems has provided the series. Stephen Brookes and Michael Mislove, Guest Editors Dedication The Organizers of the MFPS series are pleased to dedicate these Proceedings to Neil Jones for his continuing inspiration to the students and researchers in theoretical computer science. Neil has been a regular participant in the MFPS series, dating from his invited address at MFPS III in 1987. MFPS appreciates the continued inspiration that his teaching and research have provided and that his addresses to the MFPS community have so clearly elucidated.
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.002 |
| Science and technology studies | 0.000 | 0.001 |
| Scholarly communication | 0.000 | 0.001 |
| Open science | 0.003 | 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