Welcome! This page (should) reflects all documents, slides, research plans, agenda, topics, conferences, etc. that are related to my PhD studies.
Here I listed the research topics I have or had interests in. It should also contain related literature, conferences and people grouped based on the topic.
Note: During the last public presentation of MAGIK, I called people to try out system all toghether. The system didn't persisted such request and it fails in request to load state from the database. My opinion is this due to the possible deadlocks, and if we want to call the people to try all at once, perhaps we should introduce some kind of threads.
My tentative (although never 100% certain) agenda for the current year.
Note: In order to see my calendar one has to meet to criteria:
search?q=https%3A%2F%2Fwww.google.com%2Fcalendar%2Fembed&btnI=lucky