[et_pb_section fb_built=”1″ next_background_color=”#ffffff” _builder_version=”4.4.6″ background_color=”#8c8c8c” top_divider_color=”#b53319″ bottom_divider_style=”arrow3″ da_is_popup=”off” da_exit_intent=”off” da_has_close=”on” da_alt_close=”off” da_dark_close=”off” da_not_modal=”on” da_is_singular=”off” da_with_loader=”off” da_has_shadow=”on” da_disable_devices=”off|off|off”][et_pb_row _builder_version=”4.4.6″ custom_margin=”-26px|auto||auto||”][et_pb_column type=”4_4″ _builder_version=”4.4.6″][et_pb_text _builder_version=”4.4.6″]<\/p>\n
[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.4.6″ da_is_popup=”off” da_exit_intent=”off” da_has_close=”on” da_alt_close=”off” da_dark_close=”off” da_not_modal=”on” da_is_singular=”off” da_with_loader=”off” da_has_shadow=”on” da_disable_devices=”off|off|off”][et_pb_row _builder_version=”4.4.6″ background_color=”#f4f4f4″ custom_margin=”5px||||false|false”][et_pb_column type=”4_4″ _builder_version=”4.4.6″][et_pb_text _builder_version=”4.4.6″ text_font=”Arial||||||||” custom_padding=”4px|10px|5px|10px|false|false” inline_fonts=”Verdana,Arial” custom_margin=”||7px|||”]<\/p>\n
The\u00a0Logic Mentoring Workshop<\/i>\u00a0(LMW) will introduce young researchers to the technical and practical aspects of a career in logic research. It is targeted at students, from senior undergraduates to graduates, and will include talks and panel sessions from leaders in the subject.<\/span> [\/et_pb_text][et_pb_text _builder_version=”4.4.6″ hover_enabled=”0″ custom_padding=”|||11px||”]<\/p>\n The workshop will be virtual. Details will be sent to the registered participants.<\/span><\/p>\n Talks will be live and include a Q&A.<\/span><\/p>\n Detailed Program will be available in the following days\u00a0\u00a0<\/span><\/p>\n Participants who cannot attend the whole workshop, for instance because of time-zones, are encouraged to join some of the sessions.<\/span><\/p>\n \u00a0<\/span><\/p>\n Gilles Dowek (ENS Paris-Saclay): The multiple facets of the profession of researcher<\/span><\/p>\n Javier Esparza (Technical University of Munich): How I Give a Talk<\/span><\/p>\n Kenny Foner (Bolt Labs): How Can I Academia When My Brain Can’t Even<\/span><\/p>\n Joanna Ochremiak (CNRS, University of Bordeaux): A brief introduction to proof complexity<\/span><\/p>\n Nicole Schweikardt (Humboldt University of Berlin): Locality properties of extensions of first-order logic and their use in algorithms<\/span><\/p>\n Peter Sewell (University of Cambridge): Engineering with logic: the foundations of mainstream industry systems<\/span><\/p>\n \u00a0<\/span><\/p>\n Ricardo Almeida (Keysight Technologies)<\/span><\/p>\n Krishna (IIT Bombay)<\/span><\/p>\n Elaine Pimentel (Federal University of Rio Grande do Norte)<\/span><\/p>\n Javier Esparza\u00a0 (Technical University of Munich)<\/span><\/p>\n <\/span><\/p>\n [\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_2,1_2″ _builder_version=”4.4.6″][et_pb_column type=”1_2″ _builder_version=”4.4.6″][et_pb_text _builder_version=”4.4.6″ hover_enabled=”0″ inline_fonts=”Verdana,Arial”]<\/p>\n [\/et_pb_text][\/et_pb_column][et_pb_column type=”1_2″ _builder_version=”4.4.6″][et_pb_text _builder_version=”4.4.6″ inline_fonts=”Verdana”]<\/p>\n [\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":" LMW: 6th Logic Mentoring Workshop 2021Overview The\u00a0Logic Mentoring Workshop\u00a0(LMW) will introduce young researchers to the technical and practical aspects of a career in logic research. It is targeted at students, from senior undergraduates to graduates, and will include talks and panel sessions from leaders in the subject.The workshop will be virtual. Details will be sent […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":""},"_links":{"self":[{"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/pages\/330"}],"collection":[{"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/comments?post=330"}],"version-history":[{"count":4,"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/pages\/330\/revisions"}],"predecessor-version":[{"id":833,"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/pages\/330\/revisions\/833"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/media?parent=330"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}Speakers<\/strong><\/span><\/h3>\n
Panelists<\/strong><\/span><\/h3>\n
Organisers<\/span><\/strong><\/h3>\n
\n
Sterring Committee<\/span><\/strong><\/h3>\n
\n