computer science – /dev/null

The Joy of Logic (2013)

May 24, 2015ambsLeave a Comment

For something completely different, today I talk (erm, write) about a BBC documentary on Logic. It starts with Socrates Syllogisms up to Boole algebra. Then a quick visit on Mathematics nightmare of trying to prove Mathematics logically (yeah, Maths aren’t logic!), introducing first order logic. Then, we get back to Boole algebra and Alan Turing, […]

Computer Science

Symposium on Languages, Applications and Technologies

March 15, 2012March 15, 2012ambsLeave a Comment

I am the Chair of the Symposium on Languages, Applications and Technologies. It is the first year this conference will take place, but some of its tracks have some history. There are three main tracks, on Human-Human Languages processing (processing of natural languages), Human-Computer Languages processing (processing of programming languages) and Computer-Computer Languages processing (communication […]