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: TBA
  • Event: June 24 2022

Invited Speaker

Delia Kesner, Université Paris-Cité, France

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: TBA.

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
10:15-10:30 Coffee Break
10:30-11:30 Session 1: contributed talks
11:30-12:30 Session 2: contributed talks
12:30-13:30 Discussion on gender balance issues
13:30-14:30 lunch

The workshop is followed by the 1st Dedukti school.

Organizing committee