Seminarium, Beräkningsmatematik

Lars Arvestad: A divide-and-conquer heuristic for phylogeny inference is better than NJ heuristics

16 apr

Seminarium, Beräkningsmatematik

onsdag 2025-04-16, 13.00 - 14.00

Medverkande: Lars Arvestad

Plats: Room Cramer

2025-04-16T13:00:00.000+02:00 2025-04-16T14:00:00.000+02:00 Lars Arvestad: A divide-and-conquer heuristic for phylogeny inference is better than NJ heuristics (Seminarium, Beräkningsmatematik) Room Cramer (KTH, Stockholm, Sweden)Lars Arvestad: A divide-and-conquer heuristic for phylogeny inference is better than NJ heuristics (Seminarium, Beräkningsmatematik)

Reid W. Barton: Condensed type theory and directed univalence

30 apr

Seminarium, Beräkningsmatematik

onsdag 2025-04-30, 13.00 - 14.00

Medverkande: Reid W. Barton

Plats: Room Cramer

2025-04-30T13:00:00.000+02:00 2025-04-30T14:00:00.000+02:00 Reid W. Barton: Condensed type theory and directed univalence (Seminarium, Beräkningsmatematik) Room Cramer (KTH, Stockholm, Sweden)Reid W. Barton: Condensed type theory and directed univalence (Seminarium, Beräkningsmatematik)