10th GF Summer School

Summer school logo

Erlangen, Germany
19th – 30th July 2027

Co-located with CICM 2027

About · Registration · Themes · Teachers
Schedule (Week 1 · Weekend · Week 2) · Venue · Contact · Previous schools

About

Grammatical Framework (GF) is a grammar formalism and a programming language for multilingual computational grammars. It is based on the idea of a shared abstract syntax and mappings between the abstract syntax and concrete languages. GF has hundreds of users all over the world.

The GF Resource Grammar Library (RGL) implements the main syntax rules of over 40 languages with a shared abstract syntax, and its WordNet-based interlingual lexicon includes 24 languages. These resources are freely available as open-source software.

In combination with the linguistic knowledge contained in the RGL, GF software is aimed to help non-linguist programmers to build systems that have high-quality natural language processing as a component. For linguists, GF provides a platform for powerful abstractions and generalizations, including cross-lingual ones.

You will find the GF book a very good companion to your studies (available also as an e-book). However, the book is not a requirement for successful participation in the summer school.

Registration

This summer school will be co-located with CICM 2027 (20th Conference on Intelligent Computer Mathematics). Registration will take place on the CICM website. Direct link will be provided when the registration starts.

There will be a small fee to cover the cost of coffee breaks. In addition, the participants need to support their own travel and stay, including accommodation and meals.

At the moment, there is no information about grants/stipends to participants. Such information will be published if stipends become available.

Special theme

Informalization and autoformalization of formal mathematicss

Formal mathematics, implemented in systems such as Lean, Coq, and Agda, comprises an increasing amount of mathematical knowledge. The project Informath aims to establish mappings between formal mathematics and ordinary mathematical language. This would make the results of formal mathematics more available both to mathematicians and to a wider audience. It would also help AI systems to construct formal proofs by making informal mathematics available as training material. The core of Informath is multilingual grammars defined in GF, Grammatical Framework.

Numerous earlier projects have shown the potential of GF in mapping between formal and informal languages. Building on their results and experiences, and developing some new methods, Informath aims to extend the coverage to a new level.

Despite the special theme and the colocation with CICM, the summer school is perfectly suitable for a student who is interested in other aspects of grammar engineering.

Schedule

Week 1 (July 19–23): Introduction to GF and multilingual grammar programming

Monday Tuesday Wednesday Thursday Friday
9–12: Lectures room: TBA
Aarne Ranta: Introduction to GF.		 room: TBA
TBA: Mini resource grammar.		 room: TBA
TBA: Extended mini resource grammar.		 room: TBA
TBA: Full resource grammar and its API.		 room: TBA
TBA

Participant presentations: plans for summer school projects.
Lunch
13:30–17: Hands‑on room: TBA
Installing GF, building small grammars		 room: TBA
Starting mini resource in GF shell		 Excursion with CICM participants room: TBA
Work on projects		 room: TBA
Work on projects

Excursions

TBA

Week 2 (July 26-30): Advanced work in specialized tracks

TBA

Teachers and invited speakers

Name Affiliation Topic
Aarne Ranta University of Gothenburg GF tutorial; Informath
Inari Listenmaa Chalmers University of Technology GF tutorial
… … …

Venue

The summer school will take place at the University of Erlangen-Nuremberg at the campus in Erlangen center.

The KWARC group at the department of Computer Science will be in charge of the practical arrangements.

We have reserved some hotel rooms for participants of the CICM-GFSS cluster. You can book your room here.

Contact

You can ask general questions about anything GF-related, including the summer school, on GF mailing list and Discord server.

If you have a more specific question, you can contact Inari Listenmaa or Frederik Schaefer directly.

Previous GF summer schools