danielakaufmann.at
Preview meta tags from the danielakaufmann.at website.
Linked Hostnames
47- 15 links todanielakaufmann.at
- 6 links tofmcad.org
- 5 links toetaps.org
- 4 links toi-cav.org
- 4 links tosatisfiability.org
- 2 links tosefm-conference.github.io
- 2 links tosmt-workshop.cs.uiowa.edu
- 2 links towww.cs.utexas.edu
Thumbnail
Search Engine Appearance
Daniela Kaufmann
Daniela Kaufmann Since June 2024 I am an FWF ESPRIT research fellow in the Automated Program Reasoning — APRe group. APRe is part of the FORSYTE research unit, lead by Laura Kovacs, of the Faculty of Informatics at TU Wien. In my project CalgSAT – Combining Computer Algebra with SAT for Word-Level Reasoning I aim … Continue reading ""
Bing
Daniela Kaufmann
Daniela Kaufmann Since June 2024 I am an FWF ESPRIT research fellow in the Automated Program Reasoning — APRe group. APRe is part of the FORSYTE research unit, lead by Laura Kovacs, of the Faculty of Informatics at TU Wien. In my project CalgSAT – Combining Computer Algebra with SAT for Word-Level Reasoning I aim … Continue reading ""
DuckDuckGo
https://danielakaufmann.at/Daniela Kaufmann
Daniela Kaufmann Since June 2024 I am an FWF ESPRIT research fellow in the Automated Program Reasoning — APRe group. APRe is part of the FORSYTE research unit, lead by Laura Kovacs, of the Faculty of Informatics at TU Wien. In my project CalgSAT – Combining Computer Algebra with SAT for Word-Level Reasoning I aim … Continue reading ""
General Meta Tags
7- titleDaniela Kaufmann
- charsetUTF-8
- viewportwidth=device-width, initial-scale=1
- robotsindex, follow, max-image-preview:large, max-snippet:-1, max-video-preview:-1
- article:modified_time2024-06-03T08:05:51+00:00
Open Graph Meta Tags
7
og:localeen_US- og:typewebsite
- og:titleDaniela Kaufmann
- og:descriptionDaniela Kaufmann Since June 2024 I am an FWF ESPRIT research fellow in the Automated Program Reasoning — APRe group. APRe is part of the FORSYTE research unit, lead by Laura Kovacs, of the Faculty of Informatics at TU Wien. In my project CalgSAT – Combining Computer Algebra with SAT for Word-Level Reasoning I aim … Continue reading ""
- og:urlhttps://danielakaufmann.at/
Twitter Meta Tags
1- twitter:cardsummary_large_image
Link Tags
35- EditURIhttps://danielakaufmann.at/xmlrpc.php?rsd
- alternatehttps://danielakaufmann.at/feed/
- alternatehttps://danielakaufmann.at/comments/feed/
- alternatehttps://danielakaufmann.at/wp-json/wp/v2/pages/86
- alternatehttps://danielakaufmann.at/wp-json/oembed/1.0/embed?url=https%3A%2F%2Fdanielakaufmann.at%2F
Links
83- http://apre-group.at
- http://cavconference.org/2018
- http://fmv.jku.at/biere
- http://http://www.wikicfp.com/cfp/program?id=2559&f=Brazilian%20Symposium%20on%20Formal%20Methods
- http://i-cav.org/2021/"