[TYPES/announce] Structures and Deduction 2014 - call for participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION The Third International Workshop on STRUCTURES AND DEDUCTION (SD14) 12 July 2014 Affiliated with CSL-LICS at FLOC 2014 Part of the Vienna Summer of Logic http://vsl2014.at/sd/ This is the third in a series of meetings that bring together researchers in different areas of proof theory. The main interest is in new algebraic and geometric results in proof theory that expand our abilities to manipulate proofs, that help to reduce bureaucracy in deductive systems, and that ultimately lead to new methods for proof search and new kinds of proof certificates. Invited speakers Gilles Dowek (Inria Paris-Rocquencourt) Rosalie Iemhoff (Utrecht University) Kazushige Terui (Kyoto University) Contributed talks http://www.easychair.org/smart-program/VSL2014/SD-accepted.html Programme http://www.easychair.org/smart-program/VSL2014/SD-program.html Registration http://vsl2014.at/registration/ (early registration deadline: 8 June) The workshop is found under: Week 1 of FLOC, Workshop Block 1, one day workshops - July 12. We look forward to seeing you in Vienna! Kaustuv Chaudhuri Willem Heijltjes Lutz Strassburger
[TYPES/announce] MFPS 30: Call for participation and registration
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ - posting on behalf of Mike Mislove, apologies for multiple copies -] Dear All, This is a Call for Participation and Registration for MFPS 30, which will take place on the campus of Cornell University in Ithaca, NY from Thursday, June 12 through midday Sunday, June 15. The MFPS program features invited talks by Nick Benton, (Microsoft Cambridge), Andy Gordon (Microsoft Cambridge), Elham Kashefi (Edinburgh), Dexter Kozen (Cornell), Prakash Panangaden (McGill), and Alexandra Silva (Radboud). In addition there will be a special session on probabilistic programming associated with Andy Gordon's plenary talk, as well as one on quantum computing associated with Elham Kashefi's plenary talk. There also will be a series of tutorial lectures on labeled Markov processes featuring talks by Prakash Panangaden, Josee Desharnais (Laval), Radu Mardare (Aalborg) and Doina Precup (McGill). You can find more information about MFPS, including a list of accepted papers and the program for the conference, at http://www.cs.cornell.edu/Conferences/MFPS30/ You also will find links there for registration for the meeting, and information about hotel arrangements. Best regards, Mike Mislove
[TYPES/announce] ICFP 2014 Student Volunteer Programme
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [With apologies for cross-posting] Please forward this to anyone who may be interested! ICFP Student Volunteer Programme http://icfpconference.org/icfp2014/sv.html We are looking for student volunteers to help with the running of ICFP 2014 in Gothenburg, Sweden. If you are a student (part-time, full-time, undergraduate, masters or PhD), and would like free registration in exchange for helping out, please consider applying! As a student volunteer, you will receive the following: * Free conference registration, including workshops and electronic proceedings * Free lunches and refreshments during breaks. * Free conference banquet ticket and access to student-only social events. * An ICFP 2014 Student Volunteers T-shirt. In return you will be expected to help with the running of the conference. Possible jobs include assisting with technical sessions, workshops, tutorials and panels and helping at the registration desk. Please note that student volunteers are responsible for their own travel arrangements and accommodation. You should be available for at least three full days between 31st of August and the 6th of September 2014 in order to offer 16 hours of volunteering work. Note that we will prioritise students who will be available the full week. Naturally presentations etc. at workshops and technical sessions take precedence. Application Deadline: 15th June 2014 Initial Acceptance and Reserve List announcement: 30th June 2014 For more information, and instructions on how to apply, please see the student volunteer information page at http://icfpconference.org/icfp2014/sv.html.