Logic and Computability Laboratory
Logic and Computability Laboratory
Embedded Files
About the group...
About the group...
The LCLab focuses on doing computer science on the areas of discrete mathematics, and theories of formal languages, automata, computability and complexity. The current concerns of the group include
Computability and Complexity of Conventional and Unconventional Computing Models
Formal Verification of some Algorithms and Cryptographic Protocols
Discrete Mathematics, Combinatorics, and Logic
Research Lab Meetings
Research Lab Meetings
TBA
Venue: UPAEC Hall, 2/F Seminar Room,
Time : 2pm, Mondays
Agenda : Research Seminar/Public Lecture
Related Meetings, Conference and Workshops
Related Meetings, Conference and Workshops
PCSC 2026 @ Uni of the Immaculate Concepcion 23-25 April 2026
Deadline of Submission (Paper): 31 January 2026
2026 MSP Annual Convention, Lingayen, Pangasinan, 3-5 JUne 2026
Deadline of Submission (Abstract): 21 March 2026
ICMC 2026, Sevilla , Spain 3-4 September 2026
Deadline of Submission (Paper): 1 July 2026
NEWS & ANNOUNCEMENTS!
NEWS & ANNOUNCEMENTS!
Congratulations!!!
The following papers are accepted for the Post-Proceedings of WCP 2025.
A Measure-Once 1-way QFA Based on the Quantum Circuit Implementation of a QECC
by Julia Katrina Dy, Alfonso Labao, and Henry Adorna
Formal Verification of Quantum SWAP Test
Using Weakest Precondition Logic and Finite-Sample Performance Bounds for Indoor Localization
by Marc Jermaine Pontiveros and Henry N Adorna
Formal Verification of Pohlig-Hellman Algorithm for Computing Discrete Logarithms with Coq
by Jeremiah Daniel Regalario, Marc Emanuel Dela Paz, Meluisa Montealto, Nicole Coleen Santos, and Alfonso Labao
Properties of Some Δ0 Definable Sets
on Models of KPU
Alfonso B. Labao, Shigeki Hagihara and Henry N. Adorna
Recent Publications
Recent Publications
Refereed Journals
Refereed Journals
Matrix representation of virus machines and an application to the discrete logarithm problem
Antonio Ramírez-de-Arellano, David Orellana-Martín, Mario J. Pérez-Jiménez, Francis George C. Cabarle, Henry N. Adorna:
Int. J. Neural Syst. 35(11): 2550049:1-2550049:17 (2025)
Effective descriptive complexity of some compact sets
AB Labao, HN Adorna
Science and Engineering Journal 18 (2), 258-263
Properties of Some∆ 0 Definable Sets on Models of KPU
A Labao, H Adorna
Annual Mathematical Society of the Philippines Conference 2025
Refereed Conferences/Workshops
Refereed Conferences/Workshops
Properties of Some∆ 0 Definable Sets on Models of KPU
A Labao, H Adorna
Annual Mathematical Society of the Philippines Conference 2025
Formalizing Resource Ownership Semantics of Spinlocks with the Coq Proof Assistant
SLS Ortiz, JGR Enriquez, HN Adorna, AB Labao
Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2024), 167
Matrix representation of virus machines
Ramírez-de-Arellano, A., Cabarle, F.G.C., Orellana-Martín, D., Pérez-Jiménez, M.J., Adorna, H.N. (2024).
In: Ferrández Vicente, J.M., Val Calvo, M., Adeli, H. (eds) Bioinspired Systems for Translational Applications: From Robotics to Social Engineering. IWINAC 2024. Lecture Notes in Computer Science, vol 14675. Springer, Cham. https://doi.org/10.1007/978-3-031-61137-7_39
Page updated
Report abuse