Skip to Content.
Sympa Menu

coq-club - [Coq-Club] WiL 2023: Co-located with FSCD 2023 (Abstract Submission Deadline: April 23) CfC

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] WiL 2023: Co-located with FSCD 2023 (Abstract Submission Deadline: April 23) CfC


Chronological Thread 
  • From: Tephilla Prince <tephilla.prince.18 AT iitdh.ac.in>
  • To: highlights_community AT diff.u-bordeaux.fr, fom AT cs.nyu.edu, dmanet AT zpr.uni-koeln.de, logic-supergroup AT googlegroups.com, petrinet AT informatik.uni-hamburg.de, folli AT folli.info, coq-club AT inria.fr
  • Subject: [Coq-Club] WiL 2023: Co-located with FSCD 2023 (Abstract Submission Deadline: April 23) CfC
  • Date: Sun, 16 Apr 2023 09:23:57 +0530
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tephilla.prince.18 AT iitdh.ac.in; spf=Pass smtp.mailfrom=183061002 AT iitdh.ac.in; spf=None smtp.helo=postmaster AT mail-qt1-f173.google.com
  • Ironport-data: A9a23:SA9b96ud8oJrcsNDULPL7q0IKOfnVGFaMUV32f8akzHdYApBsoF/q tZmKT2GafvZZWHzKt0lPt7n80gB6sSAmNViSAZuqiFjHyNDgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYEidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbyRFuspvlDs15K6p4G9B4wRlDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJHgrEa8S3r5cODhDp dIjFzwcbTLYndvjldpXSsE07igiBMziPYdao205iD+AUq1gTpfETKHHo9Rf2V/chOgURaeYN 5dfMGQ3Kk2fOHWjOX9PYH46tL743SGhKmUA8nqUpLY74y7ax0pw1tABNfKMIofQGJkFzhfwS mTurl/IRR8LGOOl9DuV8Vis37fejC/jYddHfFG/3qcy3Af7KnYoIBYRTB6wpeSzolWvXspWb U0S4Csn66YonHFHVfH4Vhy85WeY51sSAoULVeI97w6Jx+zf5APx6nU4oiBpUcEKlsUSHRcTj 1LZsejWCS1skuaPcCfInluLlg+aNS8QJG4EQCYLSwoZ/tXuyL3faDqfH76P94bl3rXI9SHML yOi93dh2u1C5SIf/+DqogCd2mPESo3hF1Ztvm3qsnSZAhSVjbNJiqSt4FnfqO9cdcOXFwba+ ncDnMea4aYFCpTleM2xrAclTenBCxWtame0bbtT838JqW/FF5mLI9o43d2GDB01WvvogBewC KMphStf5YVIIFyhZrJtboS6BqwClPawTIm1DayOMIceOfCdkTNrGgk+NCZ8OEi9wCARfV0XZ P93jO72XC1EUfQ9pNZIb7tBieBDKt8CKZP7HMinlXxLIJKRY3maTbptDbd9RrFR0U9wmy2Mq 4w3H5LSlX13CbSiCgGKr9J7BQ1UfBATW8qqw+QJLbXrClQ9SAkc5wr5m+xJl3pNxPQLyI8lP xiVBidl9bYIrSedcl7aMSs4N+6HsFQWhStTABHA9G2AgxALCbtDJo9GH3fuVel3qr5Q3rRvQ uMbes6NJP1KR36Vs34edJTx5sgqPhiimQvEbWLvbSkdbqxQYVXD2ublWQ/zqwgILC687vUlr 5Oaiwj0fJskRiZZNvjwVs6B9V2KkEImqLpAZHeQeth3U2fwwbduMB3036MWIdlTCBDtxQm69 gexADUArNn3oIYerdn4lP2cpYaICMp7JFJRREPA3Ia1NA7b32ut+pBBW+C2ZgLgVHv41aGhR OdNxdT+DaE3p0lLuI9CDLpb96IyyN/xrbt8zA4/PnH0Q3m0K7FneF+q4NJus/BT+7pnpgeGY EKD1d1EM7GvOsm+MlowJhIgX9uTx8MvhTjewvQkEnrUvBYt0uK8bnxTGB2QhAh2Drh/atoly Nh8nv8m0VW0jx5yP+uWiixRyX+3EUUBdKcZ57U6G47gjzQ5xm5SOaL8DjDE27DRStFuHHRzH Bqqqvvsu7BuyHDGUUIPLlnW/O8EhZ0xqBFAl1ADAFKSm+v6vPw83TwP0DEzVgh69BJj1sxxH m1vKmx0OqS80DN6j+dTX22XOl9gBT/I3mfT2lc2hGniYE3wbVP0LUo5IverwEAV10l+bwpr1 uiU50i9WAm7Yfyr+DU5XHBUjsDKTPtzx1Xko9+mFcHUJKsKS2PprYH2bFVZtia9J906gXDGg uxY/OxQT6nfHgxIqo0ZD7iq75gheCqmFkdjH844pLgoGFvCcg6cwTKNckC9Wv1cLszwrHOXN ZZcGdJtZT+figC+9isWFIwdEY9SxfQJ3ucPSpnvBGwBsoackAZXjYLtxnD+qlMGE9RKuuQhG 7zVbAOHQzCxh2MLumrjr/tkG2ufYPsYVTL4x8SF3r0sLMsGld1nY2U33qW+5XmOAjA6/RjO5 ALnTI3VxtxE1o5DsdbNEKJCJgPsMvL1dr2C3z6SuuR0T+HkEJnxpSYKjFj4LiJqPbc1cPZmp 4Sn6dLY8hvMg+crbjr/hZKEKZhs2eyze+hmauTMM3hQmHq5av/Guhcs1TixFs1UrYl7+MKie gqfbfmwf/4zX/N25iVcSwpaIiYnJ5XHVIXSjgLjkK3UETkY6xLNE/2//3ywbW17SD4BC6ejN iDK4cSR9vJqh6USIi9dC/9fVsoyZBepXKY9bNT+uAWJFmTi0BvIprLmkgFm8j3RTGWNFMHh+ 5/eWxzib1KItbrVyM1C+ZlH1vHN4K2RXcFrFq7cxzJ3t9x+JGsPLOBYKIlfT58NzXe025b/a zXAKmAlDE0RmNiCnQrUuLzessW3X4Ti+esV4hQo/l+Ya2G/D8WBBtONMw9+tmxudGKLIP6Pc LkjF76ZAvR16pBoWeoToPWwx+Zhrh8fKrTk5mil+/HP790i7XnmGZCv8MehlcAKLi0VqHj2G A==
  • Ironport-hdrordr: A9a23:cu+sbqGnmSlw7M2zpLqE5ceALOsnbusQ8zAXPiFKOHtom6mj/f xG885rtiMc5AxwZJhCo7G90cu7MBHhHPdOiOF7AV7IZniChILHFvAH0WIg+VHd8u/Fm9K1GZ 0OT0G2MrPNMWQ=
  • Ironport-phdr: A9a23:8jCKWxSvQEhiHu6UwbNKXVfmQdpsohCWAWYlg6HPa5pwe6iut67vI FbYra00ygOTAMOBuqkP1LWempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmjqwbalsI BiyowjducsbjIl/Iast1xXFpWdFdOtRyW50P1yYggzy5t23/J5t8iRQv+wu+stdWqjkfKo2U KJVAi0+P286+MPkux/DTRCS5nQHSWUZjgBIAwne4x7kWJr6rzb3ufB82CmeOs32UKw0VDG/5 KplVBPklCEKPCM+/2/Kl8xwl7pbrwy9qBxjzYDUZ4SVO+B/fqPbYNgWQWVMU8JUWyFHH4iyb ZYAD/AZMOlXr4fzqVgAowagCwawH+7g0CNEi2Xs0KEmz+gsEwfL1xEgEdIUt3TUqc34OrkMX uCtzKnIzDHDb/dM1jzg8obIaBEhofeQUr1ubMHczlUvGB3djlWQqIzlOzeV2f4Xv2iD9epgV OSvhHI5pA1rvzSixdwhiojIhoIJ11/E9T91z5wpKtGiSU57Z8epHZ1NvC6VK4V4WNktQ310u Ckk0L0Gv4a2cScXxJk7wxPSZfyJfYeL7x/9WuudPDl2iWxldr+wiRi/70etx+P4W8S631tEo DZInsfQun0JyhDd5caKRuVy8EqnxD2B2QfT6uReLkA1k6rWM5Agwrk1lpUNt0TDHyn2mEHxj K+Zd0Ur5vKk6+P9YrXpvpOcOIh0igbxMqQqhMOzG/g3Mg8LX2SD5+uzzqbj/E3lT7VKlPI2k 7PZvIrdJcQBqa60BRJe3IU76xunETuqzNAVkWMEIV9FYh6LkonkN03ULPzlD/qyjVKhmypxy f/cJL3uGJDNI2DDkLj/ebZ97FZRyA8pwtBe45JYE6gBIO7uVkPoutzUEx00PgKuz+boD9V90 YweWWaRDaODLKzStlqI6vouI+mKeoAVpC7wJ+Y56/Pql3M0ml8QcbO00ZYWdHy0BOlqLkeXb Hb0h9cOC2YKvg4wTOzwj12CVCZea2uxUq8y+j02CZ+qAZvfSoyzm7GB3Sa7HoFLaWBGEFyDC 2vne5+FW/cKcC6SJNRunSQeVbe9U48hyQ2utAjixrZ6NubU4DEXtYr/1Nhp4O3ejQ099TttD 8iEz26NS3x0kXgTSj8t3KF/pFR9xU2Z3ah5hfxYD91T6OlTXgc0L56Ph9B9XtDzVQLFf9iJV E2RSdKjBCw3T84g69MPbUg7BpCoiQrP0iO3E/kbjfjDCpsx2qnHmX7gOoBwx2uCnKUkhl8rX uNdLXfgm6h+sgvUCorP1UmU0+6ucqsd12vW6X+O12WUu1xAeAF3VqrBUH8FYVbOtpLy4UaGB 6ejFa4mNAZd4c+EJKxQb9T1jFYAWfHifdTXZmisgWj2CRvMjr2LaI7rU2sa2CHcTkkCnQdXt X2BLE01Ajqri2PYFj1nU1z1MG329uwrlH6jTk4wywjCV1dg0bG4skoJiOScSvcX1/QcoiYno DgyRQaV3tPKB9rGrgEnfaMKMoB120tOyW+M7181BZenNa032g92m2Vfukrv008yEYBciY0wq 3hsygNuKKWe2VcHdjWC3Jm2NKeEYnLq8kWJbKjbkkrbzM7Q4r0Gveg1s1XiuAWgUFI48nNs3 p8Mg1Od54nGDEwbWtTwVBV/7AB08onTeTJ1/IbIzTtpOKiwvCXF3odwVLB9lE/4J413MaKYG A+0GsZcBs79YPcylQ2PaRQJdPtX6LZyP86icK6e37W3Oe97gD+8pWFO4YQ4y17VsiQlFbWO0 JECzPWVmACAUl8QlX+Htcb60cBBbDAWRC+kzDT8QZRWbet0dJoKDmGnJ4u2wM9/jtjjQSwQ8 lnrHF4A1MKzHHjaJ1XgwQ1d01gWqn27iGO5yTJziTQgsquY2mTH3e3jcBMNPmMDSnNliB/gJ o29jtZSW0bNDUBhiBa95Uf+w6EdvL5+KWLeBx4YVyn3M21iFKK78LuEIoZO5J4urSRLQbGke 1nJL9y16xAe0i7lAy5f3GVhL2Ds6si/xkIizjvCdyUWzjKRY8x7yBbB6caJQPdQ2mBDXyxkk XzNAVP6OdC1/NKSnpOFs+akVmvnWIcAFEujhY6Gqia/4nVnRBOlmPXm0IS3SlBkiHejjfFrV DnErFD1ac/q0e7pVIAvNlktH1L658dgT8tin5MwhZUU0D4CnJST9ndByDfbMNRH1aK4ZXFLR DhBkLu3qED1nUZkKHyO3YfwUH6Ql9Bga9eNaWQTwish7spOBc949ZR8lDBu6hq9pAPVO71mm ysFjOEp4zgciv0IvwwkymOcBKoTFA9WJ36kmxON5tG45KJZAQTnOeHgjxIgxIj5VpmDox1QW DDwcdEjG2d8495+P1TFzHDootu8KZ+AMJRK6EXSykibx+FOYIo8jP8LmTZqNQef9TU+xug3g AYvlZC2sY6bKnl8qaewAxpWLDrwNIsY/jDgi7obn97Dhdj+WMU8XGxVBN2xEqn7dVBa/e7qP AuPDjAm/3KSGL6FWBSa9F8jtXXEVZaiK3CQInAdi9RkXhiUYkJF02V2FH03mIA0EgeyyYnva kB8s3pItgWg9EIUkrhANhjjXmeZrQzuazF+G/39ZFJGqxpP4UvYK5nUt7IoR38BpsX7hA2MN mCbIQ1DS2APEB/hZRirLvyl4t/O9PKdD+y1Iq7VYLmAnudZUu+B2ZOl1oY1tybJLMiEOWNuS uEqwkcWF24sANzXwn9cLk5f3zKIdcOQow2wvzF6vtzquuq+QxrhvMOOE+cAaogpokHux/3fa KjIw3wlYTdAisFSmTmSk+NZhQBKzXkpLmjIc/xItDaRHvyO3PYPVVhDLXs0bpMA7rpgjFcTf 5SH25WljvggyaRtQ1ZdCQ6+wIfwOYpTcjv7bBSeVCPpfPyHPWGZnJ2xOPnhD+UW1KIN6VWxo WrJShezeG3cyH+5EUjoa7gEjTnHbkUB48fkI0orUS67C4u4D3/zeN5v0W9smexy1i6MbDRMd 2A7KhwFr6XMv3kB3LMiSyoYvyAjda7dym6Y97WKcM9I96EwU2IvzaQCpy1rrtkdpDdNQPg/8 MfLhvhppVzu0uyGyz49FQFLti4OnoWA+0NrJaTe8JBEH3fC5hMEq2uKWVwMoJN+B9vjtro1q JCHnb/vKDpE79Pf/NcNT8nSJsWdNXM9MB3vUDfKBQoBRDSvOCnRnUtY2P2V83SUqNA9pP2O0 NIWTaRHUVUuCv4AIkFsHdhHOYsuGz19zuXdg8kP6n6z6hLWQYQSv5zKUO6THeS6KDudiuohB VNAyrf5IIIPc4zjjhY6Ox8qwcKTRRKWBI8W8UgDJkcurU5A8WZzVDg20kPhMEa25WMLUOSzl Vgwgxd/ZuIk8HHt5U02LxzEvnhV8gF5lNP7jDSWaDO0Ir23WNQcUnqv7xZoasuhawd0cQGy2 0VvcjbCDeE07fMoZSVwhQnQtIEaU+ZbVrFBaQQMyOu/Yvwp1RFFtnziyxYYvq3KDpxtkAZse pmp5SEluUorfJs+IqreI7BMx15bi/eVvyOm4es2xRcXO0cH9G76kMEguU0UOrlgLiHu/+o+s GRqfhNCeXQAV7wjqbRr8BFlUwxh5yfp0roGM1zocuLGcPjftG/HmsqFBFg30xFQ/3Q=
  • Ironport-sdr: 643b721e_IGFVjOZ6KkI8zjd2kBPNJJ5zSJwyjoczGLU5EBwVmGzZf/B 5F0QY9u9gt/+qj1bwlZnuyE2zUP3iRAzn2+hidQ==

