What was New in 2014

December 19, 2014: Call for Papers: The 2nd International Competition on Runtime Verification, held with RV 2015, September 22 – 25, 2015 Vienna, Austria.

December 17, 2014: PhD position on Process Mining for Predictive Models in Healthcare Smart Maintenance at DSC/e & Philips, Eindhoven, The Netherlands.

December 12, 2014: Call for Papers: International Conference on Business Process Modeling, Development, and Support (BPMDS'2015).

December 7, 2014: Vacancy: Assistant Professor in Data Science at Eindhoven University of Technology (TU/e). Includes a coordinating role in the Data Science Center Eindhoven (DSC/e) and the EIT ICT Labs Data Science Master Program (DSC).

December 4, 2014: Call for Papers FormaliSE 2015.

December 2, 2014: Second Call for Papers 20th Intl. Symposium on Formal Methods (FM 2015), Oslo.

November 4, 2014: Model Checking Contest 2015 - Pre-Registration & Call for Model.

November 3, 2014: The 7th NASA Formal Methods Symposium, Deadline Extension: November 18.

November 1, 2014: International Symposium on Parallel and Distributed Computing (ISPDC) 2015: Preliminary Call for Papers.

October 23, 2014: Multiple Postdoc Positions on Formal Methods for Cyber Security available in Singapore.

October 20, 2014: Call for Papers: Relational and Algebraic Methods in Computer Science (RAMiCS 2015).

October 7, 2014: Call for Papers: 15th International Conference on Application of Concurrency to System Design (ACSD 2015): Brussels, Belgium, June 24-26, 2015.

October 3, 2014: Call for Papers: 36th International Conference on Application and Theory of Petri Nets and Concurrency: Brussels, Belgium, June 21–26, 2015.

October 1, 2014: Multiple PhD and Postdoc Positions on process mining available at Eindhoven University of Technology.

September 30, 2014: ETAPS 2015 final Call for Papers.

September 22, 2014: Call for Proposals for Workshops at FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo, Norway.

September 12, 2014: Call for Papers: CAiSE 2015 -27th International Conference on Advanced Information Systems Engineering.

September 8, 2014: Call for Participation for Informatik 2014 in Stuttgart, Germany.

September 5, 2014: PostDoc position(s) in formal methods available at DTU (Technical University of Denmark).

September 3, 2014: Second Call for Papers: DATE'15 - Topic E3: Model-based Designand Verification for Embedded Systems.

September 2, 2014: MCC'2014 - Public Report is out.

August 29, 2014: TAMC 2015, 18-20 May 2015,National University of Singapore - First Call for Papers.

August 25, 2014: PhD positions available at the University of Cagliari.

August 22, 2014: PhD position in model-driven and component-based software engineering at Bergen University College, Norway.

August 20, 2014: Call for Participation, ICTAC 2014, 16-19 Sept, Bucharest.

August 18, 2014: Postdoc Position on Verification of Asynchronously Communicating Systems, Inria/LIG, Grenoble, France.

August 15, 2014: BPM 2014 is RELOCATED to Eindhoven, the Netherlands.

August 12, 2014: Integrated Formal Methods 2014 - Call for Participation.

August 4, 2014: AVoCS 2014: Call for Research Ideas (due August 11th).

July 31, 2014: Call for Papers: DATE 2015 - Topic E3: Model-based Design and Verification for Embedded Systems.

July 31, 2014: 14 PhD scholarships available in 2014 -- Computer Science in Pisa.

July 29, 2014: Four PhD positions in Process Mining available in Eindhoven.

July 26, 2014: Call for Papers - FORmal MOdeling and Verification of Service-based systems (FOR-MOVES)

July 24, 2014: Final call for papers: JLAMP special issue on Programming Language Approaches to Concurrency and Communication-cEntric Software.

July 17, 2014: Call for Papers: NASA Formal Methods (NFM) 2015.

July 10, 2014: CFP: 30th UK Performance Engineering Workshop.

July 10, 2014: Funded PhD Positions: Dynamic Adaptive Automated Software Engineering.

July 7, 2014: Informatik 2014: Call for Participation.

July 2, 2014: 18 PhD positions in Data Science at the Data Science Center Eindhoven (DSC/e) in collaboration with Philips Research Eindhoven.

July 2, 2014: CONCUR, TCS & TGC 2014: First Call for Participation.

June 29, 2014: CFP: FORmal MOdeling and Verification of Service-based systems (FOR-MOVES).

June 20, 2014: Petri net tool LoLA 2.0 released.

June 20, 2014: BPM 2014 - Call for Participation.

June 17, 2014: AVoCS 2014: Submission Deadline Extension.

June 14, 2014: CFP: 6th International Workshop on Workflow Management in Cloud and Big Data, 3 -5 Dec., Sydney Australia.

June 7, 2014: Ph.D. Position in Information Security at the University of Luxembourg.

June 4, 2014: WS-FM:FASOCC 2014 - Deadline extension (15th June) - Web Services and Formal Methods.

June 4, 2014: MCC at Petri Net 2014 - Participants and Surprise Models.

May 29, 2014: Workshop Human-Oriented Formal Methods @SEFM 2014.

May 28, 2014: PhD research position in SCARE.

May 22, 2014: Two open research&teaching positions in Rostock.

May 12, 2014: Post-doc position at Convecs team (Inria/LIG).

May 8, 2014: Call for Participation : Joint Petri Nets 2014 and ACSD 2014 Conference, Tunis, 23-27 June 2014.

May 5, 2014: CfP - BPM 2014 Workshops.

May 3, 2014: Post-doc positions in security evaluation of software protection at UEL, London, UK

April 28, 2014: Ph.D. Position in Information Security at the University ofLuxembourg.

April 27, 2014: Reachability Problems 2014 - First Call for Papers.

April 17, 2014: 3rd CfP - BioPPN 2014.

April 16, 2014: KI 2014: Last Call for Papers.

April 14, 2014: WWV 2014: Final Call for Papers.

April 9, 2014: PNSE'14 - International Workshop on Petri Nets and Software Engineering, Deadline Extension.

April 7, 2014: Call for Workshops, Petri Nets 2015.

April 7, 2014: Call for Papers: 12th International Conference on Service Oriented Computing (ICSOC 2014).

April 2, 2014: Second Call for Papers: Workshop on Biological Processes and Petri Nets (BioPPN).

April 2, 2014: MCC'2014 (Model Checking Contest) - 2nd call for tool participation and update.

March 29, 2014: Call For Participation: FormaliSE 2014, Hyderabad, India, 3 June 2014.

March 27, 2014: FORMATS 2014 - The 12th International Conference on Formal Modeling and Analysis of Timed Systems: Call for Papers.

March 18, 2014: CL 2014, Colloquium Logicum 2014, Neubiberg (Germany), 4-6 Sep 2014.

March 17, 2014: BPM 2014 - Deadline extension until 28th March (abstracts 21stMarch).

March 12, 2014: New book: Formal Methods in Manufacturing.

March 12, 2014: Tenured full professorship in Theoretical Computer Science available at the Department of Informatics, University of Hamburg.

March 3, 2014: MCC'2014 (Model Checking Contest) - Call for Tool Participation.

March 3, 2014: Call for Papers: 1st International Workshop on Safety and Formal Methods - SaFoMe 2014

February 26, 2014: Second Call for Papers: FMICS 2014, The 19th International Workshop on Formal Methods for Industrial Critical Systems.

February 25, 2014: Call for Papers: Workshop on Biological Processes and Petri Nets (BioPPN).

February 24, 2014: Integrated Formal Methods 2014 - First Call for Papers.

February 21, 2014: Four PhD positions on Data Science in the Department of Mathematics and Computer Science at TU Eindhoven available.

February 17, 2014: 5 PhD Positions in Formal Methods, Functional Programming, and Information and Software/Web Security at the Chalmers University of Technology, Sweden.

February 14, 2014: Formal Verification of Service Based Systems FVSBS 2014 @ IEEEWETICE - Parma, Italy.

February 12, 2014: PLACES 2014 at ETAPS - Call for Participation.

February 11, 2014: BPMDS'2014 - Call for Papers (in conjunction with CAISE).

February 4, 2014: Call for Papers: 7th Workshop on Answer Set Programming and Other Computing Paradigms.

February 3, 2014: KI 2014: Call for Papers.

February 1, 2014: Faculty positions at the School of Computer Science, Reykjavik University.

January 29, 2014: 2nd CfP: BPM 2014 - International Conference on Business Process Management.

January 17, 2014: Postdoc positions in SAT/SMT-based Verification available in Trento.

January 16, 2014: Call for Papers: Seventh International Workshop on Practical Applications of Stochastic Modelling (PASM'14).

January 11, 2014: Petri Nets 2014: Submission deadline extension: January 22.

January 9, 2014: ETAPS WORKSHOPS 2014: Joint Call for Papers.

January 7, 2014: ACSD 2014 - Call for papers - ACM TECS special issue.

January 2, 2014: Call for Papers: FormaliSE 2014 (3 June 2014, Hyderabad, India).