The topics will be: - presentation of the new members of the SOPRANO project PhD and Post-doc (10h-11h) - presentation of the Benchmark Environment D1.3 (Francois) (11h10-11h40) - presentation of the progress on Floating-Point in Alt-Ergo D4.1 (Mohamed) (11h40-12h20) - presentation of the work on "Real Behavior of Floating Point" (Bruno,Francois,Guillaume?) (will be part of D3.1) (13h30-14h10) - discussion about IntSAT paper and other papers (14h30-15h45) - discussion about the survey on combination techniques D2.1 (16h00-17h15)