Academic Jobs - Home of Higher Ed Logo
Back to all events
Portugal4 days

Forty-First Annual ACM/IEEE Symposium on Logic in Computer Science

Computer and Information Sciences and Support Services Conference

Annual international forum on logic in computer science, part of FLoC 2026.

Topics & Focus Areas

Logic in computer scienceAutomated deductionComputational logicLogic and computationLogical foundations of programming

Official Conference Website

Visit the official website of Forty-First Annual ACM/IEEE Symposium on Logic in Computer Science for registration details, submission deadlines, and the full programme.

Visit Website

Related Jobs

View All Jobs
Amsterdam, North Holland5

Assistant Professor Machine Learning for Formal Reasoning and Verification

University of Amsterdam
Amsterdam, North Holland0

Assistant Professor of Natural Language Processing

University of Amsterdam
Amsterdam, North Holland1

Assistant Professor (Universitair Docent, UD)

University of Amsterdam
Amsterdam, North Holland3

Assistant Professor of Natural Language Processing

University of Amsterdam
ST MARTIN D HERES, France5

Postdoctoral researcher in AI-generated multimedia forensics

French National Centre for Scientific Research (CNRS)
München, Bayern6

Professorship (W2) (5 years/tenure track) of Statistical and Machine Learning in the Life Sciences, combined with the lead of a research group Computational Statistics & Dynamical Systems for Life Sciences at Helmholtz Zentrum München

Ludwig-Maximilians-Universität München
Glasgow City, Scotland1

Research Software Engineer

University of Glasgow
West Yorkshire, England3

Lecturer or Associate Professor in Computer Science

University of Leeds
Kraków, Województwo małopolskie5

Postdoc Positions

AGH University of Krakow
Nordenskiöldsgatan 1, 211 19 Malmö, Sweden4

Research assistant in interaction design

Malmö University
Post a JobView All Jobs

Related Conferences in Computer Science

29th ACM on Computer-Supported Cooperative Work and Social Computing (CSCW 2026)

–

Salt Lake City, Utah, United States

IEEE/ACM International Conference on Automated Software Engineering (ASE 2026)

–

Munich, Germany

IEEE Military Communications Conference 2026

–

National Capital Region, DC, United States

Ninth AAAI/ACM Conference on AI, Ethics, and Society (AIES 2026)

–

Malmo, Sweden

38th IEEE/SBC International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2026)

–

Madrid, Spain

IEEE International Conference on E-health Networking, Application & Services 2026

–

New York, NY, United States

IEEE World Forum on Internet of Things 2026

–

Abu Dhabi, United Arab Emirates

IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids 2026

–

College Station, TX, United States

IEEE International Symposium on the Internet of Sounds 2026

–

Cannes, France