March 2015 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Sun Mar 1 09:38:36 CET 2015
Ending: Tue Mar 31 16:50:17 CEST 2015
Messages: 114

• [ecoop-info] (EXTENDED DEADLINE) CFP, IEEE MEDIS 2015 - The 1st IEEE International Workshop on Mobile and Embedded Devices Integrated Supercomputing   Ali Bozkurt
• [ecoop-info] 2 Ph.D positions available (in Formal Methods for Security Analysis / Concurrent Systems), U. of Oslo   Martin Steffen
• [ecoop-info] 2015 Best Practices in Education Award - Call for Submissions   Cristina Pereira
• [ecoop-info] 2nd CFP SaFoMe 2015 (June 22, 2015) -- co-located with Formal Methods 2015   Announcements of FME events
• [ecoop-info] 2nd CFP: Scala Symposium 2015   Philipp Haller
• [ecoop-info] 2nd Workshop on Formal Verification for self-* systems (VERY* 2015)   Dr. Salvatore Distefano
• [ecoop-info] 3. Workshop on View-based, Aspect-oriented, and Orthographic Software Modelling (VAO)   Erik Burger
• [ecoop-info] [BIGCOM-CFP] Call For Paper - BIGCOM 2015, ShanXi, China   Taeho Jung
• [ecoop-info] [CFP] - Special issue of PARCO: Theory and Practice of Irregular Applications (TaPIA) - Deadline approaching   Tumeo, Antonino
• [ecoop-info] [CFP] - Special issue of PARCO: Theory and Practice of Irregular Applications (TaPIA) - Deadline approaching   Tumeo, Antonino
• [ecoop-info] [fm-announcements] CFP: 11th International Workshop on Developments in Computational Models   MUNOZ, CESAR (LARC-D320)
• [ecoop-info] [fm-announcements] Fifth Summer School on Formal Techniques, CA   Rungta, Neha S. (ARC-TI)[SGT, INC]
• [ecoop-info] [SASO'2015] Call for workshops, tutorials, posters, demos, PhD symposium - 21-25 September 2015 - Boston Massachusetts   Frédéric Armetta
• [ecoop-info] Ackermann Award 2015   European Association of Computer Science Logic
• [ecoop-info] AVoCS 2015: Second Call for Papers   Announcements of FME events
• [ecoop-info] CAiSE PhD Award (application deadline : April 15th)   Selmin Nurcan
• [ecoop-info] CALCO 2015 : Last Call for Papers   fabio.zanasi at ens-lyon.fr
• [ecoop-info] Call for papers - BigMDE workshop @ STAF'15   Davide Di Ruscio
• [ecoop-info] Call for Papers - DaWaK 2015, Sept.1-5, 2015, Valencia, Spain   Gabriela Wagner
• [ecoop-info] Call for Papers - Eighth International i* Workshop (iStar'15)   Carla Silva
• [ecoop-info] CALL FOR PAPERS - GandALF 2015   Announcements of FME events
• [ecoop-info] Call for Papers - SDL Forum 2015   Andreas Blunk
• [ecoop-info] Call for Papers for the STAF 2015 *Doctoral Symposium*   Martin Gogolla
• [ecoop-info] Call for papers: IEEE SenseApp 2015 (Clearwater Beach, FL, USA // 26-29 October 2015)   Andreas Reinhardt
• [ecoop-info] Call For Papers: MCETECH2015 workshops on cyberjustice, e-health, business process robustness, and profiling vs. privacy   Hafedh Mili
• [ecoop-info] Call for Papers: SPLC 2015 Vision Track   Danny Weyns
• [ecoop-info] Call for participation - 1st IEEE Conference on Network Softwarization (NetSoft 2015) / Software-Defined Infrastructures for Networks, Clouds and Services / April 13-17, 2015 in London, UK - http://sites.ieee.org/netsoft/ Last day for Early Bird rate   Alex Galis
• [ecoop-info] Call for Participation: FPS 2015 -- 8th Int. Symposium on Foundations and Practice of Security, Oct. 26-28, Clermont-Ferrand, France, LNCS proceedings   Joaquin Garcia-Alfaro
• [ecoop-info] CALL FOR PARTICIPATION: SustainIT 2015 - April 14-15 - Madrid, Spain   Malisa Vucinic
• [ecoop-info] CALL FOR PhD/MSc Contributions (RAMiCS 2015)   Michael Winter
• [ecoop-info] Call for Posters and Demos - CibSE 2015 - extended deadline: March 11th, 2015 (Tomorrow!)   Carla Silva
• [ecoop-info] Call for submissions PLoP 2015   Daniel Cukier
• [ecoop-info] CCGrid'15 Call for Participation, with Student Travel Awards Available   Junchao Zhang
• [ecoop-info] CDVE2015 full paper deadline is coming!   cdve 2
• [ecoop-info] CFP - 28th IEEE International SoC Conference (SOCC2015)   IEEE SOCC2015
• [ecoop-info] CfP 10th Workshop on Virtualization in High-Performance Cloud Computing (VHPC '15)   VHPC 15
• [ecoop-info] CfP SERENE 2015: 7th International Workshop on Software Engineering for Resilient Systems, 7-8th September 2015, Paris   Alexander Romanovsky
• [ecoop-info] CfP SERENE 2015: 7th International Workshop on Software Engineering for Resilient Systems, 7-8th September 2015, Paris   Alexander Romanovsky
• [ecoop-info] CFP, IEEE MEDIS 2015 - The 1st IEEE International Workshop on Mobile and Embedded Devices Integrated Supercomputing   Ali Bozkurt
• [ecoop-info] CFP: IEEE/ACM ASONAM 2015 -- Paris, France, August 25-28, 2015   Marjan Hammermann
• [ecoop-info] CfP: 17th Workshop on Formal Techniques for Java-like Programs (FTfJP at ECOOP 2015)   Rosemary.Monahan at nuim.ie
• [ecoop-info] CfP: 7th International Workshop on Context-Oriented Programming *deadline extension*   Carl Friedrich Bolz
• [ecoop-info] CfP: EUSPN-2015 (workshop proposal due extended to March 15, 2015)   Christian Kuster
• [ecoop-info] CfP: IJCAI International Workshop on Graph Based Knowledge Representation and Reasoning   Gem Stapleton
• [ecoop-info] CfP: MRI-BP - Robustness injection into Business Processes   Anis Boubaker
• [ecoop-info] CFP: Scala Symposium 2015 [EXTENDED DEADLINE]   Philipp Haller
• [ecoop-info] CFP: Special Issue on Clusters, Cloud and Grid on Life Sciences (Future Generation Computer Systems - Impact Factor: 2.639)   Javier Garcia Blas
• [ecoop-info] CFP: The 7th Workshop on Behavioural Modelling - Foundations and Applications (BM-FA)   Somayeh Malakuti
• [ecoop-info] CFP: Truffle/Graal Languages Workshop, in conjunction with ECOOP 2015   Adam Welc
• [ecoop-info] CFP: Workshop on Generic Programming 2015 - Deadline May 15   Sebastian Erdweg
• [ecoop-info] CfPart: FSEN 2015   Announcements of FME events
• [ecoop-info] CFPs :The 12th International Conference on Mobile Systems and Pervasive Computing (mobispc-15)   Dr. Tayseer ALkhdour
• [ecoop-info] CFPs: The Second International Workshop on the Future of the Internet of Things (FOIOT 2015) - Deadline Extended   Dr. Tayseer ALkhdour
• [ecoop-info] CFPs:The 10th International Conference on Future Networks and Communications (FNC-15)   Dr. Tayseer ALkhdour
• [ecoop-info] Computability in Europe 2015: Call for Informal Presentations   S B Cooper
• [ecoop-info] Deadline Approach: MTS 2015 Summer School, Hasselt Belgium   Ansar YASAR
• [ecoop-info] EAPLS PhD Award 2014 - Call for Nominations   Arend Rensink
• [ecoop-info] ESEC/FSE workshop: DeMobile 2015 call for papers   Shah Rukh Humayoun
• [ecoop-info] ESSS 2015 (co-located with FM 2015 in Oslo): submission deadline extended   Jun PANG
• [ecoop-info] ETAPS 2015 final call for participation   Tarmo Uustalu
• [ecoop-info] ETAPS 2016 last call for workshops   Tarmo Uustalu
• [ecoop-info] Extension CFP: SEFM 2015 - Software Engineering and Formal Methods   Bernhard Rumpe
• [ecoop-info] EXTENSION: CfP: Refinement Workshop: Oslo at FM (30 March abstracts, 7 April full)   Announcements of FME events
• [ecoop-info] EXTENSION: CfP: Refinement Workshop: Oslo at FM (30 March abstracts, 7 April full)   Announcements of FME events
• [ecoop-info] F-IDE 2015: Call for papers (FM2015 Workshop)   Announcements of FME events
• [ecoop-info] FGCT 2015   conference at icdim.org
• [ecoop-info] FINAL CFP ECSA 2015: 9th European Conference on Software Architecture   Patrizia Scandurra
• [ecoop-info] Final CfP ICOOOLPS Workshop: Implementation Compilation Optimization of Object Oriented Languages Programming and Systems   Floréal Morandat
• [ecoop-info] Final CfP: Doctoral Symposium of FM 2015   Announcements of FME events
• [ecoop-info] FMSEET15 -- Last Call for Papers -- Deadline Extension to April 7th, 2015   Announcements of FME events
• [ecoop-info] FNC'15 CFPs: Submission Due Date Extended to April 13, 2015   stephane.galland at utbm.fr
• [ecoop-info] Formal Methods in Computer-Aided Design (FMCAD), 2015 - First Call for Papers   Thomas Wahl
• [ecoop-info] funded MSc and PhD positions in Computer Science and 5th Workshop on Evolutionary Computation for the Automated Design of Algorithms   John Woodward
• [ecoop-info] Funded PhD positions in social networks, distributed systems, and middleware at the University of Oslo   Roman Vitenberg
• [ecoop-info] GandALF15: call for papers   Dario Della Monica
• [ecoop-info] Graphs as Models, 11-12 April 2015: Call for Tool Demos   Arend Rensink
• [ecoop-info] ICDCST 2015   conference at icdim.org
• [ecoop-info] ICDCST 2015   conference at icdim.org
• [ecoop-info] ICDSCT 2015   sara at dirf.org
• [ecoop-info] ICSE 2015 - Technical Briefings   Domenico BIANCULLI
• [ecoop-info] ICST 2015 - CALL FOR PARTICIPATION   Bernhard Aichernig
• [ecoop-info] ICTH-15: Call for Workshops Proposals   Zahoor Khan
• [ecoop-info] IEEE BigDataSE2015 CFP – Deadline extended to April 20, 2015 (firm)   丁文秀
• [ecoop-info] IEEE eScience 2015 (Aug 31st - Sept 4, Munich, Germany) - deadline extended 22nd/29th March   Matti Heikkurinen/LMU
• [ecoop-info] IEEE MDM 2015 - Student Travel Grants   Konstantinos Pelechrinis
• [ecoop-info] IEEE PRDC 2015 CFP with SCI&EI indexed Special Issues, Zhangjiajie, China, November 18-20, 2015   Scott Fowler
• [ecoop-info] IEEE PRDC'15 Industry Track Call   Scott Fowler
• [ecoop-info] IEEE TrustCom2015 CFP – Deadline extended to April 20, 2015 (firm)   丁文秀
• [ecoop-info] InfoSec 2015: registration deadline 3 April   GRLMC
• [ecoop-info] JISA thematic series on Cross-Cloud Computing   El Khatib, Yehia (elkhatib)
• [ecoop-info] LOPSTR 2015, Siena (Italy): Last call for papers   Announcements of FME events
• [ecoop-info] MDM 2015 Travel Grant   Chellappan, Sriram
• [ecoop-info] MobiSPC'15 CFPs: Submission Due Date Extended to April 13, 2015   stephane.galland at utbm.fr
• [ecoop-info] open phd position announce to distribute   Rémi Douence
• [ecoop-info] Open PhD position in Self-Adaptive Software with Control Theory   Martina Maggio
• [ecoop-info] Overture'15: Final call for papers (deadline extended to the 7th of April)   Announcements of FME events
• [ecoop-info] PhD position, Data Semantics/Semantic Web, Wright State University   Pascal Hitzler
• [ecoop-info] PhD position: Verification of Distributed Software at University of Twente   m.huisman at utwente.nl
• [ecoop-info] Second Call for Papers: SETS 2015   Announcements of FME events
• [ecoop-info] Second CFP ICFEM 2015 - The 17th International Conference on Formal Engineering Methods   Fatiha Zaidi
• [ecoop-info] Second CFP ICFEM 2015 - The 17th International Conference on FormalEngineering Methods   Announcements of FME events
• [ecoop-info] Second International Workshop on Software Architecture and Metrics at ICSE 2015 - Call for Participation   Paris Avgeriou
• [ecoop-info] SESoS 2015: @ ICSE - Call for Participation   Paris Avgeriou
• [ecoop-info] Seventh SoEA4EE Workshop (@ EDOC) : Service oriented EA for Enterprise Engineering (April 27th)   Selmin Nurcan
• [ecoop-info] SFM-15:MP school on multicore programming -- last call for participation   Marco Bernardo
• [ecoop-info] SPLASH 2015: Call for Contributions: OOPSLA, Onward!, Workshops, Dynamic Languages Symposium   Craig Anslow
• [ecoop-info] Subject: CfP: Model-Driven Requirements Engineering (MoDRE) Workshop at RE 2015   Ana Moreira
• [ecoop-info] TASE 2015 -- Deadlines extended   Announcements of FME events
• [ecoop-info] Tenure position at the Software Languages Lab (Brussels)   Viviane Jonckers
• [ecoop-info] TSD 2015 - Second Call for Papers   TSD 2015
• [ecoop-info] USE'15 CfP deadline extension to April 10th, (colocated with FM 2015) :1st workshop on Usages of Symbolic Execution   Announcements of FME events
• [ecoop-info] USE'15 Call for Paper (colocated with FM 2015) :1st workshop on Usages of Symbolic Execution   Announcements of FME events
• [ecoop-info] WS-FM/BEAT 2015 1st Call for Papers   Antonio Ravara
• [ecoop-info] WWV 2015: deadline april 10   Announcements of FME events

Last message date: Tue Mar 31 16:50:17 CEST 2015
Archived on: Mon Apr 6 17:34:31 CEST 2015

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...