Difference between revisions of "MPC 2019"
Jump to navigation
Jump to search
(modified through wikirestore by Th) |
(modified through wikirestore by orapi) |
||
| Line 1: | Line 1: | ||
{{Event | {{Event | ||
| + | |Acronym=MPC 2019 | ||
| + | |Title=13th International Conference on Mathematics of Program Construction | ||
| + | |Series=MPC | ||
| + | |Type=Conference | ||
| + | |Start date=2019/10/07 | ||
| + | |End date=2019/10/09 | ||
| + | |Homepage=https://www.cs.nott.ac.uk/~pszgmh/mpc19.html | ||
| + | |City=Porto | ||
| + | |Country=Portugal | ||
|Abstract deadline=2019/05/07 | |Abstract deadline=2019/05/07 | ||
|Paper deadline=2019/05/10 | |Paper deadline=2019/05/10 | ||
| Line 7: | Line 16: | ||
|Has PC member=Patrick Bahr, Richard Bird, Corina Cîrstea, Brijesh Dongol, João F. Ferreira | |Has PC member=Patrick Bahr, Richard Bird, Corina Cîrstea, Brijesh Dongol, João F. Ferreira | ||
|has Keynote speaker=Assia Mahboubi, Annabelle McIver | |has Keynote speaker=Assia Mahboubi, Annabelle McIver | ||
| − | | | + | |Submitted papers=22 |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
|Accepted papers=15 | |Accepted papers=15 | ||
| − | | | + | |State=PT/13}} |
Revision as of 14:56, 3 November 2021
Event Rating
| median | worst |
|---|---|
List of all ratings can be found at MPC 2019/rating
| MPC 2019 | |
|---|---|
13th International Conference on Mathematics of Program Construction
| |
| Event in series | MPC |
| Dates | 2019/10/07 (iCal) - 2019/10/09 |
| Homepage: | https://www.cs.nott.ac.uk/~pszgmh/mpc19.html |
| Location | |
| Location: | Porto, PT/13, Portugal |
| Important dates | |
| Abstracts: | 2019/05/07 |
| Papers: | 2019/05/10 |
| Notification: | 2019/06/14 |
| Camera ready due: | 2019/07/12 |
| Papers: | Submitted 22 / Accepted 15 (68.2 %) |
| Committees | |
| Organizers: | José Nuno Oliveira |
| PC members: | Patrick Bahr, Richard Bird, Corina Cîrstea, Brijesh Dongol, João F. Ferreira |
| Keynote speaker: | Assia Mahboubi, Annabelle McIver |
| Table of Contents | |