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
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
----------------------------------------------------------------------
**
** **** 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/
----------------------------------------------------------------------
