http://permalink.gmane.org/gmane.science.mathematics.petri-nets hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3716 <pre>(Apologies for cross-postings of this announcement) ================================================= * Call for Contributions to Doctoral Consortium | BPM 2013 * [http://bpm2013.tsinghua.edu.cn/?page_id=402] Extended Abstract submissions: 10 June 2013; Notification of acceptance: 1 July 2013; Camera-ready copy: 1 August 2013 -------------------------------------------------------------------------------- Current PhD students working in the area of Business Process Management (BPM) are invited to submit their proposals for participation in a Doctoral Consortium, which will be held on Sunday, 25 August 2013, on the eve of the 11th International Conference on Business Process Management (BPM 2013) in Beijing, China. The Doctoral Consortium has the following objectives: * To provide valuable feedback on students' research methods and plans * To provide helpful guidance on students' research directions and topics * To promote the development of a community of scholars that will help students in their fut</pre> Chun Ouyang 2013-05-13T05:34:40 http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3715 <pre> ================================ CALL FOR PAPERS MKWI'14 - Track: Modeling and Management of Secure Workflows Conference: February 26th – 28th 2014 in Paderborn Submission deadline: September 15th 2013 http://www.mkwi2014.de/Cfps/Details/26 ================================ *** Track Description *** More than 70% of all Business Processes in the EU rely on Business Process Management (BPM) systems for their automation and organization. This allows for a flexible alignment of processes and to realize competitive advantages. These advantages are bound to technical and economical risk since they ease violations of internal (Governance) and external (Compliance) rules. Missing security guarantees are hence one of the biggest obstacles for the use of BPM and process automation. This track brings together researchers and practitioners with an interest in the growing field of Business Process Management. The track invites contributions that present original and innovative ideas, case studies and “Best pract</pre> Frank Böhr 2013-05-08T09:30:32 http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3714 <pre>[Apologies if you receives multiple copies of this CFP] ---------------------------------------------------------------------------- ------------------- Third International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2013) IFIP Working Groups 2.6 and 2.12/12.4 In conjunction with the 39th international conference on Very Large Databases (VLDB 2013) Riva del Garda, Trento (Italy) - August 30th, 2013 http://sesar.dti.unimi.it/SIMPDA2013/ ---------------------------------------------------------------------------- ------------------- * About SIMPDA With the increasing automation of business processes, growing amounts of process data become available. This opens new research opportunities for business process data analysis, mining and modeling. The aim of the IFIP 2.6 - 2.12 International Symposium on Data-Driven Process Discovery and Analysis is to offer a forum where researchers from different communities and the industry can share their insight in this hot</pre> Fulvio Frati 2013-05-08T09:22:18 http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3713 <pre>=================================== Petri Net Course - Milano, June 23-25, 2013 =================================== The Petri Net Course takes place from Sunday to Tuesday before the "34th International Conference on Application and Theory of Petri Nets and Concurrency" (http://www.mc3.disco.unimib.it/petrinets2013/index.shtml ) It offers a thorough introduction to Petri Nets in four half-day modules on Sunday and Monday: * Basic Net Classes * Coloured Petri Nets 1 * Coloured Petri Nets 2 * Timed and Stochastic Petri Nets On Tuesday there is a choice between two full-day tutorial modules on applications of Petri Nets and/or new developments presented by experts in the area. This year the subjects are: * Petri Nets for Multiscale Systems Biology * Unfoldings Each module of the course can be taken separately. In particular, the lectures on Tuesday can be followed as independent Tutorials. Schedule of the Petri Net course -------------------------------------------- (http://ww</pre> Lucia Pomello 2013-05-10T15:32:15 http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3712 <pre>Dear Petri-Netters, we are happy to announce the new version 2.4 of the Java-based Petri net tool Renew. Please visit our web page for more information on Renew. http://www.renew.de/ From the same address you can download the ready-to-install archives of the new version 2.4 and the source code at your option. For your convenience we provide a comfortable Mac package and also a Ubuntu/Debian package. We do not require any registration to download the software, but any feedback from you is greatly welcome. We have thoroughly refactored the whole code base, further improved the decoupling of simulator and GUI, improved the desktop integration on all platforms and fixed over 70 bugs. Please feel free to contact us by email. mailto:support&lt; at &gt;renew.de Yours, Lawrence Cabac and Daniel Moldt </pre> Lawrence Cabac 2013-05-10T14:29:48 http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3711 <pre> 1ST CALL FOR PAPERS ESM'2013 The 27th annual European Simulation and Modelling Conference Lancaster University http://www.lancs.ac.uk/ Lancaster - United Kingdom October 23-25, 2013 Organised by The European Technology Institute and Sponsored by EUROSIS For latest information see: http://www.eurosis.org or http://www.eurosis.org/cms/?q=taxonomy/term/341 AIM OF ESM'2013 The ESM'2013 (The 27th annual European Simulation and Modelling Conference) is the original international European conference concerned with state of the art technology in modelling and simulation. ESM'2013 aims to provide an overview of academic research in the field of computer simulation. A number of major tracks of simulation research are presented next to specific workshops, which capture the art and science of present-day simulation research. Selected papers will appear in journals especially tailored to EUROSIS. All submissions will be peer reviewed by at least three members of the International Program Committee. </pre> Philippe Geril 2013-05-07T09:14:07 http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3710 <pre>The Carl von Ossietzky University of Oldenburg, Germany, offers 5 Research Positions for PhD Candidates (90% of E13 TV-L, German public sector pay scale) in the Research Training Group SCARE --- System Correctness under Adverse Conditions funded by the German Research Foundation (DFG GRK 1765). The positions at the Department of Computing Science are available from *October 1, 2013*, for a duration of three years. For details see http://scare.uni-oldenburg.de --&gt; Application We invite applications in PDF format to SCARE&lt; at &gt;uni-oldenburg.de by *May 31, 2013* ---- Eike Best </pre> Eike Best 2013-05-07T07:44:24 http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3709 <pre>===================================================================== CALL FOR ABSTRACTS YR-CONCUR 2013 4th International Young Researchers Workshop on Concurrency Theory August 31, 2013 Buenos Aires, Argentina http://www.doc.ic.ac.uk/~srdipi/yr-concur/ ===================================================================== Aims and objectives This workshop aims at providing a platform for PhD students and young researchers who recently completed their doctoral studies, to exchange new results related to concurrency theory and receive feedback on their research. Focus is on informal discussions. Excellent master students working on concurrency theory are also encouraged to contribute. Format YR-CONCUR 2013 is a satellite workshop of CONCUR 2013 and will be held on Saturday, August 31, 2013. It is anticipated that many CONCUR participants will attend the YR-workshop (and vice versa). Presentatio</pre> Nicolas Dipi 2013-05-06T13:14:25 http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3708 <pre>(Apologies for cross-posting) CALL FOR PAPERS Fourth Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2013) http://people.cs.kuleuven.be/dave.clarke/FMSPLE2013.html August 27, 2013. Co-located with the 17th International Software Product Line Conference (SPLC 2013), August 26 - 30, Tokyo, Japan http://www.splc2013.net/ BACKGROUND AND OBJECTIVES Software product line engineering (SPLE) aims at developing a family of systems by reuse in order to reduce time to market and to increase product quality. The correctness of the development artifacts intended for reuse as well as the correctness of the developed products is of crucial interest for many safety-critical or business-critical applications. Formal methods and analysis approaches have been successfully applied in single system engineering over the last years in order to rigorously establish critical system requirements. However, in SPLE, formal methods and analysis approaches are not broadly applied yet, despit</pre> Maurice ter Beek 2013-05-06T07:26:47 http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3707 <pre>FMCAD 2013 - FORMAL METHODS IN COMPUTER-AIDED DESIGN FINAL CALL FOR PAPERS International Conference on Formal Methods in Computer-Aided Design http://www.fmcad.org/FMCAD13 Portland, OR, USA October 20-23, 2013 IMPORTANT DATES Abstract Submission: May 8 Paper Submission: May 15 Author Notification: July 17 Final Version: August 14 Conference: October 20 - 23 Student Forum: (NEW! --- See below for details) Submission Deadline: June 2 Notification: August 4 KEYNOTES - Pranav Ashar, Chief Technology Officer, Real Intent, "Static Verification Based Signoff - A Key Enabler for Managing Verification Complexity in the Modern SoC" - Lori A. Clarke, Professor, University of Massachusetts, Amherst, "Using Process Modeling and Analysis Techniques to Reduce Errors in Healthcare" TUTORIALS - Rajeev Alur, University of Pennsylvania, "Computer Augmented Program Engineering" - Jim Grundy, Intel Corporation, "Firmware Validation: Challenges and Opportunities" - Somesh Jha, Bill Harris, Tom Reps, U</pre> Chao Yan 2013-05-07T03:18:33 http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3706 <pre> R E A C H A B I L I T Y P R O B L E M S 2013 ---------------------------------------------------------- The 7th International Workshop on Reachability Problems (RP2013) (25 - 27 September 2013, University of Uppsala, Sweden) http://www.it.uu.se/conf/RP2013/ The Department of Information Technology will organize the 7th International Workshop on Reachability Problems (RP'2013). This event will take place at Norrlands nation in the heart of central Uppsala, 25 - 27 September 2013. Papers presenting original contributions related to reachability problems in different computational models and systems are being sought. This will also be the occasion to review recent breakthroughs by renown invited experts and survey emerging trends and emphasize on key open challenges. Participants are kindly encouraged to discuss on core scientific issues that need to be further tackled. The Reachability Workshop is specifically aimed at gathering together scholars from diverse disciplines and b</pre> Potapov, Igor 2013-05-03T06:30:37 http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3705 <pre>Apologies for multiple copies of this email. ************************************************************************ *** DIFTS'13 DESIGN and IMPLEMENTATION of FORMAL TOOLS and SYSTEMS CALL FOR PAPERS ************************************************************************ *** Second International Workshop on Design and Implementation of Formal Tools and Systems (co-located with FMCAD and MEMOCODE 2013) http://www.cmpe.boun.edu.tr/difts13/ Portland, OR, USA October 19, 2013 IMPORTANT DATES Paper submission: July 24, 2013 Author notification: August 24, 2014 WORKSHOP SCOPE DIFTS (Design and Implementation of Formal Tools and Systems) workshop emphasizes insightful experiences in formal tools and systems design. The first DIFTS workshop was held in 2011. It provides a forum for sharing challenges and solutions that are original with ground breaking results. Often the design and </pre> Malay Ganai 2013-05-02T17:13:01 http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3704 <pre>Apologies for cross-posting. =============================================================================== CALL FOR PAPERS ASPOCP 2013 6th Workshop on Answer Set Programming and Other Computing Paradigms http://www.kr.tuwien.ac.at/events/aspocp2013 August 25th, 2013 Collocated with the International Conference on Logic Programming 2013 Istanbul, Turkey August 24-29, 2013 =============================================================================== AIMS AND SCOPE Since its introduction in the late 1980s, answer set programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which has led to a method of computing answer sets using SAT solvers and techniques adapted from SAT. While this has been the most st</pre> Yuliya Lierler 2013-05-02T05:25:37 http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3703 <pre>Due to several requests the paper submission deadline of the Special Issue of ACM Transactions on Management Information Systems on Business Process Intelligence has been extended to May 15, 2013. We are looking forward to your submissions. ******************************************************* Special Issue of ACM Transactions on Management Information Systems on Business Process Intelligence New submission deadline: May 15, 2013 ******************************************************* Recently, interesting and innovative concepts, technologies, and applications emerged from the cross-fertilization of BPM and BI/DM/KDD disciplines. Notable examples are process mining, automatic process discovery, intelligent process configuration, and advanced process analytics, which can be collectively referred to as Business Process Intelligence (BPI). Therefore, ACM Transactions on Management Information Systems (ACM TMIS) decided to o</pre> Aalst, W.M.P. van der 2013-05-01T06:35:59 http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3702 <pre>Highly motivated applicants are being sought to work on developing model checking techniques. The postdocs will work with the software engineering and formal methods group in Singapore on further developing the PAT toolkit (http://www.patroot.com&lt;http://www.patroot.com/&gt;). The applicant shall conduct research related to model checking techniques and security. Following list is the possible topics. # Verify security systems: security protocols, web security, TPM, security device, etc. # Program analysis in both source level and binary level, particularly for Malware analsyis # Android security # Formal modelling and verification of multi-agent systems and trust management # Distributed/parallel model checking algorithms # Model checking abstraction and reduction techniques. The position involves conducting basic research, developing tools, working as part of a research team, traveling, and giving presentations. The working language is English. Candidate profile: - A PhD in Computer Science or related areas </pre> Liu Yang (Asst Prof 2013-05-06T07:36:35 http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3700 <pre>The deadline of the FMICS 2013 workshop has been extended by one week. The extended submisson deadline is May 10th. FMICS 2013 ========== 18th International Workshop on Formal Methods for Industrial Critical Systems September 23-24, 2013 Madrid (Spain) Co-located with SEFM 2013 http://lvl.info.ucl.ac.be/Fmics2013 Call for Papers =============== Scope ----- The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS workshop series also strives to promote research and development for the improvement of forma</pre> mdierkes< at >rockwellcollins.com 2013-04-30T12:28:28 http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3699 <pre> CALL FOR PAPERS RV'13 Fourth International Conference on Runtime Verification *** DEADLINE EXTENSION *** INRIA Rennes, France 24-27 September 2013 http://rv2013.gforge.inria.fr/ RV'13, the Fourth International Conference on Runtime Verification, will take place at INRIA Rennes, France, from 24 to 27 September 2013. DEADLINE EXTENSION The deadlines for RV'13 have been extended to *** 12 May ***. INVITED SPEAKERS Klaus Ostermann, University of Marburg, Germany Viktor Kuncak, EPFL, Lausanne, Switzerland Martin Leucker, University of Lubeck, Germany PROGRAM COMMITTEE CO-CHAIRS Saddek Bensalem, VERIMAG, Grenoble, France Axel Legay, INRIA Rennes, France ASSOCIATED WORKSHOP: SMC 2013 SMC 2013, the First Workshop on Statistical Model Checking, will take place at INRIA Rennes, France, on 23 September 2013. The workshop is associated wit</pre> Klaus Havelund 2013-04-29T15:41:32 http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3698 <pre>*5th International Workshop on Non-functional Properties in Modeling: Analysis, Languages, Processes (NIM-ALP2013, previously NFPinDSML)* http://ios.researchstudio.at/de/5th-international-workshop-non-functional-properties-modeling Affiliated with MODELS 2013, Miami, USA, Sept 29 – Oct 1, 2013, http://www.modelsconference.org/ * * ***Important Dates.* Deadline for paper submissions:* July 15, 2013.*** Notification of authors:* August 23, 2013.* The NIM-ALP workshop series (previously NFPinDSML) brings together researchers and practitioners that explore specification and analysis of Non-functional Requirements (NFR) and estimation, final evaluation, and certification of Non-functional Properties (NFPs) of software systems during the design based on Model Driven Engineering principles. The main objective is to provide synergies of process engineering, software language engineering, requirements engineering, software analysis and simulation, and model transformati</pre> Jose Merseguer 2013-04-29T08:39:04 http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3697 <pre>========================================================= PhD positions in Computer Science at IMT Lucca (Italy) - Deadline July 17, 2013 - ========================================================= The Institute for Advanced Studies IMT Lucca - Italy (http://www.imtlucca.it/) announces 41 PhD scholarships providing about €13,600 EUR gross yearly plus accommodation and full board. Deadline for application is July 17th, 2013 at 18:00 Italian time. IMT Lucca (Italy) is a research university within the Italian public higher education system. IMT's mission is to establish itself as a research center that promotes cutting-edge research in key areas, structuring its PhD program in close connection with research, to attract top students, researchers and scholars through competitive international selections, and to contribute to technological innovation, economic growth and social development. PhD programs are taught exclusively in English. The PhD Program includes a Track in Computer, Decision and Sys</pre> Rocco De Nicola 2013-04-28T11:01:34 http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3696 <pre>Dear all, There are only four week left for the tool participation for the Model Checking Contest &lt; at &gt; PETRI NETS 2013. All information to operate tool integration is already available on the web site: http://mcc.lip6.fr Submitted tools will be evaluated against 24 models selected from the first call (for model submission). A few more "surprise models" should be added to evaluate tools with their default settings (check the experience for non specialists users ;-) ). Please note that we greatly simplified the interface procedure with the evaluation system that has been set up aside of the MCC itself (see http://benchkit.cosyverif.org). The deadline has been extended to May 6th due to some requests from several authors. Best regards. Fabrice </pre> Fabrice Kordon 2013-04-26T08:51:54 http://permalink.gmane.org/gmane.science.mathematics.petri-nets/3695 <pre>One PhD position is available with Dr. Paolo Zuliani at Newcastle University to work on SAT/SMT-based verification techniques* *for cyber-physical systems. The position is part of a research project with Carnegie Mellon University (USA) funded by the Office of Naval Research, and it covers stipend (14,790GBP per year) and tuition fees for three years. This project is a collaborative effort between Carnegie Mellon University, Newcastle University, and Smart Information Flow Technologies. The Principal Investigator is Prof. Edmund M. Clarke, co-recipient of the 2007 ACM Turing Award. The project investigator at Newcastle is Dr. Paolo Zuliani. The formal advertisement is here&lt;http://www.ncl.ac.uk/postgraduate/funding/search/list/cs040&gt;. For more information please see the project summary&lt;https://sites.google.com/site/zupaolo/ONRsummary.pdf?attredirects=0&gt;or contact Dr. Paolo Zuliani, paolo.zuliani&lt; at &gt;ncl.ac.uk </pre> Paolo Zuliani 2013-04-25T10:09:38 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.science.mathematics.petri-nets