European Research Network on Formal Proofs
COST action CA20111
COST logo
EU flag and COST H2020 acknowledgement
COST (European Cooperation in Science and Technology) is a funding agency for research and innovation networks. Our Actions help connect research initiatives across Europe and enable scientists to grow their ideas by sharing them with their peers. This boosts their research, career and innovation.

June 24, 2022

Co-located with 1st dedukti School and TYPES 2022, there will be a half-day event dedicated to gender balance in the community. The event will consist of an invited talk and a few contributed talks by women to promote their research and improve their visibility. The talks will be followed by a discussion on gender balance issues, subconscious biases that occur and what we can do to improve the situation.

People of all genders are invited to participate in the event and the discussion.

Important dates

  • Abstract submission: May 15 2022
  • Author notification: May 20 2022
  • Funding application deadline: May 22 2022
  • Registration deadline: June 23 2022
  • Event: June 24 2022

Invited Speaker

Delia Kesner, Université Paris-Cité, France

Talk title: Embedding Quantitative Properties of Call-by-Name and Call-by-Value into Call-by-Push-Value

Call for contributions

  • Abstract submission deadline: May 16 2022
  • Author notification: May 20 2022

The contributed talks are meant as a platform to disseminate research done by women in the community. Only women (including transgender women) are invited to submit a contributed talk. Submissions should consist of a title and a 1-2 pages abstract, in pdf format, via easychair.

Considering the broad background of the expected audience, we encourage authors to include information of pedagogical value in their abstract, such as motivation and context of their work.

Organization

Venue

LS2N, Université de Nantes, Faculté des Sciences et Techniques (FST), Bâtiment 34, 2 Chemin de la Houssinière, 44322 Nantes, France.

Registration

Registration on the TYPES 2022 web site.

Registration deadline: June 23 2022 (CEST)

Funding applications: here (deadline: May 22)

Program

The event is scheduled as a half-day meeting.

Tentative program schedule (subject to change):

Time Session
09:00-09:10 Opening & Welcome
09:15-10:15 Invited talk: Delia Kesner: Embedding Quantitative Properties of Call-by-Name and Call-by-Value into Call-by-Push-Value
10:15-10:30 Coffee Break
10:30-11:00 Amélie Ledein: Rechecking KProver proof objects into Dedukti (video)
11:00-11:30 Simona Kašterović: Probabilistic reasoning in computation and type theory (video)
11:30-11:45 Ornela Dardha: CoLab Research: On Foundation, Mechanisation and Implementation of Session Types
11:45-12:15 Milena Vujošević Janičić: Proving code equivalence in database-driven applications and SPARQL queries (video)
12:15-13:30 Discussion on gender balance issues
13:30-13:35 Group photo
13:35-14:30 lunch

The workshop is followed by the 1st Dedukti school.

Booklet of best practices

Within the cost action European Network For Gender Balance in Informatics (EUGAIN) a booklet of best practices was developed to address some of the gender balance issues, particularly in the stage between PhD and professorship. The booklet is going to be updated during the life of the EUGAIN action. We will consider some of those practices during the discussion part of the event.

Organizing committee

Local organizers: Matthieu Sozeau and Nicolas Tabareau