Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] POPL 2024 - Call for Participation - Early reg...


view this post on Zulip Email Gateway (Nov 13 2023 at 14:52):

From: "Donaldson, Alastair F" <alastair.donaldson@imperial.ac.uk>
Dear all

Please help spread the word about POPL 2024, which is now open for registration! Details below.

Best wishes

Ally Donaldson and John Wickerson
POPL 2024 Publicity Chairs

POPL 2024 - Call for Participation

Early registration deadline: 14 December 2023

Come and join us for POPL 2024, in January, in the heart of London!

Register here: https://popl24.sigplan.org/attending/registration

Location: Institution of Engineering and Technology (IET), Savoy Place, London, WC2R 0BL

Dates:

Invited speakers

Accepted papers: https://popl24.sigplan.org/track/POPL-2024-popl-research-papers

Full details of the conference and co-located events: https://popl24.sigplan.org/

Sponsors: POPL is supported by generous sponsorship from:

The 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024) will take place in January in the heart of London, at the Institution of Engineering and Technology (IET). As well as presentations of the highest quality research papers on Programming Languages, the POPL 2024 technical programme will feature keynote talks from Azadeh Farzan and Nate Foster, and will be complemented by more than 25 co-located workshops, tutorials and other events!

As well as the main POPL24 reception on Wed 17 January, the conference will feature a DEI4Everyone cocktail reception on Thu 18 January, which is free thanks to generous support from Jane Street. The reception will feature short talks from DEI representatives reflecting on their experiences around DEI issues. The event is open to everyone and our goal is to foster DEI discussions, all while drinking fabulous cocktails! This will also be an opportunity for people to form groups to go to dinner and get to know each other afterwards. Please sign up - see the registration link above for details.

The Strand Palace conference hotel has a close relationship with IET. It has e.g. cosy single rooms with single beds which provides a good cheap option right in the heart of central London. In addition, if you don’t get your towels cleaned, you get £7 to spend e.g. in the bar after dinner!

It's going to be an amazing conference - don't miss it - sign up now! https://popl24.sigplan.org/attending/registration


Last updated: Apr 28 2024 at 20:16 UTC