{"id":1186,"date":"2019-05-13T13:25:04","date_gmt":"2019-05-13T11:25:04","guid":{"rendered":"https:\/\/samovar2022.int-evry.fr\/index.php\/2019\/05\/13\/ejcp-2019-appel-a-participation\/"},"modified":"2020-09-04T18:45:19","modified_gmt":"2020-09-04T16:45:19","slug":"ejcp-2019-appel-a-participation","status":"publish","type":"post","link":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/2019\/05\/13\/ejcp-2019-appel-a-participation\/","title":{"rendered":"EJCP 2019 – Appel \u00e0 participation"},"content":{"rendered":"

\u00c9COLE JEUNES CHERCHEURS EN PROGRAMMATION 2019<\/strong><\/p>\n

http:\/\/ejcp2019.icube.unistra.fr\/<\/a><\/p>\n

Strasbourg, 24-28 juin 2019<\/strong><\/p>\n

Organisateurs : Arthur Chargu\u00e9raud, Jean-Christophe Filli\u00e2tre,
\nNicolas Magaud, Julien Narboux<\/p>\n

L’\u00c9cole Jeunes Chercheurs en Programmation se d\u00e9roulera cette ann\u00e9e du
\n24 au 28 juin 2019, \u00e0 Strasbourg. Cette \u00e9cole s’adresse particuli\u00e8rement
\naux \u00e9tudiants en premi\u00e8re ann\u00e9e de th\u00e8se, mais les autres doctorants ou
\nchercheurs sont \u00e9galement les bienvenus.<\/p>\n

L’EJCP propose un parcours unique, m\u00e9langeant les th\u00e9matiques
\n\u00ab\u00a0Ing\u00e9nierie Logicielle\u00a0\u00bb et \u00ab\u00a0Programmation et V\u00e9rification\u00a0\u00bb. Certains
\ncours seront donn\u00e9s en fran\u00e7ais, d’autres en anglais.<\/p>\n

Le programme de l’\u00e9cole est le suivant :<\/p>\n

– Julia Lawall
\n Coccinelle: Practical program transformation for the Linux kernel
\n– Andrei Paskevich
\n Deductive Program Verification with Why3
\n– Xavier Blanc
\n \u00c9tude Empirique En G\u00e9nie Logiciel – Application sur GitHub et Alexa
\n– Julien Signoles
\n Interpr\u00e9tation abstraite et propri\u00e9t\u00e9s de programmes C
\n– Charlotte Truchet
\n Introduction \u00e0 la programmation par contraintes
\n– Julien Narboux
\n Introduction \u00e0 la preuve formelle avec Coq
\n– Mathieu Acher
\n Software Variability and Artificial Intelligence
\n– Arthur Chargu\u00e9raud
\n Program Verification using CFML 2.0<\/p>\n

Les frais d’inscription s’\u00e9l\u00e8vent \u00e0 275 euros (incluant h\u00e9bergement en
\nchambre simple, d\u00e9jeuners, une visite, une r\u00e9ception).<\/p>\n

Les inscriptions sont ouvertes. Les participants sont invit\u00e9s \u00e0
\ns’inscrire rapidement. La date limite d’inscription est fix\u00e9e
\nau 10 juin 2019.<\/p>\n","protected":false},"excerpt":{"rendered":"

\u00c9COLE JEUNES CHERCHEURS EN PROGRAMMATION 2019 http:\/\/ejcp2019.icube.unistra.fr\/ Strasbourg, 24-28 juin 2019 Organisateurs : Arthur Chargu\u00e9raud, Jean-Christophe Filli\u00e2tre, Nicolas Magaud, Julien Narboux L’\u00c9cole Jeunes Chercheurs en Programmation se d\u00e9roulera cette ann\u00e9e du 24 au 28 juin 2019, \u00e0 Strasbourg. Cette \u00e9cole s’adresse particuli\u00e8rement aux \u00e9tudiants en premi\u00e8re ann\u00e9e de th\u00e8se, mais les autres doctorants ou chercheurs […]<\/p>\n","protected":false},"author":1,"featured_media":1185,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"ocean_post_layout":"","ocean_both_sidebars_style":"","ocean_both_sidebars_content_width":0,"ocean_both_sidebars_sidebars_width":0,"ocean_sidebar":"","ocean_second_sidebar":"","ocean_disable_margins":"enable","ocean_add_body_class":"","ocean_shortcode_before_top_bar":"","ocean_shortcode_after_top_bar":"","ocean_shortcode_before_header":"","ocean_shortcode_after_header":"","ocean_has_shortcode":"","ocean_shortcode_after_title":"","ocean_shortcode_before_footer_widgets":"","ocean_shortcode_after_footer_widgets":"","ocean_shortcode_before_footer_bottom":"","ocean_shortcode_after_footer_bottom":"","ocean_display_top_bar":"default","ocean_display_header":"default","ocean_header_style":"","ocean_center_header_left_menu":"","ocean_custom_header_template":"","ocean_custom_logo":0,"ocean_custom_retina_logo":0,"ocean_custom_logo_max_width":0,"ocean_custom_logo_tablet_max_width":0,"ocean_custom_logo_mobile_max_width":0,"ocean_custom_logo_max_height":0,"ocean_custom_logo_tablet_max_height":0,"ocean_custom_logo_mobile_max_height":0,"ocean_header_custom_menu":"","ocean_menu_typo_font_family":"","ocean_menu_typo_font_subset":"","ocean_menu_typo_font_size":0,"ocean_menu_typo_font_size_tablet":0,"ocean_menu_typo_font_size_mobile":0,"ocean_menu_typo_font_size_unit":"px","ocean_menu_typo_font_weight":"","ocean_menu_typo_font_weight_tablet":"","ocean_menu_typo_font_weight_mobile":"","ocean_menu_typo_transform":"","ocean_menu_typo_transform_tablet":"","ocean_menu_typo_transform_mobile":"","ocean_menu_typo_line_height":0,"ocean_menu_typo_line_height_tablet":0,"ocean_menu_typo_line_height_mobile":0,"ocean_menu_typo_line_height_unit":"","ocean_menu_typo_spacing":0,"ocean_menu_typo_spacing_tablet":0,"ocean_menu_typo_spacing_mobile":0,"ocean_menu_typo_spacing_unit":"","ocean_menu_link_color":"","ocean_menu_link_color_hover":"","ocean_menu_link_color_active":"","ocean_menu_link_background":"","ocean_menu_link_hover_background":"","ocean_menu_link_active_background":"","ocean_menu_social_links_bg":"","ocean_menu_social_hover_links_bg":"","ocean_menu_social_links_color":"","ocean_menu_social_hover_links_color":"","ocean_disable_title":"default","ocean_disable_heading":"default","ocean_post_title":"","ocean_post_subheading":"","ocean_post_title_style":"","ocean_post_title_background_color":"","ocean_post_title_background":0,"ocean_post_title_bg_image_position":"","ocean_post_title_bg_image_attachment":"","ocean_post_title_bg_image_repeat":"","ocean_post_title_bg_image_size":"","ocean_post_title_height":0,"ocean_post_title_bg_overlay":0.5,"ocean_post_title_bg_overlay_color":"","ocean_disable_breadcrumbs":"default","ocean_breadcrumbs_color":"","ocean_breadcrumbs_separator_color":"","ocean_breadcrumbs_links_color":"","ocean_breadcrumbs_links_hover_color":"","ocean_display_footer_widgets":"default","ocean_display_footer_bottom":"default","ocean_custom_footer_template":"","ocean_post_oembed":"","ocean_post_self_hosted_media":"","ocean_post_video_embed":"","ocean_link_format":"","ocean_link_format_target":"self","ocean_quote_format":"","ocean_quote_format_link":"post","ocean_gallery_link_images":"on","ocean_gallery_id":[],"footnotes":""},"categories":[286],"tags":[],"class_list":["post-1186","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-fractualites-ennews-fr","entry","has-media"],"_links":{"self":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/1186","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/comments?post=1186"}],"version-history":[{"count":1,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/1186\/revisions"}],"predecessor-version":[{"id":1461,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/1186\/revisions\/1461"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/media\/1185"}],"wp:attachment":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/media?parent=1186"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/categories?post=1186"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/tags?post=1186"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}