Skip to Content.
Sympa Menu

coq-club - [Coq-Club] FM 2023 - Call for Participation

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FM 2023 - Call for Participation


Chronological Thread 
  • From: Violet Ka I Pun <violetpun AT gmail.com>
  • To: Violet Ka I Pun <Violet.Ka.I.Pun AT hvl.no>
  • Subject: [Coq-Club] FM 2023 - Call for Participation
  • Date: Sun, 8 Jan 2023 20:07:13 +0100
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=violetpun AT gmail.com; spf=Pass smtp.mailfrom=violetpun AT gmail.com; spf=None smtp.helo=postmaster AT mail-lf1-f46.google.com
  • Ironport-data: A9a23:CBGeJqKxb2InrZrbFE+RPZ4lxSXFcZb7ZxGr2PjKsXjdYENS1DwEz mEfXjzUOPaONDTyKowgb47j9k8BucfTn9IySAId+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fRLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWCfg77s9JIGjhMsfnb8Us/5K2aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0Lua33y0aVjPlAPBs4eyvlcBFhVq cIbAWVYBvyDr7reLLOTT+BtgoEnIpCuMt9B/H5nyj7dALAtRpWrr6fiv4cJmmdtwJkQQrCCO aL1ahI3BPjESwNOPVMaFIojms+ng3D+d3tTr1f9Sa8fvzSPk1ctj+iF3Nz9UN2SY/cJuEWhh iHEo0vSCx8xFtunxm/Qmp6rrraXwXmTtJgpPLa/77thhECZ7ncCDQUfE1q9u/iwzECkM/pUI kkQvy4vtrQa712uVtC7XhuioXfCsAR0ZjZLO+gz6QXIzqSNpgjFWC4LSTlObNFgv8gzLdA36 rOXt8vvGy4/vY+EcEne8IeLhjaLInQrLkZXMEfoUjA5y9XkpYgyiDfGQdBiDLO5g7XJ9dfYk 2/iQM8W1+V7sCIb60mo1QuY3G/09/AlWiZwt1qHBDv0hu9sTNf9P9TA1LTN0RpXwG+korSpu XEFn42a4rlLA83T0iOKR+oJEfei4PPt3NzgbbxHTsJJG9eFoSXLkWVsDNdWeh0B3iEsJ2OBX aMrkVkNjKK/xVPzBUONX6q/Ct4x0Y/rHsn/W/bfY7JmO8YuL1beons0PhbPjwgBdXTAd4lvZ v93lu78XR4n5VhPkVJaus9HgOF2mX9urY8tbcGikU/PPUWiiI69EO9ZajNin8g266SLpAi9z jqsH5ri9vmra8WnOnO/2ddLczgidCFnbbir9ZE/XrPcemJORjt9Y9ePmuhJU9I+z8xoehLgp C7Vtrlwkwqh2xUq6GyiNhheVV8Ydc8h9SxjZnNyZwjANrpKSd/H0ZrzvqAfJdEPnNGPB9YtJ xXcU5zZUq4deSeN4DkHc5j2oaprcRnh10rEPDOobHJ7N9RsThDAsI2sNAb+1jg8Pgzuv+sHo pqkylz6R7gHTF9cF8r4Uq+k4G6wmnk/o9hMeXX0DONdQ2jS1bR7CjfQi6Y3Kv4cKB+YyTq90 R2XMCgipuLMgtEU9YDJjJ+bs42GIvtaIXsCOWiG67zsZC/Q0Ve+8NURTMeJYjHve2fm84qyZ ehu7q/dMd9WuH1oooZDA7JQ4qZm3OTWpphe1RZBMETQSlaWVoNbPXiN2PdQup13xrN2vRW8X mSN8IJ4PYqlFdzEEllLAiYYdcWGiO8pnwfN4cQPIEnV4DF9+JyFWx5wOziOkClsE6tnArg6w OsOuN8k1CLns0AEau25tyFz83iAClciUK9975ETP9LNuzoRk1pHZcTRNz/y7JSxcO5zC0gNI AHFoIrZhr9Z+FjOTGprK1jJwthmpMovvDJk8QY8Amqny/v/qN055hlzyQgMbx90y0xH2t1jO 2IwOExSI76PzghSh8NCfj6NHg1dNSKd4Wj07UUDr0zCbkySTmeWBnYMCeWM20E48mxnYTlQ+ o+D+lvlSTrHeMLQ3DM4fExY99jPaMNXzRKbvuyKBOGHEIseTRu/p5SxdEwarxfDKuEgtn3t/ OVF0r55VvzmCHQ2vaY+Nbi/6Z0RbxKhf0lpXvBr+fIyL1H2IT2d92CHFBGsR5lrOffPzE6fD v5uLOJpUzCV9n6HjhIfNJ42D45Eptwbz/tcReqzPk8DiaWVkRRxupGJ9iTeun4ic+8zrekDc LHuZxCwOU3Oo0sMgGLcjth2Ckzha/k+WQDM9uSU8uIIKpE9jN9RYXwCiruZgnHECzFZ1Terg jn7Rq7JzuZd55xmsKnyH45iWQilC9PBe96Z0QK0st1uX8jrNJrQlgIKq2vIOxZdEqsRVu9Wy 5WMko/T92HUsIkmV1v2n8G6KJBIwsGpTcxrMs7TB1tLrxuoAcPDzUMKxDGlFMZvjthY2PiCe yK5T8mBLfguRNZXwSxuWRh0ShoyJfz+Ufb9mHmbsf+JNxk61D7HJvOB8VvCTzlSVg0MCq3EJ j7EgdSczfEGk90UHz4BPe9sPLFgKly6WacGScz4hQPFMkaW2GG9qpnQvjt+zwGTEXSVMtfI0 bScTDjESRmCkqXpztZYjo9MgiMqHEtN2dcXQEZM1ON12habDXEHJ9szKZ8pKI9ZuQ2s2YDaZ APiVnoDCyL8b24dcRzD/8nSBFaDJ+0RO+XWIi4i0FOUZhyXWqKBIupF3QVx70hmfgDMyLmcF ugf3XnrLz6NzYpMV89KwtCG2cJc2eL96lcT3ELMg+jeIk05P+0R9XpDGAFta3T2I/vVnh+WG VlvFHF2fk6rbGXQT+NycGFxMzMEtmrNyz4IU3++8OzHsd/G8NwamezNAMCt4Lgtd89QGaUvQ 0nwTG6z42y7/HwflK8qmtAxi59PFvO5MZmmHZDnWDEtsfm82kY/M+MGuBg/fsUo1QpcMlHaz zeSuil0QAzPLU1Kw7SZxDkY4587ADpGEzjNixW5vjPc1wAwy9/CYRWx0QbnMtfKprP+u1lDC iInBKpLT4Z6aBO/zdW/ihgamrBDKcQYFH2BVi5xC52uzFGjT2hSEL0n2EY/vz6UHLuo2a0MH Jt9Ef1kkG5kYs9L9w/hldYdJLNgqt/t3ywd3qTx8ksD+sSYjevGnhXQFlp+ZgkXiBByH18G1 6U/rrAZ5R3+6WFsY9CuhyEdp1GQJFh1O3LUJWjT1fxnh4I=
  • Ironport-hdrordr: A9a23:bv3B3aHxBFCzq5xnpLqE5ceALOsnbusQ8zAXPo5KOHhom7+j5q WTdZUgvyMc5wx8ZJhNo7G90ey7MBThHP1OjrX5X43OYOCOggLBR72Kr7GSoQEIcBefygcy79 YCT0EzMrPNMWQ=
  • Ironport-phdr: A9a23:SuNanhG3eeqDB/GlUgU+Sp1GfwdFhN3EVzX9CrIZgr5DOp6u447ld BSGo6k30RmZAc6CsqMMotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffQVFiCC+bL59I xm6sBjdu80LioZ+N6g9zQfErXRPd+lK321jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q 6VAADspL2466svrtQLeTQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms8 6tnVBnlgzoBOjUk8m/Yl9Zwgbpbrh29vRxwzIDabpyLOvR9ea3QZskVSXZEXstLVyxNHoGxY o0SBOQBJ+ZYqIz9qkMBohu/AgmsAP3gyiNVjXHzx6IxzucvGhzc0gw9GdIFrXPZrMv0NKcVV eC60rXIzS3eb/NQwjr9543IfQogofGIR75/bc3RyUw2Gg7Dk16fppDrMSmP2eQRr2iU8fBgV eS3hmM7qgx9vCWiy8Quh4TGh48bxU3J+Cd6zYs7J9C1Rk52bcC4HZdMtCyWKpd6T8AhTm11v Cs0xKALtIClcCUWxpkqwQPUZfKAc4iN+B3jVeCRLC9lhHJjebKznhKy8VW+xeLnSMa7zFVKo jBYndbSrnwN2RvT6syaRftn5Euh3iyP1w/V5+pZIk40jbLWJ4A9zrM0jJYeskTOEjXrlEj3j qKabEop9+mw5+j5eLrquoKQOop2hwz6Nqkjn9ewDOQ2MgULQmeX5/iw2KHm8ED5XLpHjuc5n 6zHv53UKskXuqu0DgFX34k45RayCiyp3dcYkHkJKl9OZQiJgJLzO17UJfD1Ffe/jEqokDds3 /3GO6fuApTJLnTalLfhc6tx51dSyAc8zN1T/Z1UCrYGIPL8Xk/+qsbUAQM+Mwyx2+rnCdN92 Z0CWW+XHKOVLKffvUWL6+8vOeWAeY4YtTTnJ/Uq5vPilXo5lkUcfamt05sXcne4HvF+LkWHY HrshdMBHnkWvgomUezqjkaPUTFWZ3moXqI84is3B56hDYfGXoythqeO0z+hHpJKfmBGFkyME XDweomaQ/sMcj6dItd9kjwYUrisU5Mu1Ra3tAPj17VnKvfU9TYDuJL41Nl14vXTmgso+Tx1C cSdyWCNQHtukmMGXT86xLp/rlBlylefzah4hORVGsBJ6PNMVgc2LJrcz+1hC9DuQQ/BZdeIS FO+Qtq8Gz0xT9Qxw8UPY0lnAdmigArDjGKWBOorlruPCYB80auU/jDJOsA1n0jH060skx8FS 41uc1W7gIZ/6QyVAYmfwH+Uj6K7SaNJ4i/K8GqfhUmH9GAQaBN2GfH7XHcba1eQjt2/xwX6U rmGCaojdA1Gn52sMKxPP+PoilFLWL/AMZz/K1qsnS/kGxePwr6QdJfsU2oY1STZTkMDllZAr j69KQEiC3L58CrlBzt0GAe3C6uN2ex3qXfgC1Qx0xnPdEp5kby85h8Sg/WYDfIVxLMN/ik7+ H1vBFjo+dXQBpKbohZ5Or1GaIYj4VBD2H7BqgpVMZmpLqQkjVkbIExsp0277xxsEc1blNQy6 nYjzQ58M6WdhU1AcDeVwYjtPJXYL2Dz+FakbKuFkkrG3oOw/aECoO89t02lvAytER869G571 tBOz3aGzpDDDQ5XVZyoF0hrqV51oLbVZiR77ITRvZF1GY+ztDKKm9cgBe9+jw2lY88aK6ScU gn7D8wdAcGqbu0sgVmgKBwebqhU8+YvMsWqeuHjuubjNft8nD+gkWVM4ZxsmkOK+S1mT+fU3 pEDi/iG1wqDXj34gR+vqMfy0YxDYDgTGCK4x02GTMZPZ6p2cJoTFGGGLMi+x9E4jJnoGjZZ+ FOlG1IayZqxYxPBJ1f53ABWyQEWuSn9wXr+n2Eyym926PbBj0msi6z4eREKO3BGXjxnhFboe s2viswCGVOvd04vnQek4kDzw+5aor5+Ji/dWxQtHWC+Imd8X6+3rrfHbdRI7cZiryRQVOmge U2cYrH4qhoelSjkGiENoVJzPyHvoZj/kxFg3SiDLXF3oWbBZMdYyhLW5diaTvlUlGlOVGxzj j/ZAUK5Nt+i8ICPlpvNheu5UnqoSpxZdSSDIZqojCKg/iUqBBS+m6v2gdj7CU0h1je90dB2V CLOpRK6Y4/x1q38P/g1NkVvAVb97YJ9FOQc2sMuhZYU1GQCm5O98n8OkGO1OtJeka7zd3sCQ zcXzsWdulC0nh0+aCvXmMSlCD2U2YN5asO/Y38K1y5YjYgCE6qS4LFe3GN0rle+sQPNcK14l zYZx+Ep7S1SiOUItQwxiySFV+pKTA8IYGq1yUvOs47tyccfLHyierWxykdkyNWoDbXZ5xpZR G68YZA6Wyl58sR4NlvIlnz18IDtPtfKPrdx/lWZlQnNi+9NJdc/jP0P0GB5OGX5sGE91ugTg hln3JX8t4+CYTYInurxEltDOzv5atlGsC/siqJTgt6L2aigG5xgHnMAW56iHpfKWHoC8P/gM QiJCjg1rHyWTKHeEQGo40Bjt3vTEpqvOiLfNDwDwN5lXhXYOF1HjVVeQmAhhpBgXFPPpoSpY AJj6zsW/FK9thZc1rciKUzkSmmG7AawNmVvFd7GfUIQtF0doR+Sa5DW7/ovTX8EuMf690rUd DTdP0MRXARrEgSFHwyxYOfovIGatbDeXq3kd7PPeenc97IYDavZg8L3lNMhpW7EN93TbCY4S aRnnBMSBzYhXJ2J/ldHAy0Py3CSM4jC/kr6omsv6ZnhuPXzBFC2vdvJUuQNd4Upo1fs2O+CL 7LC3Xkib28JitVUgyePkeZ6vhZaijkyJWP1QPJQ6GiUFvKWwugOUFYac38hbpIWqf9smFAcY 4iDzYqknr9g0qxvUgkDDwew3JrzI5RNejDYVhuPEk+PMP7uySTj5cbxbOv8TLRRiL4RrBiso XOAFFelOD2flj7vXhTpMOdWjSjdMgYM8Ie6Og1gD2TuVreEIlWyLcN3gDsqwLY1mmKCNGgSN iJ5el9MqbvY5D1Rg/F2EWhMpnR/KuzMlyGc5ujeYpEY1JkjSjxzjP5f6W8mxqF96ShFQLlxl nKXoIIw5V6hleaLx3xsVx8P4jdHiYSXvFlzbKXU8p4TPBSMtBkJ7GiWF1ELv44/Uoyp6/0Wk 4aQ0v6te1Igu5rO8MARBtbZMpeCOXslal/yHSLMSRACVXitPH3egEpUlLeT8GeUp940sMuJ+ tJGR7lFWVgyDv5fBF5iGYlIPpZwWj44iaOdpMEN7Hu66hLWQY8J2/KPHuLXGvjpJDuD2PNcY AAUxLrjMYkJHojy2kgnblcj2YqWRQzfWtdCpiAnZQgx6hYokjA2Xig43ETrbRmo6XkYGKuvn xI4vQB5ZPwk6Dbm51pfzrXiqy45kU13ktLg02n5mN/ZKa6xWcRSBXOxuRRvdJz8RAlxYEu5m kk2bF8soppeirJhcSZgjwqO4fNy
  • Ironport-sdr: 63bb1464_cYLMiD4sp+eg4r6Oe4YBKKoXpFkpFX9Q8is3rwgcjDEbUMU ooveETZGAKsvd4WbBEZ/cFK1qLoG4KHZ1LI0j8A==

