[UAI] CFP: IEEE Int. Conferences (IUCC, DSCI, SmartCNS) in Shenyang, Liaoning, China, 21-23 October 2019

[Please accept our apologies if you receive multiple copies of this email] *** IEEE (IUCC-2019, DSCI-2019, SmartCNS-2019) International Conferences *** To be held in Shenyang, Liaoning, China, 21-23 October 2019. The 18th IEEE International Conference on Ubiquitous Computing and Communications (

[UAI] CFP: European Intelligence and Security Informatics Conference - EISIC'2019

10th European Intelligence and Security Informatics Conference (EISIC) November 26-27, 2019, University of Oulu, Finland http://www.eisic.eu/ The European Intelligence and Security Informatics Conference (EISIC) is Europe's premier conference on Intelligence and Security Informatics. We are th

[UAI] [Invitation] ICICIP2019: Tenth International Conference on Intelligent Control and Information Processing, Marrakesh, Morocco

*Call for Pap**er**s* https://conference.cs.cityu.edu.hk/icicip/ The 10th International Conference on Intelligent Control and Information Processing (ICICIP2019) The Tenth International Conference on Intelligent Control and Information Processing (ICICIP 2019) will be held in Marrakesh, Moroc

[UAI] 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020): Third Call for Papers

*** Third Call for Papers *** 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020) Atlantica Miramare 4* Beach Hotel, Limassol, Cyprus January 20-24, 2020 http://cyprusconferences.org/sofsem2020/ *** Submission Deadline: July 29, 2019 *** (P

[UAI] JOB Two PhD positions in Formal Methods in System Engineering Group at TU Wien, Austria - Deadline: July 4, 2019

Two PhD positions in Formal Methods in System Engineering Group at TU Wien, Austria The Institute of Logic and Computation at the TU Wien, FORSYTE Group is offering two research assistant (PhD student) Positions, 30 h/week, for a period of 4 years. The successful candidate w