Seminars @ LCLab, DCS UPAEC Hall, 

2/F ERDT/Seminar Room:

(Date, Time, Title, Speaker)

+++++++++++++++++++++++++++++++++++++++++++++++++++++++

Lab-Research Seminar

17  February 2025 @ 2pm

2/F Seminar Room UPAEC Hall

Critique of Formally Verifying Spin Locks 

in the Context of Resource Ownership Semantics

by Mikhail Gallego

Graduate Student @ LCLab

+++++++++++++++++++++++++++++++++++++++++++++++++++++++

Previous Seminars 2025

+++++++++++++++++++++++++++++++++++++++++++++++++++++++

Public Seminar

3  February 2025 @ 2pm

2/F ERDT Room UPAEC Hall

Using definability concepts to prove unsolvability of problems 

by bounded machines

by Alfonso B. Labao, PhD

Asst Prof. @ LCLab

+++++++++++++++++++++++++++++++++++++++++++++++++++++++

Previous Seminars 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

+++++++++++++++++++++++++++++++++++++++++++++++++++++++

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

+++++++++++++++++++++++++++++++++++++++++++++++++++++++

 March 2025

TBA

+++++++++++++++++++++++++++++++++++++++++++++++++++++++

 April 2025

TBA

+++++++++++++++++++++++++++++++++++++++++++++++++++++++

May  2025

TBA

+++++++++++++++++++++++++++++++++++++++++++++++++++++++