Logic and Computability Laboratory
Seminars @ LCLab, DCS UPAEC Hall,
2/F Seminar Room:
(Date, Time, Title, Speaker)
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
14 October 2024
NO Scheduled Public/Lab Seminar Today
Our next Public/Lab Seminar will be on
11 November 2024.
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Previous Seminars 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Public Seminar
07 October 2024 @2pm
No-go Theorems in Quantum Information Theory
by Gene Moses Itable, PhD
DOST - ASTI Science Fellow
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Regular Lab Meetings
30 September 2024
Venue: UPAEC Hall, 2/F Seminar Room,
Time : 2pm, Monday
Agenda : Research Groupings
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Lab Seminar
23 September 2024 @ 2pm
2/F Seminar Room UPAEC Hall
Some Ideas on Formal Verifications
by Alfonso B. Labao, PhD
Asst Prof. @ LCLab
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Public Seminar
16 September 2024 @2pm
Introduction to Recursion Theory
by Alfonso B. Labao, PhD
Asst Prof. @ LCLab
A Brief Introduction to DOST-ASTI’ Quantum Innovation Lab (pdf)
by Jeffrey A. Aborot, SSRS
Lead for quantum computing research
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Public Seminar
09 September 2024 @2pm
QMDD: A Quantum Computer Simulator
by Jul Jon General
LCLab Graduate Student & ASTI
On Formal Verification of ML Methods
by Jesserey Joseph
LCLab Graduate Student
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Planned Seminars 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
21 October 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
28 October 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
04 November 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Public Seminar
11 November 2024 @2pm
Introduction to Post-Quantum Cryptography
by Lucky Galvez, PhD
Assistant Professor, Deputy Director for Instruction
Institute of Mathematics, UP Diliman
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
18 November 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
25 November 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
02 December 2024
+++++++++++++++++++++++++++++++++++++++++++++++++++++++
Teachings:
(AY 2024-2025)
CS 204 (Henry)
CS 133 (Henry)
CS 198 (Henry and Pancho)
CS 30 (Pancho)
(AY 2023-2024)
1Sem
CS 204 (Henry)
CS 297 (Intro to Computability and Logic) (Henry)
CS 197 (Algo & Theory)(Henry)
CS 198 (Henry and Pancho)
2Sem
CS 30 (Henry)
CS 31 (Henry)
CS 199 (Henry and Pancho)