June 2023 - Termtools - lists.rwth-aachen.de

Problems with StarExec + SymPy
by lommen＠cs.rwth-aachen.de 22 Jun '23

22 Jun '23

Dear all, we are currently trying to prepare our tool for the TermComp. However, the newest version of our tool requires SymPy. Unfortunately, so far we fail to get SymPy running on StarExec. Does anybody have experience on running SymPy (or more generally Python + some not-installed dependency) on StarExec? If you have any ideas, please let me know! Thanks, Nils

1 0

CALL FOR NOMINATION - FSCD Steering Committee Membership Election
by Carsten Fuhs 12 Jun '23

12 Jun '23

Formal Structures for Computation and Deduction (FSCD) Steering Committee Membership Election 2023 CALL FOR NOMINATION The FSCD SC consists of the SC Chair, 6 elected members, PC Chairs of the last 3 years, the Publicity Chair, Workshop Chair and former SC Chair. Every year the outgoing elected SC members are replaced by new members elected by a secret ballot. Each SC member normally serves for 3 years, unless exceptions apply (see the FSCD Rules of Business http://fscd-conference.org/organization/rules-of-business/ for details). The current steering committee composition, together with the serving time for each member, is available here: https://fscd-conference.org/organization/steering-committee/ Candidates for SC membership are requested to email the FSCD SC Chair an election statement (including a brief bio) on one a4 page, preferably in PDF, no later than * Monday 26 June 2023 (AoE) * The election statements will be posted on the FSCD webpage before the start of FSCD 2023. The election will take place at the General Meeting of FSCD 2023, 3-6 July 2023. Herman Geuvers herman at cs.ru.nl FSCD SC Chair

1 0

Meeting IFIP WG 1.6 on Rewriting (5 July 2023): Call for
by Cynthia Kop 10 Jun '23

10 Jun '23

---------------------------------------------------------------------- ** ** **** CALL FOR PARTICIPATION **** ** ** Meeting of the IFIP Working Group 1.6 on Rewriting (IFIP WG 1.6) ** 5 July 2023 ** Rome, Italy ** ** https://ifip-wg-rewriting.cs.ru.nl/events/event-2023.html ** ---------------------------------------------------------------------- Both members *and non-members* of the working group are invited to attend the public section of the upcoming meeting of the IFIP Working Group 1.6 on Rewriting (IFIP WG 1.6) ---------------------------------------------------------------------- ** TENTATIVE PROGRAMME ---------------------------------------------------------------------- 10:30 - 12:30: Session 1 - 50' Thomas Genet: Using Tree Automata for Verification, at last (invited talk) - 20' Aart Middeldorp: The International School on Rewriting - 50' Temur Kutsia: Symbolic techniques for quantitative extensions of equality (invited talk) 12:30 - 14:00: Break 14:00 - 15:45: Session 2 - 50' Frédéric Blanqui: Lambdapi, a proof assistant using rewriting (invited talk) - 25' Luigi Liquori: A New Rewriting Website (proposal) - 30' business meeting (members-only) ---------------------------------------------------------------------- ** REGISTRATION ---------------------------------------------------------------------- The registration page for FSCD 2023 and affiliated events, such as the meeting of the IFIP WG 1.6, is available here: https://easyconferences.eu/fscd2023/registration1/ Please note that FSCD participants still need to separately register for IFIP (but there is a discount). Attending the meeting of the IFIP WG 1.6 is possible both in-person and remotely. All parts of the programme are public, except for the members-only business meeting at the end of the programme. ---------------------------------------------------------------------- ** CONTACT ---------------------------------------------------------------------- * Chair: Cynthia Kop, Radboud University Nijmegen * Co-Chair and secretary: Carsten Fuhs, Birkbeck, University of London * More information about IFIP WG 1.6: https://ifip-wg-rewriting.cs.ru.nl/ ----------------------------------------------------------------------

1 0