Search emea
Πέμπτη, 23 Οκτωβρίου 2014 | 09:34Latest news:

Interview

Ed Clarke: "H έρευνα σε επιστήμη, τεχνολογία, μηχανική και μαθηματικά 'φάρμακο' για την οικονομική και κοινωνική κρίση στην Ελλάδα"

O Edmund M. Clarke ξεκίνησε ως μαθηματικός. Τον κέρδισε όμως η Πληροφορική. Εργάστηκε ως ερευνητής με τεράστια συνεισφορά στο πολύ δύσκολο πρόβλημα της επαλήθευσης της ορθότητας προγραμμάτων που εκτελούν ζωτικές λειτουργίες όπως ο έλεγχος ενός αεροπλάνου ή ενός διαστημόπλοιου εν πτήσει. O Edmund M. Clarke ξεκίνησε ως μαθηματικός. Τον κέρδισε όμως η Πληροφορική. Εργάστηκε ως ερευνητής με τεράστια συνεισφορά στο πολύ δύσκολο πρόβλημα της επαλήθευσης της ορθότητας προγραμμάτων που εκτελούν ζωτικές λειτουργίες όπως ο έλεγχος ενός αεροπλάνου ή ενός διαστημόπλοιου εν πτήσει.


EMEA Newsletter

Για να μαθαίνετε πρώτοι τα Νέα

» Δείτε το newsletter της ημέρας

Opinion

Το μίνιμουμ της συναίνεσης

Πριν κλείσει καν 24ωρο, εμείς, στο EMEAgr, δικαιωθήκαμε – δυστυχώς – για όσα λέγαμε τη Δευτέρα. Ότι, δηλαδή, η πόλωση και η αντιπαράθεση δεν ευνοούν κανέναν. Το μήνυμα που έχουν πάρει κυβέρνηση και αντιπολίτευση από Βρυξέλλες και Ουάσινγκτον είναι σαφές: "Βρείτε τα". Όσο, λοιπόν, δεν τα βρίσκουν, τόσο το χειρότερο για τη χώρα. Πριν κλείσει καν 24ωρο, εμείς, στο EMEAgr, δικαιωθήκαμε – δυστυχώς – για όσα λέγαμε τη Δευτέρα. Ότι, δηλαδή, η πόλωση και η αντιπαράθεση δεν ευνοούν κανέναν. Το μήνυμα που έχουν πάρει κυβέρνηση και αντιπολίτευση από Βρυξέλλες και Ουάσινγκτον είναι σαφές: "Βρείτε τα". Όσο, λοιπόν, δεν τα βρίσκουν, τόσο το χειρότερο για τη χώρα.

Editorial

Η Γιάννα μίλησε. Ο Σύριζα;

του Γιάννη ΔΙΟΝΑΤΟΥ Κανονικά το editorial αυτό θα έπρεπε να έχει γραφτεί εχθές, Δευτέρα, όμως ο λόγος που αυτό δεν ... Προβληματίζει η σιωπή του Σύριζα στην "επίθεση φιλίας" που δέχθηκε από την Γιάννα Αγγελοπούλου, την γυναίκα που συνέδεσε το όνομα της με τους Ολυμπιακούς Αγώνες του 2004. H "σιωπή" του Σύριζα μεταφράζεται, από κάποιους, ως αποδοχή των δηλώσεων Αγγελοπούλου.