[Hol-info] Update: LASER summer school 2017: Software for Robotics, Elba Island, September 9-17

2017-04-14 Thread se-events
Below is the updated announcement for the LASER summer school on Software for Robotics in September. We are happy to announce one more speaker: Hiroshi Okuno from Kyoto and Waseda universities on Robot Audition Software. The deadline for early registration fees is April 30. -- Bertrand

[Hol-info] NFM 2017 - 2nd Call For Participation

2017-04-14 Thread Rody Kersten
NFM 2017 - 2nd Call For Participation The 9th NASA Formal Methods Symposium - https://ti.arc.nasa.gov/events/nfm-2017/ May 16 - 18, 2017 NASA Ames Research Center Moffett Field, CA, USA Program is now available. NFM'17 is free to attend, but note that registra

[Hol-info] SYNASC 2017 - Second Call for Papers

2017-04-14 Thread SYNASC 2017
--- Second Call for Papers -- SYNASC 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing September 21-24, 2017, Timisoara, Romania http://go.sparkpostmail1.com/f/

[Hol-info] SMT 2017 CFP

2017-04-14 Thread Liana Hadarean
*** Apologies for multiple copies, please redistribute *** --- Call For Papers --- SMT 2017 15th International Workshop on Satisfiability Modulo Theories July 22 - 23, 2017, Heidelberg, Germany Affiliated with CAV 2017 == Backg

[Hol-info] [fm-announcements] ISSTA 2017 Demonstrations - Call for Papers

2017-04-14 Thread Havelund, Klaus (348B)
ISSTA 2017 Demonstrations http://conf.researchr.org/track/issta-2017/issta-2017-demos Call for Papers The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2017 Demonstrations Track serves as a venue for publishing and presenting advances in software testing and ana

[Hol-info] SYNASC 2017 - Second Call for Papers

2017-04-14 Thread SYNASC 2017
--- Second Call for Papers -- SYNASC 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing September 21-24, 2017, Timisoara, Romania http://go.sparkpostmail1.com/f/

[Hol-info] Formal Methods in Computer-Aided Design - Call for Papers

2017-04-14 Thread Geoff Sutcliffe
2nd CALL FOR PAPERS International Conference on Formal Methods in Computer-Aided Design (FMCAD) Vienna, Austria, October 2-6, 2017 http://www.fmcad.org/FMCAD17 IMPORTANT DATES Abstract Submission:May 01, 2017 Paper Submission: May 08, 2017 Author Response Period:

[Hol-info] [LPNMR 2017 Workshops] Extended Deadline

2017-04-14 Thread Peter Schüller
*** DEADLINE FOR WORKSHOP PAPER SUBMISSION EXTENDED TO May 1 *** Joint Call for LPNMR Workshop Papers --- 14th International Conference on Logic Programming and Non-m

[Hol-info] CfP FMCAD 2017 - Formal Methods in Computer Aided Design

2017-04-14 Thread no-reply
2nd CALL FOR PAPERS International Conference on Formal Methods in Computer-Aided Design (FMCAD) Vienna, Austria, October 2-6, 2017 http://www.fmcad.org/FMCAD17 IMPORTANT DATES Abstract Submission:May 01, 2017 Paper Submission: May 08, 2017 Author Response Period:

[Hol-info] Seventh Summer School on Formal Techniques, May 21-26, 2017, Menlo College, Atherton

2017-04-14 Thread Sam Owre
Seventh Summer School on Formal Techniques, May 21 - May 26, 2017, Menlo College Atherton, California http://fm.csl.sri.com/SSFT17 Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applicat

[Hol-info] TABLEAUX 2017 DEADLINE REMINDER

2017-04-14 Thread Cláudia Nalon
FINAL CALL FOR PAPERS TABLEAUX 2017 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods University of Brasilia, Brazil September 25-28, 2017

[Hol-info] (Second Call for Participation) First School on Foundations of Programming and Software Systems -- Probabilistic Programming

2017-04-14 Thread Renato Neves
It is our greatest pleasure to announce the first edition of the School on Foundations of Programming and Software systems. The school is jointly funded by EATCS, ETAPS, ACM SIGLOG, and ACM SIGPLAN. The topic of the first edition is Probabilistic programming. It will take place in Braga, Portugal,

[Hol-info] CfP (-10days) FTfJP2017

2017-04-14 Thread Radu Grigore
website: http://2017.ecoop.org/track/FTfJP-2017-papers submissions: https://ftfjp17.hotcrp.com/ FTfJP (Formal Techniques for Java-like Programs) is an established workshop, running annually since 1999. It is associated with ECOOP, a flagship European conference on object-oriented programming. For

[Hol-info] Summer School on Verification Technology

2017-04-14 Thread Geoff Sutcliffe
=== First Call for Participation 10th International Summer School on Verification Technology, Systems & Applications http://www.mpi-inf.mpg.de/vtsa17/ The 10th edition of the

[Hol-info] LFMTP 2017 - Call for papers

2017-04-14 Thread Marino Miculan
CALL FOR PAPERS : deadline June 25, 2017 LFMTP 2017: Logical Frameworks and Meta-Languages: Theory and Practice Affiliated with FSCD 2017 Oxford, United Kingdom, September 8, 2017 Conference website http://lfmtp.org/workshops/2017/home.shtml Submission link https://easychair.org

[Hol-info] MFCS 2017: Second Call for Papers

2017-04-14 Thread Giorgio Bacci
--- MFCS 2017 42nd International Symposium on Mathematical Foundations of Computer Science Aalborg, Denmark, August 21-25, 2017 http://mfcs2017.cs.aau.dk/ -

[Hol-info] [CFP] VECoS 2017 - LNCS || August 24-25, 2017 - Montreal, Canada

2017-04-14 Thread Osman Hasan
Dear Colleagues, Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to this Springer sponsored conference that will take place in Montreal, Canada (see also attached CFP) Regards. Osman Hasan