2011-12-13 08:47:38 : Tout savoir sur les prochaines évolutions de Workload Automation Autosys Edition
Petri Nets World : Online Services for the International Petri Nets Community
The primary online services for the international Petri Nets community. The services are supervised by the Petri Nets steering committee.
Voir le site Petri Nets World : Online Services for the International Petri Nets Community
- January 27, 2012
- Call for Papers for the 2nd workshop on Petri Nets Compositions (Componet)
31 janvier 2012
- January 18, 2012
- Job offer: The Architecture of Information Systems (AIS) group of the Department of Mathematics and Computer Science of the Technische Universiteit Eindhoven (TU/e) is looking for a PhD working on Process Mining.
31 janvier 2012
- November 27, 2011
- Call for Papers: 10th International Conference on Business Process Management (BPM 2012)
31 janvier 2012
- January 05, 2012
- Call for Papers: CSD&M 2012
10 janvier 2012
- December 05, 2011
- Call for Papers: INCOM 2012 Special Session "Petri net and their applications in industry"
10 janvier 2012
- December 13, 2011
- Call for Papers: DLT 2012
10 janvier 2012
- December 19, 2011
- Call for Papers: FMICS 2012
10 janvier 2012
- December 23, 2011
- 2nd Call for Papers: ACSD 2012
10 janvier 2012
- December 23, 2011
- 3rd Call for Papers: Petri Nets 2012
10 janvier 2012
- January 05, 2012
- 4th Call for Papers: Petri Nets 2012
10 janvier 2012
- December 04, 2011
- Call for Papers: BioPPN 2012, 3rd International Workshop on Biological Processes and Petri Nets Hamburg, Germany, June 25, 2012
5 décembre 2011
- November 14, 2011
- Research Assistant/Associate position in Verification and Language Support for GPU Programming at Imperial College London
14 novembre 2011
- October 26, 2011
- CfP: Modelling Foundations and Applications, July 2012
2 novembre 2011
- October 24, 2011
- 1st CfP LAM'12 (Logics, Agents, and Mobility)
2 novembre 2011
- October 12, 2011
- Application of Concurrency to System Design (ACSD 2012) CfP
2 novembre 2011
- October 07, 2011
- IEEE Task Force on Process Mining releases Process Mining Manifesto
11 octobre 2011
- September 30, 2011
- Assistant Professor position in Modelling and Analysis of Concurrent Systems at IMT Lucca
11 octobre 2011
- September 23, 2011
- Concur 2012: Call for affiliated workshops
26 septembre 2011
- September 15, 2011
- 12 PhD positions on CSE at IMT Lucca (Italy). The deadline for Application is Sept. 28.
19 septembre 2011
- September 12, 2011
- Position in Softw. Engin. & IT Security, Fraunhofer ISST.
19 septembre 2011
- September 12, 2011
- PhD research fellow position in software modelling and verification for sensor networks in Bergen
13 septembre 2011
- September 09, 2011
- Call for papers: European Joint Conferences on Theory And Practice of Software
13 septembre 2011
- September 09, 2011
- Call for workshop proposals for the 9th International Conference on Integrated Formal Methods and the 3rd International Conference on Abstract State Machines (ASM)
13 septembre 2011
- September 08, 2011
- Post Doct Position on Distributed Simulation, Interoperablity, Ontology at University of Bordeaux
13 septembre 2011
- September 04, 2011
- 2011 International Fall School in Formal Languages and Applications (FSFLA 2011) in Tarragona, Spain, October 31st - November 4, 2011.
6 septembre 2011
- August 12, 2011
- Free positions at Hagen university.
30 août 2011
- August 08, 2011
- ePNK: stand-alone version for Windows released. For more information see here
30 août 2011
- August 22, 2011
- Call for papers: CFV'11: Seventh International Workshop on Constraints in Formal Verification.
30 août 2011
- August 18, 2011
- PhD Studentship in Computer Science at Newcastle University, UK available.
30 août 2011
- August 17, 2011
- Technische Universiteit Eindhoven (TU/e) is looking for one PhD student working on Verifying Process Models with Data and Resources.
30 août 2011
- August 17, 2011
- Open Position for one post doctoral researcher at RCIS/JAIST.
30 août 2011
- August 29, 2011
- Job offer at the University of Hamburg.
30 août 2011
- August 25, 2011
- PhD position in parallel algorithms at the University of Kaiserslautern
30 août 2011
- August 05, 2011
- An EASST volume on Petri Nets and Graph Transformation is available.
5 août 2011
- July 25, 2011
- A EPSRC PhD Studentship in Computer Science is available.
25 juillet 2011
- July 21, 2011
- A PhD position in process mining is available at the Technische Universiteit Eindhoven.
25 juillet 2011
- July 25, 2011
- 8 PhD positions in the PhD school SOAMED are available.
25 juillet 2011
- July 13, 2011
- The 18th workshop in applications and tools for Petri nets will take place at the FernUniversität in Hagen from 29 September to 30 September 2011.
18 juillet 2011
- July 7, 2011
- Call for participation RP 2011: The 5th Edition of the Reachability Problems Workshop, September 28 - September 30 2011 in Genova, Italy.
18 juillet 2011
- July 5, 2011
- A new version of Workflow Petrinet Designer (WoPeD) is available. See here for more information.
18 juillet 2011
- July 7, 2011
- Call for participation RP 2011: The 5th Edition of the Reachability Problems Workshop, September 28 - September 30 2011 in Genova, Italy.
11 juillet 2011
- July 5, 2011
- A new version of Workflow Petrinet Designer (WoPeD) is available. See here for more information.
11 juillet 2011
- June 27, 2011
- Post-doctoral position for Formal Analysis and Verification of Model-based Software Design for 12 months at INRIA Grenoble (France)
4 juillet 2011
- June 24, 2011
- Important information from the Steering Committee meeting in Newcastle June 2011 see here
27 juin 2011
- June 22, 2011
- Second International Conference on Complex Systems Design and Management (CSDM 2011) December 7-9, 2011, Paris.
27 juin 2011
- June 21, 2011
- CPN Tools 3.2 has just been released. For more information visit here.
27 juin 2011
- June 7, 2011
- The Petri nets Conference 2012 will take place in Hamburg, Germany (as usual in the last full week of June). For this major event, people are invited to submit proposals for workshops.
20 juin 2011
- June 10, 2011
- The final programme of the International Workshop on Petri Nets and Software Engineering (PNSE'11) is now available here.
20 juin 2011
- June 12, 2011
- 2011 International Fall School in Formal Languages and Applications FSFLA 2011 will take place in Tarragona, Spain on October 31st. For more information visit here.
20 juin 2011
- June 17, 2011
- The new version 0.9.2 of the ePNK is available now (under Eclipse Helios). The ePNK is a generic Petri net tool and tool development platform, which is based on the Eclipse platform and the concepts of PNML.
20 juin 2011
- June 17, 2011
- CALL FOR PAPERS: PETRI NETS 2012, 33rd International Conference on Application and Theory of Petri Nets and Concurrency, Hamburg, Germany, June 25-29, 2012
20 juin 2011
- June 17, 2011
- A new book on Petri Net applications has been released: I. Koch, W. Reisig, F. Schreiber: Modeling in Systems Biology: The Petri Net Approach
20 juin 2011
- June 12, 2011
- 2011 International Fall School in Formal Languages and Applications FSFLA 2011 will take place in Tarragona, Spain on October 31st. For more information visit here.
13 juin 2011
- June 7, 2011
- The Petri nets Conference 2012 will take place in Hamburg, Germany (as usual in the last full week of June). For this major event, people are invited to submit proposals for workshops.
13 juin 2011
- June 10, 2011
- The final programme of the International Workshop on Petri Nets and Software Engineering (PNSE'11) is now available here.
13 juin 2011
- May 29, 2011
- EPSRC PhD Studentship in Computer Science available. Supervisor: Dr. V. Khomenko. Details can be found here
29 mai 2011
- May 29, 2011
- 27th Annual ACM Symposium on Applied Computing - Software Verification and Testing Track. March 25-29, 2012, Riva del Garda (Trento), Italy. More information can be found here
29 mai 2011
- May 25, 2011
- The Petri Net Course - A three day course primarily aimed at master and PhD students. June 19th - June 21st, Newcastle upon Tyne, UK.
25 mai 2011
- May 23, 2011
- CALL FOR PAPERS: DIFTS'11 Design and Implementation of Formal Tools and Systems in Austin, Texas, USA. For more information see http://www.nec-labs.com/research/system/systems_SAV-website/DIFTS11/
23 mai 2011
- May 20, 2011
- CALL FOR PARTICIPATION: 11th International Conference on Application of Concurrency to System Design (ACSD'11) and 32nd International Conference On Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets'11).http://www.nec-labs.com/research/system/systems_SAV-website/DIFTS11
20 mai 2011
- May 18, 2011
- The 33rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri nets 2012) will take place in Hamburg, Germany. For this major event, people are invited to submit proposals for workshops.
May 11, 2011: In the research project "Trust and Access Policies on the (...)
18 mai 2011
- May 11, 2011
- In the research project "Trust and Access Policies on the Web" there is a vacancy for a 4 year PhD position at the Computer Science Department of the VU University Amsterdam. To apply for the PhD position, send a CV, letter of motivation, and names of at least two references to Wan Fokkink (...)
11 mai 2011
- May 11, 2011
- The 33rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri nets 2012) will take place in Hamburg, Germany. For this major event, people are invited to submit proposals for workshops.
11 mai 2011
- May 6, 2011
- Tool Exhibition at Petri Nets / ACSD 2011. DEADLINE for sending requests for participation in the tool exhibition is 1 June 2011. The requests should be sent to Victor.Khomenko@ncl.ac.uk.
9 mai 2011
- May 9, 2011
- FINAL CALL FOR PAPERS for the international Conference on Formal Methods in Computer-Aided Design. For more information see http://www.fmcad.org.
9 mai 2011
- April 17, 2011
- Call for Papers: The 5th Workshop on Reachability Problems will take place in Genova, Italy, September 28-30, 2011. The Reachability Workshop is specifically aimed at people that are interested in reachability problems in various settings. Submission deadline is May 10, (...)
5 mai 2011
- May 2, 2011
- Job Offer: The School of Computer Science at Carnegie Mellon University seeks applications for two postdoctoral fellow positions on effective programming for large distributed ensembles. More information can be found here.
5 mai 2011
- April 29, 2011
- The International Summer School in Language and Speech Technologies 2011 has been announced. See here for more on this.
5 mai 2011
- May 2, 2011
- The Petri Net Steering Committee has decided to have the 2012 Petri Nets conference in Hamburg, Germany. The Petri Nets conference in 2013 will be held in Milan, Italy.
5 mai 2011
- May 4, 2011
- The deadline for the model checking contest at SUMO'11 is in 11 days. For more information, please go to http://sumo.lip6.fr/mcc.html.
5 mai 2011
- March 22, 2011
- Due to the tragic events in Japan the two conferences ACSD 2011 and Petri Nets 2011 will be moved to Newcastle upon Tyne, UK. See the email from Kurt Jensen and Alex Yakovlev here.
21 avril 2011
- March 21, 2011
- Call for Papers: 9th International Conference on Computational Methods in Systems Biology. Submission deadline is May 6, 2011 (abstracts due on April 29).
21 avril 2011
- March 21, 2011
- Deadline Extension: 2nd Workshop on Biological Processes and Petri Nets a workshop at Petri Nets 2011. Submission deadline is extended to March 31, 2011.
21 avril 2011
- March 31, 2011
- Call for Papers: 5th International Workshop on Verification and Evaluation of Computer and Communication Systems. Submission deadline is May 15, 2011.
21 avril 2011
- March 29, 2011
- Job Offer: At RWTH Aachen University, Germany a Full Professor (W3) is sought. The firm deadline for applications is May 20, 2011.
21 avril 2011
- March 28, 2011
- A PhD school on Discrete Event Systems will take place in Cagliari, Italy from June 6 to June 10, 2011. See the email from Carla Seatzu here and the school's weg page at http://www.disc-project.eu/PhD_school.html.
21 avril 2011
- March 25, 2011
- Deadline Extension: International Workshop on Scalable and Usable Model Checking for Petri Nets and Other Models of Concurrency, a satellite event of Petri Nets 2011. Submission deadline is extended to April 15, 2011 due to the tragic events in (...)
21 avril 2011
- March 24, 2011
- Job Offer: The Department of Computer Science at Oldenburg University (Germany) has an open position for a research fellow in Theoretical Computer Science (specifically in Concurrency) in the Parallel Systems Group led by Eike Best. See the email (...)
21 avril 2011
- April 20, 2011
- New Book: Will van der Aalst has written a new book. It's the first book about Process Mining. More information can be found here. See also Wil's email here.
21 avril 2011
- April 15, 2011
- Deadline Extension: Fourth International Workshop on UML & Formal Methods. Submission deadline is extended to April 30, 2011.
21 avril 2011
- April 14, 2011
- Call for Papers: 3rd International Workshop on Computational Models for Cell Processes in conjunction with CONCUR 2011. Submission deadline is May 23, 2011.
21 avril 2011
- April 6, 2011
- Call for Papers: 10th International Workshop on Parallel and Distributed Methods in Verification. Submission deadline is May 16, 2011.
21 avril 2011
- April 5, 2010
- Call for Participation: The 32nd International Conference on Application and Theory of Petri Nets and other Models of Concurrency (Petri Nets 2011) and the 11th International Conference on Application of Concurrency to System Design (ACSD 2011) will take place in Newcastle upon Tyne, UK (moved (...)
21 avril 2011
- April 1, 2011
- Call for Papers: 25th European Simulation and Modelling Conference. Submission deadline is July 25, 2011.
21 avril 2011
- April 1, 2011
- Call for Papers: 9th International Workshop on Security Issues in Concurrency a satellite workshop of CONCUR 2011. Submission deadline is June 3, 2011.
21 avril 2011
- April 21, 2011
- Two new tools have been added to the Petri Nets Tool Database: ePNK is a platform for Petri net tools based on the PNML transfer format. The current version of ePNK is 0.9. It is sable, but still needs some polishing. PNetLab is a simulation and analysis tool. Both tools are free of (...)
21 avril 2011
- January 19, 2011
- Call for Papers: FMOODS & FORTE are two of the four main conferences at the 6th International Federated Conferences on Distributed Computing Techniques. All conferences at DisCoTec share the same deadlines which are February 6, 2011 for abstracts and February 13 for (...)
9 février 2011
- April 17, 2011
- 2nd Call for Papers: Fourth International Workshop on Logics for Agents and Mobility, a satellite workshop of CONCUR 2011. Submission deadline is June 13, 2011.
9 février 2011
- April 13, 2011
- Call for Paper: International Workshop on Scalable and Usable Model Checking for Petri Nets and Other Models of Concurrency, a satellite event of Petri Nets 2011. Submission deadline is to April 17 2011.
9 février 2011
- January 8, 2011
- Call for Papers: IEEE 16th International Conference on Emerging Technologies and Factory Automation. Track 4 - Automated Manufacturing Systems. Submission deadline is March 21, 2011.
9 février 2011
- January 25, 2011
- A new tool has been announced by Ekkart Kindler that fully supports PNML and all the Petri net types defined in ISO/IEC 15909-2. The announcement email can be found here and more information about the tool a the url http://www2.imm.dtu.dk/~eki/projects/ePNK/
9 février 2011
- January 25, 2011
- First Call for Papers: The 22nd International Conference on Concurrency Theory, one of the major conferences focusing on concurrent systems, will take place from September 6 to September 9, 2011, in Aachen Germany. Submission deadline is April 8, 2011 for full papers and April 1 for (...)
9 février 2011
- January 24, 2011
- Job Offer: There are two PhD student positions at the School of Computer Science, Reykjavik University, Island, in the project imed Asynchronous Reactive Objects in Distributed Systems. Application deadline is February 25, 2011. More information can be found (...)
9 février 2011
- January 24, 2011
- Last Call for Papers: The 6th International Federated Conferences on Distributed Computing Techniques will take place in Reykjavik, Iceland, 6-9 June 2011. DisCoTec consists of four main conferences (Coordination, DAIS, FMOODS & FORTE). All conferences share the same deadlines which is (...)
9 février 2011
- May 3, 2011
- Final Call for Papers: The 5th Workshop on Reachability Problems will take place in Genova, Italy, September 28-30, 2011. The Reachability Workshop is specifically aimed at people that are interested in reachability problems in various settings. Submission deadline is May 10, (...)
9 février 2011
- February 5, 2011
- Job Offer: Oxford University is offering a fully funded D.Phil studentship associated with the project Automated Verification Techniques for DNA Computing, funded by a Microsoft Research PhD Scholarship. Application deadline is February 28, 2011. More information can be found (...)
9 février 2011
- January 27, 2011
- Call for Papers: 8th International Colloquium on Theoretical Aspects of Computing. Submission deadline is June 13, 2011.
9 février 2011
- December 22, 2010
- Call for Papers: 5th International Conference on Language and Automata Theory and Applications. This yearly conference in theoretical computer science and its applications will this year take place in Tarragona, Spain. At the conference significant room for young scholars will be reserved. (...)
9 février 2011
- December 13, 2010
- 3rd Call for Papers: 32nd International Conference on Application and Theory of Petri Nets and other Models of Concurrency. This time this major event for the Petri Net community takes place in Kanazawa, Japan. It will be co-located with ACSD 2011. Submission deadline for PN 2011 is January 5, (...)
9 février 2011
- January 7, 2011
- Call for Papers and Deadline Extension: Fifth International Workshop on Practical Applications of Stochastic Modelling. Submission deadline is January 18, 2011.
9 février 2011
Normes & standards
Différents organismes proposent des normes.
Annonces
A voir sur le net
- Ordonnancement.net
Ordonnancement.net est un forum regroupant une communauté d’acteurs de l’ordonnancement de compétences différentes mais tous réunis par l’utilisation par l’utilisation d’un ordonnanceur.
Cette rubrique reprend les offres déposés sur le site, elles concernent donc exclusivement les métiers de l’ordonnancement.
- Keljob.com
Moteur de recherche d’emploi, job et stage du jeune diplome au cadre experimente. Criteres : region, type de contrat (CDD, CDI, Interim). Conseils pour les professionnels du recrutement (ASP,CV).
- Michael Page
Michael Page, cabinet de conseil en recrutement
- Monster.fr
Offres d’emploi monster.
- DirectEmploi.com
Offres d’emploi Informatique-Telecoms, depot de CV, tests de recrutement, plus de 14 000 annonces
- Apec.fr
30 offres de Cadre - Systèmes, réseaux, data
- ITProfil.com
ITProfil.com - Toutes les dernières offres de missions, offres d’emplois et offres de projets.
- Hays.fr
Jobs from Hays...
- Reseau-Emploi.com
Annuaire de 1100 entreprises et 3000 Offres d’emploi en informatique et électronique.
- Webcible-IT.com (Production)
Listing des offres Exploitation / Production / Maintenance
- Webcible-IT.com (Architecture)
Listing des offres
- Webcible-IT.com (Projets)
Listing des offres Gestion de Projets
- Webcible-IT.com (Ingénierie)
Listing des offres
- PC-infopratique.com
Les dernières offre d’emploi en informatique
- CarriereOnline
Le Blog des fonctions informatiques vous propose : Offres d'emploi, offres de stage et conseils en gestion de carrière dans les Télécommunications, Systèmes réseaux, Support informatique, Multimédia, Internet / NTIC, Ingénieur, Informatique industrielle, Informatique de gestion, Direction informatique, Conseil informatique, Autres fonctions informatique, Audit informatique, Architecte (IT)
- Cadremploi.fr
Ce service est fourni par CADREMPLOI.fr, il est protégé par le droit d’auteur et appartient à CADREMPLOI.fr.
- JobFreelance.org
Emploi Informatique - Offres de mission pour les freelances informatiques
Portail gratuit entièrement dédié aux missions freelance informatique, emploi informatique, recrutement informatique. Espace freelance et espace recruteur sont à la disposition des freelances informatiques recherchant des missions et des entreprises recherchant des compétences. Info pratique pour les indépendants informatiques
- OptionCarriere.com
Offres d’emploi sector : "informatique telecom" - France - Optioncarriere
- Emploirama.com
Dernières offres d’emploi dans l informatique parues sur emploirama.com
- CmonJob.fr
Votre recherche : Emploi Informatique / telecom , voici nos dernieres offres d’emploi sur CmonJob.fr. Emploi Informatique / telecom . Trouvez votre job !
- Jobtech.fr
Jobtech.fr - Le site emploi 100% Technique et Ingénierie. Offres d’emploi de la fonction "Hi-Tech / Informatique / Telecom"
- Orange-business.com
- Elancelot.com
Latest Job News
- Eci-conseils.com
Emploi par Eci-Conseils.com
- fr.emplois.offres
Google Group : Offres d'emplois ou de stages. (Moderated)
- Annuaire RH
Offres d’emploi quotidiennes http://www.annuaire-rh.org
- Freelance-info
- e-tangerine
votre partenaire sourcing
