coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] [Call for Participation] LSFA 2023 (early registration May 31)

From: "D. Ventura" <ventura AT ufg.br>
To: coq-club AT inria.fr
Subject: [Coq-Club] [Call for Participation] LSFA 2023 (early registration May 31)
Date: Tue, 30 May 2023 19:16:19 -0300
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ventura AT ufg.br; spf=Pass smtp.mailfrom=ventura AT ufg.br; spf=None smtp.helo=postmaster AT mail-ed1-f44.google.com
Ironport-data: A9a23:f9G5Ka3UlSkAfh2Ke/bD5dR1kn2cJEfYwER7XKvMYLTBsI5bp2MBm DBJXmqGPa6NZmvzeY1wPoqw8kIAsZHcmNIwHlA/3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn9g1aYDkpOs/jY8E405Kyp0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJWyHQ7PNTKRA6BIdCx817UDpM8 qE/MC9YO3hvh8ruqF66Yuxlh8BmIcWyeY1D5jdvyjbWCftgSpfGK0nIzYUAjXFg24YURaaYO 5ZxhTlHNHwsZzVRN1ELFYg3tPqmiT/1aVW0rXrM/PJsvDGDl1cZPL7Fc8HfWcfVGeJsgn2Zg HnF73qgMzQaDYnKodaC2iv02rWncTnAcIkVDfiz8uNgqEaCw3QaThwQT1qy5/ej4nNSQPpaI k0Qvyci9O08qBDtQd76UBm15nWDu3bwRua8DcVg1C6L94+F7z+TXFUvQm8aatt7k9cpEGlCO kCyo/vlAjlmsbuwQH2b96uJoT7aBcTzBT9SDcPjZVtVi+QPsL3fnTqUEYk+SP/dYsndXGCvk 2rT/UDSkp1K1ZZTv5hX62wrlN5Fm3QkZgs85wGSU278qw0lOMiqYIun7VWd5vFFRGp4crVjl Chb8yR9xLpWZX1oqMBraLtQdF1Oz6jYWAAweXY1Q/EcG82FohZPh7x47jBkP1tOOc0ZYzLva 0K7kVoPtMIPYyL2NvQpONzZ5yEWIU7IRYSNuhf8PoomX3SNXFLvENxGPx/Lgzi2zCDAb4ljZ 8zEGSpTMZrqIf0/kGDeqxY13rgsySQzrV4/triqpylLJYG2PSbPIZ9caAXmRrlgsMus/l+Jm /4BbJDi40sEAIXDjtz/q9F7waYidihlW/gbaqV/Koa+H+aRMDh7VKOMmO9wJNENcmY8vr6gw 0xRk3RwkDLX7UAr4y3TApy6QOOwBcRMvjggMDYyPF2l/XEmbMz9pO0cbpY7N/1vvuBq0fc+H bFPdtSiE8Z/bG3N2w0cSp3h861kVhCg3jyVMwSfPTMQQp9HRi7ywOHCQDfBzic0M3eIhZMMm IH4jgL/argfdjtmF/fTOa6OzUvunH0zm9BSfkrvI/sKSkDn7blsCi3Vpd00KvEqNh/s6Ga71 QGXIBFAvsjLgdY/3+fojJC+jbWCMrVBDGsDOEeD9pewFy3R3lT78L96SOzSIAzsDjLlyputd cB+7q/aMsReuH1oroAlMbJg7Zxm1uvVv7UAkzhVRiTaXW+KVIFlDGKNh/RUl6t3wbRchwu6d 2SP9vReOpSLIMnVK0EQFiV0ctW80ewopReK4cQXOEna4ApFzIiDW2hWPDiOj3VTF6sqEYUHx ex6htUaxTbigTUXM/GHrBtuyUKyElI6XZ4KiLQmEa7wqw9yylh9cZ3WUSD3x5eUauRzCEohI x7Kpa+bh71j2VbwTEMjMUf8hcx22JIE4kFMxnA/OmXTy8bkh+A27jJV4z8YXgRY9TQZ8uNRa 0xAFVx5GrWKxBhs3PN8ZmGLHxpTITGo4Wnz9gc5r3LYREyWSWD9Fm0xFuKT9kQ/8WgHXDxk0 JyH6WTiCxDGQdrQ23YsZEtbtPDTd9x92QncksSBHc7ePZ0bYyLgs5C+d1gztBrrLsMgtnLp/ dAw0r5LVpT6EioMr4kQKYqQj+0QQS/ZAl1ye6hq+adREFzMfD235yO1FHmwXcFzdtjq6k6zD vJ8Kv1fDyqe0Dm8lRFFJKouDYItotsXyosjQJ3JK1QCkYOjlRtykZeJ9iHBlG4hGNpvtsAmK 7LuTTGJE03OpH1qnl3c8chPO0ujQNw+fAan9vuEwOYIMJMise9XbkA51IWvjUiVKAdK+xG1v hvJQq3rk9xZ1oVnmrXzHpV5BwmbLc35UMKK+luRt+tiQMzuM8CUkS8osXjiYhprOIUOV+RNl biitMD92GXHtu0UV0Hbg5ywKLlb1/6tXeZ4MtPFE1cCpHGsAPTT2hok/3y0Dbdrk9kHv8mue FaeWfuKLNUQX49Q+W1RZy1gCC0iMqXQbJmxlRPl+r7IQlIY3BfcJdyqyW7xYCsJPmUUMpn5E Unvt+zo+tlcq59WCQQZA+19RaV1O0LnRbBsYuiZWeN01YV0qgjqVnreeRscBfXjD3CFFIP37 cuASESiMhu1v67MwZdStIkaUtj7yppiqbFYQ67f04ceZ/OG4KouMOoSd58cYn2RujKnz4n2P Vkhc0N7YRgQnl14ndHU/drsGA2FbgDL1hEVORRxl36ph+yK6E9szVevGuqMI5u7R9c78NyaF A==
Ironport-hdrordr: A9a23:crZz9q+YKzXnyJbgs8Vuk+DVI+orL9Y04lQ7vn2ZKCYlFfBw8v rFoB11726WtN98YhEdcLO7WZVoI0msl6KdiLN5VdyftWLdyQ6Vxe9ZnO/fKv7bdxEWNNQx6U 6tScdD4RTLY2RHsQ==
Ironport-phdr: A9a23:8pTlrh/u2MDzl/9uWd22ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Y QqEtaUm1AGBdL6YwswHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnA JYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7yeC/94fdbghLhzexbq9+I RSrpgjNq8cahpdvJak2xhbVuHVDZv5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3U bJXAjImM3so5MLwrhnMURGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5 LpsRxH1lScHLCY5/3/LhcxsgqxbpxehqAZ+w47SfYqZMPVzc6fYcd4cWGFPXNteVzZZD4yzb 4UBAekPM/tGoYbhvFYBtweyCBO2Ce/z1jNFhHn71rA63eQ7FgHG2RQtE9wAvnjOsd76O7kdU eapzKnV1zXMdf1a0ir65YjWbB8hp+2MXa9qccXL0kQvCg3FjlqKpYP+JTOYz+IAuHWU4OR8T +ygkXInqx1vrTi1wMchkovEip8Jxl7K6Sl3z4Q4KcG5RUN/YNOpEphduiCZOoZ1Qc4vTWBlt Tg1x7AapZO2cjQGxZU7yhPfafGKb4qF7gzlWe2MLzl4g3dld6i+hxa06UWgxer8Vs670FZOs CVJiMXDtncI1xDL98iHRPR98l261jaVzwzc9PtLIVs0lKXHLJ4hxLAwmYQJsUvdGC/5hFv5j LSMeko65+ik8+vnYrT6pp+cKo97kRvyMqUpmsCnG+Q4LxICX26f+eik0L3j80j5QKlSjvEsl anZqp/aKdwepqGlDA9V04Ij6xKlAzi6ytsVm2QMIlFdeB+fkYTlJ1XDLOr7APq/mVigjitny vPcMrDuDZjAKGXInq37crZn8UFczRI+zdBB6JJQDbEMOPfzVVXwtNzcFxM2LRG7z/v+BNVz2 Y4TVniDAqCeMKPVvl+I4vwgL/OQa48SvTbxM/kl5/jwgn8lgVIRY7Wl0J8NZH27HvlqOVuVb Wbvj9sbHmoHsRIyTOnwh12DVT5TaWyyX6U55jwjFoKpE4HDRpywgLybxii2BYBWZm5JClyWC njobZ2IW/EXZy2KOM9ujiQEVaS9S48mzRyiqRf2y6B7IerM5i0YqZXj2cBp6O3UjBE+7CB7D 8CA026WVGx0hWMJRzou3K9lu0B9y1GD0bJ5g/NCD9BT6elJAU8GMsvXyPU/ANTvUCrAeM2IQ RCoWIaIGzY0G5gdhZcwbkBhBs+rxFiXwSesH6IPnpSWCpNy+LiKjCu5HNp013uTjPpptFIhW MYaaTzObs9X8gHSA9SMiECFj+Owcq9a2ifR9WCFxG7IvUdCUQc2X7+WFWsHaB7wqtL0rljHU 6foEa4uZxVMz9KfMKJid9Pmy19cF7/4INqLW2uqgC+rAAqQgLaFbY7kYWIYiTvQDlQZiQk74 HiJcwIkVW+6u2yLKjtoGBr0Zl/0t+lzrHTuVkgv0wSDdFFszZKw8x8RwPGQErYdgu5CtyAmp DF5Wl262ro6EvKmoAxsNOVZaNI5uhJc0H7B8hZ6NdqmJrxjgVgXd0J2uVnv3lN5ENcIl89it 34swAdoTMDQmFpcazOV24zxMbzLOyHz+h6ocavfxlDZ1p6f5K4O7P0yr1irshuuEwIu9HBu0 t8d1HX5hN2CEgcUTY/rW24q+Rc8raubKigx6oXI1GF9ZLGuu2yK0NYoCe05jxe4Ko0HYeXUS UmoS51cW5T9TY5i00KkZR8FIu1Ioas9Psf8MuCDxLbuJuFr2jSvkWVA5ol5lEOK7St1DODSj PNni7mV2BWKUzDkgRKvqMfyzMpaaDcOA3C24TXqC8hbfOchNZZOEmqoL8Ctk59gipjxRmRR3 EOtCBUMwoX6HHjaJ0y41gpW20MNpHWhkibt1D14nQYiqa+H1TDPyeDvHPYeElZCX3IqzVLlI IzuyssfQFDtdQ8i0h2s+Uf9waFf4qV5NWjaB0lSLWD6KGRrU634sbTnAYYH9p4urThNWcyhb 1/cQKS1rxYB0izlFndT33hhL2Ds6si/xUQqzj7BZH9o5GLUY8Rx2QvS6JTHSPhd0yBHIUsww TjbC16gPsW4qNCdlpPNqOe7BCqqUpxedzWuzJvV7nPqoz03R0fnz7bvxo6Cc0ByyyLw2th0W D+dqR/9ZtOuzKGmKad9eUIuAlbg6s18E4U4k40qhZhW12JJ4/fdtXcBj2r3Ns1WnKzka39YD yAGxcLI+gHNxUNsaHiTjdGxRjCGz81tasPvKH0b3D4g9cliFambqrZe13gQwBLwvUfaZv5zm S0YwP0l5SsBgu0HjwEqyz2UHrEYGUQLdTypjRmD6Mqy6blGfGv6O6blz1JwxJryadPK6hEZQ nvyfY0uWDN9/tkqekyZy2X9s8nlYIWCNo9V70zM1U2c0K4Nb8ht3vsS2Xg5ZSSn5iZjkrBjy 0QphMDf3sDPKn0xrvznREcAbHutIZtUoGmljL4CzJjImdrzT9MxQnNTG8GwBfOwTGBN77K+a 0DXQWd68jDCSd+9VUee8Bs08C6JSsr2cSnRfD5Ak51jXEXPfRQPxllLA3Nq2MZ+TFnixdS9I h4mvXZItwK+8l0Ujbs2Unu3GmbH+FXyMmZyGMXZdUAGqFkFvhidMNTCvLgqQWcFrtv4/VbLc ivCNkxJFT1bABXaQQq4b//1v5+YtLHJY4j2Z+3HZbHEwQBHf9GPw5/nko5v/jLWc96KImEnF fownExKQXF+Hc3d3TQJUS0e0SzXPYado1+n9yt7o9rakryjUR/z5YaJF7pZMMl+sxGwj6CZM ueMhSF/YT9G35IIzHXMxfARxlkXwy1pcjCsF/wHu0uvBOrInbRLChcAdy5pHM5B7qZ50wUUf MCH1pX60bl3ivNzAFBAFBTglsyvec0WMjS9OVfAVyPpfPyNITzGxd2yYLvpE+UByrUJ8Ufo6 XDHTxyGXHzLjTTiWhGxPPsZiSiaOEYbo4ShalN3DmOlStv6axq9OdsxjDsswLRyiGmZUAxUe TV6bU5JqaWdqC1ChfAqUXJM6GZ4N+CshiiWqePCYMVz07MjEmFvmuRW7W5vgaNS9z1BTedpl TH6q9dvpxSrnrDKxGY7FhVJrTlPicSAukAoasC7vtFQHH3D+hwK92CZDR8H8sBkBtPYsKdV0 tHTlaj3JV+qFvrJ88RaDdKGcKpv31I8PxWvEiSGVWPtrBauPGDbwkFRybScqiHToZ89pZzh3 pEJT+0DPGE=
Ironport-sdr: 647675bf_JwXgYI49y0WMZA6ES/bc4DgZqfh0FGM9M0K8V8lvaM9yVKU UtiJPuREcnvdnGGRcg7Wyjzt7QQ1wlC2JcK6I8g==

