Are you interested in sustainability and AI — and want to build something rigorous, practical, and conference-ready?
Interested in sustainability + AI/governance, and want to produce something rigorous and conference-ready?
FormalFoundry.ai (in coordination with the organizers of the 15th ASECU Youth International Conference & Summer School 2026 “NextGen Sustainability”, 6–10 July 2026, University of Rzeszów; English-language conference) invites students to join NextGen Formalization Studio.
We’re looking for students who are curious, reliable, and motivated — not “formal methods experts.”
What you will do
- Work in a small team to translate a real-world “domain” (policies, governance rules, ESG reporting logic, operational constraints, approval workflows, compliance rules, etc.) into a machine-checkable specification — a “checked rulebook.”
- Document what formalization changes: ambiguities resolved, exceptions made explicit, conflicts found, edge cases handled, and what this implies for governance/auditability.
- Present your result as a poster and participate in a workshop segment during the conference.
How to apply: teams and individuals
- You can apply as:
- a pre-formed team (3–5 students), or
- an individual.
- If you apply as an individual, you can opt in to be assigned to an international, cross-university team. We will match teams based on interests, studies, and thesis/research direction.
Topics: you can bring your own — or come without one
- You may propose your own topic (it does not need to fit a narrow predefined list), as long as it connects to sustainability and/or governance of high-stakes rules/processes.
- No topic yet? Totally fine. Apply with:
- your interests,
- your degree program,
- your thesis/research direction,
- or a problem area you want to explore, and we will help you shape a strong, well-scoped project — or match you to a project prompt.
Practical details
- Remote collaboration: May–June 2026
- Expected time: \~4–6 hours/week
- Team size: 3–5 students
- Working language: English (aligned with the conference)
Who should apply
- BA/MA/PhD students from participating universities/organizations
- Any discipline welcome; interdisciplinary teams strongly encouraged
- Coding experience is helpful but not required (we will support team composition and workflow)
How to apply
- Fill Program Application Form
- Deadline: 30 April 2026
- Questions: [email protected]