Trends in Software Synthesis Bernd Finkbeiner

News



04.04.2016

Grades Online

Dear students,

your final grade can be seen on your personal status page.

We wish you all a good start in the next semester and hope to see you again in our lectures. 

Your Seminar-Team

 

26.01.2016

Info Presentation T8

Dear Students, 

due to a talk preceding our seminar talk on Thursday, 28th, we will start the seminar session at 10:30.  

Sorry for the inconvenience 

Your Seminar-Team

06.01.2016

Summary

Dear Students,

We wish you all a happy new year and hope you had a good start into 2016.

As we already have mentioned, at the end of the seminar we would like to ask you to submit a summary on the topic. More information about the content of the summary can be... Read more

Dear Students,

We wish you all a happy new year and hope you had a good start into 2016.

As we already have mentioned, at the end of the seminar we would like to ask you to submit a summary on the topic. More information about the content of the summary can be found under Information/Summary

Please submit the summary by March 30th, 2016

See you all tomorrow

Your Seminar-Team

10.11.2015

Reading Session this Week

Dear Students, 

for the reading session on Thursday we also recommend to take a look at this paper:

http://lara.epfl.ch/~kuncak/papers/KuncakETAL10CompleteFunctionalSynthesis.pdf

Interesting is for example Section 6 for details on Synthesis for Linear... Read more

Dear Students, 

for the reading session on Thursday we also recommend to take a look at this paper:

http://lara.epfl.ch/~kuncak/papers/KuncakETAL10CompleteFunctionalSynthesis.pdf

Interesting is for example Section 6 for details on Synthesis for Linear Integer Arithmetic.

See you on Thursday

23.10.2015

Paper Distribution

Dear Students,

we apologies for the delay. On your personal status page you can find the paper that was assigned to you. Please contact your advisor to plan the next steps.

Please take a look at the Reading Session Page to check which session you were assigned... Read more

Dear Students,

we apologies for the delay. On your personal status page you can find the paper that was assigned to you. Please contact your advisor to plan the next steps.

Please take a look at the Reading Session Page to check which session you were assigned for. If you were assigned for the session R1, please contact Hazem Torfah asap.

All who were not assigned a paper were added to our waiting-list. In case a spot becomes available again, you will be informed immediately.

Please remember that the registration is binding from 6 pm today. In case you decide to not participate in the seminar please let us know. 

Your Seminar-Team 

22.10.2015

Paper Preferences

Dear Students,

please, incase you haven't done so, submit your paper preferences by the end of the day (23:59). The spots and the papers will be distributed automatically by tomorrow morning. 

Your Seminar-team 

19.10.2015

List of Papers

You can find the list of papers under Information/Materials.

28.09.2015

Reading Groups

Please check out the new information on the main page about the reading group phase. 

01.09.2015

Registration is open. Please sign up for the seminar before 22.10.2015 23:59.

In case the number of registration exceeds the number of available spots, the participants will be drawn randomly. You will be informed about your admission as soon as the registration... Read more

Registration is open. Please sign up for the seminar before 22.10.2015 23:59.

In case the number of registration exceeds the number of available spots, the participants will be drawn randomly. You will be informed about your admission as soon as the registration is closed. 
 



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators