{"id":22,"date":"2020-06-03T07:53:45","date_gmt":"2020-06-03T07:53:45","guid":{"rendered":"http:\/\/easyconferences.eu\/itp2021\/?page_id=22"},"modified":"2021-05-27T11:57:51","modified_gmt":"2021-05-27T11:57:51","slug":"program1","status":"publish","type":"page","link":"https:\/\/easyconferences.eu\/lics2021\/program1\/","title":{"rendered":"Program1"},"content":{"rendered":"<p>[et_pb_section fb_built=&#8221;1&#8243; next_background_color=&#8221;#ffffff&#8221; _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#8c8c8c&#8221; top_divider_color=&#8221;#b53319&#8243; bottom_divider_style=&#8221;arrow3&#8243; da_disable_devices=&#8221;off|off|off&#8221; da_is_popup=&#8221;off&#8221; da_exit_intent=&#8221;off&#8221; da_has_close=&#8221;on&#8221; da_alt_close=&#8221;off&#8221; da_dark_close=&#8221;off&#8221; da_not_modal=&#8221;on&#8221; da_is_singular=&#8221;off&#8221; da_with_loader=&#8221;off&#8221; da_has_shadow=&#8221;on&#8221;][et_pb_row _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;-26px|auto||auto||&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243;]<\/p>\n<h2 style=\"text-align: center;\"><span style=\"color: #ffffff;\">Program<\/span><\/h2>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; disabled_on=&#8221;on|on|on&#8221; _builder_version=&#8221;4.4.6&#8243; custom_padding=&#8221;|||0px||&#8221; da_disable_devices=&#8221;off|off|off&#8221; disabled=&#8221;on&#8221; da_is_popup=&#8221;off&#8221; da_exit_intent=&#8221;off&#8221; da_has_close=&#8221;on&#8221; da_alt_close=&#8221;off&#8221; da_dark_close=&#8221;off&#8221; da_not_modal=&#8221;on&#8221; da_is_singular=&#8221;off&#8221; da_with_loader=&#8221;off&#8221; da_has_shadow=&#8221;on&#8221;][et_pb_row _builder_version=&#8221;4.4.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][\/et_pb_column][\/et_pb_row][et_pb_row disabled_on=&#8221;on|on|on&#8221; _builder_version=&#8221;4.4.6&#8243; disabled=&#8221;on&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text disabled_on=&#8221;off|off|off&#8221; _builder_version=&#8221;4.4.6&#8243;]<\/p>\n<p style=\"text-align: center;\">The program will be updated and will contain links to your papers and talks.<\/p>\n<p style=\"text-align: center;\">Participants will be expected to see the talks and\/or read papers before the attend sessions.The conference will be conducted virtually using the Zoom platform.<\/p>\n<p style=\"text-align: center;\"><span style=\"text-decoration: underline;\">Each session will be conducted as follows (per paper)<\/span><\/p>\n<p style=\"text-align: center;\">&#8211; Quick reminder\/summary (3 min) of the paper<br \/> (you will be able to share screen and show slides) and<\/p>\n<p style=\"text-align: center;\">&#8211; Questions &amp; Answers for 7 minutes, moderated by session chair.<\/p>\n<p style=\"text-align: center;\"><em>*Please note that all sessions will be recorded.<\/em><br \/> <em>**More information\/instructions to presenters and the relevant links will besent closer to the conference<\/em><\/p>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#a05555&#8243; custom_margin=&#8221;-17px||21px|||&#8221; custom_padding=&#8221;4px||4px|||&#8221; link_option_url_new_window=&#8221;on&#8221;]<\/p>\n<p style=\"text-align: center;\"><strong><span style=\"color: #ffffff;\"><a href=\"http:\/\/easyconferences.eu\/lics2021\/wp-content\/uploads\/2021\/05\/LICS-2021_Pre-Recorded-Video_Instructions.pdf\" target=\"_blank\" rel=\"noopener noreferrer\" style=\"color: #ffffff;\">Click here for Instructions on Pre Recorded Videos<\/a><\/span><\/strong><\/p>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row disabled_on=&#8221;on|on|on&#8221; _builder_version=&#8221;4.4.6&#8243; disabled=&#8221;on&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#a05555&#8243; custom_padding=&#8221;7px|||||&#8221;]<\/p>\n<h2 style=\"text-align: center;\"><span style=\"color: #ffffff;\"><strong>Tuesday 29 June, 2021<\/strong><\/span><\/h2>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_padding=&#8221;|383px|0px|365px||&#8221;]<\/p>\n<h2 style=\"text-align: center;\">16:30-17:30<\/h2>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=&#8221;1_2,1_2&#8243; disabled_on=&#8221;on|on|on&#8221; _builder_version=&#8221;4.4.6&#8243; custom_padding=&#8221;3px|||||&#8221; disabled=&#8221;on&#8221;][et_pb_column type=&#8221;1_2&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;||-22px|||&#8221; custom_padding=&#8221;0px|||||&#8221;]<\/p>\n<h2 class=\"sched-popup-media\" data-media-type=\"0\"><span style=\"color: #333333;\">Polynomial time, games, and complexity<\/span><\/h2>\n<ul>\n<li><span style=\"color: #3366ff;\"><b><i>Separating Rank Logic from Polynomial Time &#8211;\u00a0<\/i><\/b>Moritz Lichter<b> \u00a0<\/b><b>(KLEENE AWARD)<\/b> <span style=\"font-weight: 400;\">\u00a0<\/span><\/span><\/li>\n<li><span style=\"color: #3366ff;\"><b><i>Inapproximability of Unique Games in Fixed-Point Logic with Counting<\/i><\/b>\u00a0&#8211;\u00a0Jamie Tucker-Foltz <span style=\"font-weight: 400;\">\u00a0<\/span><b>(KLEENE AWARD)<\/b><\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Multi-Structural Games and Number of Quantifiers<\/strong> &#8211;\u00a0<\/span><\/i>Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan and Nikhil Vyas\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Towards a more efficient approach for the satisfiability of two-variable logic<\/strong> &#8211;\u00a0<\/span><\/i>Ting-Wei Lin, Chia-Hsuan Lu and Tony Tan\u00a0<\/span><i><span style=\"font-weight: 400;\">\u00a0<\/span><\/i><span style=\"font-weight: 400;\">\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Initial limit Datalog: a new extensible class of decidable constrained Horn clauses<\/strong> &#8211;\u00a0<\/span><\/i>Toby Cathcart Burn, Luke Ong, Steven Ramsay and Dominik Wagner\u00a0<\/span><i><span style=\"font-weight: 400;\">\u00a0<\/span><\/i><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Finite Model Theory of the Triguarded Fragment and Related Logics<\/strong> &#8211;\u00a0\u00a0<\/span><\/i>Emanuel Kieronski and Sebastian Rudolph\u00a0<\/span><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p>[\/et_pb_text][\/et_pb_column][et_pb_column type=&#8221;1_2&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;||-22px|||&#8221;]<\/p>\n<h2 class=\"sched-popup-media\" data-media-type=\"0\"><span style=\"font-weight: 400; color: #000000;\">Security<\/span><\/h2>\n<ul>\n<li><span style=\"font-weight: 400;\"><strong><i>The Laplace\u00a0<\/i><\/strong><i><span><strong>Mechanism is optimal for differential privacy over continuous queries<\/strong> &#8211;\u00a0<\/span><\/i>Natasha Fernandes, Annabelle McIver and Carroll Morgan\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Deciding Differential Privacy for Programs with Unbounded Inputs<\/strong> &#8211;\u00a0<\/span><\/i>Rohit Chadha, A. Prasad Sistla and Mahesh Viswanathan \u00a0 <\/span><i><span style=\"font-weight: 400;\">\u00a0\u00a0<\/span><\/i><i><span style=\"font-weight: 400;\">\u00a0<\/span><\/i><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Quantitative and Approximate Monitoring<\/strong> &#8211;\u00a0<\/span><\/i>Thomas A. Henzinger and N. Ege Sara\u00e7\u00a0 \u00a0 <\/span><i><span style=\"font-weight: 400;\">\u00a0<\/span><\/i><span style=\"font-weight: 400;\">\u00a0<\/span> <span style=\"font-weight: 400;\">\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Alignment Completeness for Relational Hoare Logics<\/strong> &#8211;\u00a0<\/span><\/i>Ramana Nagasamudram and David Naumann\u00a0 \u00a0 <\/span><i><span style=\"font-weight: 400;\">\u00a0\u00a0<\/span><\/i> <i><span style=\"font-weight: 400;\">\u00a0<\/span><\/i><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong><span>Session\u00a0<\/span>Logical Relations for Noninterference<\/strong> &#8211;\u00a0<\/span><\/i>Farzaneh Derakhshan, Stephanie Balzer and Limin Jia\u00a0\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>A Bunched Logic for Conditional Independence<\/strong> &#8211;\u00a0\u00a0<\/span><\/i>Jialu Bao, Simon Docherty, Justin Hsu and Alexandra Silva\u00a0<\/span><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=&#8221;4.4.6&#8243; custom_padding=&#8221;9px|||||&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_divider divider_style=&#8221;dashed&#8221; _builder_version=&#8221;4.4.6&#8243;][\/et_pb_divider][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;-20px|auto||auto||&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;0px|||||&#8221;]<\/p>\n<h2 style=\"text-align: center;\">18:00 &#8211; 19:00<\/h2>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=&#8221;1_3,1_3,1_3&#8243; disabled_on=&#8221;off|off|off&#8221; _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;-19px|auto||auto||&#8221; custom_padding=&#8221;8px|||||&#8221;][et_pb_column type=&#8221;1_3&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;||-22px|||&#8221;]<\/p>\n<h2 class=\"sched-popup-media\" data-media-type=\"0\">CSP<\/h2>\n<ul>\n<li><span style=\"color: #3366ff;\"><strong><i>Minimal Taylor Algebras as a Common Framework for the\u00a0<\/i><\/strong><i><strong>Three Algebraic Approaches to the CSP<\/strong> <\/i><b style=\"font-size: 16px;\"><b><i>&#8211;\u00a0<\/i><\/b><\/b>Libor Barto, Zarathustra Brady, Andrei Bulatov, Marcin Kozik and\u00a0Dmitriy Zhuk<span style=\"font-size: 16px;\">\u00a0(Distinguished Paper)<\/span><\/span><\/li>\n<li><span style=\"font-weight: 400;\"><strong><i>Problem and the Surjective Constraint\u00a0<\/i><\/strong><i><span><strong>Satisfaction Problem<\/strong> &#8211;\u00a0<\/span><\/i>Dmitriy Zhuk, <\/span><i><span style=\"font-weight: 400;\">No-Rainbow\u00a0<\/span><\/i><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>PTAS for Sparse General-Valued CSPs<\/strong> &#8211;\u00a0<\/span><\/i>Bal\u00e1zs F. Mezei, Marcin Wrochna and Stanislav \u017divn\u00fd.<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><strong><i>Constraint\u00a0<\/i><\/strong><i><span><strong>Satisfaction Problems over Finite Structures<\/strong> &#8211;\u00a0<\/span><\/i>Libor Barto, William DeMeo and Antoine Mottet<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>On Logics and Homomorphism Closure<\/strong> &#8211;\u00a0<\/span><\/i>Manuel Bodirsky, Thomas Feller, Simon Kn\u00e4uer and Sebastian Rudolph\u00a0 \u00a0 <\/span><i><span style=\"font-weight: 400;\">\u00a0 \u00a0<\/span><\/i> <i><span style=\"font-weight: 400;\">\u00a0<\/span><\/i><\/li>\n<li><span style=\"font-weight: 400;\"><strong><i>Canonical Polymorphisms of\u00a0<\/i><\/strong><i><span><strong>Ramsey Structures and the Unique Interpolation Property<\/strong> &#8211;\u00a0<\/span><\/i>Manuel Bodirsky and Bertalan Bodor,\u00a0<\/span><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p>[\/et_pb_text][\/et_pb_column][et_pb_column type=&#8221;1_3&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;||4px|||&#8221;]<\/p>\n<h2 class=\"sched-popup-media\" data-media-type=\"0\">Probabilistic Aspects<\/h2>\n<ul>\n<li><span style=\"color: #3366ff;\"><b><b><i>Compositional Semantics for\u00a0<\/i><\/b><b><i>Probabilistic Programs with Exact Conditioning &#8211;\u00a0<\/i><\/b><\/b>Dario Stein and Sam Staton (Distinguished Paper)<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><strong><i>From Multisets over Distributions to Distributions over\u00a0<\/i><\/strong><i><span><strong>Multisets<\/strong> &#8211;\u00a0<\/span><\/i>Bart Jacobs\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><strong><i>Combining\u00a0<\/i><i>nondeterminism, probability, and termination: equational and metric\u00a0<\/i><\/strong><i><span><strong>reasoning<\/strong> &#8211;\u00a0<\/span><\/i>Matteo Mio, Ralph Sarkis and Valeria Vignudelli\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Commutative Monads for Probabilistic Programming Languages<\/strong> &#8211;\u00a0<\/span><\/i>Xiaodong Jia, Bert Lindenhovius, Michael Mislove and Vladimir Zamdzhiev \u00a0 <\/span><i><span style=\"font-weight: 400;\">\u00a0<\/span><\/i><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Symbolic Time and Space Tradeoffs for Probabilistic Verification<\/strong> &#8211;\u00a0<\/span><\/i>Krishnendu Chatterjee, Wolfgang Dvo\u0159\u00e1k, Monika Henzinger and\u00a0<\/span><span style=\"font-weight: 400;\">Alexander Svozil\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Stochastic Processes with\u00a0Expected Stopping Time<\/strong> &#8211;\u00a0<\/span><\/i>Krishnendu Chatterjee and Laurent Doyen\u00a0<\/span><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p>[\/et_pb_text][\/et_pb_column][et_pb_column type=&#8221;1_3&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243;]<\/p>\n<h2 class=\"sched-popup-media\" data-media-type=\"0\">Types I<\/h2>\n<div class=\"sched-popup-description\">\n<ul>\n<li><span><i><strong>The undecidability of System F typability and type checking for reductionists<\/strong>\u00a0&#8211; A<\/i>ndrej Dudenhefner\u00a0<\/span><\/li>\n<li><span><i><strong>Higher lenses<\/strong>\u00a0&#8211;\u00a0<\/i>Paolo Capriotti, Nils Anders Danielsson and Andrea Vezzosi\u00a0\u00a0<\/span><\/li>\n<li><span><strong><i>Internal\u00a0<\/i><\/strong><i><strong>-categorical models of dependent type theory: towards 2LTT eating HoTT<\/strong>\u00a0&#8211;\u00a0<\/i>Nicolai Kraus\u00a0<\/span><\/li>\n<li><span><i><strong>Types are internal infinity-groupoids<\/strong>\u00a0&#8211;\u00a0<\/i>Antoine Allioux, Eric Finster and Matthieu Sozeau\u00a0<\/span><\/li>\n<li><span><i><strong>Normalization for Cubical type theory\u00a0<\/strong>&#8211;\u00a0<\/i>Jonathan Sterling and Carlo Angiuli\u00a0<\/span><\/li>\n<li><span><i><strong>Parametricity and semi-cubical types<\/strong>\u00a0&#8211;\u00a0<\/i>Hugo Moeneclaey\u00a0<\/span><\/li>\n<\/ul>\n<\/div>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=&#8221;4.4.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#a05555&#8243; custom_padding=&#8221;7px|||||&#8221;]<\/p>\n<h2 style=\"text-align: center;\"><span style=\"color: #ffffff;\"><strong>Wednesday 30 June, 2021<\/strong><\/span><\/h2>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243;]<\/p>\n<h2 style=\"text-align: center;\">16:30 &#8211; 17:30<\/h2>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=&#8221;1_3,1_3,1_3&#8243; disabled_on=&#8221;off|off|off&#8221; _builder_version=&#8221;4.4.6&#8243; custom_padding=&#8221;||6px|||&#8221;][et_pb_column type=&#8221;1_3&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;||-22px|||&#8221;]<\/p>\n<h2 class=\"sched-popup-media\" data-media-type=\"0\"><span style=\"font-weight: 400;\">Automata<\/span><\/h2>\n<p><span style=\"color: #3366ff;\"><b><i>Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata &#8211;\u00a0<\/i><\/b>Miko\u0142aj Boja\u0144czyk, Bartek Klin and Joshua Moerman\u00a0(Distinguished Paper)<\/span><\/p>\n<p><span style=\"font-weight: 400;\"><i><span><strong>Parikh&#8217;s theorem for infinite alphabets<\/strong> &#8211;\u00a0<\/span><\/i>Piotr Hofman, Marta Juzepczuk, S\u0142awomir Lasota and Mohnish Pattathurajan\u00a0<\/span><\/p>\n<p><span style=\"font-weight: 400;\"><i><span><strong>Continuous One-Counter Automata<\/strong> &#8211;\u00a0<\/span><\/i>Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt and Guillermo Perez\u00a0<\/span><\/p>\n<p><span style=\"font-weight: 400;\"><i><span><strong>From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata<\/strong> &#8211;\u00a0<\/span><\/i>Elisabet Burjons, Fabian Frei and Martin Raszyk\u00a0<\/span><\/p>\n<p><span style=\"font-weight: 400;\"><i><span><strong>SD-Regular Transducer Expressions for Aperiodic Transformations<\/strong> &#8211;\u00a0<\/span><\/i>Luc Dartois, Paul Gastin and Shankara Narayanan Krishna\u00a0<\/span><\/p>\n<p>&nbsp;<\/p>\n<p>[\/et_pb_text][\/et_pb_column][et_pb_column type=&#8221;1_3&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;||-22px|||&#8221;]<\/p>\n<h2 class=\"sched-popup-media\" data-media-type=\"0\"><span style=\"font-weight: 400;\">Lambda-Calculus<\/span><\/h2>\n<ul>\n<li><span style=\"font-weight: 400;\"><strong><i>Universal Semantics for the Stochastic\u00a0<\/i><\/strong><i><span><strong>Lambda-Calculus<\/strong> &#8211;\u00a0<\/span><\/i>Pedro H Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash\u00a0<\/span><span style=\"font-weight: 400;\">Panangaden and Michael Roberts\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>A compositional cost model for the lambda-calculus<\/strong> &#8211;\u00a0<\/span><\/i>James Laird\u00a0 \u00a0\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><strong><i>On Generalized Metric Spaces for the Simply Typed\u00a0<\/i><\/strong><i><span><strong>Lambda-Calculus<\/strong> &#8211;\u00a0<\/span><\/i>Paolo Pistone\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>The Space of Interaction<\/strong> &#8211;\u00a0<\/span><\/i>Beniamino Accattoli, Ugo Dal Lago and Gabriele Vanoni\u00a0 \u00a0\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Strong Call-by-Value is Reasonable, Implosively<\/strong> &#8211;\u00a0<\/span><\/i>Beniamino Accattoli, Andrea Condoluci and Claudio Sacerdoti Coen\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><strong><i><span>Supermartingales,\u00a0<\/span>Ranking\u00a0<\/i><\/strong><i><span><strong>Functions and Probabilistic Lambda Calculus<\/strong> &#8211;\u00a0<\/span><\/i>Andrew Kenyon-Roberts and Luke Ong\u00a0<\/span><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p>[\/et_pb_text][\/et_pb_column][et_pb_column type=&#8221;1_3&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;||-1px|||&#8221;]<\/p>\n<h2 class=\"sched-popup-media\" data-media-type=\"0\"><span style=\"font-weight: 400;\">Logic and Proof <\/span><\/h2>\n<ul>\n<li><span style=\"font-weight: 400;\"><i><span><strong>A Constructive Logic with Classical Proofs and Refutations<\/strong> &#8211;\u00a0<\/span><\/i>Pablo Barenbaum and Teodoro Freund\u00a0 \u00a0\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Combinatorial Proofs and Decomposition Theorems for First-order Logic<\/strong> &#8211;\u00a0<\/span><\/i>Dominic Hughes, Lutz Stra\u00dfburger and Jui-Hsuan Wu \u00a0\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><strong><i>Decidability and Complexity in Weakening and Contraction Hypersequent\u00a0<\/i><\/strong><i><span><strong>Substructural Logics<\/strong> &#8211;\u00a0<\/span><\/i>A. R. Balasubramanian, Timo Lang and Revantha Ramanayake\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>G\u00f6del-McKinsey-Tarski and Blok-Esakia for Lewis-Brouwer Implication<\/strong> &#8211;\u00a0<\/span><\/i>Jim de Groot, Tadeusz Litak and Dirk Pattinson\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><strong>O<i>n\u00a0<\/i><\/strong><i><span><strong>sequentiality and well-bracketing in the \u03c0-calculus<\/strong> &#8211;\u00a0<\/span><\/i>Daniel Hirschkoff, Enguerrand Prebet and Davide Sangiorgi\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><strong><i>Axiomatizations\u00a0<\/i><\/strong><i><span><strong>and Computability of Weighted Monadic Second-Order Logic<\/strong> &#8211;\u00a0<\/span><\/i>Antonis Achilleos and Mathias Ruggaard Pedersen\u00a0<\/span><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=&#8221;4.4.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#a05555&#8243; custom_padding=&#8221;8px|||||&#8221;]<\/p>\n<h2 style=\"text-align: center;\"><span style=\"color: #ffffff;\"><strong>Thursday 01 July, 2021<\/strong><\/span><\/h2>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243;]<\/p>\n<h2 style=\"text-align: center;\">16:30 &#8211; 17:30<\/h2>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=&#8221;1_3,1_3,1_3&#8243; disabled_on=&#8221;off|off|off&#8221; _builder_version=&#8221;4.4.6&#8243; custom_padding=&#8221;11px||0px|||&#8221;][et_pb_column type=&#8221;1_3&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;||2px|||&#8221;]<\/p>\n<h2 class=\"sched-popup-media\" data-media-type=\"0\"><span style=\"font-weight: 400;\">Graphs and words<\/span><\/h2>\n<ul>\n<li><span style=\"color: #3366ff;\"><b><i>Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes <\/i><\/b><i>&#8211;\u00a0<\/i>Jan Dreier (Distinguished Paper)\u00a0\u00a0<\/span><\/li>\n<li><span style=\"color: #3366ff;\"><b><i>Positive first-order logic on words &#8211;\u00a0<\/i><\/b>Denis Kuperber\u00a0<\/span><span><span style=\"color: #3366ff;\">(Distinguished Paper)<\/span>\u00a0\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>On the Expressive Power of Homomorphism Counts<\/strong> &#8211;\u00a0<\/span><\/i>Albert Atserias, Phokion Kolaitis and Wei-Lin Wu\u00a0<\/span><i><span style=\"font-weight: 400;\">\u00a0\u00a0<\/span><\/i><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Forbidden Induced Subgraphs and the Los-Tarski Theorem<\/strong> &#8211;\u00a0<\/span><\/i>Yijia Chen and J\u00f6rg Flum\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Parameterized Complexity of\u00a0 Elimination Distance to First-Order Logic Properties<\/strong> &#8211;\u00a0<\/span><\/i>Fedor Fomin, Petr Golovach and Dimitrios Thilikos\u00a0<\/span><i><span style=\"font-weight: 400;\">\u00a0\u00a0<\/span><\/i><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>An Algebraic Characterisation of First-Order Logic with Neighbour<\/strong> &#8211;\u00a0<\/span><\/i>Amaldev Manuel and Dhruv Nevatia\u00a0<\/span><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n<p>[\/et_pb_text][\/et_pb_column][et_pb_column type=&#8221;1_3&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;||-22px|||&#8221;]<\/p>\n<h2 class=\"sched-popup-media\" data-media-type=\"0\"><span style=\"font-weight: 400;\">Concurrency and formal aspects of program analysis<\/span><\/h2>\n<ul>\n<li><span style=\"color: #3366ff;\"><b><i>A Logic for Locally Complete Abstract Interpretations <\/i><\/b><i>&#8211;\u00a0<\/i>Roberto Bruni, Roberto Giacobazzi, Roberta Gori and Francesco Ranzato (Distinguished Paper)<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods<\/strong> &#8211;\u00a0<\/span><\/i>Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski and Andrea Vandin\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>A Complete Axiomatization for Divergence Preserving Branching Congruence of Finite-State Behaviours<\/strong> &#8211;\u00a0<\/span><\/i>Xinxin Liu and Tingting Yu\u00a0<\/span><i><span style=\"font-weight: 400;\">\u00a0\u00a0<\/span><\/i> <i><span style=\"font-weight: 400;\">\u00a0<\/span><\/i><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Verifying higher-order concurrency with data automata<\/strong> &#8211;\u00a0<\/span><\/i>Alex Dixon, Ranko Lazic, Andrzej Murawski and Igor Walukiewicz\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Compositional relational reasoning via operational game semantics<\/strong> &#8211;\u00a0<\/span><\/i>Guilhem Jaber and Andrzej Murawski\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition<\/strong> &#8211;\u00a0<\/span><\/i>Robin Hirsch and Jas Semrl\u00a0<\/span><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p>[\/et_pb_text][\/et_pb_column][et_pb_column type=&#8221;1_3&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;||-22px|||&#8221;]<\/p>\n<h2 class=\"sched-popup-media\" data-media-type=\"0\"><span style=\"font-weight: 400;\">Quantum programs and circuits<\/span><\/h2>\n<ul>\n<li><span style=\"font-weight: 400;\"><strong><i>Graphical Language\u00a0<\/i><\/strong><i><span><strong>with Delayed Trace: Picturing Quantum Computing with Finite Memory<\/strong> &#8211;\u00a0<\/span><\/i>Titouan Carette, Simon Perdrix and Marc De Visme\u00a0<\/span><span style=\"font-weight: 400;\"><\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>A Quantum Interpretation of Bunched Logic &amp; Quantum Separation Logic<\/strong> &#8211;\u00a0<\/span><\/i>Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying and Nengkun Yu\u00a0 \u00a0\u00a0<\/span><\/li>\n<li><i><span style=\"font-weight: 400;\"><\/span><\/i><span style=\"font-weight: 400;\"><i><span><strong>A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis<\/strong> &#8211;\u00a0<\/span><\/i>Preey Shah, Aman Bansal, S. Akshay and Supratik Chakraborty\u00a0<\/span><\/li>\n<\/ul>\n<p><i><span> <\/span><\/i><i><span>\u00a0<\/span><\/i><\/p>\n<p>&nbsp;[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=&#8221;4.4.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; background_color=&#8221;#a05555&#8243; custom_padding=&#8221;7px|||||&#8221;]<\/p>\n<h2 style=\"text-align: center;\"><span style=\"color: #ffffff;\"><strong>Friday 02 July, 2021<\/strong><\/span><\/h2>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243;]<\/p>\n<h2 style=\"text-align: center;\">16:30 &#8211; 17:30<\/h2>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=&#8221;1_3,1_3,1_3&#8243; disabled_on=&#8221;off|off|off&#8221; _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;11px|auto|-23px|auto||&#8221; custom_padding=&#8221;5px||0px|||&#8221;][et_pb_column type=&#8221;1_3&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;||-22px|||&#8221;]<\/p>\n<h2 class=\"sched-popup-media\" data-media-type=\"0\"><span style=\"font-weight: 400;\">Algebra, arithmetic, and logic <\/span><\/h2>\n<ul>\n<li><span style=\"color: #3366ff;\"><b><i>Fusible numbers and Peano Arithmetic <\/i><\/b><i>&#8211;\u00a0<\/i>Jeff Erickson, Gabriel Nivasch and Junyan Xu (Distinguished Paper)<\/span><\/li>\n<li><span style=\"color: #3366ff;\"><b><i>Universal Skolem Sets <\/i><\/b><i>&#8211;\u00a0<\/i>Florian Luca, Joel Ouaknine and James Worrell<b>\u00a0<\/b>(Distinguished Paper)<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Fixed-Points for Quantitative Equational Logics<\/strong> &#8211;\u00a0<\/span><\/i>Radu Mardare, Gordon Plotkin and Prakash Panangaden\u00a0 \u00a0\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Global Optimisation with Constructive Reals<\/strong> &#8211;\u00a0<\/span><\/i>Dan Ghica and Todd Waugh Ambridge\u00a0 \u00a0\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Monomial-size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus<\/strong> &#8211;\u00a0<\/span><\/i>Tuomas Hakoniemi\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><strong><i>First-Order Reasoning and\u00a0<\/i><\/strong><i><span><strong>Efficient Semi-Algebraic Proofs<\/strong> &#8211;\u00a0<\/span><\/i>Fedor Part, Neil Thapen and Iddo Tzameret\u00a0<\/span><\/li>\n<\/ul>\n<p><i><span> <\/span><\/i><i><span>\u00a0<\/span><\/i><\/p>\n<p>&nbsp;<\/p>\n<p>[\/et_pb_text][\/et_pb_column][et_pb_column type=&#8221;1_3&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;||-22px|||&#8221;]<\/p>\n<h2 class=\"sched-popup-media\" data-media-type=\"0\"><span style=\"font-weight: 400;\">Reasoning about processes<\/span><\/h2>\n<p><span style=\"font-weight: 400;\"><i><span><strong>Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics<\/strong> &#8211;\u00a0<\/span><\/i>Maciej Gazda and Rob Hierons\u00a0<\/span><\/p>\n<p><span style=\"font-weight: 400;\"><i><span><strong>Responsibility and verification: Importance value in temporal logics<\/strong> &#8211;\u00a0<\/span><\/i>Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch and Stefan Kiefer\u00a0<\/span><\/p>\n<p><span style=\"font-weight: 400;\"><i><span><strong>Perspective Multi-Player Games<\/strong> &#8211;\u00a0<\/span><\/i>Orna Kupferman and Noam Shenwald\u00a0<\/span><\/p>\n<p><span style=\"font-weight: 400;\"><i><span><strong>Asynchronous extensions of HyperLTL<\/strong> &#8211;\u00a0<\/span><\/i>Laura Bozzelli, Adriano Peron and Cesar Sanchez\u00a0<\/span><\/p>\n<p><span style=\"font-weight: 400;\"><i><span><strong>A distributed operational view of Reversible Prime Event Structures<\/strong> &#8211;\u00a0<\/span><\/i>Hern\u00e1n Melgratti, Claudio Antares Mezzina and G. Michele Pinna\u00a0<\/span><i><span style=\"font-weight: 400;\">\u00a0<\/span><\/i><i><span style=\"font-weight: 400;\">\u00a0<\/span><\/i><\/p>\n<p>&nbsp;<\/p>\n<p>[\/et_pb_text][\/et_pb_column][et_pb_column type=&#8221;1_3&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243;]<\/p>\n<h2 class=\"sched-popup-media\" data-media-type=\"0\">Types II<\/h2>\n<div class=\"sched-popup-description\">\n<ul>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Smart choices and the selection monad<\/strong> &#8211;\u00a0<\/span><\/i>Martin Abadi and Gordon Plotkin.\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Assuming just enough fairness to make session types complete for lock-freedom<\/strong> &#8211;\u00a0<\/span><\/i>Rob van Glabbeek, Peter H\u00f6fner and Ross Horne.\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>A Unifying Framework Broadening Realizability Models<\/strong> &#8211;\u00a0<\/span><\/i>Liron Cohen, \u00c9tienne Miquey and Ross Tate. <\/span><i><span style=\"font-weight: 400;\">Evidenced Frames:\u00a0<\/span><\/i><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Intersection Type Distributors<\/strong> &#8211;\u00a0<\/span><\/i>Federico Olimpieri\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Categorical models of Linear Logic with fixed points of formulas<\/strong> &#8211;\u00a0<\/span><\/i>Thomas Ehrhard and Farzad Jafarrahmani\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>On the logical structure of choice and bar induction principles<\/strong> &#8211;\u00a0<\/span><\/i>Nuria Brede and Hugo Herbelin. Nuria Brede and Hugo Herbelin\u00a0 \u00a0\u00a0<\/span><\/li>\n<\/ul>\n<\/div>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=&#8221;4.4.6&#8243; custom_padding=&#8221;9px|||||&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_divider divider_style=&#8221;dashed&#8221; _builder_version=&#8221;4.4.6&#8243;][\/et_pb_divider][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;0px|||||&#8221;]<\/p>\n<h2 style=\"text-align: center;\">18:00 &#8211; 19:00<\/h2>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=&#8221;1_2,1_2&#8243; disabled_on=&#8221;off|off|off&#8221; _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;-38px|auto||auto||&#8221; custom_padding=&#8221;40px|||||&#8221;][et_pb_column type=&#8221;1_2&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;||-22px|||&#8221;]<\/p>\n<h2 class=\"sched-popup-media\" data-media-type=\"0\"><span style=\"font-weight: 400;\">Modal Logic<\/span><\/h2>\n<p><strong><i>Expressivity of Quantitative Modal Logics:\u00a0<\/i><\/strong><span style=\"font-weight: 400;\"><i><span><strong>Categorical Foundations via Codensity and Approximation<\/strong> &#8211;\u00a0<\/span><\/i>Yuichi Komorida, Shin-Ya Katsumata, Clemens Kupke, Jurriaan Rot\u00a0<\/span><span style=\"font-weight: 400;\">and Ichiro Hasuo\u00a0<\/span><\/p>\n<p><span style=\"font-weight: 400;\"><i><span><strong>The Topological Mu-Calculus: completeness and decidability<\/strong> &#8211;\u00a0<\/span><\/i>Alexandru Baltag, Nick Bezhanishvili and David Fern\u00e1ndez-Duque\u00a0<\/span><\/p>\n<p><span style=\"font-weight: 400;\"><strong><i>Zero-one laws for provability logic: Axiomatizing\u00a0<\/i><\/strong><i><span><strong>validity in almost all models and almost all frames<\/strong> &#8211;\u00a0<\/span><\/i>Rineke Verbrugge\u00a0<\/span><\/p>\n<p><span style=\"font-weight: 400;\"><i><span><strong>Definitions and Interpolants in the Guarded and Two-Variable Fragments<\/strong> &#8211;\u00a0<\/span><\/i>Jean Christoph Jung and Frank Wolter Living without Beth and Craig\u00a0<\/span><\/p>\n<p><span style=\"font-weight: 400;\"><i><span><strong>Some constructive variants of S4 with the finite model property<\/strong> &#8211;\u00a0<\/span><\/i>Philippe Balbiani, Mart\u00edn Di\u00e9guez and David Fern\u00e1ndez-Duque\u00a0<\/span><\/p>\n<p><span style=\"font-weight: 400;\"><strong><i>Behavioural Preorders\u00a0<\/i><\/strong><i><span><strong>via Graded Monads<\/strong> &#8211;\u00a0<\/span><\/i>Chase Ford, Stefan Milius and Lutz Schr\u00f6der\u00a0<\/span><\/p>\n<p>&nbsp;<\/p>\n<p>[\/et_pb_text][\/et_pb_column][et_pb_column type=&#8221;1_2&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;||-22px|||&#8221;]<\/p>\n<h2 class=\"sched-popup-media\" data-media-type=\"0\"><span style=\"font-weight: 400;\">Categories<\/span><\/h2>\n<ul>\n<li class=\"sched-popup-media\" data-media-type=\"0\"><i><span><strong>Comonadic semantics for guarded fragments<\/strong> &#8211;\u00a0<\/span><\/i>Samson Abramsky and Daniel Marsden\u00a0 \u00a0\u00a0<\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Lova\u0301sz-type Theorems and Game Comonads<\/strong> &#8211;\u00a0<\/span><\/i>Anuj Dawar, Tom\u00e1\u0161 Jakl and Luca Reggio \u00a0 <\/span><i><span style=\"font-weight: 400;\">\u00a0<\/span><\/i><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>The smash product of monoidal theories<\/strong> &#8211;\u00a0<\/span><\/i>Amar Hadzihasanovic\u00a0 \u00a0\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Categories of Nets<\/strong> &#8211;\u00a0<\/span><\/i>John Baez, Fabrizio Romano Genovese, Jade Master and Michael Shulman\u00a0 \u00a0\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><i><span><strong>Asynchronous Template Games<\/strong> &#8211;\u00a0<\/span><\/i>Paul-Andr\u00e9 Melli\u00e8s\u00a0<\/span><\/li>\n<li><span style=\"font-weight: 400;\"><strong><i>On Monadic Rewriting\u00a0<\/i><\/strong><i><span><strong>Systems, Part I<\/strong> &#8211;\u00a0<\/span><\/i>Francesco Gavazzo and Claudia Faggian\u00a0 \u00a0\u00a0<\/span><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; _builder_version=&#8221;4.4.6&#8243; da_disable_devices=&#8221;off|off|off&#8221; da_is_popup=&#8221;off&#8221; da_exit_intent=&#8221;off&#8221; da_has_close=&#8221;on&#8221; da_alt_close=&#8221;off&#8221; da_dark_close=&#8221;off&#8221; da_not_modal=&#8221;on&#8221; da_is_singular=&#8221;off&#8221; da_with_loader=&#8221;off&#8221; da_has_shadow=&#8221;on&#8221;][et_pb_row _builder_version=&#8221;4.4.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.4.6&#8243;][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_margin=&#8221;||-11px|||&#8221; hover_enabled=&#8221;0&#8243;]<\/p>\n<h2 style=\"text-align: center;\"><\/h2>\n<p style=\"text-align: center;\"><strong><span>All times are in the Central European Summer Timezone (CEST), UTC+2, GMT+2<\/span><\/strong><\/p>\n<p style=\"text-align: center;\"><a href=\"https:\/\/www.thetimezoneconverter.com\/\" target=\"_blank\" rel=\"noopener noreferrer\"><b>Click here to convert to your local time<\/b><\/a><\/p>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;4.4.6&#8243; custom_padding=&#8221;|0px||||&#8221;]<\/p>\n<div class=\"sched-loader\"><div class=\"sched-loader-icon\"><\/div><div class=\"sched-loader-text\"><\/div><\/div>\n<div class=\" sched\" id=\"sched-schedule-2-702408280\" data-options=\" {&quot;am_pm&quot;:&quot;0&quot;,&quot;sidebar_width&quot;:&quot;58&quot;,&quot;sidebar_position&quot;:&quot;left&quot;,&quot;event_hover_color&quot;:&quot;lighten&quot;,&quot;event_box_text_align&quot;:&quot;center&quot;,&quot;event_box_time&quot;:&quot;0&quot;,&quot;event_hover_text_color&quot;:&quot;#FFFFFF&quot;,&quot;event_hover_background_color&quot;:&quot;#000000&quot;,&quot;event_box_truncate_title&quot;:&quot;0&quot;,&quot;event_tooltip&quot;:&quot;0&quot;,&quot;event_tooltip_title&quot;:&quot;1&quot;,&quot;event_tooltip_time&quot;:&quot;1&quot;,&quot;event_tooltip_description&quot;:&quot;1&quot;,&quot;event_tooltip_width_type&quot;:&quot;event&quot;,&quot;event_tooltip_width&quot;:&quot;150&quot;,&quot;event_tooltip_color_type&quot;:&quot;event&quot;,&quot;event_tooltip_color_bg&quot;:&quot;#000000&quot;,&quot;event_tooltip_color_text&quot;:&quot;#FFFFFF&quot;,&quot;column_tooltip&quot;:&quot;0&quot;,&quot;column_tooltip_title&quot;:&quot;1&quot;,&quot;column_tooltip_description&quot;:&quot;1&quot;,&quot;column_tooltip_width_type&quot;:&quot;column&quot;,&quot;column_tooltip_width&quot;:&quot;150&quot;,&quot;column_tooltip_color_bg&quot;:&quot;#000000&quot;,&quot;column_tooltip_color_text&quot;:&quot;#FFFFFF&quot;,&quot;animations&quot;:&quot;0&quot;,&quot;animations_mobile&quot;:&quot;0&quot;,&quot;animations_speed&quot;:&quot;normal&quot;,&quot;animations_css3&quot;:&quot;1&quot;,&quot;tooltips_mobile&quot;:&quot;0&quot;,&quot;editor_bg&quot;:&quot;#F5F5F5&quot;,&quot;animations_editor&quot;:&quot;1&quot;,&quot;popup_max_width&quot;:&quot;1100&quot;,&quot;popup_background_color&quot;:&quot;#ffffff&quot;,&quot;popup_text_color&quot;:&quot;#535353&quot;,&quot;popup_link_color&quot;:&quot;#18bc9c&quot;,&quot;autoplay_videos&quot;:&quot;0&quot;,&quot;column_color_bg&quot;:&quot;#e8e8e8&quot;,&quot;column_color_text&quot;:&quot;#3f3f3f&quot;,&quot;column_color_border&quot;:&quot;#ffffff&quot;,&quot;pattern_color_1&quot;:&quot;#ffffff&quot;,&quot;pattern_color_2&quot;:&quot;#e8e8e8&quot;,&quot;pattern_color_3&quot;:&quot;#f5f5f5&quot;,&quot;title_text_color&quot;:&quot;#3f3f3f&quot;,&quot;sidebar_text_color&quot;:&quot;#3f3f3f&quot;,&quot;event_box_text_color&quot;:&quot;#ffffff&quot;,&quot;title_attr&quot;:&quot;1&quot;,&quot;column_break&quot;:1,&quot;column_break_width&quot;:&quot;120&quot;,&quot;column_break_hide_sidebar&quot;:&quot;1&quot;,&quot;editor_custom_css&quot;:&quot;1&quot;,&quot;column_title&quot;:&quot;1&quot;,&quot;event_box_description_method&quot;:&quot;short&quot;,&quot;editor_quick_tooltips&quot;:&quot;1&quot;,&quot;editor_timepicker_increments&quot;:&quot;5&quot;,&quot;event_box_style&quot;:&quot;1&quot;,&quot;filter_position&quot;:&quot;right&quot;,&quot;filter_multiple&quot;:&quot;1&quot;,&quot;filter_hidden_events&quot;:&quot;hide&quot;,&quot;filter_hidden_events_opacity&quot;:&quot;30&quot;,&quot;filter_dropdown_width&quot;:&quot;100&quot;,&quot;filter_dropdown_hover_width&quot;:&quot;180&quot;,&quot;filter_dropdown_label&quot;:&quot;&quot;,&quot;filter_dropdown_show_all_label&quot;:&quot;Showing All&quot;,&quot;hashtag_url&quot;:&quot;0&quot;,&quot;hide_popup_for_empty_events&quot;:&quot;0&quot;,&quot;event_box_padding_break&quot;:&quot;110&quot;,&quot;popup_arrows&quot;:&quot;1&quot;,&quot;filter_visible&quot;:&quot;1&quot;,&quot;column_break_action&quot;:&quot;stack&quot;,&quot;list_view_column_title_color&quot;:&quot;#3f3f3f&quot;,&quot;list_view_event_title_color&quot;:&quot;#3f3f3f&quot;,&quot;list_view_event_hover_title_color&quot;:&quot;#000&quot;,&quot;list_view_event_title_bold&quot;:&quot;1&quot;,&quot;list_view_event_bullets&quot;:&quot;1&quot;,&quot;list_view_event_short_description_method&quot;:&quot;short&quot;,&quot;list_view_event_description_color&quot;:&quot;#666&quot;,&quot;list_view_hide_empty_columns&quot;:&quot;0&quot;,&quot;shortcodes_in_descriptions&quot;:&quot;1&quot;,&quot;columns_sticky_header&quot;:&quot;1&quot;,&quot;columns_sticky_header_offset&quot;:&quot;0&quot;,&quot;h_row_height&quot;:90,&quot;h_column_width&quot;:200,&quot;h_time_indicator&quot;:1,&quot;h_time_indicator_height&quot;:30,&quot;h_column_multiline&quot;:0,&quot;h_column_title_position&quot;:&quot;middle&quot;,&quot;h_column_title_align&quot;:&quot;center&quot;,&quot;h_break&quot;:1,&quot;h_width_break_point&quot;:200,&quot;h_bg_color&quot;:&quot;#f8f8f8&quot;,&quot;pdf_type&quot;:&quot;html&quot;,&quot;pdf_enable&quot;:&quot;1&quot;,&quot;pdf_enable_list&quot;:&quot;1&quot;,&quot;pdf_label&quot;:&quot;Download&quot;,&quot;pdf_css&quot;:&quot;&quot;,&quot;upcoming_type&quot;:&quot;current_datetime&quot;,&quot;upcoming_custom&quot;:&quot;2016-01-01 00:00&quot;,&quot;upcoming_limit&quot;:&quot;5&quot;,&quot;upcoming_title&quot;:&quot;timetable_title&quot;,&quot;upcoming_title_custom&quot;:&quot;Upcoming Events&quot;,&quot;upcoming_title_amount&quot;:&quot;1&quot;}\" data-start=\"15:00\" data-end=\"19:00\" data-timetable-id=\"2\" data-type=\"full\" data-list-id=\"#sched-schedule-2-702408280-list\" data-layout=\"default\">\t<div class=\"sched-style\"><style type=\"text\/css\">\/*\n * Custom CSS For Timetable\n*\/\n\n#sched-schedule-2-702408280 .sched-column-header,\n#sched-schedule-2-702408280 .sched-column-header-sticky {\n\tbackground: #e8e8e8;\n\tcolor: #3f3f3f;\n}\n\n#sched-schedule-2-702408280 .sched-column-header:after,\n#sched-schedule-2-702408280 .sched-column-header-sticky:after {\n\tbackground: #ffffff;\n}\n\n#sched-schedule-2-702408280 .sched-columns .sched-column:last-child .sched-column-header:after,\n#sched-schedule-2-702408280 .sched-columns .sched-column:last-child .sched-column-header-sticky:after {\n\tbackground: #e8e8e8;\n}\n\n#sched-schedule-2-702408280 .sched-column-bg-block {\n\tbackground: #ffffff;\n\tborder-color: #e8e8e8;\n}\n\n#sched-schedule-2-702408280 .sched-column-bg-block:after {\n\tbackground: #f5f5f5;\n}\n\n#sched-schedule-2-702408280 .sched-row-no-title .sched-column .sched-column-bg {\n\tbox-shadow: 0 -1px 0 #e8e8e8;\n}\n\n#sched-schedule-2-702408280 .sched-title {\n\tcolor: #3f3f3f;\n}\n\n#sched-schedule-2-702408280 .sched-time-value {\n\tcolor: #3f3f3f;\n}\n\n#sched-schedule-2-702408280 .sched-event .sched-event-inner {\n\tcolor: #ffffff;\n\ttext-align: center;\n}\n\n#sched-schedule-2-702408280 .sched-event.sched-event-invert .sched-event-inner {\n\t<!-- background: #999; -->\n}\n\n\n\n\/*#sched-schedule-2-702408280 a.sched-event.sched-event-sort-hidden {\n\topacity: 0;\n}*\/\n\n#sched-schedule-2-702408280 .sched-sort .sched-sort-current .sched-sort-current-label,\n#sched-schedule-2-702408280 .sched-top-buttons-below-title .sched-sort.sched-sort-open .sched-sort-dropdown .sched-sort-current .sched-sort-current-label,\n#sched-schedule-2-702408280-list.sched-list .sched-sort .sched-sort-current .sched-sort-current-label {\n\twidth: 100px;\n}\n\n#sched-schedule-2-702408280 .sched-sort.sched-sort-open .sched-sort-dropdown .sched-sort-current .sched-sort-current-label {\n\twidth: 180px;\n}\n\n\/*\n * Custom CSS Event Popup\n *\/\n\n#sched-schedule-2-702408280-popup .sched-popup-description {\n\t\n}\n\n#sched-schedule-2-702408280-popup .sched-popup-description .sched-meta a,\n#sched-schedule-2-702408280-popup .sched-popup-description .sched-popup-description-text a {\n\tcolor: #18bc9c;\n}\n\n#sched-schedule-2-702408280-popup .sched-popup-description .sched-meta,\n#sched-schedule-2-702408280-popup .sched-popup-description .sched-popup-description-text {\n\tcolor: #535353;\n\tbackground: #ffffff;\n}\n\n\/*\n * List\n *\/\n\n#sched-schedule-2-702408280-list .sched-list-title {\n\tcolor: #3f3f3f;\n}\n\n\n\n#sched-schedule-2-702408280-list .sched-list-column-title {\n\tcolor: #3f3f3f;\n}\n\n#sched-schedule-2-702408280-list .sched-list-event {\n\tcolor: #3f3f3f;\n\t\n\t\n}\n\n#sched-schedule-2-702408280-list .sched-list-event:hover {\n\tcolor: #000;\n}\n\n#sched-schedule-2-702408280-list .sched-list-event-description {\n\tcolor: #666;\n}\n\n#sched-schedule-2-702408280-list .sched-list-event-title {\n\t\tfont-weight: bold;\n\t;\n}\n<\/style><\/div>\n\t<div class=\"sched-top\" style=\"margin-left: 58px; margin-right: 0px\">\n\t\t\t<h2 class=\"sched-title\">Program Overview<\/h2>\n\t\t\n\t<div class=\"sched-top-buttons sched-top-buttons-right\">\n\t\t\t\t<a target=\"_blank\" title=\"Download\" href=\"https:\/\/easyconferences.eu\/lics2021\/wp-admin\/admin-ajax.php?action=sched_pdf_export_view&id=2\" class=\"sched-download-button\">Download<i class=\"sched-icon sched-icon-cloud-download\"><\/i><\/a>\n\t\t\t\n\t\t\t<\/div><!-- .sched-top-buttons -->\n\n<\/div><!-- .sched-top -->\t<div class=\"sched-row\">\n\t\t\t\t\t<div class=\"sched-sidebar\" style=\"width: 58px;\">\n\t\t\t\t<div class=\"sched-time\">\n\t\t\t\t\t<div class=\"sched-time-value\" style=\"padding-bottom: 56px\">15:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 56px\">16:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 56px\">17:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 56px\">18:00<\/div><div class=\"sched-time-value\" style=\"padding-bottom: 56px\">19:00<\/div>\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t\t\t\t\t<div class=\"sched-columns\" style=\"margin-left: 58px; margin-right: 0px;\">\n\t\t\t\t\t\t\t\t\t<div class=\"sched-column \" style=\"width: 16.666666666667%\" data-column-id=\"12\">\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header\" title=\"Sunday - 27 June\">\n\t\t\t\t\tSunday - 27 June\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header-sticky\">\n\t\t\t\t\tSunday - 27 June\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-content\">\n\t\t\t\t\t<a class=\" sched-event sched-event-size-31\" href=\"#\" data-onclick=\"popup\" data-color=\"#a57884\" title=\"TLLA: 5th International Workshop on Trends in Linear Logic and Applications\" data-event-id=\"71\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 279px; top: 0px\" data-top=\"0\" data-size=\"31\" data-sort-index=\"0\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"popup\" data-color=\"#a57884\" title=\"TLLA: 5th International Workshop on Trends in Linear Logic and Applications\" data-event-id=\"71\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 279px; top: 0px\" data-top=\"0\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #a57884; \" data-event-background-image-url=\"\" data-event-id=\"71\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">TLLA: 5th International Workshop on Trends in Linear Logic and Applications<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"71\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-32\" href=\"#\" data-onclick=\"popup\" data-color=\"#d3879d\" title=\"Structure meets Power\" data-event-id=\"73\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 279px; top: 0px\" data-top=\"0\" data-size=\"32\" data-sort-index=\"1\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"popup\" data-color=\"#d3879d\" title=\"Structure meets Power\" data-event-id=\"73\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 279px; top: 0px\" data-top=\"0\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #d3879d; \" data-event-background-image-url=\"\" data-event-id=\"73\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Structure meets Power<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"73\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-33\" href=\"#\" data-onclick=\"popup\" data-color=\"#825e67\" title=\"WiL: 5th Workshop on \u201cWomen in Logic\u201d \" data-event-id=\"74\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 279px; top: 0px\" data-top=\"0\" data-size=\"33\" data-sort-index=\"2\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"popup\" data-color=\"#825e67\" title=\"WiL: 5th Workshop on \u201cWomen in Logic\u201d \" data-event-id=\"74\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 279px; top: 0px\" data-top=\"0\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #825e67; \" data-event-background-image-url=\"\" data-event-id=\"74\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">WiL: 5th Workshop on \u201cWomen in Logic\u201d <\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"74\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div>\t\t\t\t<\/div>\n\n\t\t\t\t<div class=\"sched-column-bg\">\n\t\t\t\t\t<div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div>\t\t\t\t<\/div>\n\t\t\t<\/div><!-- #sched-column -->\n\t\t\t\t\t\t<div class=\"sched-column \" style=\"width: 16.666666666667%\" data-column-id=\"11\">\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header\" title=\"Monday - 28 June\">\n\t\t\t\t\tMonday - 28 June\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header-sticky\">\n\t\t\t\t\tMonday - 28 June\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-content\">\n\t\t\t\t\t<a class=\" sched-event sched-event-size-31\" href=\"#\" data-onclick=\"popup\" data-color=\"#a57884\" title=\"TLLA: 5th International Workshop on Trends in Linear Logic and Applications\" data-event-id=\"70\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 279px; top: 0px\" data-top=\"0\" data-size=\"31\" data-sort-index=\"0\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"popup\" data-color=\"#a57884\" title=\"TLLA: 5th International Workshop on Trends in Linear Logic and Applications\" data-event-id=\"70\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 279px; top: 0px\" data-top=\"0\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #a57884; \" data-event-background-image-url=\"\" data-event-id=\"70\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">TLLA: 5th International Workshop on Trends in Linear Logic and Applications<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"70\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-32\" href=\"#\" data-onclick=\"popup\" data-color=\"#d3879d\" title=\"Structure meets Power\" data-event-id=\"72\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 279px; top: 0px\" data-top=\"0\" data-size=\"32\" data-sort-index=\"1\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"popup\" data-color=\"#d3879d\" title=\"Structure meets Power\" data-event-id=\"72\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 279px; top: 0px\" data-top=\"0\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #d3879d; \" data-event-background-image-url=\"\" data-event-id=\"72\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">Structure meets Power<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"72\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div><a class=\" sched-event sched-event-size-33\" href=\"#\" data-onclick=\"popup\" data-color=\"#bf5454\" title=\"LMW: 6th Logic Mentoring Workshop 2021\" data-event-id=\"75\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 279px; top: 0px\" data-top=\"0\" data-size=\"33\" data-sort-index=\"2\"><!-- <a class=\"sched-event   \" href=\"#\"  data-onclick=\"popup\" data-color=\"#bf5454\" title=\"LMW: 6th Logic Mentoring Workshop 2021\" data-event-id=\"75\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 279px; top: 0px\" data-top=\"0\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #bf5454; \" data-event-background-image-url=\"\" data-event-id=\"75\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">LMW: 6th Logic Mentoring Workshop 2021<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"75\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div>\t\t\t\t<\/div>\n\n\t\t\t\t<div class=\"sched-column-bg\">\n\t\t\t\t\t<div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div>\t\t\t\t<\/div>\n\t\t\t<\/div><!-- #sched-column -->\n\t\t\t\t\t\t<div class=\"sched-column \" style=\"width: 16.666666666667%\" data-column-id=\"7\">\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header\" title=\"Tuesday - 29 June\">\n\t\t\t\t\tTuesday - 29 June\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header-sticky\">\n\t\t\t\t\tTuesday - 29 June\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-content\">\n\t\t\t\t\t<a class=\" sched-event sched-event-size-1\" href=\"http:\/\/easyconferences.eu\/lics2021\/program\/\" target=\"_blank\" data-onclick=\"link\" data-color=\"#a05555\" title=\"LICS 2021\" data-event-id=\"53\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 279px; top: 0px\" data-top=\"0\" data-size=\"1\" data-sort-index=\"0\"><!-- <a class=\"sched-event   \" href=\"http:\/\/easyconferences.eu\/lics2021\/program\/\" target=\"_blank\" data-onclick=\"link\" data-color=\"#a05555\" title=\"LICS 2021\" data-event-id=\"53\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 279px; top: 0px\" data-top=\"0\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #a05555; \" data-event-background-image-url=\"\" data-event-id=\"53\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">LICS 2021<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"53\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div>\t\t\t\t<\/div>\n\n\t\t\t\t<div class=\"sched-column-bg\">\n\t\t\t\t\t<div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div>\t\t\t\t<\/div>\n\t\t\t<\/div><!-- #sched-column -->\n\t\t\t\t\t\t<div class=\"sched-column \" style=\"width: 16.666666666667%\" data-column-id=\"8\">\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header\" title=\"Wednesday - 30 June\">\n\t\t\t\t\tWednesday - 30 June\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header-sticky\">\n\t\t\t\t\tWednesday - 30 June\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-content\">\n\t\t\t\t\t<a class=\" sched-event sched-event-size-1\" href=\"http:\/\/easyconferences.eu\/lics2021\/program\/\" target=\"_blank\" data-onclick=\"link\" data-color=\"#a05555\" title=\"LICS 2021\" data-event-id=\"76\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 279px; top: 0px\" data-top=\"0\" data-size=\"1\" data-sort-index=\"0\"><!-- <a class=\"sched-event   \" href=\"http:\/\/easyconferences.eu\/lics2021\/program\/\" target=\"_blank\" data-onclick=\"link\" data-color=\"#a05555\" title=\"LICS 2021\" data-event-id=\"76\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 279px; top: 0px\" data-top=\"0\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #a05555; \" data-event-background-image-url=\"\" data-event-id=\"76\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">LICS 2021<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"76\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div>\t\t\t\t<\/div>\n\n\t\t\t\t<div class=\"sched-column-bg\">\n\t\t\t\t\t<div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div>\t\t\t\t<\/div>\n\t\t\t<\/div><!-- #sched-column -->\n\t\t\t\t\t\t<div class=\"sched-column \" style=\"width: 16.666666666667%\" data-column-id=\"9\">\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header\" title=\"Thursday - 01 July\">\n\t\t\t\t\tThursday - 01 July\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header-sticky\">\n\t\t\t\t\tThursday - 01 July\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-content\">\n\t\t\t\t\t<a class=\" sched-event sched-event-size-1\" href=\"http:\/\/easyconferences.eu\/lics2021\/program\/\" target=\"_blank\" data-onclick=\"link\" data-color=\"#a05555\" title=\"LICS 2021\" data-event-id=\"77\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 279px; top: 0px\" data-top=\"0\" data-size=\"1\" data-sort-index=\"0\"><!-- <a class=\"sched-event   \" href=\"http:\/\/easyconferences.eu\/lics2021\/program\/\" target=\"_blank\" data-onclick=\"link\" data-color=\"#a05555\" title=\"LICS 2021\" data-event-id=\"77\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 279px; top: 0px\" data-top=\"0\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #a05555; \" data-event-background-image-url=\"\" data-event-id=\"77\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">LICS 2021<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"77\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div>\t\t\t\t<\/div>\n\n\t\t\t\t<div class=\"sched-column-bg\">\n\t\t\t\t\t<div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div>\t\t\t\t<\/div>\n\t\t\t<\/div><!-- #sched-column -->\n\t\t\t\t\t\t<div class=\"sched-column \" style=\"width: 16.666666666667%\" data-column-id=\"10\">\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header\" title=\"Friday - 02 July\">\n\t\t\t\t\tFriday - 02 July\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-header-sticky\">\n\t\t\t\t\tFriday - 02 July\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<div class=\"sched-column-content\">\n\t\t\t\t\t<a class=\" sched-event sched-event-size-1\" href=\"http:\/\/easyconferences.eu\/lics2021\/program\/\" target=\"_blank\" data-onclick=\"link\" data-color=\"#a05555\" title=\"LICS 2021\" data-event-id=\"55\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 279px; top: 0px\" data-top=\"0\" data-size=\"1\" data-sort-index=\"0\"><!-- <a class=\"sched-event   \" href=\"http:\/\/easyconferences.eu\/lics2021\/program\/\" target=\"_blank\" data-onclick=\"link\" data-color=\"#a05555\" title=\"LICS 2021\" data-event-id=\"55\" data-children=\"0\" data-children-match-color=\"1\" style=\"height: 279px; top: 0px\" data-top=\"0\"> -->\n\t\t<div class=\"sched-event-inner\" style=\"background-color: #a05555; \" data-event-background-image-url=\"\" data-event-id=\"55\">\n\t\t<div class=\"sched-event-inner-bar\"><\/div>\n\t\t\t\t<div class=\"sched-event-title\">LICS 2021<\/div>\n\t\t\t\t\t\t\t\t\t\t<div class=\"sched-event-description\" data-full=\"\"><\/div>\n\t\t\t<\/div>\n\t<\/a>\n\n<div class=\"sched-event-fulldescription\" data-event-id=\"55\" data-media-type=\"0\" data-media-link=\"\">\n\t<div class=\"sched-event-image-load\">\n\t\t\t\t<img decoding=\"async\" src=\"\" \/>\n\t\t\t<\/div>\n\t<div class=\"sched-meta sched-event-no-description\">\n\t\t\t<\/div>\n\t<p class=\"sched-popup-description-text sched-event-no-description\">\n\t\t\t<\/p>\n<\/div>\t\t\t\t<\/div>\n\n\t\t\t\t<div class=\"sched-column-bg\">\n\t\t\t\t\t<div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div><div class=\"sched-column-bg-block\" style=\"height: 69px\"><\/div>\t\t\t\t<\/div>\n\t\t\t<\/div><!-- #sched-column -->\n\t\t\t\t\t<\/div><!-- #sched-columns -->\n\t<\/div>\n<\/div><div class=\" sched-list sched-hidden\" id=\"sched-schedule-2-702408280-list\" data-id-schedule=\"sched-schedule-2-702408280\" data-options=\" {&quot;am_pm&quot;:&quot;0&quot;,&quot;sidebar_width&quot;:&quot;58&quot;,&quot;sidebar_position&quot;:&quot;left&quot;,&quot;event_hover_color&quot;:&quot;lighten&quot;,&quot;event_box_text_align&quot;:&quot;center&quot;,&quot;event_box_time&quot;:&quot;0&quot;,&quot;event_hover_text_color&quot;:&quot;#FFFFFF&quot;,&quot;event_hover_background_color&quot;:&quot;#000000&quot;,&quot;event_box_truncate_title&quot;:&quot;0&quot;,&quot;event_tooltip&quot;:&quot;0&quot;,&quot;event_tooltip_title&quot;:&quot;1&quot;,&quot;event_tooltip_time&quot;:&quot;1&quot;,&quot;event_tooltip_description&quot;:&quot;1&quot;,&quot;event_tooltip_width_type&quot;:&quot;event&quot;,&quot;event_tooltip_width&quot;:&quot;150&quot;,&quot;event_tooltip_color_type&quot;:&quot;event&quot;,&quot;event_tooltip_color_bg&quot;:&quot;#000000&quot;,&quot;event_tooltip_color_text&quot;:&quot;#FFFFFF&quot;,&quot;column_tooltip&quot;:&quot;0&quot;,&quot;column_tooltip_title&quot;:&quot;1&quot;,&quot;column_tooltip_description&quot;:&quot;1&quot;,&quot;column_tooltip_width_type&quot;:&quot;column&quot;,&quot;column_tooltip_width&quot;:&quot;150&quot;,&quot;column_tooltip_color_bg&quot;:&quot;#000000&quot;,&quot;column_tooltip_color_text&quot;:&quot;#FFFFFF&quot;,&quot;animations&quot;:&quot;0&quot;,&quot;animations_mobile&quot;:&quot;0&quot;,&quot;animations_speed&quot;:&quot;normal&quot;,&quot;animations_css3&quot;:&quot;1&quot;,&quot;tooltips_mobile&quot;:&quot;0&quot;,&quot;editor_bg&quot;:&quot;#F5F5F5&quot;,&quot;animations_editor&quot;:&quot;1&quot;,&quot;popup_max_width&quot;:&quot;1100&quot;,&quot;popup_background_color&quot;:&quot;#ffffff&quot;,&quot;popup_text_color&quot;:&quot;#535353&quot;,&quot;popup_link_color&quot;:&quot;#18bc9c&quot;,&quot;autoplay_videos&quot;:&quot;0&quot;,&quot;column_color_bg&quot;:&quot;#e8e8e8&quot;,&quot;column_color_text&quot;:&quot;#3f3f3f&quot;,&quot;column_color_border&quot;:&quot;#ffffff&quot;,&quot;pattern_color_1&quot;:&quot;#ffffff&quot;,&quot;pattern_color_2&quot;:&quot;#e8e8e8&quot;,&quot;pattern_color_3&quot;:&quot;#f5f5f5&quot;,&quot;title_text_color&quot;:&quot;#3f3f3f&quot;,&quot;sidebar_text_color&quot;:&quot;#3f3f3f&quot;,&quot;event_box_text_color&quot;:&quot;#ffffff&quot;,&quot;title_attr&quot;:&quot;1&quot;,&quot;column_break&quot;:1,&quot;column_break_width&quot;:&quot;120&quot;,&quot;column_break_hide_sidebar&quot;:&quot;1&quot;,&quot;editor_custom_css&quot;:&quot;1&quot;,&quot;column_title&quot;:&quot;1&quot;,&quot;event_box_description_method&quot;:&quot;short&quot;,&quot;editor_quick_tooltips&quot;:&quot;1&quot;,&quot;editor_timepicker_increments&quot;:&quot;5&quot;,&quot;event_box_style&quot;:&quot;1&quot;,&quot;filter_position&quot;:&quot;right&quot;,&quot;filter_multiple&quot;:&quot;1&quot;,&quot;filter_hidden_events&quot;:&quot;hide&quot;,&quot;filter_hidden_events_opacity&quot;:&quot;30&quot;,&quot;filter_dropdown_width&quot;:&quot;100&quot;,&quot;filter_dropdown_hover_width&quot;:&quot;180&quot;,&quot;filter_dropdown_label&quot;:&quot;&quot;,&quot;filter_dropdown_show_all_label&quot;:&quot;Showing All&quot;,&quot;hashtag_url&quot;:&quot;0&quot;,&quot;hide_popup_for_empty_events&quot;:&quot;0&quot;,&quot;event_box_padding_break&quot;:&quot;110&quot;,&quot;popup_arrows&quot;:&quot;1&quot;,&quot;filter_visible&quot;:&quot;1&quot;,&quot;column_break_action&quot;:&quot;stack&quot;,&quot;list_view_column_title_color&quot;:&quot;#3f3f3f&quot;,&quot;list_view_event_title_color&quot;:&quot;#3f3f3f&quot;,&quot;list_view_event_hover_title_color&quot;:&quot;#000&quot;,&quot;list_view_event_title_bold&quot;:&quot;1&quot;,&quot;list_view_event_bullets&quot;:&quot;1&quot;,&quot;list_view_event_short_description_method&quot;:&quot;short&quot;,&quot;list_view_event_description_color&quot;:&quot;#666&quot;,&quot;list_view_hide_empty_columns&quot;:&quot;0&quot;,&quot;shortcodes_in_descriptions&quot;:&quot;1&quot;,&quot;columns_sticky_header&quot;:&quot;1&quot;,&quot;columns_sticky_header_offset&quot;:&quot;0&quot;,&quot;h_row_height&quot;:90,&quot;h_column_width&quot;:200,&quot;h_time_indicator&quot;:1,&quot;h_time_indicator_height&quot;:30,&quot;h_column_multiline&quot;:0,&quot;h_column_title_position&quot;:&quot;middle&quot;,&quot;h_column_title_align&quot;:&quot;center&quot;,&quot;h_break&quot;:1,&quot;h_width_break_point&quot;:200,&quot;h_bg_color&quot;:&quot;#f8f8f8&quot;,&quot;pdf_type&quot;:&quot;html&quot;,&quot;pdf_enable&quot;:&quot;1&quot;,&quot;pdf_enable_list&quot;:&quot;1&quot;,&quot;pdf_label&quot;:&quot;Download&quot;,&quot;pdf_css&quot;:&quot;&quot;,&quot;upcoming_type&quot;:&quot;current_datetime&quot;,&quot;upcoming_custom&quot;:&quot;2016-01-01 00:00&quot;,&quot;upcoming_limit&quot;:&quot;5&quot;,&quot;upcoming_title&quot;:&quot;timetable_title&quot;,&quot;upcoming_title_custom&quot;:&quot;Upcoming Events&quot;,&quot;upcoming_title_amount&quot;:&quot;1&quot;}\" data-start=\"15:00\" data-end=\"19:00\" data-timetable-id=\"2\" data-type=\"list\" data-layout=\"default\">\t<div class=\"sched-list-top\">\n\t\t<div class=\"sched-list-title\">Program Overview<\/div>\n\n\t<\/div>\n\t\t<div class=\"sched-list-column\">\n\t\t<div class=\"sched-list-column-title\">Sunday - 27 June<\/div>\n\t\t<ul class=\"sched-list-column-events\">\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-71\" data-event-id=\"71\" data-color=\"#a57884\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #a57884;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tTLLA: 5th International Workshop on Trends in Linear Logic and Applications\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">15:00 - 19:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-73\" data-event-id=\"73\" data-color=\"#d3879d\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #d3879d;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tStructure meets Power\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">15:00 - 19:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-74\" data-event-id=\"74\" data-color=\"#825e67\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #825e67;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tWiL: 5th Workshop on \u201cWomen in Logic\u201d \t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">15:00 - 19:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t<!-- .sched-list-event-li -->\n\t\t<\/ul>\n\t<\/div>\n\t\t<div class=\"sched-list-column\">\n\t\t<div class=\"sched-list-column-title\">Monday - 28 June<\/div>\n\t\t<ul class=\"sched-list-column-events\">\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-70\" data-event-id=\"70\" data-color=\"#a57884\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #a57884;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tTLLA: 5th International Workshop on Trends in Linear Logic and Applications\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">15:00 - 19:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-72\" data-event-id=\"72\" data-color=\"#d3879d\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #d3879d;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tStructure meets Power\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">15:00 - 19:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"#event-75\" data-event-id=\"75\" data-color=\"#bf5454\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #bf5454;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tLMW: 6th Logic Mentoring Workshop 2021\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">15:00 - 19:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t<!-- .sched-list-event-li -->\n\t\t<\/ul>\n\t<\/div>\n\t\t<div class=\"sched-list-column\">\n\t\t<div class=\"sched-list-column-title\">Tuesday - 29 June<\/div>\n\t\t<ul class=\"sched-list-column-events\">\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"http:\/\/easyconferences.eu\/lics2021\/program\/\" data-event-id=\"53\" target=\"_blank\" data-color=\"#a05555\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #a05555;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tLICS 2021\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">15:00 - 19:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t<!-- .sched-list-event-li -->\n\t\t<\/ul>\n\t<\/div>\n\t\t<div class=\"sched-list-column\">\n\t\t<div class=\"sched-list-column-title\">Wednesday - 30 June<\/div>\n\t\t<ul class=\"sched-list-column-events\">\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"http:\/\/easyconferences.eu\/lics2021\/program\/\" data-event-id=\"76\" target=\"_blank\" data-color=\"#a05555\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #a05555;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tLICS 2021\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">15:00 - 19:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t<!-- .sched-list-event-li -->\n\t\t<\/ul>\n\t<\/div>\n\t\t<div class=\"sched-list-column\">\n\t\t<div class=\"sched-list-column-title\">Thursday - 01 July<\/div>\n\t\t<ul class=\"sched-list-column-events\">\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"http:\/\/easyconferences.eu\/lics2021\/program\/\" data-event-id=\"77\" target=\"_blank\" data-color=\"#a05555\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #a05555;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tLICS 2021\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">15:00 - 19:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t<!-- .sched-list-event-li -->\n\t\t<\/ul>\n\t<\/div>\n\t\t<div class=\"sched-list-column\">\n\t\t<div class=\"sched-list-column-title\">Friday - 02 July<\/div>\n\t\t<ul class=\"sched-list-column-events\">\n\t\t\t\t\t\t<li class=\"sched-list-event-li\">\n\t\t\t\t<a class=\" sched-list-event sched-list-event-has-color\" href=\"http:\/\/easyconferences.eu\/lics2021\/program\/\" data-event-id=\"55\" target=\"_blank\" data-color=\"#a05555\">\t\t\t\t\t<div class=\"sched-list-event-color\" style=\"background: #a05555;\"><\/div>\n\t\t\t\t\t<div class=\"sched-list-event-text\">\n\t\t\t\t\t\t<div class=\"sched-list-event-title\">\n\t\t\t\t\t\t\tLICS 2021\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"sched-list-event-description\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"sched-list-event-time\">15:00 - 19:00<\/div>\n\t\t\t\t<\/a>\n\t\t\t<\/li>\n\t\t\t<!-- .sched-list-event-li -->\n\t\t<\/ul>\n\t<\/div>\n\t<!-- .sched-list-column -->\n\t\n<\/div>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"<p>ProgramThe program will be updated and will contain links to your papers and talks. Participants will be expected to see the talks and\/or read papers before the attend sessions.The conference will be conducted virtually using the Zoom platform. Each session will be conducted as follows (per paper) &#8211; Quick reminder\/summary (3 min) of the paper [&hellip;]<\/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":"<!-- wp:divi\/placeholder \/-->","_et_gb_content_width":""},"_links":{"self":[{"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/pages\/22"}],"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=22"}],"version-history":[{"count":71,"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/pages\/22\/revisions"}],"predecessor-version":[{"id":813,"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/pages\/22\/revisions\/813"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/lics2021\/wp-json\/wp\/v2\/media?parent=22"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}