January 2015 Archives by subject

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

Starting: Fri Jan 2 06:39:52 CET 2015
Ending: Sat Jan 31 12:16:34 CET 2015
Messages: 127

• [ecoop-info] (IEEE) RCIS 2015: Last Call for Papers   Jelena Zdravkovic
• [ecoop-info] (IEEE) RCIS 2015: Last Call for Papers   Jelena Zdravkovic
• [ecoop-info] (New Extended Paper Deadline) CFP:COMPSAC 2015, July 1-5, 2015, Taichung, Taiwan   Praveen Madiraju
• [ecoop-info] 2 positions (PhD/Post-doc) available in Formal Methods for cloud computing and evolving systems, U. of Oslo   Martin Steffen
• [ecoop-info] 29th European Conference on Object-Oriented Programming (ECOOP 2015)   Clocate.com
• [ecoop-info] 3rd CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015)   Michael Winter
• [ecoop-info] [2nd CfP] European Lisp Symposium 2015, April 20-21, London   Didier Verna
• [ecoop-info] [Call for Papers] 1st International Workshop on Model-Driven Innovations for Software Engineering (MDI4SE), April 29, 2015, Barcelona, Spain (Submission deadline: February 3)   Gundars Alksnis
• [ecoop-info] [Call for Papers] MDI4SE - 1st International Workshop on Model-Driven Innovations for Software Engineering, April 29, 2015, Barcelona, Spain   Gundars Alksnis
• [ecoop-info] [Call for Papers] Workshop on Model-Driven Innovations for Software Engineering (MDI4SE), April 29, 2015, Barcelona, Spain (Submission deadline: February 3!)   Gundars Alksnis
• [ecoop-info] [CFP NTMS 2015 - Paris]: 7th IFIP International Conference on New Technologies, Mobility and Security   contact at ntms-conf.org
• [ecoop-info] [CFP] - IEEE Computer Special Issue on Irregular Applications - Deadline approaching   Tumeo, Antonino
• [ecoop-info] [CfP] Extended Deadline - FMICS'15: 20th International Workshop on Formal Methods for Industrial Critical Systems   Announcements of FME events
• [ecoop-info] [CFP]NSS 2015: 9th International Conference on Network and System Security   Qingji Zheng
• [ecoop-info] [fm-announcements] Postdoc Position Announcement   MUNOZ, CESAR (LARC-D320)
• [ecoop-info] [IFIP NTMS 2015 - PARIS] Call For Papers   contact at ntms-conf.org
• [ecoop-info] [logic-programming] Call For Workshop Proposals: 31st International Conference on Logic Programming (ICLP 2015)   Ian Miguel
• [ecoop-info] Ackermann Award 2015   European Association of Computer Science Logic
• [ecoop-info] Ada-Europe 2015 - Feb 8 deadline for Industrial Presentations   Dirk Craeynest
• [ecoop-info] Ada-Europe 2015 EXTENDED 18 January submission deadline   Dirk Craeynest
• [ecoop-info] AgentCities15: Extended deadline   stephane.galland at utbm.fr
• [ecoop-info] AVoCS 2015: First Call for Papers   Announcements of FME events
• [ecoop-info] Call for Paper :1st workshop on Usages of Symbolic Execution USE'15 colocated with FM'15   Announcements of FME events
• [ecoop-info] CALL FOR PAPERS -- The 9th International Conference on Web Reasoning and Rule Systems (RR 2015)   Luca Pulina
• [ecoop-info] Call for papers Track CSP - 24th IEEE international conference WETICE, Cyprus 15-17 June, 2015   Bernard Coulette
• [ecoop-info] Call for Papers: Connect Security World, Sept. 15-17, 2015 - Marseille, France   Connect Security World
• [ecoop-info] Call for Papers: FormaliSE 2015 (18 May 2015, Florence, Italy)   Announcements of FME events
• [ecoop-info] Call for Papers: FormaliSE 2015 (18 May 2015, Florence, Italy)   Nico Plat
• [ecoop-info] Call for Papers: FormaliSE 2015 (deadline approaching!)   Nico Plat
• [ecoop-info] Call for PhD Forum Contribution – MDM 2015   Chellappan, Sriram
• [ecoop-info] CCGird 2015 -- Call for Scalable Computing Challenge   Junchao Zhang
• [ecoop-info] CCGrid 2015 -- Call for Posters & Demos and Doctoral Symposium   Junchao Zhang
• [ecoop-info] CFP - Future Internet Services and Applications (FISA2015) @ IEEE WETICE   Mohamed Sellami
• [ecoop-info] CFP - International Symposium on Intelligent Systems Technologies and Applications (ISTA’15)   ista Kochi
• [ecoop-info] cfp - The 4th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS'15)   Ansar YASAR
• [ecoop-info] CFP AIS 2015 - International Workshop on Artificial Immune Systems, 17-18 July 2015, Taormina, Italy   Mario Pavone
• [ecoop-info] CFP and Special Issue - 13th IEEE/ACIS SERA 2015   Slim Kallel
• [ecoop-info] CfP ASDENCA   Christina Stratigaki
• [ecoop-info] CfP ASDENCA   Christina Stratigaki
• [ecoop-info] CFP EUSPN-2015   Christian Kuster
• [ecoop-info] CfP ICAC'2015, Paper submission deadline is January 22   Ningfang Mi
• [ecoop-info] CFP ICFEM 2015 - The 17th International Conference on Formal Engineering Methods   Fatiha Zaidi
• [ecoop-info] CfP MobiSPC-2015   Markus Schatten
• [ecoop-info] CFP of the Second International Workshop on Information Fusion for Smart Mobility Solutions (IFSMS15)   stephane.galland at utbm.fr
• [ecoop-info] cfp special issue SCP on AVoCS 2014   j.c.vandepol at utwente.nl
• [ecoop-info] CfP WWV 2015 @ FM 2015: 11th Workshop on Automated Specification and Verification of Web Systems   Announcements of FME events
• [ecoop-info] CfP WWV 2015: 11th Workshop on Automated Specification and Verification of Web Systems   Maurice ter Beek
• [ecoop-info] CFP-Formal Verification of Service Based Systems FVSBS 2015 @ IEEE WETICE - Larnaca, Cyprus   mohamed Graiet
• [ecoop-info] CfP: 2nd Workshop on Crowdsourcing in Software Engineering (CSI-SE 2015) - extended deadline   Gordon Fraser
• [ecoop-info] cfp: 9th International Workshop on BUSiness/IT ALignment and Interoperability (BUSITAL 2015)   Irina Rychkova
• [ecoop-info] CfP: ACEC at WETICE 2015   Giacomo Cabri
• [ecoop-info] CfP: ANT 2015 - 6th International Conference on Ambient Systems, Networks and Technologies (Deadline Extension)   Nils Masuch
• [ecoop-info] CfP: ANT 2015 - 6th International Conference on Ambient Systems, Networks and Technologies (Deadline Extension)   Nils Masuch
• [ecoop-info] CfP: ANT 2015 - 6th International Conference on Ambient Systems, Networks and Technologies (Deadline Extension)   Nils Masuch
• [ecoop-info] CfP: CONTEXT-AWARE APPLICATIONS AND SERVICES Special issue of the The Scientific World Journal   Giacomo Cabri
• [ecoop-info] CFP: CRV15 - 2nd Competition on Runtime Verification   Announcements of FME events
• [ecoop-info] CfP: Doctoral Symposium of FM 2015   Announcements of FME events
• [ecoop-info] CfP: Euro-Par 2015, 24-28 August 2015, Vienna, Austria   Jens Knoop
• [ecoop-info] CfP: EUSPN-2015   Christian Kuster
• [ecoop-info] CFP: ICC'15 Workshop - 4th IEEE SCPA 2015 - June 8-12, 2015. London, UK   Sandra Sendra
• [ecoop-info] CFP: ICC'15 Workshop - 4th IEEE SCPA 2015 - June 8-12, 2015. London, UK   Sandra Sendra
• [ecoop-info] CFP: IEEE Intl. Symposium on Reliable Distributed Systems (SRDS) 2015   Nalini Venkatasubramanian
• [ecoop-info] CFP: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'15)   Claudia Ermel
• [ecoop-info] CFP: MCETECH2015 - May 12-15 @ Montreal - Workshop & Tutorial proposals due FEB 13, 2015   Hafedh Mili
• [ecoop-info] CFP: Practical Aspects of Declarative Languages (PADL 2015)   Enrico Pontelli
• [ecoop-info] CfP: RCIS 2015 - 9th IEEE International Conference on Research Challenges in Information Science   Christina Stratigaki
• [ecoop-info] CfP: Refinement Workshop: Oslo at FM (submissions 21->28 March)   Announcements of FME events
• [ecoop-info] CFP: Science of Cyberinfrastructure - SCREAM-15   Daniel S. Katz
• [ecoop-info] CFP: SEFM 2015 - Software Engineering and Formal Methods   Bernhard Rumpe
• [ecoop-info] CFP: SPLC 2015 - Software Product Line Conference   Yu Sun
• [ecoop-info] cfp: The 4th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS'15)   Ansar YASAR
• [ecoop-info] CFP: The 5th International Conference on Current and Future Trendsof ICT in Healthcare   Nabeel Al-Qirim
• [ecoop-info] cfp: The 6th International Conference on Ambient Systems, Networks and Technologies (ANT-2015)   Ansar YASAR
• [ecoop-info] CFP: Workshop on Clusters, Clouds and Grids for Life Sciences (CCGrid-Life 2015) In conjunction with CCGrid 2015 + SI (FGCS, impact factor: 2.639)   Javier Garcia Blas
• [ecoop-info] CFP:SAPSE 2015 @ COMPSAC 2015, July 1-5, 2015, Taichung, Taiwan   Praveen Madiraju
• [ecoop-info] CFPs of IEEE PRDC'15   Scott Fowler
• [ecoop-info] CFPs: 4th International Workshop on Body Area Sensor Networks(BASNet-15)   Zahoor Khan
• [ecoop-info] CFW: The 5th International Conference on Current and Future Trendsof ICT in Healthcare   Nabeel Al-Qirim
• [ecoop-info] CiE 2015 in Bucharest - FINAL CALL FOR PAPERS and EXTENDED DEADLINE, 21 Jan, 2015   S B Cooper
• [ecoop-info] Deadline extension - RAISE 2015 (4th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering) @ ICSE 2015   Leandro Minku
• [ecoop-info] ESSS 2015 (co-located with FM 2015 in Oslo): First call for papers   Jun PANG
• [ecoop-info] ESSS 2015 (co-located with FM 2015 in Oslo): First call for papers   Announcements of FME events
• [ecoop-info] Extended deadline: COORDINATION 2015 Abstract Submission: Jan. 23, 2015   Giacomo Cabri
• [ecoop-info] FINAL C.f.Industrial Pres., Ada-Europe 2015, Jan 25 deadline   Dirk Craeynest
• [ecoop-info] FINAL CfP Ada-Europe 2015, Jan 18 submission deadline   Dirk Craeynest
• [ecoop-info] First Call for Papers: SETS 2015   Announcements of FME events
• [ecoop-info] FM 2015: Joint Call for Papers at FM Satellite Workshops & Doctoral Symposium (20th Intl. Symposium on Formal Methods, Oslo)   Announcements of FME events
• [ecoop-info] FM 2015: Joint Call for Papers at FM Satellite Workshops & Doctoral Symposium (20th Intl. Symposium on Formal Methods, Oslo)   Martin Steffen
• [ecoop-info] FormaliSE 2015: Call for Papers (deadline approaching!)   Announcements of FME events
• [ecoop-info] FORTE 2015: Call for Papers (abstract submission deadline extended)   Announcements of FME events
• [ecoop-info] FORTE 2015: Call for Papers (completely new dates)   Announcements of FME events
• [ecoop-info] FORTE 2015: last Call for Papers   Susanne Graf
• [ecoop-info] FORTE 2015: last Call for Papers   Announcements of FME events
• [ecoop-info] FroCoS 2015: first call for papers   Announcements of FME events
• [ecoop-info] Happy New Year 2015 / Extension CfP (submission deadline: January 15, 2015) - 1st IEEE Conference on Network Softwarization (NetSoft2015) / April 13-17, 2015 London, UK / http://sites.ieee.org/netsoft   Alex Galis
• [ecoop-info] ICGSE 2015 deadline is approaching   CORAL CALERO MUÑOZ
• [ecoop-info] ICIST 2015 CFP   Robertas Damaševičius
• [ecoop-info] ICTH-15: Call for workshop proposals   Zahoor Khan
• [ecoop-info] ICWE 2015 CALL FOR PAPERS   Conference Notification
• [ecoop-info] IFIP/IEEE SustainIT 2015: Call for work in progress and demo papers (deadline Feb. 2)   Malisa Vucinic
• [ecoop-info] IFIP/IEEE SustainIT 2015: PhD Forum - Call for extended abstracts (deadline Feb. 2)   Malisa Vucinic
• [ecoop-info] Last CFP for W4A'15: Free trip to Florence, Italy for lucky students!   Prof. Yevgen Borodin, PhD
• [ecoop-info] Mathematics of Program Construction (MPC 2015): final call for papers   José Pedro Magalhães
• [ecoop-info] Mobisys 2015 MobiGames Workshop Call for Papers   Eduardo Cuervo
• [ecoop-info] Modularity '15 - 2nd Call for Workshop Papers   Henrique Rebêlo
• [ecoop-info] Modularity '15 - Call for ACM SRC: Student Research Competition   Henrique Rebêlo
• [ecoop-info] Modularity '15 - Call for Demonstrations and Posters *Extended Deadline*   Henrique Rebêlo
• [ecoop-info] Modularity '15 - Last Call for Workshop Papers   Henrique Rebêlo
• [ecoop-info] Open PhD position at TU Wien   Ezio Bartocci
• [ecoop-info] OpenSym 2015 General Call for Submissions (Papers)   Dirk Riehle
• [ecoop-info] Ph.D. Position in Model-Based Testing, Halmstad University, Sweden   M.R. Mousavi
• [ecoop-info] Postdoc and PhD positions at Innopolis University   Manuel Mazzara
• [ecoop-info] RE 2015 - Call for Workshops and Tutorials   Birgit Penzenstadler
• [ecoop-info] Reminder: Graphs as Models (ETAPS workshop), 11-12 April 2015; deadline 16 Jan 2015   Arend Rensink
• [ecoop-info] SaFoMe 2015 - 1st Call for Papers (June 22, 2015 -- co-located with FM2015)   Ricardo J. Rodríguez (ULE)
• [ecoop-info] SaFoMe 2015 - 1st Call for Papers (June 22, 2015 -- co-located with FM2015)   Announcements of FME events
• [ecoop-info] SEFM 2015 - Call for Workshop Proposals   Domenico BIANCULLI
• [ecoop-info] SEFM 2015 - Call for Workshop Proposals   Domenico BIANCULLI
• [ecoop-info] SEFM 2015 Call for Papers   Announcements of FME events
• [ecoop-info] SEIT-15 CFP   Zahoor Khan
• [ecoop-info] TASE 2015 -- Second Call for Papers   Announcements of FME events
• [ecoop-info] TASE 2015: Call for Paper, Nanjing 12 - 14 September   jun sun
• [ecoop-info] TASE 2015: Call for Paper, Nanjing 12 - 14 September   Announcements of FME events
• [ecoop-info] Two postdoctoral positions in Paris in computer and cognitive science   Charlotte Hug
• [ecoop-info] Two research assistantships in model-driven engineering and semantic technologies, University of Oxford   Jeremy Gibbons
• [ecoop-info] Unsubscribing ecoop-info   米澤明憲
• [ecoop-info] Updated CFP-The 10th International Conference on Future Networks and Communications August 17-20, 2015 Belfort, France   Nasim Mahmud

Last message date: Sat Jan 31 12:16:34 CET 2015
Archived on: Mon Feb 2 11:00:26 CET 2015

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