COVID-19 UPDATE: Due to the global lockdown situation, MOVEP 2020 will be organized as a free of charge online school. The lecturers will give online lectures according to a schedule and students will interact with lecturers using a web-based platform. The fees of current registrants will be reimbursed and we shall keep the registration open and free of charge until June 22nd.

MOVEP is a five-day summer school on modelling and verification of parallel processes. It aims to bring together researchers, students, and people from industry working in the fields of control and verification of concurrent and reactive systems. MOVEP seeks to offer a broad spectrum of current research in this area, addressing theoretical and applied aspects of model checking, controller synthesis, software verification, temporal logics, real-time and hybrid systems, stochastic systems, security, run-time verification, etc.

MOVEP 2020 will consist of ten invited lectures. In addition, there will be special sessions that allow PhD students to present their on-going research (talks will last around 20 minutes). Extended abstracts of these presentations (2-4 pages) will be published in informal proceedings.

The first five editions of MOVEP took place in Nantes (France) every other year from 1994 to 2002. It then moved to Brussels (Belgium) in 2004, Bordeaux (France) in 2006, Orléans (France) in 2008, Aachen (Germany) in 2010, Marseille (France) in 2012, Nantes (France) in 2014, Genova (Italy) in 2016 and Cachan (France) in 2018.

121 thoughts on “

  1. Pingback: vedmak-2-sezon-serial

  2. Pingback: Vratar Galaktiki Film, 2020

  3. Pingback: Vratar

  4. Pingback: Cherkassy 2020

  5. Pingback: chernobyl-hbo-2019-1-sezon

  6. Pingback: moskva-psiholog

  7. Pingback: batmanapollo.ru

  8. Pingback: 323

  9. Pingback: 525

  10. Pingback: dom2-ru

  11. Pingback: Tenet Online

  12. Pingback: psy psy psy psy

  13. Pingback: krsmi.ru

  14. Pingback: like-v.ru

  15. Pingback: CFOSPUK

  16. Pingback: MAMprEj

  17. Pingback: fgu0ygW

  18. Pingback: bitly.com

  19. Pingback: akmeologiya

  20. Pingback: dizain cheloveka

  21. Pingback: human-design-hd

  22. Pingback: batmanapollo

  23. Pingback: tsoy

  24. Pingback: 44548

  25. Pingback: 44549

  26. Pingback: hod-korolevy-2020

  27. Pingback: HD

  28. Pingback: 158444

  29. Pingback: groznyy-serial-2020

  30. Pingback: bitly.com/doctor-strange-hd

  31. Pingback: 38QvPmk

  32. Pingback: bitly.com/eternals-online

  33. Pingback: bitly.com/maior-grom

  34. Pingback: matrica-film

  35. Pingback: dzhonuikfilm4

  36. Pingback: bitly.com/batman20212022

  37. Pingback: bitly.com/venom-2-smotret-onlajn

  38. Pingback: bitly.com/nevremyaumirat

  39. Pingback: bitly.com/kingsmankingsman

  40. Pingback: bitly.com/3zaklyatie3

  41. Pingback: bitly.com/1dreykfilm

  42. Pingback: bitly.com/topgunmavericktopgun

  43. Pingback: bitly.com/flash2022

  44. Pingback: bitly.com/fantasticheskietvari3

  45. Pingback: bitly.com/wonderwoman1984hd

  46. Pingback: Human design

  47. Pingback: 1444

  48. Pingback: cleantalkorg2.ru

  49. Pingback: 232dfsad

  50. Pingback: cleantalkorg2.ru/sitemap.xml

  51. Pingback: join vk

  52. Pingback: vk login

  53. Pingback: svaty—7—sezon

  54. Pingback: svaty 7 sezon

  55. Pingback: svaty 7

  56. Pingback: tik tok

  57. Pingback: odtvdhun

  58. Pingback: where to get viagra

  59. Pingback: viagra wanneer innemen

  60. Pingback: how long does azithromycin take

  61. Pingback: what is the generic for cialis

  62. Pingback: buy viagra

  63. Pingback: viagra

  64. Pingback: legit essay writing service

  65. Pingback: can i refer to my own experiences working in a field when writing a research paper

  66. Pingback: essay writing about my favourite teacher

  67. Pingback: help me write college admission essay coach

  68. Pingback: essay on issues in business ethics

  69. Pingback: clubhouse invite

  70. Pingback: amoxicillin cost australia

  71. Pingback: 12.5 mg furosemide

  72. Pingback: zithromax 1500 mg

  73. Pingback: ivermectin usa

  74. Pingback: albuterol inhaler no prescription

  75. Pingback: img

  76. Pingback: img1

  77. Pingback: doxycycline with food

  78. Pingback: goodrx prednisolone

  79. Pingback: clomid for hypogonadism

  80. Pingback: priligy review blogs

  81. Pingback: diflucan or monistat

  82. Pingback: synthroid teaching

  83. Pingback: liga spravedlivosti 2021

  84. Pingback: 666

  85. Pingback: propecia sexual dysfunction

  86. Pingback: neurontin for bipolar

  87. Pingback: metformin gestational diabetes

  88. Pingback: paxil pill

  89. Pingback: plaquenil 300 mg

  90. Pingback: The Revenant

  91. Pingback: 00-tv.com

  92. Pingback: 2021

  93. Pingback: D4

  94. Pingback: 777

  95. Pingback: link

  96. Pingback: 4569987

  97. Pingback: news news news

  98. Pingback: psy

  99. Pingback: psy2022

  100. Pingback: projectio-freid

  101. Pingback: kinoteatrzarya.ru

  102. Pingback: topvideos

  103. Pingback: video

  104. Pingback: afisha-kinoteatrov.ru

  105. Pingback: Ukrainskie-serialy

  106. Pingback: site

  107. Pingback: top

  108. Pingback: purchase amoxil 250mg

  109. Pingback: lasix sale

  110. Pingback: neurontin 300 mg cap

  111. Pingback: quineprox 40 mg

  112. Pingback: deltasone online

  113. Pingback: buy dapoxetine usa

  114. Pingback: provigil buy onn

  115. Pingback: ivermectin canada

  116. Pingback: albuterol 180mcg

  117. Pingback: zithromax tablet

  118. Pingback: lasix price uk

  119. Pingback: tadalafil research liquid

  120. Pingback: cialis 500

  121. Pingback: sildenafil 20 mg

Leave a Reply