(PN) [DisCoTec 2019] Call for Participation

2019-04-29 Thread Kiko Fernandez Reyes
CALL FOR PARTICIPATION 14th International Federated Conference on Distributed Computing Techniques DisCoTec 2019 Kongens Lyngby, Denmark, 17-21 June 2019 https://www.discotec.org/2019 **

(PN) PostDoc in Verification of Simulink Models

2019-04-29 Thread Dilian Gurov
KTH is hiring one PostDoc in Verification of Simulink Models: https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:265239/where:4/ Application deadline: May 16, 2019. Starting date: August 1, 2019 (or by agreement). The postdoctoral position is within a collaboration project between

(PN) CFP: IEEE DS-RT 2019 (October 7-9, 2019 - Cosenza, Italy)

2019-04-29 Thread Robson De Grande
Please accept our apologies if you have received multiple copies. Call for Papers - DS-RT 2019 23

(PN) cfp: FPDAPP - 2nd International Workshop on Future Perspective of Decentralized APPlications

2019-04-29 Thread Claudio Schifanella
DEADLINE: MAY, 10 FPDAPP 2019 - Call for Papers 2nd International Workshop on Future Perspective of Decentralized APPlications http://fpdapp.di.unito.it/ Held in conjunction with the 25th International European Conference on Parallel and Distributed Computing http://www.europar.org/ Aug

(PN) FORMATS 2019 (Amsterdam): new submission schedule

2019-04-29 Thread Étienne André
    Call for papers    FORMATS 2019 17th International Conference on Formal Modeling and Analysis of Timed Systems   Amsterdam, The Netherlands   Au

(PN) Call for Participation: 1st IEEE Int. Conference on Process Mining (ICPM) 2019

2019-04-29 Thread Laura Juliff
International Conference on Process Mining (ICPM 2019) Aachen (Germany) 24-26 June 2019 https://icpmconference.org/ https://icpmconference.org/wp-content/uploads/icpm_trailer_final.mp4 The International Conference on Process Mining (ICPM) is the first conference devoted to the rapidly growing pr

(PN) Reachability Problems 2019, RP2019, Submissions: May 31st 2019

2019-04-29 Thread Potapov, Igor
RP 2019 - CALL FOR PAPERS The Computer Science Department @ULB and the ICTEAM Institute @UCLouvain are excited to announce the 13th International Conference on Reachability Problems 2019. Brussels, Belgium, September 11-13, 2019. Web: https://sites.uclouvain.be/rp2019/ RP Flyer https://sites.u

(PN) CfP: 9th International Young Researchers Workshop on Concurrency Theory

2019-04-29 Thread Christian Roldán
[Apologies for multiple postings] = 1st CALL for ABSTRACTS for YR-CONCUR 2019 9th International Young Researchers Workshop on Concurrency Theory (satellite workshop of CONCUR 2019) August 31, 2019 Amsterdam, The Netherlands URL: https://yr-con

(PN) CFP - ICTAC 2019: 16th International Colloquium on Theoretical Aspects of Computing

2019-04-29 Thread Slim Kallel
Call for papers: 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019). http://ictac2019.redcad.org (Apologies if you have received multiple copies of this call for papers) We are pleased to invite you to submit papers for the 16th International Colloquium on Theoretical