Algorithms, Logic and Graphs

Phone+45 4525 3031
Emailcompute@compute.dtu.dk
Websitehttp://www.compute.dtu.dk/English.aspx

Postal addressShow on map
Richard Petersens Plads, Building 324
DK-2800 Kgs. Lyngby
Denmark

Organisation profile

Head of section: Professor Paul Fischer

Sumit Adak
- suaddtudk
- Department of Applied Mathematics and Computer Science - Postdoc
- Algorithms, Logic and Graphs
Person: VIP
Soffía Árnadóttir
- sofardtudk
- Department of Applied Mathematics and Computer Science - Postdoc
- Algorithms, Logic and Graphs
Person: VIP
Philip Bille
- phbidtudk
- Department of Applied Mathematics and Computer Science - Professor, Head of section
- Algorithms, Logic and Graphs
Person: VIP

Ádám's conjecture
Thomassen, C., 2023, In: Journal of Combinatorial Theory. Series B. 161, p. 15-20
Research output: Contribution to journal › Journal article › Research › peer-review
Addendum to: “Hamilton-laceable bi-powers of locally finite bipartite graphs” [Discrete Math. 345 (2022) 112777]
Heuer, K., 2023, In: Discrete Mathematics. 346, 1, 2 p., 113188.
Research output: Contribution to journal › Journal article › Research › peer-review
Aesop: White-Box Best-First Proof Search for Lean
Limperg, J. & From, A. H., 2023, Proceedings of the 12^th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery, p. 253-266
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access
File
7 Downloads (Pure)

5 Finished
5 Active

Efficient Approximation Algorithms for Compression and Minimum Spanning Trees in Implicit Graphs
Krogh, C., Gørtz, I. L., Bille, P. & Rotenberg, E.
01/03/2022 → 28/02/2025
Project: PhD
Dynamic Graph Algorithms
Christiansen, A. B. G., Rotenberg, E., Gørtz, I. L. & Thomassen, C.
15/10/2021 → 14/10/2024
Project: PhD
Logical Approaches to Dynamical Structures in AI
Thoft, K. B. P., Gierasimczuk, N. & Rotenberg, E.
01/09/2021 → 31/08/2024
Project: PhD

11 Participating in or organising workshops, courses, seminars etc.
1 Talks and presentations in private or public companies and organisations

Helt elektrisk
Laila Zwisler (Other) & Dorte Olesen (Other)
24 Oct 2020
Activity: Talks and presentations › Talks and presentations in private or public companies and organisations

File
Local Isabelle Workshop
Anders Schlichtkrull (Participant)
6 Jun 2018
Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.
3rd International Automated Reasoning in Quantified Non-Classical Logics Workshop
Anders Schlichtkrull (Participant)
18 Jul 2018
Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.

Google-computers triumf er et lille skridt mod store samfundsomvæltninger
Thomas Bolander
16/03/2016
1 Media contribution
Press/Media: Press / Media
De fleste har jo tre-fire milliarder linjer kunstig intelligens-kode i lommen
Thomas Bolander
15/02/2016
1 Media contribution
Press/Media: Press / Media
Dagen gryr for kunstig intelligens på de finansielle markeder
Thomas Bolander
08/02/2016
1 Media contribution
Press/Media: Press / Media