18th Logical and Semantic Frameworks with Applications - LSFA 2023

1-2 July 2023

https://sites.google.com/ufg.br/lsfa2023

Affiliated to FSCD 2023, Rome, Italy

Call For Participation

(online attendance available)

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

Logical and semantic frameworks are formal languages used to

represent logics, languages and systems. These frameworks provide

foundations for the formal specification of systems and computational

languages, supporting tool development and reasoning. The LSFA

series' objective is to put together theoreticians and practitioners

to promote new techniques and results, from the theoretical side, and

feedback on the implementation and the use of such techniques and

results, from the practical side.

See lsfa-workshop.github.io/ for more information.

LSFA topics of interest include, but are not limited to:

* Automated deduction
* Applications of logical and semantic frameworks
* Computational and logical properties of semantic frameworks
* Formal semantics of languages and systems
* Implementation of logical and semantic frameworks
* Lambda and combinatory calculi
* Logical aspects of computational complexity
* Logical frameworks
* Process calculi
* Proof theory
* Semantic frameworks
* Specification languages and meta-languages
* Type theory

Invited Speakers

* Cynthia Kop (Radboud University Nijmegen, The Netherlands)

[shared session with LFMTP'23]
* Brigitte Pientka (McGill University, Canada)
* Pablo Barenbaum (UBA & UNQ, Argentina)

note: shared session with LFMTP'23 on July 2.

Accepted Papers: see https://sites.google.com/ufg.br/lsfa2023/accepted-papers

Registration (May 31 - early registration deadline)

see https://easyconferences.eu/fscd2023/registration1/

(online registration fee available)

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

[Coq-Club] [Call for Participation] LSFA 2023 (early registration May 31), D. Ventura, 05/31/2023