coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Jan Kofron <jan.kofron AT d3s.mff.cuni.cz>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] ETAPS 2023: Call for Satellite Events
- Date: Thu, 21 Apr 2022 11:54:24 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jan.kofron AT d3s.mff.cuni.cz; spf=Pass smtp.mailfrom=jan.kofron AT d3s.mff.cuni.cz; spf=None smtp.helo=postmaster AT mail.d3s.mff.cuni.cz
- Dkim-filter: OpenDKIM Filter v2.10.3 mail.d3s.mff.cuni.cz C622618F791
- Ironport-data: A9a23:0m9wh6JUnbDmGbLMFE+RF5MlxSXFcZb7ZxGr2PjKsXjdYENS3mEHn GEfXm6Pbv/fYWHweNkka9+woExT7cLSndFhGgMd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6jefSLlbFILas1hpZHGeIcw98z0M78wIFqtQw24LhX1nU4 YqaT/D3YTdJ5RYkagr41IrY8HuDjNyq0N/PlgFWiVhj5TcyplFNZH4tDfnZw0jQHuG4KtWHq 9Prl9lVyI92EyAFUbtJmp6jGqEDryW70QKm0hK6UID66vROS7BbPqsTbJIhhUlrZzqhwNVJ0 sxLtYCKRR4jY6fPu+ggWEVfOnQrVUFG0OevzXmXtMWSywvKKGCqxvtgSkorO4xe8fQf7WNmr K1FbmlUNVbZ36TvnePTpupE3qzPKOHpNYVZuXZu1zbfJfp9WtbGTauM7sJe3XE7lKiiGN6HP ZJEN2IyMnwsZTVJOWdIWY4Hrd6OuV/tdiV+816n9ZMOtj27IAtZieOxYYCIJ7RmX/59lUGB4 2nC4m7RGQAfLNXZyDyf83vqiPWnoM/gcIcbFbn++qVxxlidyCoYFRsXE1CpyRWktqKgc41aE 1YN/Coyl6Qr/hGhTfrxYhbkp1fR63bwROFsO+E97QiMzI/d7ACYGnUIQ1Z9hDoO6JZeqdsCi gPhoj/5OdB8mODNECnDqN94uRvrZXRMdjVqiTosEGM4D8/fTJYbpSCnojxLOqm/iNz+FFkcK BjT/HF23+17YSIj/Ki94UrOh3qGoZjESw88jjg7s0qg5wJ9IoL+fMqt51ad5utGLcCSXDFtX UToeeDCsoji7rnUykRhpdnh+pnzup5p1xWG2DZS82EJrWjFxpJaVdk4DfEXDB4B3jw4UTHoe lTPngha+YVeOnCnBYcuPd/pV5xznPOxRYS+PhwxUjaoSsUoHONg1Hw1DXN8I0izzSDAbIlvZ cfLIJjE4YgyUPs9nVJauNvxIZdynXxvnz6OLXwK5x+qyryTeDaHD6xDKB2JKIgEAFCs/m3oH hc2H5Xi9iizp8WjPHmKqdJDcQFiwLpSLcmelvG7v9WremJOcFzNwdeIqV/4U4A6zalTiMnS+ XSxBh1RxFbl3CCVJV6RLHVtZvXkQJB+63kpZHR+MVGt0nklQICu8KZPLcVrJOh5rLRunaxuU v0IW8ScGfATGD7JzDIQMMvmp4t4eRX32A+DZnL3YDU2c5N6aRbO/9voIlnm+CUUV3fluZAl5 biu2EXQXJwCAQ9wVZ6EZPWqxlK3nH4chOMiBRWUe4gNIB3hqdE4JTbwg/k7J9A3BS/CnjbKh RyLBRo4pPXWp9Nn+tf+g63Z/ZyiFPFzHxYHEmTWseS2OC3d8jbxyINMSrzQLzXUVWey9P65I +Bbwbf3LfsG2l1Y6tIuH7FuxKM4xt3uu74KlFo4RSSVNwymWuF6P32L/chTrakTlLVXjguBR R7d8NdtP7jUatjuF0QcJVd7Y73bh+0UgDTb8d88PF7+uH1s5LOCXEgObQOAjjdRcOl8PI8/m 79zvccX70qz0QFsN9iIyCtJ8WXKJW5ZC/crsZQTAYnKjAs3ywEYP8CFW3GuuJzfOc9RNkQKI yOPgPSQjbprxn3dLyg5G0/L0LcPnp8Joh1LkQEPfgzbhtrfi/Yr9xRN6jBrHB9NxxBK3u8b1 rKH7KGpyXFiPguEhfSvm0ipEgBFQhHC4Qr0xVVPn3DfTg+jRAQh6YH71fmlpCgkH6B0J1C3P 410DE7pCi2sec//mCAvX08joO6LoRlZ6FjZgM7+dyiaN8BSXNcm65NCoUIE8AChBM0/wkbao +gs9/QYhWgX88IPi/VTNrR2Hoj8hPxJyKKujB2hEG408bngRQyP
- Ironport-hdrordr: A9a23:XP50jqF8NKtfrQzapLqE7seALOsnbusQ8zAXPjNKOGRom62j5r uTdJZy73PJYVMqN03I9urwWpVoLUmskqKdgrNhWItKPjOW21dARbsKheCJrlyBJ8SUzJ866U 4PSdkGNDS9NykfsS8k2meFL+o=
- Ironport-phdr: A9a23:SyBIDRfurcW1d3lHgFJ6b6WllGM+udTLVj580XLHo4xHfqnrxZn+J kuXvawr0AWSG92BoKsUw6qO6ua8AzZGuc7A+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohA c5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/I Au4oAnLqsUan4RuJrsyxxDUpndEZ/layXlnKF6NgRrw/Nu88IJm/y9Np/8v6slMXLngca8lV 7JYFjMmM2405M3vqxbOSBaE62UfXGsLjBdGGhDJ4x7mUJj/tCv6rfd91zKBPcLqV7A0WC+t4 LltRRT1lSoILT858GXQisxtkKJWpQ+qqhJjz4LIZoyeKfxzdb7fc9wHX2pMRsVfWSJODYyyb 4UBEvQPMvpDoonyu1cDtwGzCRWiCe7tzDJDm3/43bc90+QkCQzI2BYvH9QTu3rRq9X1Or0SU eezzKLVyjjDbelZ2THn5IjLdRAhr+uMXbV2ccfK1EYiGRjFgk+VqYzrMTOZzPgCs3Wd7+phT +6gl28mphh3rzOyycgilpPHiZgJylDY6yp52oA1KMWmRUN5YdCpE5lduz+aOoZ1XM4sQ29mt DokxrMGvZO1czYHxZQjyhLCZPGLbYuF7w/jWeqMPDp1mX1rda+/iRux90Wr1+PyVs6x0FlQr ypFlMHBuW4R1xPJ8siHUeFx/kC72TaA0Q3Y9+JKIVgsmKbGL5MswqQ8mocOvUnNBCP6hln6g LWLekgk/uWk8/nrb7Hmq5OGKoN4lw/zPr4wlsCjG+g1NhYCUm6G8uqmzrLj51f2QLBSg/02j KbZtJfaKNwepqGjAg9V1pwv5AuxAje9ytgYmHcHLFxfdB2bkojpPVDOLOrkAva+m1iskTFry O7aPrD5H5nAKnjOnK38cbpg5UNQ0hQ/wcxF655JCrwMJOr/Wkrru9zZCh85PRa0w+HiCNhl1 IMRQ2SPDrWaMKPVv1+I/OUvI++XaYAItjv9MOIp5/vgjX83g1MSYbSp3Z0WaHyiAvtnIl2VY Xz3jdgZC2cFohI+TPD2iF2FSTNfem6+X7gg6TEjFIKmEYDDS5ixj7yGxSe3B4FZZmRbCl+XC nrobIWFW/IUaC2IOMNhkzoEVaKgS4A7zx2uuhX6mPJbKb/f/TRdvpb+3vB04ffSnFc8729aF cOYhkOESSlXmW0SQDl+iKJ2pwp+zVmZ1q5Qj6dDU9ld6bVCTwE7c5XOmb8pQ+vuUx7MK4/aA G2tRc+rVGlZprMZxtYPZx04ANC+llXY2DLsBbYJlruNDZhy86TG3nG3Kdwug23e2vwHiF8rC tBKKXXgnrR2ograAcjKlEuDkKCCef8HmivD+iGI0GyP+kpKA0ZrSauQZXkEfQPNqMjhoEbLT rugE7MiZwlIz4iBLaVQbdvBgQ5dAvLtNpLVfmSw3WyiVl6T3r3ZSo3sdi0G2TnFTkgJlwdG5 XGdKQ03HTusuUrbBT1qU160eAXp/+c4o269Twk/3WlmdmVH0Ly4sl4QjP2YELYI264c/Twms 3NyFUq82NTfD5yBoRBgdeNSe4F15lAPzm/fuwFnW/7oZ6l/ml4TdRh2tELyxl12DItHi80js HItykJ7N6uZ1FpLcz7Q04r3P/XbLWz7/RbnbKCzuBmW0t+QvKQI5u4/rX3v5xrvE0QstX561 dgT2GndrpTGAQwOUI7gB14t/ksfxfmSaS086oXIkHx0ZPDl73mbgolvXrNjk0vxLLI9eOueG QT/EtMXHZ2rIe0uwB2yaw4ceftV7OgyNt+ncP2P3OiqOvxhlXSolzcigsg130SS+i57UuON0 YwCxqTS3AKBETT7gk2mtOj7wpsCYD8cWGGizymiD5wbNcgQNc4bTHyjJcG63IA0hZfrHX1f+ kSkAXsKg9TvfBScKVfg2wwW3lZd8hnF0WOoijdzlT8utK+W2ifDlv/jeBQwMWlOXGB+jF3oL OBYlvgiVVOzJ0gsnRqhvgPhwrRD4b94Ny/VSFtJeC7/KydjVLGxv/yMeZwH5JQtuCRRGOOyB DLSArz0pV0Z1C35GG12yGsgMTSktNPyghp7zmmPZHp+t3vWf8hsyAyXvY2BA6cIhXxcHG8h1 GifD0PZXZHh5diOkpbfru2yH3msUJFea2ijzI+Nsje6+Xw/BBS+m/6pndi0dGpymST/1tRsS WDJtEOlM9Stjv3hd7g/OBA1VQyZiYIyAIx1n4ouiYtF3HEbgs7Q5n8biSLoNs0d36vibX0LT DpNwtjP4QGj1lcwSxDBj4//SHiZxdNsItegZWZDkCA06YZJD6mO67pskXBu5F+2o0TafP582 DwPg6hLijZSk6QStQwhwz/ISLIbGw9bOiL2kBKg44ul6qBZaiCkbL6xkkFs14PEbvnKskRXX 3D3fY0nFCl745BkMV7C53b075ntZNjaad9A/g3RiRrLiPJZbY4gjvdfzzQyInrz5Dd2roxzx Qwrx5yxu5KLbnlg7L7sSAANLSX7PosS4m2/1PcD2J/PhMb1RtM/Qn0KRMe6FKP1VmtL7rK9b 0DTTVhe4j+aAeSNR1fHsRU59iKdSp3zbCPHfCBLn449DBiFeB4G0V1SBWxh2MRhUFn3lYTkY BV4/XYa+1j57BBer4Agf072VmOVzOuxQhEzTpXXbB9f7wUZolzQLdTb9eVrWSdR4pymqgWJb G2dfQVBS28TCASCABj4M7+i6MOlkaDQD/eiL/bIfbSFqPBPH/aOy5W114J6/jGKfsyRN3hmB vc/1wJNR3d8U8jenjwOTWQQmUevJ4aDowyg/yRsss2l2PHiWQap6dCUTb5cP5Nk5ha3x6yRd qaRiCt/NTdEx8YMyHvPm919lBYZjyBjcSXoEKxV7H+QCvuJwekNV1hCNnIgUakAp7gx1QRMJ 8PB39b817ojy+UwF08ATlv53Megec0NJWi5clLBHkeCcrqcdlipi4n6Z72xTbpIgaBarRq17 HyZGkmlPTONjT7vfxz0KqdJgi/dNwFYuce2YFw+bAqrBMKjcRC9PNJt2HcuxqYog3rRKWMGG T11ckcLouaLqyZWjLN0BmpAqHF3Z7rh+W7R/6zTLZAYtuFuCyJ/mrdB4Xg0/LBS6TlNWP1/n Ca6Rj9Gplinlq+DkSEhVRRA7D1WgoPNtlcwYc0xGbFMAm2C+RwDq26NDRVMrMk3U7UHXohck cOJkaz9bjxf9dOS9tlOX6Dp
- Ironport-sdr: Y3upZgPLtiRKEgetHyu1IcaHgSYUqJl+ImGxYRj9p9eC3QPJj7D0i6PQNlxrdhwXug6Sxr88g5 3DHKfRfxna4w/uhSTaFX3ddoWdq2ETG+IKoC7dmZ7DLt89jNtjNH7TGEfpt3HwuQXvvlKJhRXH QcWuY3OMNXVWzoMW1eCXM5tgp6jPWhhgzvHG15poWTgXw1Qj06BjuYZYIoQXMcYvBcwDB5wsF1 spgCePh+rHDd2pzT3LiOO8vMzZcYumSJKx0UBljVHu0FxC0NpIRQ/aQQ4m14j466yG57ZW25e6 R0mowMEgyrtv7yjg8bm4wXqZ
[Apologies for multiple postings]
ETAPS 2023
26th European Joint Conferences on Theory and Practice of Software
Sorbonne Université
Paris, France, April 22-27, 2023
Call for Satellite Events
========================================
ABOUT ETAPS
========================================
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. It has been an annual event held in Europe each spring since 1998. Its 26th edition, ETAPS 2023, will be held on April 22-27, 2023, at Sorbonne Université, in Paris, France.
The ETAPS 2023 main conferences, scheduled for April 24-27 on Campus Pierre et Marie Curie (Jussieu) are:
* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FoSSaCS: Foundations of Software Science and Computation Structures
* TACAS: Tools and Algorithms for the Construction and Analysis of Systems
The ETAPS 2023 satellite events will be held on Saturday and Sunday, April 22-23, 2023, at Institut Henri Poincaré, situated in the 5th arrondissement of Paris.
========================================
CALL FOR SATELLITE EVENTS
========================================
The ETAPS 2023 organizing committee invites proposals for satellite events (workshops) to complement the main conferences. They should fall within the scope of ETAPS.
Satellite events provide an opportunity to discuss and report on emerging research approaches and practical experience relevant to the theory and practice of software.
========================================
IMPORTANT DATES
========================================
Deadline for proposals of satellite events: May 20, 2022
Notification of acceptance: May 30, 2022
========================================
ARRANGEMENTS FOR SATELLITE EVENTS
========================================
The organizers of an ETAPS 2023 satellite event are expected to:
- create and maintain a website for the event as a part of the main ETAPS website
- form a PC and produce a call for papers for the event (if appropriate)
- advertise the event through mailing lists etc. to complement the publicity of ETAPS
- review submissions and make acceptance decisions
- prepare informal (pre-)proceedings for the event, if appropriate
- prepare the event's program according to the overall schedule of ETAPS 2023
- prepare and organize the publication of formal (post-)proceedings, if desired
The ETAPS 2023 organizing committee will:
- promote the event on the website and in the publicity material of ETAPS 2023
- integrate the event's program into the overall program of the conference
- arrange registration for the event as a component of registration for ETAPS
- collect a participation fee from the registrants
- provide a meeting room of appropriate size, A/V equipment, coffee breaks, and possibly lunch(es)
As a rule, ETAPS will not contribute toward the travel or accommodation costs of invited speakers or organizers of satellite events.
========================================
SUBMISSION OF SATELLITE EVENT PROPOSALS
========================================
Researchers and practitioners wishing to organize a satellite event are invited to submit their proposal to the workshop co-chairs via email:
- Benedikt Bollig (CNRS), bollig AT lsv.fr <mailto:bollig AT lsv.fr>
- Stefan Haar (Inria), stefan.haar AT inria.fr <mailto:stefan.haar AT inria.fr>
The following information is requested:
- the name and acronym of the satellite event
- the names and contact information of the organizers
- the duration of the event (one or two days) and the preferred period (April 22 / April 23 / April 22-23)
- the expected number of participants
- a brief description (120 words approximately) of the event topic for the website and publicity material of ETAPS 2023
- a brief explanation of the event topic and its relevance to ETAPS
- an explanation of the selection procedure of contributions to the event; the PC chair and PC members, if known already; information about past editions of the event, if applicable
- any other relevant information, like a special event format, invited speakers, demo sessions, special space requirements, etc.
- a tentative schedule for paper submission, notification of acceptance and final versions for the (informal pre-)proceedings (the ETAPS 2023 organizing committee will need the final files by the end of February 2023)
- the plans for formal publication (no formal publication, formal proceedings ready by the event, formal post-proceedings, publication venue - EPTCS or elsewhere)
Proposals will be evaluated by the ETAPS 2023 organizing committee on the basis of their assessed benefit for prospective participants of ETAPS 2023. We invite prospective organizers to consult the websites of previous satellite events as examples:
ETAPS 2022: https://etaps.org/2022/workshops <https://etaps.org/2022/workshops>
ETAPS 2021: https://etaps.org/2021/workshops <https://etaps.org/2021/workshops>
ETAPS 2020: https://etaps.org/2020/workshops <https://etaps.org/2020/workshops>
ETAPS 2019: https://etaps.org/2019/workshops <https://etaps.org/2019/workshops>
ETAPS 2018: https://etaps.org/2018/workshops <https://etaps.org/2018/workshops>
========================================
FURTHER INFORMATION AND ENQUIRIES
========================================
Please contact the workshop co-chairs:
- Benedikt Bollig (CNRS), bollig AT lsv.fr <mailto:bollig AT lsv.fr>
- Stefan Haar (Inria), stefan.haar AT inria.fr <mailto:stefan.haar AT inria.fr>
Attachment:
OpenPGP_signature
Description: OpenPGP digital signature
- [Coq-Club] ETAPS 2023: Call for Satellite Events, Jan Kofron, 04/21/2022
Archive powered by MHonArc 2.6.19+.