16 Δεκεμβρίου, 2014
Στην ομιλία αυτή θα παρουσιάσω τα κύρια αποτελέσματα της διδακτορικής μου διατριβής. Θα δούμε μερικές διαφορετικές προσεγγίσεις ανάθεσης σημασιολογίας για τέσσερις γλώσσες λογικού προγραμματισμού. (Συμπεριλαμβάνονται μοντελοθεωρητικές και παιγνιοθεωρητικές
προσεγγίσεις.) Το επίκεντρο θα είναι η αντιμετώπιση διαζευκτικών προγραμμάτων, δηλ. προγραμμάτων στους κανόνες των οποίων εμφανίζονται διαζεύξεις σε θέση κεφαλής.