Draft:Machines, Computations and Universality
Submission rejected on 4 April 2022 by DGG (talk). This topic is not sufficiently notable for inclusion in Wikipedia. Rejected by DGG 2 years ago. Last edited by 91.166.240.227 4 months ago. |
Submission declined on 4 July 2021 by Eternal Shadow (talk). This submission is not adequately supported by reliable sources. Reliable sources are required so that information can be verified. If you need help with referencing, please see Referencing for beginners and Citing sources. Declined by Eternal Shadow 2 years ago. |
- Comment: May be notable but lacks WP:SECONDARY sources. Eternal Shadow Talk 17:51, 4 July 2021 (UTC)
- Comment: Please move external links to the new External links section I created for you. —Anomalocaris (talk) 02:14, 8 June 2022 (UTC)
MCU, the International Conference on Machines, Computations and Universality is an academic conference in the field of theoretical computer science. It should be held every other year from 2022 on. Most of the proceedings of the conference appear in the series Lecture Notes in Computer Science and extended versions of selected papers are published as special issues of International Journals.
History of the conference series[edit]
The first editions were called Machines et Calcul Universels/Universal Machines and Computations (MCU/UMC), but due to the risk of confusion with another conference series, it was changed to Machines, Computations and Universality (MCU) from the 3rd edition on.
The following table provide the information on the conference edition.[1][2]. Links in the first column refer to the (still available) conference web sites.
Event | Location and date | PC chairs | Invited Speakers | Proceedings | Special issue |
---|---|---|---|---|---|
1st MCU/UMC[3] | Paris, France March 1995 |
Maurice Margenstern | Theoretical Computer Science 168(2):213–481, 1996 | ||
2nd MCU/UMC | Metz, France 1998 |
Maurice Margenstern | Publication IUT Metz 1998 ISBN 2-9511539-2-9 and 2-9511539-1-0 |
Theoretical Computer Science 231(2):141–336, 2000[4] | |
3rd MCU | Chişinău, Moldava May 23–27, 2001 |
Maurice Margenstern Yurii Rogozhin |
LNCS 2055[5] | ||
4th MCU[6] | Saint-Petersburg, Russia September 21–24, 2004 |
Maurice Margenstern | LNCS 3354[7] | Fundamenta Informaticae 74(4):391–562, 2006[8] | |
5th MCU[9] | Orléans, France September 10–13, 2007 |
Jérôme Durand-Lose Maurice Margenstern |
ADAMATZKY Andrew
BOURNEZ Olivier BURGIN Mark CAMPAGNOLO Manuel HAMKINS Joel David KARI Jarkko KOIRAN Pascal MORITA Kenichi SUTNER Klaus |
LNCS 4664[10] | Fundamenta Informaticae 91(1–2):1–195, 2009[11] |
6th MCU[12] | Zürich, Switzerland September 9–11, 2013 |
Matthew Cook Turlough Neary |
De Mol Liesbeth
KARI Jarkko MORITA Kenichi WINFREE Erik WOODS Damien |
EPTCS 128[13] | |
7th MCU[14][15][16] | Famagusta, North Cyprus September 9–11, 2015 |
Jérôme Durand-Lose Benedek Nagy |
KLEIJN Jetty
PAN Linqiang SIEGEL Anne STANNETT Mike |
LNCS 9288[17] | Fundamenta Informaticae 155(1–2):1–232, 2017[18] |
8th MCU[19] | Fontainebleau, France June 28–30, 2018 |
Jérôme Durand-Lose Sergey Verlan |
WOODS Damien
CSUHAJ-VARJÚ Erzsébet FREUND Rudolf JONOSKA Natasha RAYNAL Michel |
LNCS 10881[20] | Fundamenta Informaticae, 181(2–3):1–271, 2021[21] |
Cancelled (COVID) | Wien, Austria, August 2020 | ||||
9th MCU[22] [23] | Debrecen, Hungary August 31 – September 2, 2022, |
Jérôme Durand-Lose György Vaszil |
FORMENTI Enrico
HIRVENSALO Mika SIEGELMANN Hava T. TRUTHE Bianca |
LNCS 13419[24] | Will be in the International Journal on Foundations of Computer Science[25] |
10th MCU | Nice, France June 2024, |
Jérôme Durand-Lose Enrico Formenti |
GENOVA Daniela
MARGENSTERN Maurice PORRECA Antonio Enrico PUZYNINA Svetlana SCHABANEL Nicolas |
Since the 2015 edition, MCU tries to have gender balance for invited speakers and program committee members [26]
Best papers awards[edit]
Edition | Best paper award | Best student paper award |
---|---|---|
2015 | Jacob Hendricks, Matthew J. Patitz and Trent A. Rogers The simulation powers and limitations of higher temperature hierarchical self-assembly systems |
Simon Martiel and Bruno Martin An Intrinsically Universal Family of Causal Graph Dynamics |
2018 | Viliam Geffert and Zuzana Bednarova Minimal Useful Size of Counters for (Real-Time) Multicounter Automata |
Richard Whyman Physical Computation and First-Order Logic |
2022 | Lucie Ciencialová, Luděk Cienciala and Erzsébet Csuhaj-Varjú Languages of Distributed Reaction Systems |
Manon Blanc and Olivier Bournez A characterization of polynomial time computable functions from the integers to the reals using discrete ordinary differential equations |
See also[edit]
- List of computer science conferences contains other academic conferences in computer science
External links[edit]
- ^ MCU proceedings information from DBLP
- ^ MCU proceedings from Springer/LNCE.
- ^ Bull. EATCS 56:141–143, 1995
- ^ Theoretical Computer Science 231(2):141–336, 2000
- ^ LNCS 2055
- ^ Bull. EATCS 85:193–197, 2005
- ^ LNCS 3354
- ^ Fundamenta Informaticae 74(4):391–562, 2006
- ^ 5th MCU
- ^ LNCS 4664
- ^ Fundamenta Informaticae 91(1–2):1–195, 2009
- ^ 6th MCU
- ^ EPTCS 128
- ^ 7th MCU
- ^ MCU Konferansı DAÜ ev sahipliğinde başladı. Kıbrıs Postası syf. 30
- ^ MCU Konferansı başladı. Haberal Kıbrıslı syf. 8
- ^ LNCS 9288
- ^ Fundamenta Informaticae 155(1–2):1–232, 2017
- ^ 8th MCU
- ^ LNCS 10881
- ^ Fundamenta Informaticae, 181(2–3):1–271, 2021
- ^ 9th MCU
- ^ Bull. EATCS 138:171-172, 2022
- ^ LNCS 13419
- ^ International Journal on Foundations of Computer Science
- ^ see lists in LNCS 9288 and in LNCS 10881]