coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: edprocess AT dline.info
- To: Fredrik Nordvall Forsberg <fredrik.nordvall-forsberg AT strath.ac.uk>
- Cc: Agda mailing list <agda AT lists.chalmers.se>, coq-club AT inria.fr, Homotopy Type Theory <homotopytypetheory AT googlegroups.com>, CIS_types2025 AT groups.strath.ac.uk
- Subject: [Coq-Club] Second Workshop on "Next-Generation Models for Generative AI"
- Date: Mon, 02 Jun 2025 04:57:24 -0700
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=edprocess AT dline.info; spf=Pass smtp.mailfrom=edprocess AT dline.info; spf=None smtp.helo=postmaster AT sg2nlsmtp03.shr.prod.sin2.secureserver.net
- Ironport-data: A9a23:vMi9h6KbpGH3ieWxFE+RgJ4lxSXFcZb7ZxGr2PjKsXjdYENS1GEBy WEbD2nSO/aJZGP1KdBzadyxoEIGsJSEyoIxGQId+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgb7s9JIGjhMsf/b9ks15K2aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LuTX3A7bI/UhoKA65G2bdWBWheq sMCEWVYBvyDr7reLLOTUeY2gMA4KdXzZNhZoXF6iynDCvpgWpHFGePR6NRFxjori9pQEOyYY ccFAdZtRE2QOVsSYhFOU8h4xbbz7pX8W2UwRFa9qKYv+W/YwRdq+LTpMdzYPN2MS8I9ckOw/ zuZrjWhWE9LXDCZ4SKMwiqQn/GWpCPQBbtKNr2G0KJRoGTGkwT/DzVNCADi+6Tj4qKkYPpUL FVR8S4zp4Ap5UmzR5/8WQe5qTiKpHYht8F4COJg7gWWz7bMu13fHWgeCCZbb9Bgr84wH3ox2 1SUhd7yCCZxvafTT3+BnluJkd+sERYTAUFFNHFfcTUmvfqygYU6nk3wVO82RcZZkebJMT33x jmLqg03iLMSkdMH2s2HEbbv3GnESn/hEVJd2+nHYl9J+D+Vc6aeSOSVBbXz9vkaKoKCS0WZ5 CNCgMiEqvgUCp3Ljy2LGqMWEbq0/fuePSfCjEQpGZQ9n9hMx5JBVdAOiN2dDB44WirhRdMPS BKL0e+2zMIKVEZGlYctP+qM5z0ClMAM7+jNWPHOdcZpaZNsbgKB9ywGTRfPgzC9yBJzzPFua c7znSOQ4ZAyVPQPIN2eGrZ17FPX7nlWKZ77FcmqlXxLL5LONSP9pUg53KumNb1itfnZ+m05A v5QMMeDxxlOFub5Z2HM8IgcJEgNN3VTOHwFg5I/SwJ3GSI/QDtJI6aJkdsJItU594wLzbyg1 i/mBSdlJK/X3yavxfOiMCs7MOuHsFcWhS5TABHAyn75iyd5P9r/sfx3mlleVeBPydGPBMVcF 5EtE/hsyNwWFlwrIhxENcGn/r9xPg+mnxyPNCeDaT0yNcwoDQ/Q99OuOkOl+CASB2Dl/YEzs p+x5DP9GJAjfgVFCNqJSfSNy1jqg2MRttgvVGT1I/5SWn7Wzq5UFwLLgMQaGfo8cSf4+mPC1 iK9Iwspmu3WkopkrPjLnf+lqqmqIctfH21bPWrRwrKrBxKH5mCm85FhUfmJTx/ZRmjb6KWvX sQL7vDeYdksvkdGjJp4KJlvlZkB3trIo6RL6DhkEFHgTUWZOpk5LlaohcBw57BwnJlHsg6Ia 2ez09h9O4TRHvj6EVQUdTEXXs7a2d46wjDtvOkIemPk7ypK/Z2CY0VYHz+IrAd/dLJVEocU8 d0Nif4syT6Uq0QVa46dryVu6W6zAGQKUPwnurEkEYbbsFcX5W8YU6PMKB3dwc+pUMpNAHkIM zXPpavlhpZg/GTgXUc3N0Dw2bt6ucxTljFMlEQPNnaYqOrj3/UX5iBcwR4zbwZSzyhE7d5NB 3hWBxV1C5mjrzZMr+pfbl+oADBEVUG4+FSu6l4nl1/5bkiPV07fHn8fJOyt2lwV00tDWykG7 ri46XvucRT0TuqszCINBV9BrdrnfIdP5z/yvsSsGfaBFJhnfAjVu66KTkgLoivBHskeqhDmp +5r3eAocoz9F3cajJMaArmg94Y7aU67Nl0ZZMp+7YU1HW34UxOj6wikckyeVJtEGK3XzBWeF cdrGPNqaz2/8yS/9hYgGq8GJu5Prs4DvdYtVOviGj8bjuG5sDFsjZP38xr+jk8NR/FFs540C qHVRgK4Pl2gv1lmsE6Tk5AcIUu9W8cOWyPk1uPs8OkpKYMKgNsxTW4MiImLr1enGyo52SmLv THzRb7clM1j7oVOo7HCMIt+AyeMFNeic9jQrS6StYxVYMLtIPX+kVofimPaMjR8OZoTXNVKl oqxjuPn4XOdgpEIVzH2pprQMYhI+sS4Y8RPOO3VMnRxvHWPSe3s0TQ56kG6Lp17v8NF7MyaW gKHNc66ZP8OetJn3HYOQTNvIxUcLKXWb6nbuiK2qcqXOCUdyQDqKNCG92fjSGNmKh8zJJz1D zHrt8aU5tx3qJpGADkGDapEB6BUDUDCW6x8UfHMrhidU3eVh22dtovYlRYP7S/BDl+GGp3Y5 bPHXh3PSwSgiprXzd12s51AgTNPNSxT2dIPR0M6/8J6rxuYD2RcdOQUDsggO6Fuyyf30Mn1W SHJYG4cEh7CZDVjcyjnwdHdTwyaV/0vOND4G2QTxHmqSRyKXaGOPLgw0R1bwSZGSmO2hqXvY 9QT4Wb5MRWN04lkD7RbrOCyheB8gOjW3DQU8ET6iNb/GAsaHa5M7nF6AQ5RTmbSJqkhTqkQy bQdHgiogX1XSHId1e57dCRTHAocoCu3lHMzbT3J2MzYt8OAzesajubyMPzp36YOdtoHPvgIS G+fq65hJYyJ8iR7hEfrk4tBbWxI5TajEsy7KqKlRAscmMlcL0w5atgak3NnoN4KoWZi/pC0q tVoy3Q6BUKIbkFX1rr+JcDlPX5ueipkMgwlRzITadMLfdLVAjQZl9WXINrHFKzN
- Ironport-hdrordr: A9a23:fcEOPaunWdd1BI9bbAM4W+H77skDitV00zEX/kB9WHVpmwKj5q OTdZMgpGTJYVcqKQkdcL+7VpVoLUm8yXcx2/h1AV7AZmbbUQmTXedfBOLZqlWKdxEWtNQtsZ uIGJIOauEYY2IbsS+32njeLz4EqOP3itHU9JuusAYScelIA5sQnzuQk2ygeHGeZzM2cabQL/ Knl7t6T+TMQxkqhpTSPAh9YwDwz+e7564PV3Y9dmwaAD7nt0Lc1ILH
- Ironport-phdr: A9a23:gmqIjhxqq2G8qpPXCzKMxVBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z xeZva0m1wSTDc2bs6sC17GM9fi4GCQp2tWojjMrSN92a1c9k8IYnggtUoauKHbQC7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I Ri4owjdrNUajZdtJqs/xBbFvHhFcPlSyW90OF6fhRnx68mu8JJ57yhcp/ct/NNcXKvneKg1U bNXADM6Pm4v48HlqQfNRhaV6HsGVWUWnBtIAwzb4xz/Q5z8rCj0uPdj1SeDJcH5Qqw6Vjqk7 6dwVR/nkzwHOCIj8GHWkcN/kqRWqw+8qhNlwo7UZIaVNOdifq7YYNgXS3ZNUtpXWidcGY63c ZcBAPQdMuZZt4n9pkUBrR2iBQm3GejjziZEimLq0aEm1ugsFxzN0g49ENIUqHnbo9v7OqcMX +2r0afHzzvDYP1V1zby9IfGfQssoe2PULJybcbd1VMiGgHDg16NqYLlJTSV1uEVvmeF8uVgT fivi2k7pA5vuTiv3dwhhZTNhoIUzFDL6z91wIczJd22T052Z8OvH5RMuS+ALYR2Xt8iTH9yu CY80rAKpJG1cSkFxpk5xBPRZeKKf5WI7BztSuufLip0iXF7dLyxiRi+7UeuxOL4W8e70ltHs CtIn93Iu30D1xLe5daKR/1g9Umv3jaP0hrc6uBCIU0sjqrbLIIuwr83lpYJtkTDBCD2lF/rj K+VcEgv5+um6/z/b7n7pZKQKZV4hwHiPqg0h8CyD/o0PhITU2Wf9+mwzKDv8VD6TblQk/E7n K3UvIrHKckYuKK1GRFZ3pst5hu5EjyrztAYnWQcLFJZZh2HlZXnO1DPIf/mFfqzn1Khmypxy f/cJL3uGJDNI2DDkLj/ebZ97FZRyBE8zdxB4ZJUDqoBIPfvWk/pqNDVAAU1Mxe0w+b9Etl9z pkeWWWSDaODK6PSsFmI6vw1L+mXeoAapCv9K+I76P71k3A5g0Edcrez3ZcNbnC3AOhmL12YY XrqnNgBDX8Hshc9QeD0klGPUSJfa2yvU68y+D03Ep+qAIPNS4y1hbyOxia7HplYZmBcDVCMF G/leJuZVPcUciKSJdNunSIfVbi6UIIuyBWutA78y7V5NObU+ysYtZzk1NRt4e3cjgk99SZoA MSFz2GNU2Z0k3sVSzMuxqBwvVR9ykuf0ah/m/FXCdtT5+pQXggmMZ7c0vd1BsvpWgPBe9eJU EypTs+nATE3VNIxwsUBb1xzG9W43Vj/2H+EGbIZjb2ITLoz6K7C1nz1b+h60W3M2bMuxw0oW MZDL2ylwKh47QTNDorN1kuejb2geL4T9DXR7m6fzSyHtwdFU1gjf7/CWCUSalPMqt/0/VjqQ 7uvD7lhMw1Pzp3RYpBWY8Hk2A0VDMzoP87TNifowz/Y7Xegw7qNaNGvYGABxGDGD1BClQkP/ HGAPAx4ByG7omuYAiY9XUn3bRbK9u9z4Gi+Uldy1xuDOkBtz6Cy8RMOntSQT/IV0/QFvikm+ H1vBFjo59vNEJKbohZ5OqBVYNcz+lBCgG/VrxZ6NZG7NIhugl8YfkJ2uU3phF1sEosVt88so TsxyRZqb6KV1FQUbzSDwZX5IaHaMEHp80qpb7XTxkmGi5CN+r1J8O4/pxP4vQfzUFEv+Gh93 sJYyWWR/NPMARZ6vYvZdEEx+lA6orjbZnJ4/IbIzTh3NrHytDbe2tUvDe9jyxC6ft4ZPrnWX An1W9YXAcSjMolI0xCgcw4EMeZO9aU1I9Ludv2I37SuNfphmzTuhHpO4YR02EaBvyRmTeuA0 5EAyvCelgyJMlW0xFqtqtrwko1ffhkeGmu5xG7lAoBWJ+VzcYsNFWayMpiv3Nwtz5XpWnNe6 BuiHwZfiJXvJELUNgenm1QBjhdywzTvgyazwj1qnit8q6Oe2HeL2OH+bF8cPXYNQmB+jFDqK IzyjtYAXUHuYRJ68XntrUv82aVfo7xyamfJRkIdNSX6N3tlWaarrZKOZ89J5dUptytQGrfZA xjSWvvmrh0W3jm2VWZS3Co8fDyxob31mx18hSScKnh05im8G4k41VLU49rSQuRU1zwNSXxji DXZMVO7OsGg4dSek5qrXvmWb2u6TdUTdCDqydjFry6n/ShxBgX5mfmvm9rhGAx80Cnh1tAsW z+a5Br7Z4Dq0ey9P4cFNgFlCEfm7MF3AZpWno8xgpxW2H4Ugd2Z8GEGnmH6LdhAkfuuNjxQH XhSmISTuVm+kER4ZmqE3Yf4SmmQzq4DL5Ghb2Ua1zh8p8FGBaGI7aBVyC58o162twXUMrB2m jYQz+dr6WZP2rFT/ld1iHzGWPZLTBILWE6k3w6F5N2/sqhNMWOmcLzrkVF7gcjkF7aa5AdVR Hf+fJ4mWy529MR2dlzWgxiRosnpfsfdadULu1iaiRDF2qJYJIorkfEHnjFPNWb8u3Bjyug1i lY9uPPy9JjCMGhr8K+jV1RVOiXvYMge4SrFgaJfmMvQ3oahGd8yf1dDFIutRvWuHjUIsP3hP AvbCzwwpECQHr/HFBOe4kNr/DrfVoqmPHaNKDwF3M1vEVODcVdHjlleD1BY1tYpUxqnz8v7f AJl6yANsxTm/wBUxLsgNgGjADaA4lj0LG5vFd7Ha0AKpgBauxWKa4rHsL01RXoIuMXm9lDoS CTTZhwUXz5THBXaWBa5ZeXovZ6ar6CZHrbscKGIOOvR77YHB7HQgsjzmop+o2TSZoPWYSkkV aBhnBIEBywceYyRmi1TGXJH0XuSP4jB/Uz6omot8oi+6Ki5Aluxo9XeTeIJYJM3vErqyaaba 7zK3HY/cG4JkMNUgyePkuR6vhZaijkyJWj3V+5Y6WidFeSI3fULRx8DN3EqZZsOsPt6hFMRf 5ac04K916Yk3KdlVxEcCwynwJv1I5RNeT3YVhuPBV7XZu3WeXuSnZGxO/vkD+UX1rkctgXs6 2/LTwm6YGTFzmKwEUjoa70p7mnTPQQC6tjtLlA0VzilFYi2LEX8aoM/jCVqk+xuwCmSaShCb H4kNBkd5ryIsXEB0q85RjQHtyE/a7HDwXr8jaGQK45K46I0WWIuz7scuSVgjeMStnoMReQpy nSI6Icw/Bf/zLnJkn09DFJPsmoZ1djN5x0+f/qAsMEHAyqhnlpF7H3MWU1R/Z08Vo2p4voMj ICIzv67KS8eoY2Ou5JCWI6Nd5jBaD17bVLoAGKGVVtVC2fxbCeC3QoF16vOkx/d5pki9sq1y MpIE+UCEgFuUKtdUBgtHcRecsotGGN11+DGypdTvzK/tEWDGZkc5MmbEKjIW7OwdlP7xfFFf 0danO++dNRPcN2hnRI/IlhiwNaXQQyKA5YU/HEnN1J8oV0RoiYuCDRsiwS8OlrruDhJSZvW1 lY3klcsPLxrqmyqsxFvYQCQ7CoozBtrwYWj2GjANmegcOHoGtsKbki8/0k3OZfmTwsndhW82 1R+MyvJTK5QiL0mcn13jAjbut1EHvsUCKRAZFV4Kei/QfIu3BwcryymwRQC/u7ZEd55kxNsd 5ewrnVG0gYlbdgvJKWWKrAbhl5XzrmDuCOlzIVTiEcXOloN/WWOeSUJpF1AN78oIDCt9/Bt7 grKkiVKeWwFXf4n6vxw8UZ1N+OFxiPmm7lNTyL5f/SYNL+csnPcmNSgWVxq0EcTklVdpeMwy sc5NVKOUExp17qXTVISOMHfMwxOYtBM+WKVeyuS8ICvidp0M4i7CuH0XLqOuaIT0QqvGAckG ZhJ79xUR8n2lhyAa568dvhcmE5+gWajbE+IB/lIZh+RxTIOosXkiYRywZEYPTYFR2N0LSSw4 L/T4A4smvuKGtksMRJ4FsMJMGw7XMqilmtXpXNFWXO63voDzwOP9CTUqiDRCjS6btxtY73HA HEkQMHz4jg5/6Ws3BTP9Y7CImjhKdl4ksTAs+UevJObE6sPC6J9qQHEgY5UAWerVTSJCtO+O oL9cIQ2c9HuTHC3Thbs7lB9B9e0N9GrIK+ShAjuTosBq4iX0gcoMsqlHy0fERN9zwnszK54Z AsOJZs9bxm67mzW0oSzJAae35OvRWiqe2M+pxh31urgYbhMyjY0NrT803s6CIkgyOXx6k8LH tcRgxrD3/u4apNAXDK1HHFBKV2nmA==
- Ironport-sdr: 683d91ed_lzHKPtadnNp8e4VdwAJfhY+MXmpPT4QRM3d2OWfJ+TDCB3j hE+y81J6O/fRrG1XuYDQMMxMt5/g2QiZ1tT9ypQ==
CALL FOR PAPERS
Second Workshop on "Next-Generation Models for Generative AI"
(In conjunction with the Fifth International Conference on Digital Data Processing 2025-IEEE)
University of Bedfordshire, Luton. UK
August 18-20, 2025
(IEEE CPS will publish the proceedings, and papers should follow the IEEE template)
AI models use billions of parameters to detect and retrieve text and images. The currently available LL models are being tested for efficiency, while newer models are also being developed. There are many challenges associated with generative AI. The pre-training volume and efficiency are a focus. To leverage the training set with comprehensiveness and accuracy, billions of parameters are injected into the LLM. Current GPTs face criticism, and governments are cautious about their use.
The agenda for the future of Generative AI needs to be clarified. Improved generative tools should be capable of characterising extremist narratives in corpora to reveal different contexts, which may lead to building semantic-rich content for end-users. Evaluating the current models and their outcomes may inform future research. Considering these issues, we organised a workshop to address the theme of next-generation models. The workshop themes include, but are not limited to, the following.
Text, Image, Code, Video, 3D models
Domain-specific models
Impact of Generative AI on Teaching and Learning
Knowledge and Semantic Issues in Generative AI
Future LLM
AI Ethical Issues
AI and NLP
Embedding in AI
Reinforcement learning
Data Support and Datasets in AI
Standards and Benchmarks
Compositional generative models
Workshop Chairs
Gloria Tengyue Li
North China University of Technology
Beijing
China
Simon Fong
University of Macau
Macau
Hathairat Ketmaneechairat
King Mongkut’s University of Technology
North Bangkok, Thailand
Important Dates
Submission of Papers: June 20, 2025
Notification of Acceptance/Rejection: July 15, 2025
Camera-ready: August 10, 2025
Registration: August 10, 2025
Conference Dates: August 18-20, 2025
Post-Conference Proceedings Release: November 30, 2025
Paper Submission: http://socio.org.uk/ddp/paper-submission
Contact: ddp AT socio.org.uk
- [Coq-Club] Second Workshop on "Next-Generation Models for Generative AI", edprocess, 06/02/2025
Archive powered by MHonArc 2.6.19+.