[apologies for cross-postings]

==================================================

Call for Participation
FM 2023: 25th International Symposium on Formal Methods

Lübeck, Germany, March 6-10, 2023
https://fm2023.isp.uni-luebeck.de/

==================================================

==Registration==

Registration is now open (deadline early registration, 1st February, 2023)


==Program==



==Invited speakers for Main FM Conference==


-- Jeannette M. Wing, Columbia University, Data Science Institute, US:
Trustworthy AI

-- Laura Kovács, Vienna University of Technology, Institute of Logic and Computation, Austria:
Symbolic Computation in Automated Program Reasoning

-- Harald Rueß, fortiss GmbH, Germany
The Next Big Thing

==Affiliated Workshops==


-- Applications of Formal Methods and Digital Twins

-- Formal Methods Teaching Workshop (FMTea)

-- The 21st Overture Workshop (Overture)

==Affiliated Tutorials==


-- Machine Learning Guided Program Synthesis

-- Hybrid System Falsification: Fundamentals and Advanced Topics

-- Verification of Deep Neural Networks

-- Reasoning with Quantified Boolean Formulas

==Co-located Events==


-- Industry Day

-- Doctoral Symposium

-- D-Con

==================================================

--
Violet Ka I Pun / http://violet.foldr.org/







  • [Coq-Club] FM 2023 - Call for Participation, Violet Ka I Pun, 01/08/2023

Archive powered by MHonArc 2.6.19+.

Top of Page