Ο βραβευμένος και διεθνώς αναγνωρισμένος Καθηγητής Πληροφορικής έρχεται στην Ξάνθη
To Ίδρυμα Θρακικής Τέχνης και Παράδοσης σε συνεργασία με το Δημοκρίτειο Πανεπιστήμιο Θράκης οργανώνουν τη Δευτέρα 6 Ιουνίου στις 20:00, στην Καπναποθήκη «Π» του Ιδρύματος Θρακικής Τέχνης και Παράδοσης, παρουσίαση του βιβλίου του καθηγητή Ιωσήφ Σηφάκη «Η φυσική της μεταφυσικής – κείμενα πεζά και έμμετρα».
Το βιβλίο αποτελείται από κείμενα που εκφράζουν σκέψεις και στοχασμούς για την κρίση, τον πολιτισμό, τον άνθρωπο, την επιστήμη, την κοινωνία από έναν διεθνώς αναγνωρισμένο για τις πρωτοποριακές εργασίες του επιστήμονα. Η παρούσα κρίση είναι πάνω απ’ όλα ηθική και πνευματική και θέτει επιτακτικά το αίτημα να προσδιορίσουμε ένα σύνολο κανόνων και αξιών, στις οποίες ελεύθερα υποταγμένες οι συνειδήσεις να εξασφαλίζουν με τις απορρέουσες επιλογές και πράξεις την αρμονική ανάπτυξη του κοινωνικού συνόλου και των συνιστωσών του. Πώς συμβιβάζεται το ατομικό με το κοινωνικό συμφέρον, ποια είναι η χρυσή τομή μεταξύ κοινωνικής δικαιοσύνης και το αίτημα για αποτελεσματικότητα στην οικονομία και την κοινωνική οργάνωση; Πως υπό τις παρούσες συνθήκες εξασφαλίζονται ουσιαστικές ελευθερίες και πως διασφαλίζεται η σωστή διαχείριση τους σε όλα τα επίπεδα;
Για το βιβλίο θα μιλήσουν οι:
• Αθανάσιος Καραμπίνης, Πρύτανης Δημοκρίτειου Πανεπιστημίου Θράκης
• Παναγιώτης Σωτηρόπουλος, Δρ. Επιστημολογίας και ο συγγραφέας
• Ο συγγραφέας Ιωσήφ Σηφάκης
Μουσική Εισαγωγή: Βασίλης Δαλαμπέλας, βιολί – Ελένη Σερενίδου, πιάνο
Την εκδήλωση συντονίζει ο δημοσιογράφος Ιορδάνης Χασαπόπουλος
Ιωσήφ Σηφάκης
Ο Ιωσήφ Σηφάκης είναι ηλεκτρολόγος μηχανικός του Εθνικού Μετσοβίου Πολυτεχνείου και Διδάκτωρ Πληροφορικής του Πανεπιστήμιου της Grenoble. Είναι διευθυντής του Center for Integrative Research στην Γκρενόμπλ, καθηγητής στο Πολυτεχνείο της Λωζανης (EPFL) και Πρόεδρος του Εθνικού Συμβουλίου Έρευνας και Τεχνολογίας. Είναι ο ιδρυτής του εργαστηρίου Verimag στην Grenoble. Το Verimag είναι διεθνώς αναγνωρισμένο στον τομέα της σχεδίασης κρίσιμων συστημάτων. Αρχές των ετών 90 ανέπτυξε σε συνεργασία με την βιομηχανία και ιδιαίτερα την Airbus, την τεχνολογία fly-by-wire που χρησιμοποιήθηκε για πρώτη φορά σε επιβατικά αεροπλάνα (Airbus320) για τον αυτόματο έλεγχο πτήσεων. Είναι διεθνώς αναγνωρισμένος για τις πρωτοποριακές εργασίες του στον τομέα της σχεδίασης και επαλήθευσης συστημάτων. Είναι από τους θεμελιωτές του Model-Checking που είναι η κύρια βιομηχανική μέθοδος επαλήθευσης πληροφορικών συστημάτων σήμερα χρησιμοποιούμενη από εταιρείες όπως Intel, Microsoft και Google. Για την συμβολή του στην θεωρία και την εφαρμογή μεθόδων επαλήθευσης, του απονεμήθηκε το βραβείο Turing 2007, το αντίστοιχο του βραβείου Νόμπελ στην Πληροφορική.
