Katalin fazekas biography

Lectures

See the schedule here

Day 1: SAT Solving

Daniel Le Berre

Abstract TBA

Bio:Dr. Leberre is professor in Lens, where he works on SAT solving and beyond with the SAT4j SAT solver in Java.

Kristin Yvonne Rozier

Abstract TBA

Bio:Dr. Rozier is working in Iowa State University. She works on various formal tools like MLTL that is used by the NASA Lunar Gateway Vehicle System Manager.

Katalin Fazekas

Abstract TBA

Bio:Dr. Fazekas is doing research at the TU Wien, after doing her PhD in Linz and doing a Research Fellow at the Simons Instute. One of her topics of research are deeper integration of SMT and SAT solving by providing external control.

Armin Biere

Abstract TBA

Bio:Prof. Dr. Armin Biere is now in Freiburg after spending many years in Linz. He is very famous for his work on SAT solvers. As Karem Sakallah mentioned in a talk: The SAT Competition is a simple game. Many people submit a solver and at the end, Armin wins. He is also very active on Twitter, Mastodon, and various other social networks.

Day 2: SMT Solving

Haniel Barbosa

Abstra

Thesis booklet - Community and architecture - Complex design approaches - DLA essay -Katalin Fazekas

Katalin Fazekas

DLA essay / Thesis booklet — Community and architecture. Complex design approaches Supervisor — Ferenc Cságoly DLA, DSc Thesis project — Bio-briquette drying building, Monor DLA School, BUTE, January 2017, Budapest


Community and architecture. Complex design approaches titled DLA essay thesis booklet. 10 copies printed in 176Ă—250 mm size on Lightset 80g/m 2 paper at Monobit press. Text: Katalin Fazekas, design by: Veronika JuhĂĄsz, DLA School, BUTE, January 2017, Budapest


Content Abstract  p.4. Theses  p.6. Thesis project — Bio-briquette drying building, Monor  p.10. Curriculum vitae  p.18.


Abstract

Community and architecture. Complex design approaches Since the 1990’s, with the advancement of globalization and environmental issues, as well as overpopulation and increasing poverty more and more quality architectural projects have started to take shape, with the goal of helping communities at stake. Value-sustai

About 107 Fazekases. Related surnames: FALKUS (20) FAJKUS (9).

WikiTree is a community of genealogists — including 2 Fazekas genealogists and amateur family historians — dedicated to growing an accurate collaborative family tree that's 100% free and accessible to everyone forever.   Please join us.


Terezia Fazekas bef 10 Aug 1847 Szendrő, Borsod, Magyarország / managed by Deirdre de Groot / last edited 16 Feb 2025
Juliana Fazekas bef 04 Sep 1845 Szendrő, Borsod, Hungary - 19 Oct 1845 / managed by Deirdre de Groot / last edited 16 Feb 2025
Stephen W. Fazekas 1940s managed by Stephen Fazekas / last edited 18 Jan 2025 / 37
William Fazekas managed by William Fazekas / last edited 9 Jan 2025
Andrew Fazekas 1851 Magyarorszag - 24 Feb 1926 / managed by Stephen Fazekas / last edited 8 Jan 2025
Nicholas John Fazekas 19 Sep 1912 Wyandotte, Michigan - Dec 2006 / managed by Stephen Fazekas / last edited 3 Jan 2025
Andrew Fazekas 1940s - 1940s managed by Stephen Fazekas / last edited 3 Jan 2025
Andrew Fazekas Fazekas 1893 Hungary - aft 1

Copyright ©mobthaw.pages.dev 2025