coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Final CfP: Logical and Semantic Frameworks with Applications (LSFA 2023) [extended deadlines]
Chronological Thread
- From: "D. Ventura" <ventura AT ufg.br>
- To: cl-isabelle-users AT lists.cam.ac.uk, rewriting AT ens-lyon.fr, ProofTheory AT lists.bath.ac.uk, appsem AT lists.tcs.ifi.lmu.de, coq-club AT inria.fr, caml-list AT inria.fr, clap AT groupes.renater.fr
- Subject: [Coq-Club] Final CfP: Logical and Semantic Frameworks with Applications (LSFA 2023) [extended deadlines]
- Date: Sat, 22 Apr 2023 18:07:33 -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-ej1-f50.google.com
- Ironport-data: A9a23:Gi5cRqi9iYd3SoTgAm8itGf8X161aRQKZh0ujC45NGQN5FlHY01je htvXj+GOfyLN2ejKt8lOd7k/UIP6JDRzYJiSARkpHgzECxjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYpdDNFg06/gEk35q+q5GlC5gdWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGLhoyD6wl0MtOO2hz8 MMaEhAvVwKDrrfjqF67YrEEasULKcDqOMYSuCglw2yBS/khRp/HTuPB4towMDUY3JgfW6aDI ZBAOXwyNHwsYDUXUrsTIIwzmvu1nHDXbjNX7liPzUYyyzGLkFcpgeSwa7I5fPTaTsBMk0m7l 1vd2ELUMh0RaOWg8gSapyfEaujnxHunAur+DoaQ/flzxVaX22Y7EwwTTVL9oP+ji0f4Vcg3F qAP0i8nrKx3+U7yC9egB1u3p3mLuhNaUN1VewEn1O2T4oiP5zS4O0IpdwRIVdkZtvUWZwU41 nbcyrsFGgdTmLGSTHuc8JKdojWzJTUZIAc+icksHVptDz7L8NFbs/7fcjpwOPXq0YCtSFkc1 xjP/Xdu3exC5SIe//zjpQivvt66mnTeoucICuj/W2uk6kZ0ZtfgadHwr1fc6vlEIcCSSVzpU Jk4dyq2vL1m4XKlznTlrAAx8FeBuavt3Nr03wUHInXZ327xk0NPhKgJiN2EGG9nM9wfZRjia 1LJtAVa6fd7ZSX6N/YnM9jrVptynMAM8OgJsNiEP7KihbAhJGe6EN1GOCZ8Iki3wRNyyfFlU XtlWZrwUi5y5VtbIMqeHr9Bi9fHNwgxwmTcQZ2T8vhU+ev2WZJhcp9caAHmRrlhssus+VyJm /4CaZbi40gACIXWPHOLmaZNdgtiBSZgVfjLRzl/LLHrzvxOQzF/VZc8ANoJJ+RYokiivryXp i/mBBcClwqXaL+uAVziV02PoYjHBf5XxU/X9wR1Vbpx8yh8OdSc/+0EeoEpfLIq0uVmwLQmB 7MGYsiMSLAHADjO5z1XP9G3oZ1AZSabo1uEHxOkRzwjIL9mZQjCoeH/ciXVqSIhMyuQtOkFm YOG6D/1e5Q4aj5ZPJ7kU873l1KVlloBqd12RHrNc4Vyel2z0Y1EKB7Rr/4QIuNVGxDI2wqc9 geyKjUbrNnrvIUa3oToh6eFjoHxCMp4PBNQMFf65IaMFxvx3zSc064Zd8jQZhHbdmf/2Jv6V NVv1/umbcE2xgdbgbRzA5NA7PwY5eK2g5R40w49PnHAT2rzO4NaOnPcgPV+7Pxc9IR45zmzd FmEoORBGLOzP8jgLl4dCSwlYsmH1tAWgjPi1us0Emqr+B5I+Ke7bmsKMymukCB9KJ5HALEhy 8olu+8U7FWxsQp1E9CkiisPyX+AAEZdWIoat7YbIrTRtCwV9n94b6fxNArK8bCUStAVMkAVM j6e36XDoLJHx3v9SXk4FFmT/O8EhZ0xpwx481gSA2u4w//u2/k9hkxX+xsKUzUPnwlm0v1yC EdvJUZaNaWDxBY2pclhDkSHORBNOw2dwWP1k2A2rWz+S1K6c0D8N0g/BLq9x18Y+GdiYTRrx rGU52L7WzLMfsuq/C8NdWN6iv7kF/pdyxbjnZ25IsG7AJUKWzrprauwb24uqRG8I8cQhlXCl NZ67tRLdqz3Gi4BkZIVU7DA++wrdymFA2heTdVK3qADRzjccQ7v/wm+ERm6f8cVKsHa9UO9N ddVGftOcBaAhQKutTEQAJAeL4BkxMAJ4MUwQZK1BGoknYbGkB9XnsP+yizMilUvYe1SqucmC 4aIdzu9Am2a3nRVvGnWrfh7AGmzYPhaRQvC2dKkreQCFrMYkeRWaUpp+KCFj3aUFwpG/hyvo wLIYZHN/dFi0YhBm4jNEL1JIgeJdePIS+WD9T6sv+R0bd/gNdnEsyUXoALFOzt6EKQwWdMts 5iwq//ygV34uYgpX1Djm5WuE7dD4eOwVrF1NuP1NHxrojuQavTz4hcs+3GKFrIRqYlzvvKYf gqfbNe8UfU3WN0HnX1cVHV4IiYnUq/yav/tmDO5o/GyESMi6A3gLu32xU+xOCsfPmUNNoblA wD5h+e265oK5M5QDRsDHLd9D4U+PFbnXrA8esbssSWDSFOlmU6GpqCogC9IBesn0ZVYOJ2SD VP5qhnCmNCavajJyJRUsdU3sEBPSnl6huY0cwQW/NseZ/VWyoIZBbx1DHnEIsg8fu/OOFXQe T/CKmE4Yck4dSoRag3yubwPQS/GbtHj+b7FyvgB4k2bLS2sbG9F7H2N6Q84i0pLlvDfIC1L5 D3QFrAc/vR8/32xedsu2w==
- Ironport-hdrordr: A9a23:BtP/IqERZq8zeMpTpLqE5ceALOsnbusQ8zAXPiFKOHtom6mj/f xG885rtiMc5AxwZJhCo7G90cu7MBHhHPdOiOF7AV7IZniChILHFvAH0WIg+VHd8u/Fm9K1GZ 0OT0G2MrPNMWQ=
- Ironport-phdr: A9a23:u9qkfh9EaXz91v9uWY60ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Y QqEvasm1QKXFazgqNt6yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/6y9pHJbQhEmDuwbbxvI Bi2rAjaq9Ubj5ZlJqstxRTFpWdFdf5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0V bNXAigoPGAz/83rqALMTRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+4 6ptVRTnjzoJNyMi8GHPlMN/kL5brhympxx62YHUYYeVP+d6cq7Sed4WQGxMVdtTWSNcGIOxd 4QAAeoPM+hbsofzuUcBoACkCgWwHu7i0CNEimP00KA8zu8vERvG3AslH98Wvnjaos/5P7odX u+ryqnI0SjDb+lM1jvz9YPFdQ4hru+KXbJsbMrR01MgGhjYjlWepozpJSia1v4UvmWd8uFvW v6hhXQ9pAFtvjig2N0sio/Ri48WyV3I6CR0zYY3KNGmS0N2bt6qHZpfuiyVOIZ7XsIvT39nt ig017ELuJ62cDYKxpg5xhPSa/KJfpaG7x7/W+icJypzinxieLK6nRmy8E6gx/XzVsmz11ZKo S5FncfWun8R0BzT79CLSuZz/keuwzqAzBrT5vlaLk8ujqraK4Iuwrk2lpodr0vDBDH5mEPqg 6CIbUUo4Pan6/n/brXpp5+cK490ihzlPag0m8y/Bvw0PRYUUGiA+eWzyL3j8lf4QLVQlPE2l bPZsJ/CKcQBu661GQlV0oI75xa7ATem1cgYnWEdIF5ffxKHlYfpN0nLIP/kAve/glCskDNxy //aJLLtGpHNLnbGkLf9ZbZx8UlcyBA8zdxH+pJUEqsNIOrvWkPpqdzYCAQ2PxavzOb9ENl91 pkRWWSOAqCHNKPdqkWH5vg0LOmLf48aoizxJOQi5/7rlXM2hUUSfbKz0ZQLaXG0BulpLFmDb XrxmdgOC30GsRAkTODylV2CSiZTa2ypUKIm/j07FYamDYbdSYCinrONxjy0EYNOamBbDFCDC 3Loe5+BW/YDcC6SJs5hkicdWbilUYAuzguitAHgy7Z/LurV9DcUuoj/29Rv+u3Tlgk+9T1uD 8Sc3WGBVW90nnkQSz8036B/vFZxxU2f0aRgnvxYE91T5+5UXQsgNJ7c0/R2C83sWgLdZNuJU lGmTs2nAT4tVN4+2cMBb1xgG9WhlhzDwiyqDKMPm7OVGZM077jQ0GLrJ8pl1nbG0qghj0MhQ stKL2KriLRz9wnPB4LRjUWZirymdaIY3CLV6WeDzG2OvU9CXwJqT6rKQG0fa03Lptr6/kPPV 6GiBagjPwdbysOPKrFGZsP0gVhFXvvuOMjSbmSskGmqHxmI3KmDbI/ydmUdwirdDE8EnhgW/ XmcNAg+Aj6trHzcDDBzDF7vbUPh/fVkpHO0SU80yA6Kb0l/2Lav5hEVgvmcR+sS3rICpight y15EEih09/SEdaNpApscL9Cbd8g41pLz2LUuxBlMpylNa9ih1oecwptv0Pp0hV6EptAntYsr HM20QpyM7iX3UhcdzOW0pD8IKbYKnPq8BCpcKHZwkve38qO+qcT9PQ4rE3usByxGko473pny 8VV02eb5pjSEAUSVovxXl8r+Bh+urHVeTIw55jU1H1pKam7qCXO29MvBOs/yxavZc1TMK2eF Fy6L8pPDMzrKfcjkVWtah9BIftf7rUcO8K9a+DA06eueu9r2i+lySxd7Z9n016N8SVUR+jTm pIUxPfe0BHDHw/mi1CvjsD6nppVTTUTBXakjyLtGI4Xb6Y0YIVPQW62O9a6w/16hoXxQDhE/ 0XlBl0HnsusZFyeYhi11gpJkE8TvHaPmC2izjUynStt5qGW2SiLx+X5aDIGPHRKTS9slxOkK oy9l/gVRk+1dwUy0gGo40/myrIdqr4sAXPURBICU26+EWxkTraqv/DKN9BC7o81qyx/TeqzJ 1qAHO2u6yAG2j/uSjMNjAswcCun78mo9/QboGeULXIp6WHcZdk13xDUotrVWf9W2DMCAih+k zjeQFambJGy5dvBsZDFv6ilUn65EIVJeHz1wIWcqTGyzXBkDlu1haP7gcXpRDAzyjSzzNx2T WPNpRf4bJPs0vGkPOR7Y1NhLELy5IxwANI2iZM+0bcX33VSnZCJ5TwHnGP0ZM1cwr77ZWERS CQjxtfU5E3o2hQmIC/RgY3+UXqZz41qYNzSjno+/CU74ogKDa6V6OYBhi5puh+iqgmXZ/Fhn zAbwP9o6XgAguhPthB/hiOaSqsfG0VVJ0mO31yB8sy+oaNLZW2uban41UxwmsqkBa2DpQcUU Wjwe5MrFyt9pstlN1eE3Hr244DiMN7eCLBb/gOZlQvdleF9NZw+0PAQxGJmNW/7oXw52rsjl xU9lZq+vYWBNyBs5PfjWk8eZmCzPZpDvGy13sM81o6M0ouiH4tsAGAOVZrsF7ezFS4K8O7gP ECIGSE9rXGSHfzeGxWe4QFotSGqcdjjOneJKX0e1dgnSgOaIRkVng0SQCggl7YkGA/sztarI w9poysc4FL1sE4G1O9uKwTlW0/CqgjuYC1+G/39ZFJGqwpF4UnSK8mX6Ol+SjpZ8pOWpwuIM mWHZg5MAAnlQ2S8Dkv4dvmr7NjEqa2DA/amauHJavOIoPBfUPGBwdSu1JFn9nCCLJfHMn5nB vw9kk1NOBIxU9rUnSkSUSU/iizCKcSB7Bux4Sx4qMmj/e+jAlq+o9vSTeELYZMyo1i/mu+bO vSVhTplJDoQzZ4KyXLSid19lBYThyxoazixAOEFvC/JQrjXn/wfBBoaZiVvccpQuvhkj08dZ IiB04Ozi+Yr65x9Q01IXlHghMyzMMkDImXncUjCGF7OLrONYzvC38DwZ6q4D7xWluRd8ROq6 lP5WwfuOCqOkz7xWlWhK+ZJ2WuFMRpCpZu0WgtjBi7pVpi1Ig3+K9JxgTAslPcqi3XWKHQVG SVyfAVHtPfDiEEQyuU6EGtH4H1/KOCCkCvM9OjUJKEdtv5zCzh1neZXszwqjqFY5yZeSLlpi TPf+5Rw9kq+nLDFmV8FGFJe7yxGj4WRsQB+NLXFo9NeDG3c8ktF7H3MWU9X4YI0Upu15/8Wk p+VyOryMGsQrY6Sp5BHQZGKcITfdyNwVHihUD/MUFlbE3jybTuZ3woF16vKvnyN8spk9N62x MtIGucdDBtvTrsbEhg3Q4ZEecsxB2J+1+bc1Z5thzL2rQGNFpoG+MmdC7TKR62ocWjRjKEYN UJQkfWhcttVZsujnBY7IlhiwNaTRBGWBIER5HUnNkht/iAvuDB/VjFhgRq0LFPwpiZJRbjs2 UdpwgpmPbZ3rWmqvgdxfwuQ4nN3yRh5mM2502rILnird/b2BtsQU22t5i1TetvtSgJxJ2Veh GRCMzHJD/JUhrpkLyVwjRPE/IFIErhaRLFFZxkZwbeWYe8p2BJSsHfvw0gP/ubDBZZ48WliO Zexs3JN3R5iZ98pNOTRIqRO1F1ZmqOJuGehyOkwxAYUI0tF/nmVfWYEv0kBN79uICTNnKQk8 QuZhz5KY3QBTdIvq/Nus04/YqGOknqm3LlEJUS8ceeYKuLRumTNk9KJXkJl1k4MkBogn/A+2 sMifkyIEkE3meHJRlJZaIyYcFETMpIBkRqbNTyDuujM359vaoC0F+SyCPSLqL5RmEWvWgAgA 4UL6M0FWJiqykDRa8n9f9tngV0g4hrmIFKdAbFHYhWOxX0Zrsej0YV+9ZRTKXcXGy8uVEf/r qaSvQIsjPeZCZ0uZWwGW4IfKn8scMizmiocsnYZSTfqiqQWzw+N6zK6rSPVRmqZDZIrdLKfY hViD8uz8DM0/v2tiFLZxZ7ZInnzKdVovtKnAQIyop+GD7ZZT+A4vRqE3YZfQHOuXijEFtvnf /AYhKExY9OyAGzoCzRXbhooQci3Nsz/dsC1
- Ironport-sdr: 64444ca2_pWtWIDqScpa22CS166cnJtbPIL5y5Cq07em083cyqChr9+i mprLpreV8+ty/lXZQoo3QgdpPxiK6NvwNTUMUMg==
===================================================================
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
Final Call For Papers
===================================================================
Logical and semantic frameworks are formal languages used to
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
Final Call For Papers
===================================================================
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
Submissions
Contributions should be written in English and submitted as full
Sandra Alves (Universidade de Porto, Portugal)
Carlos Areces (Universidad Nacional de Cordoba, Argentina)
Mauricio Ayala-Rincón (Universidade de Brasília, Brazil)
Haniel Barbosa (Universidade Federal de Minas Gerais, Brazil)
Eduardo Bonelli (Stevens University, US)
David Cerna (Czech Academy of Sciences Institute of Computer Science)
Alejandro Diaz-Caro (UNQ & ICC CONICET-UBA, Argentina)
Marcelo Finger (Universidade de São Paulo, Brazil)
Pascal Fontaine (University of Liege, Belgium)
Lourdes del Carmen González Huesca (UNAM, Mexico)
Giulio Guerrieri (Aix-Marseille Université, France)
Fairouz Kamareddine (Heriot-Watt University, UK)
Delia Kesner (Université Paris Cité, France)
Temur Kutsia (Johannes Kepler University Linz, Austria) - Co-Chair
Marina Lenisa (Università di Udine, Italy)
Mircea Marin (West University of Timisoara, Romania)
Mariano Moscato (NASA, US)
Daniele Nantes-Sobrinho (Imperial College London, UK)
Miguel Pagano (Universidad Nacional de Córdoba, Argentina)
Valeria de Paiva (Topos Institute, Berkeley, US)
Cleo Pau (Johannes Kepler University Linz, Austria)
Elaine Pimentel (University College London, UK)
Paolo Pistone (Università Roma Tre, Italy)
Femke van Raamsdonk (Vrije Universiteit Amsterdam, The Netherlands)
Andrew Reynolds (University of Iowa, US)
Wolfgang Schreiner (Johannes Kepler University Linz, Austria)
Daniel Ventura (Universidade Federal de Goiás, Brazil) - Co-Chair
Organisers
Daniele Nantes-Sobrinho (Imperial College London, UK)
David Cerna (Czech Academy of Sciences Institute of Computer Science)
=====================================================================
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
Submissions
Contributions should be written in English and submitted as full
papers (with a maximum of 16 pages) or as short papers (with a
maximum of 6 pages). They must be unpublished and not submitted
simultaneously for publication elsewhere. The papers should be
prepared in LaTeX using the EPTCS style. The submission should be
in the form of a PDF file uploaded to Easychair:
https://easychair.org/conferences/?conf=lsfa2023
The pre-proceedings, containing the reviewed papers, will be
https://easychair.org/conferences/?conf=lsfa2023
The pre-proceedings, containing the reviewed papers, will be
available on the conference webpage by the time of the event.
After the meeting, the authors will be invited to submit full
versions of their works for the post-proceedings publication in
EPTCS (TBC). At least one of the authors of each submission must
register for the conference. Presentations should be in English.
According to the submissions' quality, the chairs will promote the
further publication of journal revised versions of the papers.
Previous LSFA Special Issues have been published in journals such
as The Logical J. of the IGPL, Theoretical Computer Science and
Mathematical Structures in Computer Sciences (see the LSFA page
https://lsfa-workshop.github.io/).
Important dates (extended deadlines)
* Abstract:April 22 April 29 (AoE)
According to the submissions' quality, the chairs will promote the
further publication of journal revised versions of the papers.
Previous LSFA Special Issues have been published in journals such
as The Logical J. of the IGPL, Theoretical Computer Science and
Mathematical Structures in Computer Sciences (see the LSFA page
https://lsfa-workshop.github.io/).
Important dates (extended deadlines)
* Abstract:
* Submission: April 29 May 8 (AoE)
* Notification: May 27
* Preliminary proceedings version due: June 10
* Submission for final proceedings: TBC
* Final version: TBC
Invited Speakers
* Cynthia Kop (Radboud University Nijmegen, The Netherlands)
* Preliminary proceedings version due: June 10
* Submission for final proceedings: TBC
* Final version: TBC
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.
Program Committee
* Brigitte Pientka (McGill University, Canada)
* Pablo Barenbaum (UBA & UNQ, Argentina)
note: shared session with LFMTP'23 on July 2.
Program Committee
Sandra Alves (Universidade de Porto, Portugal)
Carlos Areces (Universidad Nacional de Cordoba, Argentina)
Mauricio Ayala-Rincón (Universidade de Brasília, Brazil)
Haniel Barbosa (Universidade Federal de Minas Gerais, Brazil)
Eduardo Bonelli (Stevens University, US)
David Cerna (Czech Academy of Sciences Institute of Computer Science)
Alejandro Diaz-Caro (UNQ & ICC CONICET-UBA, Argentina)
Marcelo Finger (Universidade de São Paulo, Brazil)
Pascal Fontaine (University of Liege, Belgium)
Lourdes del Carmen González Huesca (UNAM, Mexico)
Giulio Guerrieri (Aix-Marseille Université, France)
Fairouz Kamareddine (Heriot-Watt University, UK)
Delia Kesner (Université Paris Cité, France)
Temur Kutsia (Johannes Kepler University Linz, Austria) - Co-Chair
Marina Lenisa (Università di Udine, Italy)
Mircea Marin (West University of Timisoara, Romania)
Mariano Moscato (NASA, US)
Daniele Nantes-Sobrinho (Imperial College London, UK)
Miguel Pagano (Universidad Nacional de Córdoba, Argentina)
Valeria de Paiva (Topos Institute, Berkeley, US)
Cleo Pau (Johannes Kepler University Linz, Austria)
Elaine Pimentel (University College London, UK)
Paolo Pistone (Università Roma Tre, Italy)
Femke van Raamsdonk (Vrije Universiteit Amsterdam, The Netherlands)
Andrew Reynolds (University of Iowa, US)
Wolfgang Schreiner (Johannes Kepler University Linz, Austria)
Daniel Ventura (Universidade Federal de Goiás, Brazil) - Co-Chair
Organisers
Daniele Nantes-Sobrinho (Imperial College London, UK)
David Cerna (Czech Academy of Sciences Institute of Computer Science)
=====================================================================
- [Coq-Club] Final CfP: Logical and Semantic Frameworks with Applications (LSFA 2023) [extended deadlines], D. Ventura, 04/22/2023
Archive powered by MHonArc 2.6.19+.