calls4participation.blogspot.com
Calls for participation: 2015-03
http://calls4participation.blogspot.com/2015_03_01_archive.html
Caml-list] CONTEXT 2015: Third Call for Papers and Posters. Third Call for Papers and Posters * *. The 9th International and Interdisciplinary Conference on Modeling. And Using Context (CONTEXT 2015). 26 November 2015, Lordos Beach Hotel, Larnaca, Cyprus. The CONTEXT conferences are the worlds prime forum for presentation and. Exchange of insights and cutting-edge results from the wide range of. Disciplines concerned with context. Context, context modeling and context comprehension are central topics in.
discotec2014.tu-berlin.de
ICE 2014 - DisCoTec 2014: the 9th International Federated Conference on Distributed Computing Techniques
https://www.discotec2014.tu-berlin.de/workshops/ice-2014
COORDINATION 2014 Call for Papers. DAIS 2014 Call for Papers. FORTE 2014 Call for Papers. Call for Workshop Proposals. 7th Interaction and Concurrency Experience (ICE 2014). Satellite workshop of DisCoTec 2014. June 6, 2014, Berlin, Germany. ICE welcomes submissions of full papers, short papers, and brief announcements of already published papers. Invited talks: Kim Larsen and Pavol Cerny. Special issue in a highly-reputed journal. 16 March 15 April 2014: Reviews and PC discussion. Since its 1st edition ...
cs.rochester.edu
Computer Science Department : Hajim School of Engineering & Applied Sciences
http://cs.rochester.edu/about/excellence.html
What is Computer Science? Secondary Appointments, Adjuncts, and Visitors. Minor and Cluster Requirements. UR Women in Computing. Message from the Chair. URCS Measures of Excellence. There are many ways to measure the quality of a University of Rochester Department of Computer Science (URCS). By almost any measure URCS does very well. The URCS faculty includes 19 tenure-track professors ( James Allen. 160; Tom Howard. Two teaching professors ( Ted Pawlicki. 160; Michael Huang. Luo (2010 program co-chair).
anon.cs.rochester.edu
Computer Science Department : Hajim School of Engineering & Applied Sciences
http://anon.cs.rochester.edu/about/excellence.html
What is Computer Science? Secondary Appointments, Adjuncts, and Visitors. Minor and Cluster Requirements. UR Women in Computing. Message from the Chair. URCS Measures of Excellence. There are many ways to measure the quality of a University of Rochester Department of Computer Science (URCS). By almost any measure URCS does very well. The URCS faculty includes 19 tenure-track professors ( James Allen. 160; Tom Howard. Two teaching professors ( Ted Pawlicki. 160; Michael Huang. Luo (2010 program co-chair).
fesca.ipd.kit.edu
FESCA Workshops: FESCA 2013
http://fesca.ipd.kit.edu/fesca2013
FESCA @ ETAPS 2013. 10th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on March 23th, 2013, Rome, Italy. The aim of the FESCA workshop is to bring together both young and senior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for software engineering.
dblp2.uni-trier.de
dblp: Electronic Proceedings in Theoretical Computer Science
http://dblp2.uni-trier.de/db/series/eptcs
Electronic Proceedings in Theoretical Computer Science. Table of contents in dblp. Electronic edition via DOI. Proceedings of the First International Workshop on Formal Methods for and on the Cloud, iFMCloud@IFM 2016, Reykjavik, Iceland, 4th June 2016. Table of contents in dblp. Electronic edition via DOI. Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL'16 2016, Eindhoven, The Netherlands, April 2-3, 2016. Table of contents in dblp. Proceedings Comb...