Copyright / Impressum
This is the personal educational home page of André Platzer, located
at https://symbolaris.com/
at https://lfcps.org/
at https://logic.kastel.kit.edu/ap/
You can reach this page from other URLs including other domain names as well.
The contents of these web pages are Copyright © 1996-2024 André Platzer except as indicated or for external content or joint work.
| Address: | André Platzer KIT Informatics Department / KASTEL Am Fasanengarten 5 Geb. 50.34 76131 Karlsruhe Germany |
|---|---|
| Office: | Building 50.34, Room 155 |
| Phone: | 20854-806 127 94+ |
| Email: | ude.tik@reztalp |
| Address: | André Platzer Computer Science Department Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213-3891 USA |
|---|---|
| Email: | ude.umc.sc@reztalpa |
Disclaimer
Copyright of publications is with the publisher or author as indicated. Author's versions of papers are posted with permission of the publisher for your personal use. Not for redistribution or commercial purpose. Slides are copyright © by the author.Please note that some of the links on this home page refer to sites outside of this web page or outside this domain. I am not responsible for the contents of external sites.
All information and materials on this site are provided solely for informational purposes on an AS-IS basis, and any and all implied warranties are expressly disclaimed.Support
Some material on this web page is based upon work supported by funding agencies under different Grant Numbers as indicated in the respective sources. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the funding agencies.