Quantitative Logics and AutomataSpeaker: George RahonisDate: 02/07/2012Time: 13:30 - 14:30Location: RISC Seminar room