RDP Business Meeting -...
-
Upload
vuongxuyen -
Category
Documents
-
view
219 -
download
1
Transcript of RDP Business Meeting -...
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
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
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)
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!
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.