coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Daniele Nantes <daniele.nantes AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] 1st Call for Contributions - Women in Logic Workshop (WiL 2023)
- Date: Tue, 21 Feb 2023 09:18:01 +0000
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=daniele.nantes AT gmail.com; spf=Pass smtp.mailfrom=daniele.nantes AT gmail.com; spf=None smtp.helo=postmaster AT mail-vs1-f45.google.com
- Ironport-data: A9a23:u9Aq/qKs8mQmtvsaFE+RA5ElxSXFcZb7ZxGr2PjKsXjdYENSgz1Rn 2QdXG6GOvaOYGekf95+bN7lpktU65CDx4I3HgYd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fRLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWCfg76s9JIGjhMsfnb8kk25K6aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LuNHXJ6eVPVkAMNJAk4ct2AFF2q sIqN2VYBvyDr7reLLOTT+BtgoE9N5CuMt9C/H5nyj7dALAtRpWrr6fiv4cJmmdtwJoXQrCCO qL1ahI3BPjESxFGPFYaDJ94mu6umnTkWzJdoVOR46Ew5gA/ySQgi+awbouEILRmQ+1OgBelv U/c/l/HGw4WM+WNxXml7m6z07qncSTTAdpOTtVU7MVCi1qKg2cXFRc+Tkq+ufD/i0ikWtsZJ VZ8x8Y1ha079UjuUMKkGhPk/TiLuRkTX9cWGOo/gO2Q9kbKy0GXI0IUb2RAUtU7iNQbRD0a7 gC3rcy8UFSDr4apYX6a876Vqxa7Ni4UMXIOaEc4oe0ts4mLTGYb3kKnczpzLEKmpoaqRmyok lhmuAB71upD15dav0mu1Qmf22rEm3TfcuIiCuzqso+N6wp4YMu7fNXt5wSGq/lHK4mdQx+Ku 31sdymiAAImXcHleM+lGr1l8FSVCxCtbma0bblHQcNJythV0yT/Fb28GRknTKuTDu4KeCXyf GjYsh5L6ZlYMROCNPEoPdPoVJRwk/C/T7wJs8w4iPIeMvCdkyfXrElTibK4gggBbWB2wP1iY 8bLGSpSJSpHUPoPIMWKqxc1iOd3nEjSNEvcQpf0yxnP7FZtTC/9dFvxC3PXNrpRxPrc/m39q o8DX+PXlUg3eLChOkH/r9RPRXhUdiNTLc6t+6RqmhureFUO9JcJUK+Pn9vMuuVNw8xoqws/1 irlCxcJlgWl3yKvxMfjQikLVY4DlK1X9RoTVRHA937xs5T6Sdf0tPUsZNEscKM59edu6/dxQ rNXM4+DG/lDAHCPsTgUcZC3/sQoeQWJlDC+GXOvQAE+WJp8GC3P2NvvJTX0+Ac0UyGYiMoZo p+b7D39f6YtfQpZIfjzVOOO1HK05HgUp/JzVRDHI/5VY0Tdz7JpIC3Q0N4yesEFFgrfyj2/x yKpME8+nrTLqdVk9tPmuL219da1MuphH3h1G3vQwqa2OBL7oEui495ke8SZcQ/NUFjb/P2ZW txU6PXnItgrrU1vsbcgI410zKk72cTjl4VawitgAn/PSVahUZFkHVWrwuhNsfdr6oJCmA7rR H+KxMZWCY+JNOzhDlQVAggvNcaH9PMMnwjt/eYHG1r76AB37Yi4fx1rZTfUsxNkLZxxLI8B6 sUispRP6wWA1zwbAuzfhSVQr2mxPngMVps8ja4jAajptFsP6kpDapniGCPJ8MmxS9FTAHILf B6QpoT/3op5+GSTUkAdN3b32chlua8vozFPlV8LGESIkIHKh9gxxxxgzg40RQV0kDRC3/5CB WxwE0hTO6+13ixJgfJbVDuGADBxBxy++23wxWAWlWbfcVKaa2zVIEA5OseP5Eo88V8AWhR+4 5ej1z/DfRvxWcP+zA8eeBRAkOPya851+inputGVL+7cE7YUOTPa07KTP0wWoB7ZMOYNrUzgp 8wx2c1vaKf+ZBUik4diB6a0jb0vGQ25fkpcSvRc/YQML2HWWBe2/ROsc0mRWMd8F8bmwH+CK f5FB5xwDkyl9SO0sDokK7YGIOZ0kN4X9dMyQO7XClBcgYSPjAhCkcz2xnDliX4JUudet583C rnsegKoFk2SgnppmFHxkvRUB1rgX/46YFzT4ePk1sQICJMJj890e24QzLafniuYISlnzT2ur SLBYK7klbViwLtzgrq2Q7liBhq1G/z3Ru+n4AC+iPUQTNLtYOPllRIZlUnjBCtSZYAuYtVQk a+cluL4x2bXle8Sf12BvqKeBo5lwN6XXttHFu7Wd15kxTCjXu3o6Ds9o1GIE4RDyo5h15P2V jmGZ9uVXv9LfsVW21l+STVUSjQZAITJNpbQnzu39amwO0JMwD78DY2V8FHyZjtmbQ4OAZr1D zH0t9uI5tx1qIdtBgcON8p5Aq1XcUPSZq87S+Lf7TWoLHGkoleniIvQkRAN7TLqCH7dHvijs NiBDlL7eQ+psa7F8MBBvsYg9lcLBXJ6mq8rclhb59dyjCugAXUbKfgGd68LEYxQjje4waSQi Osht4f+IX6VsfV4nRTADBDLWw6eAqkQIY68KGB0uUyTbCiyCcWLB74JGuKMJZtpUmOL8Q1lA Yh2Fr7M0tyZzZRgROJV7fu+6Qui7u2P3WoGoCgRjOSrayvzwtw2OLhJEw9EVCiBGMbI/KkOy a7ZWkgcKHyGpYXN/QqMtpKb9Nz1fN8i8tnwURqy/Q==
- Ironport-hdrordr: A9a23:FJNzj65oXtVDJnuszgPXwMXXdLJyesId70hD6qkRc20zTiX8ra qTdZsgpHzJYVoqOE3I+urgBEDjewK/yXcd2+B4VotKNzOW3VdAQrsSibcKAAeNJ8Q9zINgPG tbHJSWweefMWRH
- Ironport-phdr: A9a23:kz3frBGJurxcXKcfpvxq5Z1Gf7BGhN3EVzX9CrIZgr5DOp6u447ld BSGo6k30RmQAtuQsqgVw8Pt8IneGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtIiTanfL9/L hS7oQrMusUIhYZpN7o8xAbOrnZUdOtawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ 7FGFToqK2866tHluhnFVguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8 qlmRAP0hCoBKjU293zZitFrjKJDvh2uuwB/zYDTYIGQLvV+f6Xdds4eSWdOWstdUipMCZ6+Y YQSFeoMJelXoYnzqVUNsBWwGxWjCfj1xTNUnHL7x7E23/gjHAzAwQcuH8gOsHPRrNjtOqkdS +a1zKjWwjXHcfxdxC/z55LOchA9v/6MRq97fM3MxkY1EQPFj0ufqYj7MD+P0OQCqW6b7/Z+W uK0kGMnpARxrSKuxscokIXGmoUVylXd+Ch/3Y06KsG2RlRhbt64DJtfqTuaN41uT84+X2xkp SI3x6AatZO/cyYH1ZoqyhzCZvGDcIWG4hbuWeSfLzp5mX5od72xiRiu/Uag1ODxUte53VdJo yZYjtXBsG0G2RLU6siCUPR9/0Gh1C6A1wDU7eFELkQ0mrTBJ5E9xb4wk4IfvlrZES/tmET5k K+WeV8l+uiy8ejnZa/mppCEO49pjAHxKb4ildelAek+LwMAXHCb9Pyi2LH/+UD1WrZHg/0sn qXHrZzXJ94Xq6G5DgJTz40t8QywDy2839QdhXQHLExKeBaAj4XxPlHBOvH4DfOmj1Syizdn2 unKPrPuD5jNNHTDn7DhfbFy605Y1gU/18xQ55VRCr0ZIfLzXFH+tMDAAxMnLwC5x/zrBdZ92 48ER26DH62UPLndvFKI/u4vJvODZI4RuDbzMfgl4PvugGckllAHe6mp3IUYaHSmEfh8JUWWe 3zsgssfHmcRpQc+Q+nqh0eDUT5XfXq9Q6U85jQjBIKgFojMXpqtj6CZ3CenAp1WYXhLBk2UH Xfya4qEQ+sMaD6VIsJ5jjMEUqGhR5Y92hGqqQ/10KFqLvHU+y0drZLszsJ55+zVlREo9Dx7F d6R02+XTzI8omRdTDgvmat7vEZVy1GZ0KE+jeYLO8ZU4qZlWwE7OJrRh8pzDcz/QUqVct6PS VuiT5OgCDctQ8kZzNoHYkI7ENKn2EOQlxG2CqMYwuTYTKc/9bjRiiSgTy4c43PP1a17ykIjX tMKL2qtwKh26wnUAYfN1USfjaejM6oGj2bW7GnW622IsQlDVRJoF73fVCUTb03XoND0oEXLS aOjEpwoNwJAzYiJLa4ZIsbxgwB+Tez4cM/bf3r3nm6xARiSwbbZYIPsemgZ0WPbAU4Ynhs78 nOPNAx4DSCk8CrFFDI7M1Xpbgv39PVm7nO2Skhh1waRc0hozKa44DYQjP2YDu0Ih/cK5Hpnp DJzE1KwmdnRDrJsviJHe6NRKZM46VZDjyfCshBle4anJOZkj0IfdAJ+uwXv0Q92A8NOi5piq nRi1wd0Ja+CtTEJPzqFwZD9PKHWIWju7ViubaDRwFTXzNeR/O8G9v05r1zpuAzhGFAl9j1r1 Nxc0n3U4ZuvbkJaXZv3U0sz+l58rrfGbzIV6Ibd1HkqOq6x83fD198vGOo520O4Zd4MVcHMX AT2EsAcG42vMLlwwwnvPk9CZrkNsvJpbKbEP7Oc1aWmPfhthmejhGVDusVm116UsjB7QajO1 ooExPeR2k2GUS39hRGvqJOS+8gMaDcME2640SWhCpRWY/g4cY8NCGqqLouxz9NiioXFVHtR9 VrlDFQDkpzMG1Lafxnm0Atc2F5C63Cunyq1yzEylTgvsqeE9CPLyuXmMhEAPyQYIQsqxUepK o+ygdcAWUGuZAV8jxqp63HxwK1Drbh+JW3eKatRVxD/NHoqEq65t77YJtVK9IttqyJcFuK1f VGdTLf55RocySLqWWVElng3cDSju5OxmBIf6irVIH91rXfddId2zBHD6cf0SvtY3z5ATy59w TXaHVmzOdC18M7czc+S9LDjETj4CdsPLGHi1ubi/GOj6HdvAAGjkvz7gdDhHQUgkGf629RsS STUvUP5a4jv2b69NLEvdU1pCVngrstiT9smw81g2ddKgCdc2sjGmBhP2X3+Othax6/kOX8ER DpRhsXQ/BCgwkpoaHSA24P+UHyZhMpnfdizJG0MiUdfp4hHDrmZ6LtckG57uF29+EjdaP58k zMQj/0n7mIXmMkGvQMsymOWBbVYTiw6dWT80g+F6dyztvAdaG+pcLW02Qx4lNa9AaqqrQRVW XK/cZAnV3wVjI03IBfH13v97Zvhcd/bYIcItxGapBzHivBcNJM7kvdZzToiI2/2umcpjvIql RE7l4/vp5CJci8+mcDxSg4dLDD+YNkfvy3gnboL1NjDxJihR91gAmlZB8auFKPwVmhO6rK/c FzSWDwk9iXFRfyFRlTZsRk+6SqISsHOVTnfJWFFn4s8AkDFfgoHxlhTBm1yn4ZlRF70gpa9I QEpvnZJoQSg4hpUlrA3bV+mDiGG9V3uMnBtGP39ZFJX9l0QuBuTaJbDqLo1R2YBoNWgtFDfc zTLIV0XUidZHBTDXQmrP6Hyt4CfqK7BV7b4d72WJuzQzI4WH/aQmcD1itogr2vKb5/feCElV qJz21IfDyogRYKEy3NWGnZRz2WUPoaavEvuoHQp6JrkobKwAkS3otLebtkaecNm/xT86UuaH 8iXgisxaTNR15dWgGTN1KBaxlkZzSdnaziqF70E8y/LVqPZ3KFNXVYdbGtoOc1E4rhZvEEFM NPHit7zyr9zj+IkQ1ZDW1v7n8i1ZMsMa2ijPVLDDUyPOfyIPzrOi83wZKq9T/VXgoA2/1Wov i2HFkb4IjmZvzzgVhTqL/oVyS/HYVpRv4aydhsrAm/mDZrnZhC9LN5rnGg2zLkz1RaofSYXN TlxdV8Ir6XFt3sJxKUiXTYYsTw5cLrh+W7R9eTTJ5cIvOE+By11k7gf+3Em0/5P6yoCQvVpm SzUp9ooole8k+DJxCA0NXgG4jtNmo+Pul1vfKvD8ZwVE3rN+hMA6WjWDR0Mu9Z+ItLqsqFUj NPIkeigTVUKu8KR5sYaC8XOfYifN2E9NBPyBDPOJA4MTDruK3qGwkIBzbed8XqaqpV8oZ/p0 slrKPcTRBk+EfUUDV5gFdoJLcJsXz8qprWcidYB+Xu0qBS5rCBysZXOV/bUCvLqem7xZVhsY hIJxfbmNt1WONGmnUNlbVZ+kcLBHE+CBbilTQVuawY1pANG930sFwUO
- Ironport-sdr: 63f48c6f_JTfMSRvtHxBlfrHS3nzEqNRO65z10Bnk59Lyb1i1/c4gbXk 21gkTFQ+pwxyXMqDI2RNIZ0ZKcBSY57KaOhdBhw==
--> Please feel free to forward this e-mail to interested persons! <--
Are you a woman working in logic?
Please join us on July 1 at WiL, give a talk, and enjoy a day with
Women in Logic!
Please submit an abstract of 1-2 pages by April 23, 2023 (AoE), via EasyChair.
-------------------------------------------------------------------------------------------------------------
Call for Contributions
WiL 2023: 7th Women in Logic Workshop
July 1, 2023
Co-located with FSCD 2023
https://sites.google.com/view/wil2023/home
-------------------------------------------------------------------------------------------------------------
Women in Logic 2023 is a satellite event of the 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023) to be held in Rome, Italy, from July 1 to July 6, 2023.
The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community. Our aim is to:
- provide a platform for female researchers to share their work and achievements;
- increase the feelings of community and belonging, especially among junior faculty, post-docs and students through positive interactions with peers and more established faculty;
- establish new connections and collaborations;
- foster a welcoming culture of mutual support and growth within the logic research community.
We believe these aspects will benefit women working in logic and computer science, particularly early-career researchers.
Previous versions of Women in Logic (Reykjavík 2017, Oxford 2018, Vancouver 2019, Paris 2020, Rome 2021, and Haifa 2022) were very successful in showcasing women's work and as catalysts for a recognition of the need for change in the community.
Topics of interest include but are not limited to: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.
INVITED SPEAKERS
- Marie Kerjean (LIPN, Institut Galilée)
- TBA
IMPORTANT DATES
- Abstract submission deadline: April 23, 2023
- Notification: May 15, 2023
- Contribution for Informal Proceedings: June 25, 2023
- Workshop: July 1, 2023
SUBMISSIONS
Abstracts should be written in English (1-2 pages), and prepared using the Easychair style (https://easychair.org/publications/for_authors). The abstracts should be uploaded to the WiL 2023 Easychair page
https://easychair.org/my/conference?conf=wil2023
as a PDF file before the submission deadline on April 23, 2023, anywhere on Earth.
ORGANIZING AND PROGRAM COMMITTEE
- Sandra Alves (University of Porto)
- Agata Ciabattoni (Vienna University of Technology)
- Zoé Christoff (University of Groningen)
- Amy Felty (University of Ottawa)
- Marie Fortin (IRIF)
- Sujata Ghosh (ISI Chennai)
- Sandra Kiefer (University of Oxford) – co-chair
- Cláudia Nalon (University of Brasília)
- Daniele Nantes-Sobrinho (Imperial College London) – co-chair
- Valeria de Paiva (Topos Institute)
- Catuscia Palamidessi (INRIA)
- Tephilla Prince (IIT Dharwad) – co-chair
- Krishna S. (IIT Bombay)
- Alexandra Silva (Cornell University)
- Renata Wasserman (University of São Paulo)
- [Coq-Club] 1st Call for Contributions - Women in Logic Workshop (WiL 2023), Daniele Nantes, 02/21/2023
Archive powered by MHonArc 2.6.19+.