FLoC'18 Oxford

The 2018 Federated Logic Conference: 6-19 July (2018) in Oxford

[Yarin @yaringal]

Application deadline for a postdoc with me and @shimon8282 in Bayesian Deep Learning & Reinforcement Learning has been extended by a week:
https://t.co/sWkW2HhbMg
Ping me if you have any questions @OATML_Oxford

[FLoC'18 Oxford @FLoC2018]

@vclaTUwien @CompSciOxford @chrispatuzzo Oh... again?!? I’ll see if I can get some professional help!

[FLoC'18 Oxford @FLoC2018]

@vclaTUwien @CompSciOxford @chrispatuzzo Hi! The main FLoC videos are definitely online. If it’s FoPSS you want, I need to grant access to Nath to check them first. Nath - if you see this - give me your google account and I can grant it access/ownership??

[Joey Dodds @n1nj4]

Aw yeah! Open access!
Here's our paper on bringing formal verification to industry software. I'm biased, but it's a good read.

@galois @awscloud @FLoC2018 https://t.co/BxsqpHk06D

[FLoC'18 Oxford @FLoC2018]

@vclaTUwien @CompSciOxford @chrispatuzzo Nooooo! Video was perfect on the sandbox website but broke when I pushed it to the live version. :-( will fix!!

[FLoC'18 Oxford @FLoC2018]

@vclaTUwien @CompSciOxford @chrispatuzzo We are uploading loads of videos as well! I’ll tweet when it’s all done: everything will be on https://t.co/FUtAXlEG2r

[Oxford Comp Sci @CompSciOxford]

#Floc2018 has ended. Thanks to everyone who participated and made it such a wonderful event. Safe journey to anyone still en route home. Watch out for videos out soon.

[FLoC'18 Oxford @FLoC2018]

Music: Howard Shore
Quote: Vera Lynn
Thanks @vclaTUwien for the quote!

[FLoC'18 Oxford @FLoC2018]

We’ll meet again,
Don’t know where, don’t know when,
But I know we’ll meet again, some sunny day...

Farewell everyone...

https://t.co/ADNP0BMRXt

[Ursula Martin @UHMMOxford]

And a special shout out to the catering staff who kept us fed, hydrated, caffeinated and ice-creamed, many of them travelling to and fro from Birmingham each day on a coach (that's a 4 hour round trip) . . . @JamesLarkins1 @FLoC2018 https://t.co/7PZl0o09zF

[FLoC'18 Oxford @FLoC2018]

@JamesLarkins1 @compassgroupuk Seriously. You guys have dealt with so many surprises this past two weeks, with our attendees split unpredictably between two buildings, with such grace under fire. Really pleased. Thanks!

[FLoC'18 Oxford @FLoC2018]

Look at that lovely plate! Thanks to ⁦@JamesLarkins1⁩ and the crew at Compas for another great lunch.

[FLoC'18 Oxford @FLoC2018]

#FlocerOfTheDay is you...

You all who contributed and ensured FLoC’18 ran smoothly. Big shout-out to both the volunteers and the people behind the scene to ensure the participants had a great time at FLoC.

[Oxford Comp Sci @CompSciOxford]

Professor Marta Kwiatkowska talks about her work-life balance as a computer scientist in a new interview on the diversity section of the @UniofOxford website. Much of her time recently has been taken up organising and co-chairing @FLoC2018
https://t.co/noaCveeFer

[Oxford Comp Sci @CompSciOxford]

Byron Cook, Director of Automated Reasoning at AWS and Professor of Computer Science @uclcs spoke about how AWS services connect customers to logic-based techniques and uses formal verification internally at #FloC2018 on Monday. A banquet in the evening was at @AshmoleanMuseum

[TechRepublic @TechRepublic]

The newly-revised code address issues of emerging systems, discrimination, and data privacy. https://t.co/4YEfdQnXOo

[Oxford Comp Sci @CompSciOxford]

Artificial intelligence is set to revolutionize coding, enabling coders to get on with the interesting and creative aspects of their role, writes Professor Daniel Kroening in @JAXenterCOM. Read the article at: https://t.co/HSW9QkIw5z

[FLoC'18 Oxford @FLoC2018]

@ulmerleben We’ll miss you! Come back soon!