RDP Business Meeting

Warszawa, July 1, 2015

Agenda

1. Conference Chair's report

2. RTA PC Chair's report

3. TLCA PC Chair's report

4. Proposal FSCD

5. Presentation of FSCD 2016

6. Proposals for RDP 2017

7. TLCA Farewell

8. RTA Business Meeting

Conference Chair's report

Events

• RDP total 157 people in total/includes 5+1 invited speakers

12 organisers139 participants/

• RTA total 59 people + 3 invited speakers• TLCA total 68 people + 3 invited speakers• RTA ∩ TLCA total 22 people + 2 invited speakers• RTA ∪ TLCA total 105 people + 5 invited speakers

• UNIF total 24 people• HDRA total 25 people• IFIP WG 1.6 total 23 people• HoTT/UF total 52 people• WPTE total 25 people + 1 invited speaker

Comparison with previous editions

Number of RDP participants in 2011 and 2013:

2011:

Novi Sad

2013:

Eindhoven

2014:

Vienna

2015:

Warsaw

RDP 120 110 106 157RTA 80 60 � 59TLCA 70 47 � 68

Daily distribution of people

Sunday 52Monday 114Tuesday 106Wednesday 111Thursday 85Friday 71

Distribution over countries

Distribution over countries

Austria 11Belgium 1Brazil 2Canada 4China 1Denmark 1Estonia 1France 42Germany 18Italy 3

Japan 11Netherlands 6Norway 2Poland 17Portugal 3Slovenia 1Spain 3Sweden 3United Kingdom 15United States 13

Budget

I Paid fees: 172 kPLN (≈ 41 kEUR)

I Estimated expenses: 193 kPLN (≈ 46 kEUR)

I Remaining di�erence: 21 kPLN (≈ 5 kEUR) to becovered by the grant from the Warsaw Center of

Mathematics and Computer Science (working as a safetybu�er)

RTA PC Chair's report

TLCA PC Chair's report

Proposal FSCD

I Aims and Scope

I Organization and Rules

I Voting on the proposal

I Duties of the new SC

FSCD Aims and Scope

The scope of FSCD is intended to include and signi�cantlyexpand the subject areas of RTA and TLCA. The initial listof topics in the FSCD Declaration is by no means exhaustiveand will evolve over time.

The FSCD'16 Call For Papers is already under constructionand comments are welcome.

FSCD Aims and Scope

The Important Issue:

I Do we want to make the step forward and have a newlarger conference?

The unimportant issues:

I The exact wording of the list of topics(because it will evolve over time);

I The exact wording of the rules(because they will be revised in two years).

Technical Ballot

The voting will decide on an important issue.Should a quali�ed majority be required?

I Approval of FSCD only by 2/3 majority (YES)?

I Decision taken by ordinary majority (NO)?

The Main Ballot

It is the will of the participants of RDP 2015 gathered at theBusiness Meeting on July 1, 2015, to terminate the RTA andTLCA conferences and introduce from 2016 on a newconference called

Formal Structures for Computation and Deduction (FSCD)

The scope of FSCD is intended to include and signi�cantlyexpand the subject areas of RTA and TLCA. The initial listof topics in the FSCD Proposal is by no means exhaustiveand will evolve over time. The FSCD SC will revise the initialFSCD Rules and will submit a �nal proposal after two years.

I YES?

I NO?

FSCD Steering Committee

I Former PC Chairs:I Femke van Raamsdonk, Masahito Hasegawa, until 2016;I Gilles Dowek until 2017;I Maribel Fernandez, Thorsten Altenkirch, until 2018.

I TLCA SC representatives:I Jens Palsberg, until 2016;I Hugo Herbelin, until 2017;I Luke Ong, until 2018.

I RTA SC representatives (to be elected):I until 2016;I until 2017;I until 2018.

I Former SC Chairs:I Kris Rose, Paweª Urzyczyn (non-voting), until 2018

I SC Chair, to be elected.

FSCD 2016 - CFP (D. Kesner and B. Pientka)

I Tentative Call For Papershttp://www.cs.mcgill.ca/~bpientka/fscd16.html

FSCD conference aims to cover all aspects of formal

structures in computation and deduction from theoretical

foundations to tools and applications. We do not only

encourage submissions falling into all areas traditionally

covered by RTA and TLCA, but also papers covering any of

the new topics listed at the web-site.

I Size of PC: 30 members, covering all areas(2/3 RTA + TLCA, 1/3 new areas)

I Single-blind reviews

I Author response period

I Up for discussion with 2016 PC for FSCD

I We welcome constructive suggestions and comments!

Proposals for RDP 2017

TLCA Farewell

I First meeting in Utrecht 1993, colocated with Dirk vanDalen's 60's birthday workshop. Organized by MarcBezem and Jan Friso Groote, PC chaired by HenkBarendregt,

I Then Edinburgh 1995, Nancy 1997, L'Aquila 1999,Kraków 2001.

I Part of RDP since 2003 (Valencia); then Nara 2005,Paris 2007, Brasilia 2009, Novi Sad 2011, Eindhoven2013, Vienna 2014, Warsaw 2015.

I Many people contributed to TLCA: Mariangiola Dezani,Simona Ronchi, Roger J. Hindley. . .

I Luca Paolini served as a Publicity Chair.

RTA Business Meeting

A.O.B. (Any Other Business)

I ?

I ?