Subject: Events and news relevant to the Laboratory for Foundations of Computer Science
List archive
- [qest-announce] ISSRE 2025: Call for Papers (Industry Track), Marco Paolieri, 06/03/2025
- [qest-announce] CFP - ISPR 2025 - 5th International Conference on Intelligent Systems and Pattern Recognition Externes, Slim Kallel, 06/03/2025
- [qest-announce] BMQL 2025 - Second Call for Papers, 'Giovanni Bacci' via qest-announce, 06/03/2025
- PLS Your reply means alot, Sydney Adams, 06/04/2025
- Iphone 13 Mini 128Gb e Notebook Asus Offerta, Commerciale - PC Maddy, 06/04/2025
- FSCD 2025: Second Call for Participation (student fee waivers - apply by *9 June 2025*), Carsten Fuhs, 06/04/2025
- [LFCS seminar] Today, 05 Jun: Rasmus Møgelberg, IT University of Copenhagen: Induction and Recursion Principles in a Higher-Order, Ohad Kammar, 06/05/2025
- [LFCS seminar] Now, 05 Jun: Rasmus Møgelberg, IT University of Copenhagen: Induction and Recursion Principles in a Higher-Order Quantitative Logic, Ohad Kammar, 06/05/2025
- [qest-announce] Support QEST-FORMATS in iCORE – Just One Minute Needed, Sadegh soudjani, 06/08/2025
- [ICLP 2025 - Call for Student Grants] 41st International Conference on Logic Programming (ICLP’25), University of Calabria, Rende, Italy | September 12-19, 2025, Manuel Alejandro Borroto Santana, 06/09/2025
- A fun hello from your future game machine partner 🎮, Guangzhou EPARK Electronic Technology Co., Ltd., 06/10/2025
-
Request to mailing list lfcs-members rejected,
lfcs-members-owner, 06/10/2025
- <Possible follow-up(s)>
- Request to mailing list lfcs-members rejected, lfcs-members-owner, 06/11/2025
- Pc All In One Lcd 27" Qhd Win Professional, Commerciale - PC Maddy, 06/10/2025
- CfP: KR 2025 Recently Published Research Track, Nico Potyka, 06/10/2025
- [ICLP DC 2025 - Deadline Extended] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025, Manuel Alejandro Borroto Santana, 06/11/2025
- Meeting IFIP WG 1.6 on Rewriting: Call for Participation (early registration by *15 June 2025*), Carsten Fuhs, 06/13/2025
-
Mathematics and Computers in Sciences and Industry (MCSI) 2025. Extended Versions will be published in ISI, Scopus, EI Compendex, ACM, DBLP,
10th International Conference on Mathematics and Computers in Sciences and Industry (MCSI), 06/13/2025
- <Possible follow-up(s)>
- Mathematics and Computers in Sciences and Industry (MCSI) 2025. Extended Versions will be published in ISI, Scopus, EI Compendex, ACM, DBLP, 10th International Conference on Mathematics and Computers in Sciences and Industry (MCSI), 06/16/2025
- [LFCS seminar] 17 Jun: Andreas Abel, Gothenburg University / Chalmers: Graded Call-by-push-value -- tracking (co)effects in a functional language, Ohad Kammar, 06/13/2025
- Vishnoi's Essays on AI, He Sun, 06/16/2025
- [LFCS seminar] Today, 17 Jun: Andreas Abel, Gothenburg University / Chalmers: Graded Call-by-push-value -- tracking (co)effects in a functional language, Ohad Kammar, 06/17/2025
- [LFCS seminar] Now, 17 Jun: Andreas Abel, Gothenburg University / Chalmers: Graded Call-by-push-value -- tracking (co)effects in a functional language, Ohad Kammar, 06/17/2025
- FSCD 2025: Third Call for Participation (late registration by *29 June 2025*), Carsten Fuhs, 06/19/2025
- ML workshop deadline extension, Anton Lorenzen, 06/20/2025
- We are waiting your papers again in our conference in Rodos Island, Greece, end of August 2025 lfcs-interest@informatics.ed.ac.uk, Dimitris Chatzipavlou, 06/22/2025
- We are waiting your papers again in our conference in Rodos Island, Greece, end of August 2025 lfcs-interest@inf.ed.ac.uk, Dimitris Chatzipavlou, 06/22/2025
- [LFCS seminar] 26+27 Jun: John Longley, Lecture 1, University of Edinburgh: Gödel's System T +, Ohad Kammar, 06/23/2025
Archive powered by MHonArc 2.6.24.