calls4participation.blogspot.com
Calls for participation: 2015-05
http://calls4participation.blogspot.com/2015_05_01_archive.html
Caml-list] ICECCS 2015 (Gold Coast): 2nd call for papers. We apologize for multiple copies.]. The 20th International Conference on Engineering of. December 9-12, 2015. Gold Coast, Australia. Http:/ iceccs2015.monash.edu.au. Abstract submission: June 7th, 2015. Paper submission deadline: June 21st, 2015. Notification of acceptance: September 6th, 2015. Camera-ready material for publication: September 20th, 2015. Checking for Production: September 30th, 2015. Workshop proposal submission: July 5th, 2015.
calls4participation.blogspot.com
Calls for participation: [Caml-list] DCM 2015 (Cali, Colombia): Call for Papers
http://calls4participation.blogspot.com/2015/05/caml-list-dcm-2015-cali-colombia-call.html
Caml-list] DCM 2015 (Cali, Colombia): Call for Papers. Apologies for cross-postings.]. DCM 2015: 11th International Workshop on Developments in Computational Models. October 28, 2015, Cali - Colombia. Http:/ dcm-workshop.org.uk/2015/. A satellite event of ICTAC 2015 - http:/ www.ictac2015.co. Submission Deadline for Extended Abstracts (5 pages): August 3. Pre-proceedings version due: 5 October. Submission Deadline for EPTCS Proceedings: 7 December. And new paradigms of software development. International...
dmatheorynet.blogspot.com
Theory Announcements: [DMANET] DCM 2015 (Cali, Colombia): Deadline Extension.
http://dmatheorynet.blogspot.com/2015/08/dmanet-dcm-2015-cali-colombia-deadline.html
Theorynet, DMANet and a few other announcements. Saturday, August 1, 2015. DMANET] DCM 2015 (Cali, Colombia): Deadline Extension. FINAL CALL FOR PAPERS - DCM 2015. 11th International Workshop on Developments in Computational Models. A satellite event of ICTAC 2015 - http:/ www.ictac2015.co. October 28, 2015, Cali, Colombia. Http:/ dcm-workshop.org.uk/2015/. DEADLINE FOR SUBMISSION OF EXTENDED ABSTRACTS (5 pages): AUGUST 17, 2015. Several new models of computation have emerged in the last few years, and.
camilorocha.info
Camilo Rocha
http://www.camilorocha.info/home
This is the homepage of Camilo Rocha. I am an Associate Professor in the Department of Electronics and Computer Science at the. I earned a B.S. and a M.Sc. degree in Informatics from the Universidad de los Andes. Bogotá), and a M.Sc. degree in Mathematics and a Ph.D. degree in Computer Science from the University of Illinois at Urbana-Champaign. My main research interests are in formal methods, algorithms, and software engineering, more specifically on techniques for building reliable software systems.
itu.dk
Thomas T. Hildebrandt @ IT University of Copenhagen (ITU)
http://www.itu.dk/~hilde
Thomas T. Hildebrandt. Curriculum Vitae, October, 2014. Profile at Google scholar including publications, citations and H-index. Associate Professor, IT University of Copenhagen (ITU). Head of the Process and System Models (Models) research group. National Interest Group for Processes and IT within Infinit. Digital Processes within the Innovation Network for Finance IT. Knowledge group for digitalization and process-orientation. Research areas and Publications:. Specifically, my research contributes to:.
processalgebra.blogspot.com
Process Algebra Diary: April 2015
http://processalgebra.blogspot.com/2015_04_01_archive.html
Papers I find interesting- -mostly, but not solely, in Process Algebra- -, and some fun stuff in Mathematics and Computer Science at large and on general issues related to research, teaching and academic life. Saturday, April 25, 2015. EATCS honours three outstanding PhD theses with the first EATCS Distinguished Dissertation Awards. Karl Bringmann: "Sampling from Discrete Distributions and Computing Fréchet Distances. Michał Skrzypczak: " Descriptive set theoretic methods in automata theory. Is superb an...
dcm-workshop.org.uk
DCM at ICTAC 2015
http://dcm-workshop.org.uk/2015
11th International Workshop on. Developments in Computational Models. A satellite event of ICTAC 2015. 28 October 2015, Universidad Javeriana, Cali - Colombia. Registration: see ICTAC 2015 Registration. EPTCS Proceedings (Volume 204). DCM 2015 will be a one-day satellite event of the 12th International Colloquium on Theoretical Aspects of Computing. And will take place at the Pontificia Universidad Javeriana, Cali. This will be the 11th event in the series since 2005 - see the DCM website. Topics of inte...
eatcs.org
CALL FOR PAPERS -- ICTAC 2015
http://www.eatcs.org/index.php/component/content/article/1-news/2104-call-for-papers-ictac-2015
CALL FOR PAPERS - ICTAC 2015. 12th International Colloquium on. Theoretical Aspects of Computing. 29-31 October 2015, Cali, Colombia. Http:/ www.ictac2015.co. DEADLINE FOR SUBMISSIONS: JUNE 5, 2015. Automata theory and formal languages;. Principles and semantics of programming languages;. Theories of concurrency, mobility and reconfiguration;. Logics and their applications;. Software architectures, their models, refinement and verification;. Relationship between software requirements, models and code;.