Federated Logic Conference (FLoC) 2018
Oxford University
During the past 50 years there has been extensive, continuous, and increasing interaction between logic and computer science.
In many respects, logic provides computer science with both a unifying foundational framework and a modelling tool. Indeed, logic has rightly been called 'the calculus of computer science," playing a crucial role in such diverse areas as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering.
Since 1996, the Federated Logic Conference has brought together several international conferences related to mathematical logic and computer science, along with plenaries, invited talks, tutorial days and over 70 workshops.
Podcasts Similar to Federated Logic Conference (FLoC) 2018
SEI Cyber Talks (96.41%)
Members of Technical Staff
Chaos Computer Club - 35C3: Refreshing Memories (mp3) (95.86%)
Martin Tschirsich
Sven Ruppert (94.72%)
Sven Ruppert
Idigital Classroom (94.43%)
Joy Alatta
The Platform (94.11%)
Nalta
GRASP podcast (Growing Research Awareness Speaking with Professors) (94.07%)
Michael Sandborn
rule 11 reader (94.06%)
Russ White
Conyers GCSE ICT Podcasts (93.81%)
Chris Coleman
Chaos Computer Club - 32C3: gated communities (mp3) (93.6%)
Takt, Barbarossa, ThomasDOTwtf, Lars
The Key Advantages Of Adaptive Multi-Fac (93.53%)
Appsian ERP
CSAIL Alliances Podcasts (93.48%)
CSAIL Alliances
Layer 7 Technologies (93.46%)
Layer 7 Technologies
Chaos Computer Club - 33C3: works for me (mp3) (93.44%)
DI, JO
Chaos Computer Club - 36C3: Resource Exhaustion (high quality mp4) (93.35%)
Moxie Marlinspike
Hacker Cultures: The Conference Podcast (93.27%)
Paula Bialski & Mace Ojala
OWASP PodCast (93.26%)
Joubin Jabbari, Didar Gelici, Vandana Verma
Light Blue Touchpaper (93.08%)
None
WEEKEND READS – rule 11 reader (93.02%)
Russ White
TrustedSec (92.91%)
None
Video Analytics 101 (92.75%)
Florian Matusek
John S. Rinaldi's Ode to Automation (92.71%)
John S. Rinaldi
Tech 'n Savvy (92.67%)
Tech 'n Savvy
Convergence by Cato Networks (92.61%)
Cato Networks
GFI LanGuard - podcast (92.6%)
None
Perfection in Software Protection, Licensing and Cybersecurity (92.6%)
Wibu-Systems
SecurityTrails Blog (92.59%)
SecurityTrails
Data & Dev with Jon and Mel (92.42%)
Data & Dev with Jon and Mel
Pentester Diaries (92.39%)
Pentester Diaries
espion-m (92.36%)
ToshaRiggs
Tech Field Day Events Archives - Gestalt IT (92.3%)
None
ConversingLabs Podcast (92.13%)
ReversingLabs
The 'Known Good' Podcast (92.12%)
Glasswall
AUDIO – rule 11 reader (92.12%)
Russ White
Clear To Send (91.96%)
Rowell Dionicio and François Vergès
The ITOM Podcast by ManageEngine (91.95%)
ManageEngine | IT Operations Management
Software Engineering Institute (SEI) Podcast Series (91.87%)
Members of Technical Staff at the Software Engineering Institute
Lock Me Down | Security for the Everyday Developer (91.85%)
Max McCarty
Chaos Computer Club - 34C3: TUWAT (mp3) (91.84%)
oranav
Chaos Computer Club - 34C3: TUWAT (low quality mp4) (91.84%)
oranav
Meraki Unboxed (91.76%)
Cisco Meraki
PING (91.68%)
APNIC
Favorites Archives - Gestalt IT (91.59%)
None
Building Management Systems (91.58%)
VS Energy
newline (91.58%)
Nate Murray, Amelia Wattenberger
Vuwall (91.58%)
vuwall
O'Reilly Radar (91.53%)
O'Reilly Radar
The Next Horizon (91.52%)
Dell Technologies
Why Do You Need A Stealth Monitoring Software For Data Security? (91.49%)
CarlosLaporte
Analytics and Privacy Podcast (91.46%)
Zacharias Voulgaris PhD
The C-level Strategic Guide for CIAM investment (91.43%)
IDG
Software Engineering Institute (SEI) Webcast Series (91.42%)
SEI Members of Technical Staff
Tech means Business (91.37%)
Hybrid News, Joe Green
Cisco Podcast Network (91.37%)
Cisco
Data Center Therapy (91.31%)
IVOXY Consulting
Chaos Computer Club - DENOG 10 (mp3) (91.3%)
Oliver 'takt' Herms
Silicon Labs: Talking Tech (91.29%)
Silicon Labs
IEEE Future Networks Transmissions (91.21%)
IEEE Future Networks
Connected: The Kepware Podcast (91.15%)
Kyle Carreau
Agilicus. Learn. Do. Teach. (91.12%)
Don Bowman
From the Edge to the Future: Connecting for Success (91.08%)
IDG
Word Notes (90.99%)
CyberWire, Inc.
Inside IT (90.97%)
Connected Social Media
Decompiled (90.97%)
Ayan Pahwa
php[podcast] episodes from php[architect] (90.97%)
php[podcast] episodes from php[architect]
Cisco Champion Radio (90.97%)
commsninja
Digital Business Disruptors (90.95%)
Digital Savages
Computer Networking (90.9%)
Tech4Geek
Alice and Bob Learn (90.9%)
Tanya Janca - SheHacksPurple
THIS IS AI in Decisive Moments by Thales (90.89%)
Thales Group
NatChat - The Natilik Podcast (90.88%)
Natilik
Cisco Champion Radio (90.8%)
Cisco Champion Radio
Security – Software Engineering Daily (90.8%)
Security – Software Engineering Daily
SpotOn Systems Podcasts (90.79%)
None
Computer Science Channel (Audio) (90.77%)
UCTV
Salt Air (90.76%)
SaltStack
Unbundled (90.73%)
CliffCentral.com
Ink8r (in·cu·ba·tor) Podcast (90.72%)
ink8r
Testing 1-2-3 | Hosted by Parasoft (90.72%)
Various
Azw Download (90.71%)
John, Roger and Jay
Direct Connections (90.7%)
IHSE USA
The Routing Table Podcast (90.68%)
The Routing Table Podcast
Warner Bros. Discovery: Empowered Women, Empower Women (90.68%)
Warner Bros. Discovery
Entrust: Trust and Transformation (90.67%)
Entrust
CERIAS Security Seminar Podcast (90.64%)
CERIAS <webmaster@cerias.purdue.edu>
Real-Time Talk (90.61%)
RTInsights
The Things Podcast (90.58%)
The Things Industries
High Tech - Low Code (90.56%)
OutSprint
EpiUsers.Help the Podcast (90.53%)
EpiUsers.Help Un-Named Podcast
Computer Science Channel (Video) (90.53%)
UCTV
The Lion's Den: A Podcast From Red Lion Controls (90.52%)
Red Lion Controls
ITS Partner's Video Podcast (90.51%)
Chad Dupin
CodeBlueTech (90.49%)
CodeBlueTech
Sanjay 's Podcast (90.48%)
Sanjay Vaid
How Stealth Monitoring Software Protects Business Data? (90.47%)
CarlosLaporte
MostlyAV Podcast (90.46%)
MostlyAVRadio
The Hedge (90.46%)
The Hedge
The Root & STEM Podcast (90.45%)
Pinnguaq
The Hoot from Humio (90.44%)
Humio.com