coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: acie AT acie.eu
- To: folli <folli AT folli.info>
- Subject: [Coq-Club] CiE 2023: FINAL CALL FOR PAPERS
- Date: Fri, 27 Jan 2023 09:57:10 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=acie AT acie.eu; spf=None smtp.mailfrom=acie AT acie.eu; spf=None smtp.helo=postmaster AT antea.dnshigh.com
- Ironport-data: A9a23:70i2vKsRwG5n8TQPPI35ip2sAefnVEpaMUV32f8akzHdYApBsoF/q tZmKWnXbPeINmr9fdxzaN/l9B8G65GDx4VgSQBv+yFkHyMUgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCY0idfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbyRFtMpvlDs15K6p4GpC4QRnDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJEcIHqY868QnPTlLq foeGB1SSjm5nf3jldpXSsE07igiBMDtII4W/H1m1jHYAvZgSpfGK0nIzYYIgXFg34YSW6+GN qL1ahI3BPjESxREO1o/AZk/kaGlmxETdhUE9gvI/vtqvQA/yiR6yLuyN/T7J+eneu4EsE+nh FD+1GH2V0Ry2Nu3k2Deqi3y2IcjhxjTU4sXEPi89+V2qEaCw3QaThwQT1qy5/ej4ma1XMsaI EgJ8AI1vK0q/QqqSMP8Vlu2uha5UgU0UtxMHuR85AeWyqvb40CSAW1soiN9hMIOsvEVbhg79 A+1x9a1AzpfneKxYEiH6eLBxd+tAhQ9IWgHbC4CaAIK5dj/vY0+5i4jqP49S8ZZafWoSVnNL yC2QDsW2+xD3JZQv0mv1Qmd3mv2+/AlWyZvvm3qsnSZAhRRRbLNi2aA01/e4J6sx67BFgDc4 RDod+C65fIPCvmweMGlSeMREbjv6/CeMDzTgRhkGJxJG9WRF5yLI9s4DNJWfh4B3iM4ldnBO xG7VeR5v8Y7AZdSRfUrC79d8uxzpUQaKfzrV+rPcv1FaYVreQmM8UlGPBDPgz+wzxh2wPpna f93lPpA615EVcyLKxLrFo8gPUMDnUjSOEuKGsyjkXxLL5LHOCLNIVv6DLd+Rrpjt/vb/lu9H yd3LMaQ1RhFGPX6ay+f6sgJa1RMRUXX9riow/G7gtWre1I8cEl4Uq+56e5/J+RNwvoE/s+Wp SvVchEDlzLCaYjvdVnihoZLM+m0DP6SbBsTYUQRALpf8yJ6MN/1s/hBLMJfkHtO3LUL8MOYh sItI62oasmjgByek9jERcmg/N5RZ16wiBiQPiGoRjE6ctQyD0bK49LoNE+nviUHEiP954N0r qyCxzHrZ8MJZz1jK8LKN9Op7Ve65kYGlMxIAkDnH9h0eWfXyrZMFRDftPEMDv8pFQTi3Rqfj gafPgcZr7LCoqgz69j4upqHpIaITcp7MFdWMFfbybOMKCKA/nKRm4BdYbzZYRHcS2LG16Gwb spFz/zHEaMmnXQbl6FeArpU3aYFyN+3nIBjzyNgB2TtbX6nLphCM0u295BDmYMVz4AIpDbsf FyE/+drHImgOeTnIQY3HxUkZOHS7sMksGDewtptKXqr+RIt2qSMVHhTGBy+iCZ9Cr9RG6F9y McDvP8m0SCOuiAIAP2n0B8Nr3+tK0YeWZoJrpsZWY/nqjQ6w2F4PKDzNHXE34GtWf5tbG8ae iSZlYjTtYR6n0DiSUc+JVLJ/OhahKkNhix08U8/Fwy3veTB19AK30x30DUoTw5q4A1N/MBtN 0NKaUBkB6W80A15pcpEXlGTPRlzP0Cd9nfQ0HoMrnXSFGOzZ1zOLUo8GOeDx18Y+GRiZQpm/ KmU5WLmcDTyduTz7zQCYlFkoPndUtBBzA3Ot8S5FcCjHZNhQz7aroKxRGgP8T3LPNgQgRDZm OxU4+pAU633GioOqakdCYPB97AxSgiBFVNSU8Na46IFMmHNSg6cgQHUBRiKRfpMAPjW/WuTK c9kfJtPXivj8he+lGkQAKpULoJkmPIs2sE5RYrqAmw44p+/tTtitazC+hfu3FELR8pcqudjC 4fzWQ/bLEmuqyp1oUHvovNAGFKEWvgfRQil3OmK4OQDTJ0Cl+d3cHAN6Li/vlTLEQ5J/Rurg R7xV5LX68dAyo1cuZTmPYseJgezKPL1DP+p9iLquftwTNr/C+X8nCJLlUvGZSF4ZaAwXfZzn pSz6O/H5lvP5usKYjqIiqu/GLlszuTseuhua+bcDmRQxAmGU+/SuyozwXiyc8F1oYkM9/ucZ lWKbeWrfoQoQPZb/npebhZeHzs7C6jaaqTBpzu3n8+TCyoygBD2E9e6yUDHNW1rVDcEG5nbO D/Gv/yD4tN5roMVCiFdVrsiS9V9LUT4UKQrS8zpuHPKRiO0i1eFof35mQBm9TjPDWKeHd3n5 Y7eACLzbwm2pLqC2eQxX1aeZfHLJC0VbSgMkkMhFxpegjamAWdAIeIGMZQJCtdflSmaOFQUo t3SRDNKNMk/dW0sndbADBDLVwyeC6oDJ78V49DvE1y8M0+L6UDpPFel3i5r4nowdyaLICRL7 z0B0iWYAyVdCa2FiQreCjJXTAunKj7nKqo0xH3A
- Ironport-hdrordr: A9a23:N3oZuaN401YmAMBcTv6jsMiBIKoaSvp037BL7TEVdfUxSKelfq +V8MjzuSWatN9zYhwdcLK7Scq9qBrnnPYe3WB7B9aftWfd1ldAYLsD0WPGqweQf1yYh4gtrN YZT0BcYOeAd2STtq7BkXKF+4ZJ+qjkzJyV
- Ironport-phdr: A9a23:rHxahxfcPkxjmmWP2SHC+4eRlGM+0dXLVj580XLHo4xHfqnrxZn+J kuXvawr0AWUG9yBtrkd0bSempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmjqwbalvI BmorQjdudQajZVjJ60s1hbHv3xEdvhZym9vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2T qFWASo/PWwt68LlqRfMTQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4 qx2RhLklDsLOjgk+2zRl8d+jr9UoAi5qhNwzYDaYJ+bOudwca3ectIVWXFMUdxNWyxDGI6wc 5ECAugHMO1Fr4f9vVwOrR6mCAa2GOzvyyFHi2Ts0qIm0uQuDxvK0xI9H98IrX/bo8n7Or0IX uCp0KnH0y/Db/VO1Dvh9oXEbA4srPWCU79/bcfc1EYhGgfbglmMp4LrMDeY2/gNvmWV4OduW /6ih3Aopg9xvDSiyNshhIfGiIwbxV3J8zhyzogyJd29UkF7YNikHYNMtyGBKot6WMwiTH9wt Ckk0LIGop66czQKyJs9xh7fceaLc4+S4hLsTOqROi94hGhkeLK5iBa971KgxvfgWcmz1VZGt jBKncXNtn8TzRDc9NWHR/1g9UmiwTaCzx3f5+JELEwulqfXNoQtz7EqmpYOrUjOGin7k1jsg qCMbEUr4O2o5vznYrr4op+cMJd5hRv4MqQyhMOwG/40PRUIX2iA+eS81bLj/U3jTLpWif02l 7HVsJHcJcsFuq60GxJZ34Uj5hqlDDqqzc4UkHYdIF5YZB6Ki5DlO1TUL/D5Cfe/jU6skDBux /3eJLLuHpTNIWbYnbj7Ybl96lBTxBAtwtBC/55UDKoOL+rpWkDtrNzYEgM5Mwuszur5ENl9z J8RWXqTAq+FN6PfqUOH6fgqI+mIfYMVvDf9K+M55/P1ln84mVodfbGz0pcNaXC4GO5mI0SDb nb2jNcBC38GvhAiQ+zylF2CTTlTam6uUKI7/zE3EZ6pDYPeRo+2m7GBxye6HphOZm9cEFyME HHod5+FW/gWci6SLNVhwXQ4Uu2vTIsl1Fn6ugj+z7tPIO3Q/ixetJTt044myffUkEQ7/j15J 82W0mzLQnwnzSszWzYq0fUn8gRGwVCZ3P0g6xQ5Pdla5vcSFxw/KYaZ1OtiTdb7RgPGeN6ND legWNSvRz8rHZoq29FbRUF7Fp25iwzbmTKwCuocnL2GLJU/86+a0mWib91lxSPg068sx0IjX tMJMGSngqBl8A2GDoXInm2QnKenM6kBj2bW7GnW622IsQlDVRJoF6XIWXdKfkzNsdHw/V/PV ZenD6gqO01Nz9WCK6RKLNbuiD2qXd/FP9LTKyK0kma0XlOTw6+UKZHtYyMb1TncD04Nl0YS+ 2yHPE4wHHXppWWWFzFoGV/1BiGkueBjtHO2SFM1xACWfgVg0bSy4Bscmf2bTbsawLsFvC4rr zg8Eky62praDN+Jpgwpe6s5A5t16VxG2ErQvA1weJG9buhjilMYbwVrrhb2zRwkQo5EkMUss DYr1F8ref/egAoHK3XBhcGjX9+fYnP/9x2udaPMj1TX0dLNv7wK9Ox9sFL7+gegCksl9Xxjl dhTyXqVoJvQX29wGdr8VFg68x9iqvTUeC44ssnd3nxhGaC/szKE1s9jV6M1jw2tedtSKvbOH QTzHuUTDMmjbuE30QvMDFpMLKVZ86g6ONmjfv2N1fuwPepuqzmhiHxO/IF31k/kGzNUbOnO0 t5FxviZ2lDCTDLglBK6tdixn4lYZDYUF275yC7+BYcXaLcgNYAMQXyjJcG63LAcz9bkRmJY+ Vi/BlgHxN7heBycaEb41BFR0kJfqGKumC+xxTh52z8zqa/X0CvLyuXkPB0JXwwDDGBpjFrEK IO1gpYXQQngbgQkkgek+VevwqFaoKplKGyACUxMfiXwMyRjSv7p5ufEM5cJtNVx6XQENYb0K UqXQbP8vRYAhibqHm8FgSs+aynvoZLh2RpzlGOaKn936nvfY8B5gxnFt7m+DbZc2CQLQC5gh HzZHF+5apOg9tSZv57Is+34Wn/rBdVDNDLmy4+Nrn7x7GZrDDW2lPG+3ND6W1tfs2ezx5xhU iPGqwz5a4/g2vGhMO5pSUJvAUf198twHowWfpIYopYW1DBag5yU+SFCimLvKZBA3rq4anMRR DkNytqT4Q7/2UQlIGjbj4T+Hm6QxMdsfbzYKisfxz494sZWCayV8K0MnC17pUC9pB7QZv41l ykUyP8n4noXy+8Tvw9lwiKYC7EUVU5WWE6k3wyP9My7pb5LaXyHeL6s2UM4kda6DLCNokdXX 3O4MpYuECls79luZVLB1Hqgj+OsMNLUbN8VqliVi0KZ37UTeMt3yrxT3Xs0XAC19WcowOM6k xF0iJSzvYzcbn5o4Lr8GRlAcDv8e8IU/Djpy6dYhMefmY61TfADUn0GWoXlSfWwHXccr/PiY kyHGzwxgn6QGLeZEBLVuyIE5zrfVoumMX2aPixT1dJ5WByUP1BSmigdWik3l9g1EBuqxcPhN kx+43pCgzyw4gsJweVuOR7lV27Zrwr9cTY4Rq+UKx9O5x1D7UPYWSRxxut4Hiwe84Dz9GRlz 0SSbAVFS2wUCBTs77HLN7+y6NCG/+6DBuuxL73FZrDc8YRj
- Ironport-sdr: 63d391f2_W+68EQ5LIF8mfS4z/hNcgoJFXdbj0k2325+vFX+4snrx2ua jrmACHPBlV+7bnGmGBir6fxoD/6puW0Po6FaKRA==
CiE 2023: FINAL CALL FOR PAPERS
Computability in Europe 2023
Unity of Logic and Computation
Batumi, Georgia
July 24-28, 2023
https://www.viam.science.tsu.ge/cie2023/
Submission link: https://easychair.org/conferences/?conf=cie2023
IMPORTANT DATES:
- Deadline for article registration (abstract submission): February 8, 2023 (AOE)
- Deadline for article submission: February 15, 2023 (AOE)
- Notification of acceptance: April 20, 2023
- Final versions due: May 1, 2023
- Deadline for informal presentations submission: June 8, 2023 (The notifications of acceptance for informal presentations will be sent a few days after submission.)
- Early registration before: June 10, 2023.
GENERAL INFORMATION
CiE 2023 is the 19th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.
Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), Turku (2017), Kiel (2018), Durham (2019), Salerno (2020, virtually), Ghent (2021, virtually), and Swansea (2022).
TUTORIAL SPEAKERS
- Ludovic Perret (Sorbonne University)
- Ludovic Patey (Université Paris Diderot)
INVITED SPEAKERS
- Andrei Bulatov (Simon Fraser University)
- Anne Condon (University of British Columbia)
- Stephanie Dick (University of Pennsylvania)
- Kirsten Eisenträger (Pennsylvania State University)
- Neil Lutz (Iowa State University)
- Mark Steedman (University of Edinburgh)
SPECIAL SESSIONS
We are going to have 6 special sessions.
The topics of the special sessions will be announced soon.
CONFERENCE TOPICS
The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.
PAPER SUBMISSION
THE PROGRAM COMMITTEE cordially invites all researchers, European and non-European, to submit their papers in all areas related to the above for presentation at the conference and inclusion in the proceedings of CiE 2023 at https://easychair.org/conferences/?conf=cie2023
CONFERENCE PROCEEDINGS
Papers submitted to the conference proceedings should represent original work, not simultaneously submitted to another journal or conference with formal proceedings.
The Program Committee will rigorously review and select submitted papers. Accepted papers will be published as a proceedings volume in the Lecture Notes in Computer Science (LNCS) series from Springer-Verlag.
Papers to be considered in the conferences proceedings must be submitted in PDF format, using the LNCS style (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and must have a maximum of 12 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Papers building bridges between different parts of the research community are particularly welcome.
INFORMAL PRESENTATIONS
Continuing the tradition of past CiE conferences, we invite researchers to present informal presentations of their recent work. A proposal for an informal presentation must be submitted via EasyChair (https://easychair.org/conferences/?conf=cie2023), using the LNCS style file (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines), and be 1 page long; a brief description of the results suffices and an abstract is not required. Informal presentations will not be published in the LNCS conference proceedings. Results presented as informal presentations at CiE 2023 may appear or may have appeared in other conferences with formal proceedings and/or in journals.
PROGRAM COMMITTEE
Contributed papers will be selected from submissions received by the PROGRAM COMMITTEE consisting of:
- Nikolay Bazhenov (Novosibirsk State University)
- Manuel Bodirsky (TU Dresden)
- Vasco Brattka (Munich)
- Liesbeth De Mol (University of Lille)
- Gianluca Della Vedova (University of Milano-Bicocca, co-chair)
- Besik Dundua (Kutaisi Intl University)
- Giudittta Franco (University of Verona)
- Juan Luis Gastaldi (ETH Zurich)
- Thomas Graf (Stony Brook University)
- Delaram Kahrobaei (CUNY)
- Ekaterina Komendantskaya (Heriot-Watt University Edinburgh)
- Angeliki Koutsoukou-Argyraki (Cambridge University)
- Steffen Lempp (University of Wisconsin-Madison, co-chair)
- Florin Manea (Goettingen University)
- Klaus Meer (University Cottbus)
- Isabel Oitavem (Nova University Lisbon)
- Roland Omanadze (Ivane Javakhishvili Tbilisi State University)
- Daniel Paulusma (Durham University)
- Elaine Pimentel (University College London)
- Markus Schmid (Humboldt University Berlin)
- Shinnosuke Seki (University Electro Comm Tokyo)
- Sebastiaan Terwijn (Radboud University Nijmegen)
- Dan Turetsky (Victoria University Wellington)
- Linda Westrick (Pennsylvania State University)
WOMEN IN COMPUTABILITY
We are very happy to announce that within the framework of the Women in Computability program, we are able to offer some grants for junior women researchers who want to participate in CiE 2023. Applications for this grant should be sent to Liesbeth de Mol, liesbeth.de-mol AT univ-lille.fr, before May 15, 2023 and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior women researchers who are presenting a paper (including informal presentations) at CiE 2023.
HOSTED BY
Batumi Shota Rustaveli State University
Rustaveli str. 32, Batumi,
We are grateful for support from Batumi Shota Rustaveli State University and Institute of Applied Mathematics, Tbilisi State University.
ORGANIZING COMMITTEE
- Davit Begashvili (Kutaisi International University)
- Mikheil Donadze (Batumi Shota Rustaveli State University)
- Besik Dundua (chair, Kutaisi International University and Institute of Applied Mathematics, Tbilisi State University)
- Tsotne Mikadze (Kutaisi International University)
- Mikheil Rukhaia (co-chair, Institute of Applied Mathematics, Tbilisi State University)
- Lela Turmanidze (Batumi Shota Rustaveli State University)
- [Coq-Club] CiE 2023: FINAL CALL FOR PAPERS, acie, 01/27/2023
Archive powered by MHonArc 2.6.19+.