-------------------------------------------------------------------------------------------------------------
7th Women in Logic Workshop (WiL 2023)
Second Call for Contributions
Workshop Date: July 1, 2023 (Rome and online)

Women in Logic: www.womeninlogic.org
WiL 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.

WiL 2023 will be a hybrid event, however on-site participation is highly encouraged.


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 (CNRS, Université Sorbonne Paris Nord)
 Sandra Alves (Universidade de Porto, Portugal)


IMPORTANT DATES

Abstract submission deadline: April 23, 2023
Notification: May 15, 2023
Funding Application: June 18th 23:59 CEST, 2023 on WiL 2023 Website
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 as a PDF file before the submission deadline on April 23, 2023, anywhere on Earth.

https://easychair.org/my/conference?conf=wil2023

FUNDING
Due to the generous support of our sponsors, we have limited funding available for speakers and other participants.
If you would like to apply for it, please fill out the funding application on our website until June 18th 23:59 CEST.

ORGANIZING AND PROGRAM COMMITTEE

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)

Best regards,
Tephilla Prince
Research Scholar
IIT Dharwad


  • [Coq-Club] WiL 2023: Co-located with FSCD 2023 (Abstract Submission Deadline: April 23) CfC, Tephilla Prince, 04/16/2023

Archive powered by MHonArc 2.6.19+.

Top of Page