======================================================================== FORMATS'16 -- Call for participation
14th international conference on Formal Modeling and Analysis of Timed Systems (joint with CONCUR'16 and QEST'16) Québec City, Canada, 24-26 August http://formats16.lsv.fr/ ======================================================================== FORMATS'16 will take place in Québec City, Canada, from 24 to 26 August 2016. It is colocated with the conferences CONCUR'16 and QEST'16 (which start on 23 August 2016), and with the workshops EXPRESS/SOS (22 August 2016) and TRENDS (27 August 2016). Invited speakers, in collaboration with CONCUR and QEST: -------------------------------------------------------- Scott A. Smolka (State University of New York, Stony Brook) Ufuk Topcu (University of Texas, Austin) Oleg Sokolsky (University of Pennsylvania) FORMATS'16 program: ------------------- http://formats16.lsv.fr/?page_id=240 Registration: ------------- You can register from the CONCUR website: http://www.concur2016.ulaval.ca/registration_and_venue/ (Early-registration fees until 22 July) ------------------------------------------------------------------------------ What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic patterns at an interface-level. Reveals which users, apps, and protocols are consuming the most bandwidth. Provides multi-vendor support for NetFlow, J-Flow, sFlow and other flows. Make informed decisions using capacity planning reports.http://sdm.link/zohodev2dev _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
