Berlin, Germany | August 3 2015
Business Meeting
Program Chairs
Amy FeltyProgram Co-Chair
Aart MiddeldorpProgram Co-Chair
JasminBlanchetteWorkshop,Tutorial andCompetitionCo-Chair
AndrewReynoldsWorkshop,Tutorial andCompetitionCo-Chair
,FU Berlin, 25th Int. Conference on Automated Deduction, CADE-25 2
Local Organization
ChristophBenzmüllerConference Chair
Ulrike GeigerOrganization CrewFinancesLegal Information
Max WisniewskiOrganization Crew
Alexander SteenOrganization Crew
Julian RöderOrganization CrewWeb-Chair
Further local team:
Benjamin Vetter, Samuel Gfrörer,Marco Ziener, Maximilian Claus,Mijail Guillemard, ... and manymore
,FU Berlin, 25th Int. Conference on Automated Deduction, CADE-25 3
Supporters
Supporters of CADE-25
,FU Berlin, 25th Int. Conference on Automated Deduction, CADE-25 4
Highlights
Highlights
É 8 Workshops7 Tutorials3 Competitions
É Special Sessionon the Past, Present and Future of Automated Deduction
É Herbrand Award and Skolem AwardÉ EPS Poster Exhibition
,FU Berlin, 25th Int. Conference on Automated Deduction, CADE-25 5
Highlights
Social Events
É Reception (joint with RuleML) at Botanic GardenÉ Two ExcursionsÉ Conference Dinner (joint with RuleML)
,FU Berlin, 25th Int. Conference on Automated Deduction, CADE-25 6
Talking in numbers
StatisticsÉ Overall 204† participants
É 125† registered for main conferenceÉ 146† registered for workshops/tutorials(Day1/Day2/Day3: 98† ˙⋃ 111† ˙⋃ 110†)
É 40 student participants (≈ 20%)É 26 female participants (≈ 13%)
Participants per CADE:CADE-X 25 24 23 22 ... 15 14 13 12
204 ≤ 142 ≤ 137 163 ... 191 104 178 228
IJCAR participants per year:IJCAR 2014 2012 2010 2008 2006 2004 2001
123 221 ≤ 458 116 ≤ 164 240∗ 250∗† including 9 student volunteer freebies ∗ including satellite events
,FU Berlin, 25th Int. Conference on Automated Deduction, CADE-25 7
Talking in numbers
StatisticsÉ Overall 204† participants
,FU Berlin, 25th Int. Conference on Automated Deduction, CADE-25 7
Talking in numbers
StatisticsÉ Overall 204† participants
,FU Berlin, 25th Int. Conference on Automated Deduction, CADE-25 7
Budget
BudgetBudget Overview
Total income: 94.000 EuroTotal expenses†: 92.000 EuroBalance: + 2.000 Euro
Woody Bledsoe Travel Awards
É Expenses: 5.250 Euro
Volunteers Program
É Free registrationÉ Free accommodationÉ Expenses: 850 Euro
† The projected expenses include everything: Woody Bledsoe Awards,Volunteers Program, Herbrand Talk, etc. ,FU Berlin, 25th Int. Conference on Automated Deduction, CADE-25 8
Accouncements and Media
Media Converage atSpiegel Online, heise.de
Accouncements atPress Release FU Berlin, Gesellschaft für Informatik,Deutsche Mathematiker Vereinigung, AAR Newsletter,IFCoLoG, LOGIC mailing list, Rewriting mailing list,MKM mailing list, many other sites and mailing lists
,FU Berlin, 25th Int. Conference on Automated Deduction, CADE-25 9