Skip to main content
Skip to navigation
Skip to footer
Log in
Home
About
About
—
Who we are
—
Organisational structure
—
Our people
—
Staff
—
Node and Branch heads
—
Associates
—
Policy documents
—
Annual Reports
Research
Research
—
NITheCS Focus Areas
—
Publications
—
Publications
—
Google Scholar
—
Nature Index
Training
Training
—
Schools & Mini-schools
—
CHPC NITheCS Coding Summer School
—
Chris Engelbrecht Summer School
—
Mini-schools
—
Math School
—
Internships & Mentorships
—
NITheCS student internship programme
—
NITheCS Village: Mentorship for Grade 12 Learners
—
Research Seminars and Public Lectures
—
NITheCS Colloquia
—
Courses
—
SATACS Courses
—
Software & Data Carpentry Training
—
Resources
—
Advice
—
Bursaries / internships / job opportunities / study loans
—
External bodies
—
School learners
Associates
News
News
—
All news
—
Newsletters
Events
Events
—
Calendar
—
Upcoming events
—
All events
—
Colloquia
—
Mini-schools
Engagement
Engagement
—
Engagement
—
Opportunities
—
Careers
—
Awards
—
NITheCS bursaries through DSTI-NRF Student Funding
—
Requests for proposals
—
Student Opportunities
Contact
Contact
—
Contact Us
—
Where we are
Home
Home
About
Research
Training
Associates
News
Events
Engagement
Contact
Events
Presenters
Prof Florian Luca (Stellenbosch University & Max Planck Institute for Software Systems)
Prof Florian Luca (Stellenbosch University & Max Planck Institute for Software Systems)
Talk
Colloquium
01 September 2025
–
16:00
–
17:00
Seminar Room K310, Physics Building G5, North-West University
en
The Skolem problem
Prof Florian Luca (Stellenbosch University & Max Planck Institute for Software Systems)
.svg){kind=logo}
