<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div dir="auto" class="">
<div dir="ltr" class=""><br class="">
</div>
<div dir="ltr" class="">
<div class="WordSection1">
<div class="">
<div class="">
<p class="MsoNormal">Final Call for Workshops - FLoC 2022 — The 2022 Federated Logic Conference<br class="">
July 31 - August 12, 2022<br class="">
Haifa, Israel<br class="">
<a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=http*3A*2F*2Fwww.floc2022.org*2F&data=04*7C01*7Cguillermoalberto.perez*40uantwerpen.be*7Cee6327c0ebe947adfe4e08d97752fa7f*7C792e08fb2d544a8eaf72202548136ef6*7C0*7C0*7C637672021765003311*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000&sdata=X1U76BcBkp3o*2FzkDdNPlJJ1szCWBB7FkTNBWkExUwVA*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!EsPUFY3DCh9dIjktjICYWEAjoytcRQHEBbLRRvxJpjp_QcfSs3T8pwHbQlJQwlTonxZhJbkOgIq2ZQ$" target="_blank" class="">http://www.floc2022.org/</a><br class="">
<br class="">
CALL FOR WORKSHOPS<br class="">
<br class="">
The Eighth Federated Logic Conference (FLoC 2022) will host the following ten<br class="">
conferences and affiliated workshops.<br class="">
<br class="">
LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science) <br class="">
<a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=http*3A*2F*2Flics.rwth-aachen.de*2F&data=04*7C01*7Cguillermoalberto.perez*40uantwerpen.be*7Cee6327c0ebe947adfe4e08d97752fa7f*7C792e08fb2d544a8eaf72202548136ef6*7C0*7C0*7C637672021765003311*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000&sdata=bNvsRYU4OFIx3hb*2FTTpyEHT3Je35UgZ1KKKpIFv5TvM*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!EsPUFY3DCh9dIjktjICYWEAjoytcRQHEBbLRRvxJpjp_QcfSs3T8pwHbQlJQwlTonxZhJbnt2cRa8g$" target="_blank" class="">http://lics.rwth-aachen.de/</a><br class="">
Workshop chair: Frederic Blanqui <a href="mailto:Frederic.Blanqui@inria.fr" target="_blank" class="">
Frederic.Blanqui@inria.fr</a><br class="">
<br class="">
***FSCD (7th International Conference on Formal Structures for Computation and Deduction)
<br class="">
<a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=http*3A*2F*2Ffscd-conference.org*2F&data=04*7C01*7Cguillermoalberto.perez*40uantwerpen.be*7Cee6327c0ebe947adfe4e08d97752fa7f*7C792e08fb2d544a8eaf72202548136ef6*7C0*7C0*7C637672021765013303*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000&sdata=l4tW1fnsLtujy*2BiGFg*2BEnwMsoIdyMx7*2FuF*2FxDZOroEc*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!EsPUFY3DCh9dIjktjICYWEAjoytcRQHEBbLRRvxJpjp_QcfSs3T8pwHbQlJQwlTonxZhJbkFmDsXww$" target="_blank" class="">http://fscd-conference.org/</a><br class="">
Workshop chair: Nachum Dershowitz <a href="mailto:nachumd@tau.ac.il" class="">nachumd@tau.ac.il</a></p>
<p class="MsoNormal">***See <a href="https://urldefense.com/v3/__http://www.cs.tau.ac.il/*nachumd/FSCD/__;fg!!IBzWLUs!EsPUFY3DCh9dIjktjICYWEAjoytcRQHEBbLRRvxJpjp_QcfSs3T8pwHbQlJQwlTonxZhJbm-oLLxMg$" class="">http://www.cs.tau.ac.il/~nachumd/FSCD/</a><br class="">
<br class="">
ITP (13th International Conference on Interactive Theorem Proving) <br class="">
<a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=https*3A*2F*2Fitp-conference.github.io*2F&data=04*7C01*7Cguillermoalberto.perez*40uantwerpen.be*7Cee6327c0ebe947adfe4e08d97752fa7f*7C792e08fb2d544a8eaf72202548136ef6*7C0*7C0*7C637672021765013303*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000&sdata=VDJrWPWJcDakMe18X5vPqxT9cEVfSlYYgvmBslpTrWo*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSU!!IBzWLUs!EsPUFY3DCh9dIjktjICYWEAjoytcRQHEBbLRRvxJpjp_QcfSs3T8pwHbQlJQwlTonxZhJblNKQBpGA$" target="_blank" class="">https://itp-conference.github.io/</a><br class="">
Workshop chair: Cyril Cohen <a href="mailto:cyril.cohen@inria.fr" target="_blank" class="">
cyril.cohen@inria.fr</a><br class="">
<br class="">
IJCAR (International Joint Conference on Automated Reasoning)<br class="">
<a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=http*3A*2F*2Fwww.ijcar.org*2F&data=04*7C01*7Cguillermoalberto.perez*40uantwerpen.be*7Cee6327c0ebe947adfe4e08d97752fa7f*7C792e08fb2d544a8eaf72202548136ef6*7C0*7C0*7C637672021765023300*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000&sdata=aPhfW*2BxDdsKHx4lZpDcOrKdUWPLd6rCTk3lgOeuF3Oo*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!EsPUFY3DCh9dIjktjICYWEAjoytcRQHEBbLRRvxJpjp_QcfSs3T8pwHbQlJQwlTonxZhJbljjtGqjw$" target="_blank" class="">http://www.ijcar.org</a><br class="">
Workshop chairs: Sophie Tourret <a href="mailto:stourret@mpi-inf.mpg.de" target="_blank" class="">
stourret@mpi-inf.mpg.de</a> and Simon Robillard<br class="">
<br class="">
CSF (35th IEEE Computer Security Foundations Symposium) <br class="">
<a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=http*3A*2F*2Fwww.ieee-security.org*2FCSFWweb*2F&data=04*7C01*7Cguillermoalberto.perez*40uantwerpen.be*7Cee6327c0ebe947adfe4e08d97752fa7f*7C792e08fb2d544a8eaf72202548136ef6*7C0*7C0*7C637672021765023300*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000&sdata=ua*2B1eHhunCOG6JCNGxMB2f1GspZXQZnjT9iolDBm94M*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJQ!!IBzWLUs!EsPUFY3DCh9dIjktjICYWEAjoytcRQHEBbLRRvxJpjp_QcfSs3T8pwHbQlJQwlTonxZhJblDWcDRuA$" target="_blank" class="">http://www.ieee-security.org/CSFWweb/</a><br class="">
Workshop chair: Musard Balliu <a href="mailto:musard@kth.se" target="_blank" class="">
musard@kth.se</a><br class="">
<br class="">
CAV (34th International Conference on Computer Aided Verification)<br class="">
<a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=http*3A*2F*2Fi-cav.org*2F&data=04*7C01*7Cguillermoalberto.perez*40uantwerpen.be*7Cee6327c0ebe947adfe4e08d97752fa7f*7C792e08fb2d544a8eaf72202548136ef6*7C0*7C0*7C637672021765033290*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000&sdata=wmMk*2BcnBb48aiuJlvUcp8Dkfg3da5v69Hln3X19Loo0*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!EsPUFY3DCh9dIjktjICYWEAjoytcRQHEBbLRRvxJpjp_QcfSs3T8pwHbQlJQwlTonxZhJblobxBqqA$" target="_blank" class="">http://i-cav.org/</a><br class="">
Workshop chair: Grigory Fedyukovich <a href="mailto:grigory@cs.fsu.edu" target="_blank" class="">
grigory@cs.fsu.edu</a><br class="">
<br class="">
KR (19th International Conference on Principles of Knowledge Representation and Reasoning)<br class="">
<a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=http*3A*2F*2Fwww.kr.org*2F&data=04*7C01*7Cguillermoalberto.perez*40uantwerpen.be*7Cee6327c0ebe947adfe4e08d97752fa7f*7C792e08fb2d544a8eaf72202548136ef6*7C0*7C0*7C637672021765033290*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000&sdata=LyWidmC5l8i0aYVYa0Ia9jE1KIQMRoclWoClcih0zdA*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSU!!IBzWLUs!EsPUFY3DCh9dIjktjICYWEAjoytcRQHEBbLRRvxJpjp_QcfSs3T8pwHbQlJQwlTonxZhJbn6DMYvGQ$" target="_blank" class="">http://www.kr.org/</a><br class="">
Workshop chair: Stefan Borgwardt <a href="mailto:stefan.borgwardt@tu-dresden.de" target="_blank" class="">
stefan.borgwardt@tu-dresden.de</a><br class="">
<br class="">
ICLP (38th International Conference on Logic Programming) <br class="">
<a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=https*3A*2F*2Fwww.cs.nmsu.edu*2FALP*2Fconferences*2F&data=04*7C01*7Cguillermoalberto.perez*40uantwerpen.be*7Cee6327c0ebe947adfe4e08d97752fa7f*7C792e08fb2d544a8eaf72202548136ef6*7C0*7C0*7C637672021765043282*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000&sdata=QPJIdkeIai3XJzybCUu4A23pLH7JnZc5uWBUWhOGkg8*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJQ!!IBzWLUs!EsPUFY3DCh9dIjktjICYWEAjoytcRQHEBbLRRvxJpjp_QcfSs3T8pwHbQlJQwlTonxZhJbmT-gerng$" target="_blank" class="">https://www.cs.nmsu.edu/ALP/conferences/</a><br class="">
Workshop chair: Daniela Inclezan <a href="mailto:inclezd@miamioh.edu" target="_blank" class="">
inclezd@miamioh.edu</a><br class="">
<br class="">
SAT (25th International Conference on Theory and Applications of Satisfiability Testing)
<br class="">
<a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=http*3A*2F*2Fwww.satisfiability.org*2F&data=04*7C01*7Cguillermoalberto.perez*40uantwerpen.be*7Cee6327c0ebe947adfe4e08d97752fa7f*7C792e08fb2d544a8eaf72202548136ef6*7C0*7C0*7C637672021765043282*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000&sdata=zFZjP2P1jJaQp9JdhHGUlJ*2FEz9kUnL08uqazZ2zfFN0*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!EsPUFY3DCh9dIjktjICYWEAjoytcRQHEBbLRRvxJpjp_QcfSs3T8pwHbQlJQwlTonxZhJbmlBwBF6Q$" target="_blank" class="">http://www.satisfiability.org</a><br class="">
Workshop chair: Alexander Nadel <a href="mailto:alexander.nadel@intel.com" target="_blank" class="">
alexander.nadel@intel.com</a><br class="">
<br class="">
CP (25th International Conference on Principles and Practice of Constraint Programming)
<br class="">
<a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=http*3A*2F*2Fa4cp.org*2Fevents*2Fcp-conference-series&data=04*7C01*7Cguillermoalberto.perez*40uantwerpen.be*7Cee6327c0ebe947adfe4e08d97752fa7f*7C792e08fb2d544a8eaf72202548136ef6*7C0*7C0*7C637672021765053279*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000&sdata=DG7Scb4Grt9wDeNHXndG7Mzc5iWYQ0*2Fs8EcOlC3O0WE*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJQ!!IBzWLUs!EsPUFY3DCh9dIjktjICYWEAjoytcRQHEBbLRRvxJpjp_QcfSs3T8pwHbQlJQwlTonxZhJbkWvsF3Nw$" target="_blank" class="">http://a4cp.org/events/cp-conference-series</a><br class="">
Workshop chair: Ciaran McCreesh <a href="mailto:ciaran.mccreesh@glasgow.ac.uk" target="_blank" class="">
ciaran.mccreesh@glasgow.ac.uk</a><br class="">
<br class="">
SUBMISSION OF WORKSHOP PROPOSALS<br class="">
<br class="">
Researchers and practitioners are invited to submit proposals for workshops on<br class="">
topics in the field of computer science, related to logic in the broad sense.<br class="">
Each workshop proposal must indicate one affiliated conference of FLoC 2022.<br class="">
<br class="">
It is strongly suggested that prospective workshop organizers contact the<br class="">
relevant conference workshop chair before submitting a proposal.<br class="">
<br class="">
Each proposal should consist of the following two parts.<br class="">
<br class="">
1) A short scientific justification of the proposed topic, its significance,<br class="">
and the particular benefits of the workshop to the community, as well as a<br class="">
list of previous or related workshops (if relevant). <br class="">
<br class="">
2) An organisational part including:<br class="">
<br class="">
- contact information for the workshop organizers;<br class="">
- proposed affiliated conference;<br class="">
- estimate of the number of workshop participants (please note that small workshops, i.e., of less than ~13 participants, will likely be cancelled or merged);<br class="">
- proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.);<br class="">
- potential invited speakers (note that expenses of workshop invited speakers are not covered by FLoC);<br class="">
- procedures for selecting papers and participants;<br class="">
- plans for dissemination, if any (e.g. a journal special issue);<br class="">
- duration (which may vary from one day to two days);<br class="">
- preferred period (pre or post FLoC);<br class="">
- virtual/hybrid backup plans (including platform preference).<br class="">
<br class="">
The FLoC Organizing Committee will determine the final list of accepted<br class="">
workshops based on the recommendations from the Workshop Chairs of the hosting<br class="">
conferences and availability of space and facilities.<br class="">
<br class="">
Proposals should be submitted through EasyChair:<br class="">
<a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=https*3A*2F*2Feasychair.org*2Fconferences*2F*3Fconf*3Dfloc2022workshops&data=04*7C01*7Cguillermoalberto.perez*40uantwerpen.be*7Cee6327c0ebe947adfe4e08d97752fa7f*7C792e08fb2d544a8eaf72202548136ef6*7C0*7C0*7C637672021765053279*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000&sdata=ck1PPqvue72WCpUZqJySq0LeTILjFubVno*2B9jY*2F1mLM*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJQ!!IBzWLUs!EsPUFY3DCh9dIjktjICYWEAjoytcRQHEBbLRRvxJpjp_QcfSs3T8pwHbQlJQwlTonxZhJbk2wqbwIQ$" target="_blank" class="">https://easychair.org/conferences/?conf=floc2022workshops</a><br class="">
<br class="">
Please see the Workshop Guidelines page: <a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=https*3A*2F*2Ffloc2022.org*2Fworkshops*2F&data=04*7C01*7Cguillermoalberto.perez*40uantwerpen.be*7Cee6327c0ebe947adfe4e08d97752fa7f*7C792e08fb2d544a8eaf72202548136ef6*7C0*7C0*7C637672021765063275*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000&sdata=xUlfbqHxRgGMCnFjyIUINBeDpVUAfAIpsuwUcCzzd*2FE*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJQ!!IBzWLUs!EsPUFY3DCh9dIjktjICYWEAjoytcRQHEBbLRRvxJpjp_QcfSs3T8pwHbQlJQwlTonxZhJbl_TptHEg$" target="_blank" class="">
https://floc2022.org/workshops/</a> for further details and FAQ.<br class="">
<br class="">
IMPORTANT DATES<br class="">
<br class="">
Submission of workshop proposals deadline: September 27, 2021<br class="">
Notification: November 1, 2021<br class="">
Pre-FLoC workshops: Sunday & Monday, July 31–August 1, 2022<br class="">
Post-FLoC workshops: Thursday & Friday, August 11-12, 2022<br class="">
<br class="">
CONTACT INFORMATION<br class="">
<br class="">
Questions regarding proposals should be sent to the workshop chairs of the<br class="">
proposed affiliated conference. General questions should be sent to:<br class="">
<a href="mailto:shaull@technion.ac.il" target="_blank" class="">shaull@technion.ac.il</a><br class="">
<a href="mailto:GuillermoAlberto.Perez@uantwerpen.be" target="_blank" class="">GuillermoAlberto.Perez@uantwerpen.be</a><br class="">
<br class="">
FLoC 2022 WORKSHOP CHAIRS<br class="">
Shaull Almagor<br class="">
Guillermo A. Perez<o:p class=""></o:p></p>
</div>
</div>
</div>
</div>
<blockquote type="cite" class="">
<div dir="ltr" class="">
<div class="WordSection1">
<div class="">
<div class=""></div>
</div>
</div>
</div>
</blockquote>
<style class=""><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
span.EmailStyle19
{mso-style-type:personal-reply;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style></div>
</body>
</html>