Ο χρόνος που περνά παραμένει ένα μεγάλο μυστήριο, το οποίο η καθομιλουμένη ανέκαθεν αδυνατούσε να αποδώσει με ακρίβεια: συχνά περιορίζεται σε μεταφορές ή σε εκφράσεις παράξενες σύμφωνα με τους νόμους της φυσικής, όπως «ο χρόνος περνά γρήγορα» ή «ατέλειωτα λεπτά»… Στη φυσική, μιλούμε παραδοσιακά για την πραγματική γραμμή του χρόνου (το βέλος του χρόνου). Αλλά στην πληροφορική, η ανάγκη να μιλήσουμε πολύ συγκεκριμένα για το χρόνο ενισχύεται από τη γενίκευση των κυβερνο-φυσικών συστημάτων, δηλαδή των συστημάτων αυτόματης πλοήγησης αυτοκινήτων, αεροπλάνων, ρομπότ και ποικίλων συσκευών, καθώς και από τη γενίκευση των συστημάτων πληροφόρησης που είναι συγχρονισμένα σε παγκόσμια κλίμακα. Aυτές οι εφαρμογές απαιτούν μια εντελώς καινούργια προσέγγιση του χρόνου. O Gérard Berry θα μας εξηγήσει πώς μπορούμε να μιλάμε ρητά για αυτά τα νέα είδη χρόνου αλλά και το γιατί οι σχετικές γλώσσες πληροφορικής χρησιμοποιούνται σε τόσο διαφορετικά πεδία όπως είναι τα ηλεκτρονικά κυκλώματα, τα λογισμικά υψηλής ασφάλειας ή και η μουσική.
19:00
21:00
Πώς να μιλήσει κανείς για το χρόνο, ακόμα και στους υπολογιστές;