Association for Computing Machinery Releases Schedule Details for Selection of 2019 Conferences
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
ACM MM 96 Text ACM MULTIMEDIA 96
ACM MM 96 Text ACM MULTIMEDIA 96 General Information Technical Program Demonstrations Art Program Workshops Tutorials Stephan Fischer Last modified: Fri Nov 29 09:28:01 MET 1996 file:///C|/Documents%20and%20Settings/hsu.cheng-hsin/Desktop/acmmm96/index.htm[1/28/2010 9:42:17 AM] ACM MM 96 ACM MULTIMEDIA 96 The Fourth ACM International Multimedia Conference and Exhibition ADVANCE PROGRAM 18-22 November 1996 Hynes Convention Center Boston, Massachusetts, USA Co-located with SPIE's Symposium on Voice, Video and Data Communication, and Broadband Network Engineering program and overlapping with CSCW, to be held in nearby Cambridge. Welcome to ACM Multimedia '96 Special Events Conference-at-a-Glance Ongoing Events Courses Technical Papers Panels Registration Course Selections Hotels Conference Organization Welcome to ACM Multimedia '96 In what seems in retrospect to have been an astonishingly short time, multimedia has progressed from a technically- challenging curiosity to an essential feature of most computer systems -- both professional and consumer. Accordingly, leading-edge research in multimedia no longer is confined to dealing with processing or information- access bottlenecks, but addresses the ever-broadening ways in which the technology is changing and improving interpersonal communication, professional practice, entertainment, the arts, education, and community life. This year's program emphasizes this trend: off-the-shelf building blocks are now available to construct useful and appealing applications which are highlighted in the Demonstration and Art venues. In addition to the full complement of panels, courses, and workshops, the conference program features a distinguished set of technical papers. Keynotes will be provided by Glenn Hall, the Technical Director of Aardman Animations whose work includes Wallace and Gromit; and Professor Bill Buxton of the University of Toronto and Alias | Wavefront Inc. -
On Invariant Synthesis for Parametric Systems
On Invariant Synthesis for Parametric Systems Dennis Peuter and Viorica Sofronie-Stokkermans Universit¨at Koblenz-Landau, Koblenz, Germany {dpeuter,sofronie}@uni-koblenz.de May 30, 2019 Abstract We study possibilities for automated invariant generation in parametric systems. We use (a refinement of) an algorithm for symbol elimination in theory extensions to devise a method for iteratively strengthening certain classes of safety properties to obtain invariants of the system. We identify conditions under which the method is correct and complete, and situations in which the method is guaranteed to terminate. We illustrate the ideas on various examples. 1 Introduction In the verification of parametric systems it is important to show that a certain property holds for all states reachable from the initial state. One way to solve such problems is to identify an inductive invariant which entails the property to be proved. Finding suitable inductive invariants is non-trivial – the problem is undecidable in general; solutions have been proposed for specific cases, as discussed in what follows. In [Kap06], Kapur proposes methods for invariant generation in theories such as Presburger arithmetic, real closed fields, and for polynomial equations and inequations with solutions in an algebraically closed field. The main idea is to use templates for the invariant (polynomials with undetermined coefficients), and solve constraints for all paths and initial values to determine the coefficients. A similar idea was used by Beyer et al. [BHMR07] for constraints in linear real or rational arithmetic; it is shown that if an invariant is expressible with a given template, then it will be computed. Symbol elimination has been used for interpolation and invariant generation in many papers. -
SIGOPS Annual Report 2012
SIGOPS Annual Report 2012 Fiscal Year July 2012-June 2013 Submitted by Jeanna Matthews, SIGOPS Chair Overview SIGOPS is a vibrant community of people with interests in “operatinG systems” in the broadest sense, includinG topics such as distributed computing, storaGe systems, security, concurrency, middleware, mobility, virtualization, networkinG, cloud computinG, datacenter software, and Internet services. We sponsor a number of top conferences, provide travel Grants to students, present yearly awards, disseminate information to members electronically, and collaborate with other SIGs on important programs for computing professionals. Officers It was the second year for officers: Jeanna Matthews (Clarkson University) as Chair, GeorGe Candea (EPFL) as Vice Chair, Dilma da Silva (Qualcomm) as Treasurer and Muli Ben-Yehuda (Technion) as Information Director. As has been typical, elected officers agreed to continue for a second and final two- year term beginning July 2013. Shan Lu (University of Wisconsin) will replace Muli Ben-Yehuda as Information Director as of AuGust 2013. Awards We have an excitinG new award to announce – the SIGOPS Dennis M. Ritchie Doctoral Dissertation Award. SIGOPS has lonG been lackinG a doctoral dissertation award, such as those offered by SIGCOMM, Eurosys, SIGPLAN, and SIGMOD. This new award fills this Gap and also honors the contributions to computer science that Dennis Ritchie made durinG his life. With this award, ACM SIGOPS will encouraGe the creativity that Ritchie embodied and provide a reminder of Ritchie's leGacy and what a difference a person can make in the field of software systems research. The award is funded by AT&T Research and Alcatel-Lucent Bell Labs, companies that both have a strong connection to AT&T Bell Laboratories where Dennis Ritchie did his seminal work. -
Arxiv:1611.04369V1 [Cs.AI] 14 Nov 2016 Computer Science Conferences Are Selected As Target Conferences, to Rank [8]
Feature Engineering and Ensemble Modeling for Paper Acceptance Rank Prediction Yujie Qian∗, Yinpeng Dong∗, Ye Ma∗, Hailong Jin, and Juanzi Li Department of Computer Science and Technology, Tsinghua University {qyj13, dongyp13, y-ma13}@mails.tsinghua.edu.cn, [email protected], [email protected] ABSTRACT MAG is a large and heterogeneous academic graph provided by Mi- Measuring research impact and ranking academic achievement are crosoft, containing scientific publication records, citation relation- important and challenging problems. Having an objective picture ships between publications, as well as authors, institutions, jour- of research institution is particularly valuable for students, parents nal and conference venues, and fields of study. The latest version and funding agencies, and also attracts attention from government of MAG includes 19,843 institutions, 114,698,044 authors, and and industry. KDD Cup 2016 proposes the paper acceptance rank 126,909,021 publications. prediction task, in which the participants are asked to rank the im- The evaluation is performed after the conferences announce their portance of institutions based on predicting how many of their pa- decisions of paper acceptance. For every conference, the compe- pers will be accepted at the 8 top conferences in computer science. tition organizers collect the full list of accepted papers, calculate In our work, we adopt a three-step feature engineering method, ground truth ranking, and evaluate the participants’ submissions. including basic features definition, finding similar conferences to Ground truth ranking is generated following a simple policy to de- enhance the feature set, and dimension reduction using PCA. We termine the Institution Ranking Score: propose three ranking models and the ensemble methods for com- 1. -
Llista Congressos Notables
Llistat de congressos notables per la UPC (Ordenat pel nom del congrés) Servei d'Informació RDI (Per dubtes: [email protected]). 5 de febrer de 2018 Nom del congrés Acrònim AAAI Conference on Artificial Intelligence AAAI ACM Conference on Computer and Communications Security CCS ACM Conference on Human Factors in Computing Systems CHI ACM European Conference on Computer Systems EuroSys ACM Great Lakes Symposium on VLSI GLSVLSI ACM International Conference on Information and Knowledge Management CIKM ACM International Conference on Measurement and Modelling of Computer Systems SIGMETRICS ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems MSWiN ACM International Conference on Multimedia ACMMM ACM International Symposium on Mobile AdHoc Networking and Computing ACM MOBIHOC ACM International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems MSWiM ACM International Symposium on Physical Design ISPD ACM Object-Oriented Programming, Systems, Languages & Applications OOPSLA ACM Principles of Programming Languages POPL ACM SIGCOMM Special Interest Group on Data Communications SIGCOMM ACM SIGMOD Conference ACM SIGMOD ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation PLDI ACM Symposium on Applied Computing SAC ACM Symposium on Operating Systems Principles SOSP ACM Symposium on Parallel Algorithms and Architectures SPAA ACM Symposium on Principles of Database Systems PODS ACM Symposium on Principles of Distributed Computing PODC ACM Symposium on -
Curriculum Vitae
CURRICULUM VITAE Name: Robert J. Robbins Birth Date: 10 May 1944 Birthplace: Niles, Michigan Citizenship: United States Address: Vice President, Information Technology Fred Hutchinson Cancer Research Center 1100 Fairview Avenue North, J4-300 Seattle, WASHINGTON 98109 (206) 667–4778 (206) 667–7733 (FAX) [email protected] Home: 21454 NE 143rd Street Woodinville, WASHINGTON 98072 (425) 556–9386 (home) (425) 556–0970 (home FAX) Education: Ph.D. 1977 Zoology Michigan State University East Lansing, Michigan M.S. 1974 Biological Michigan State University Science East Lansing, Michigan B.S. 1973 Zoology Michigan State University East Lansing, Michigan A.B. 1966 History Stanford University Palo Alto, California Research Interests: Computer applications in biology; information systems design; database theory and design; software engineering; history of science; intellectual history of genetics; concept of the gene. Professional Affiliations: American Association for the Advancement of Science American Society for Microbiology Association for Computing Machinery SIGMOD, SIGIR, SIGSOFT Genetics Society of America IEEE Computer Society Honors and Awards: Listed in American Men and Women of Science Listed in Who’s Who in the Midwest Listed in Who’s Who of Emerging Leaders in America Listed in Who’s Who in Frontier Science and Technology Outstanding Performance Award, NSF (1991) Outstanding Performance Award, NSF (1989) National Science Foundation National Needs Postdoctoral Fellowship (1978– 1979) Sigma Xi Award for Meritorious Research (1977) National -
Jonathan Corley University of West Georgia 1601 Maple Street Carrollton, GA 30118 Jcorley[At]Westga.Edu
Jonathan Corley University of West Georgia 1601 Maple Street Carrollton, GA 30118 jcorley[at]westga.edu Research Interests CS Education and Outreach, Software Engineering Education Ph.D. in Computer Science, August 2016 University of Alabama, Tuscaloosa, AL, USA Advisor: Dr. Jeff Gray Committee: Dr. Jeffrey Carver, Dr. Randy Smith, Dr. Susan Vrbsky, Dr. Eugene Syriani M.S. in Computer Science, May 2012 University of Alabama, Tuscaloosa, AL, USA Advisor: Dr. Nicholas Kraft B.S. in Computer Science, May 2009 University of Alabama, Tuscaloosa, AL, USA Honors & Awards Outstanding Graduate Researcher, University of Alabama Department of CS, 2016 President of the University of Alabama chapter of Upsilon Pi Epsilon (UPE), 2015 and 2014 UPE is an international honor society for the computing and information disciplines. 1st place, MODELS ACM Student Research Competition Graduate, 2014. Valencia, Spain University of Alabama College of Engineering Outstanding Service by a Graduate Student, 2014 Outstanding ACM Graduate Award, University of Alabama Department of CS, 2013 Vice-President of the University of Alabama chapter of Upsilon Pi Epsilon, 2013 Inducted into the University of Alabama chapter of Upsilon Pi Epsilon, 2011 Publications Refereed Journal and Book Chapter Jonathan Corley, Brian Eddy, Eugene Syriani, and Jeff Gray “Efficient and Scalable Omniscient Debugging for Model Transformations” In Ghosh, S., Li, J. (Eds.) Software Quality Journal Special Issue on Program Debugging: Research, Practice and Challenges. No. 1, January 2017, pp. 7-48 Jonathan Corley, Eugene Syriani, Huseyin Ergin, and Simon Van Mierlo “Cloud-based Multi- View Modeling Environments” In Cruz, A.M., Paiva, S. (Eds.) Modern Software Engineering Methodologies for Mobile and Cloud Environments, IGI Global. -
Analysing Scholarly Communication Metadata of Computer Science Events
Analysing Scholarly Communication Metadata of Computer Science Events Said Fathalla1;3, Sahar Vahdati1, Christoph Lange1;2, and Sören Auer4;5 1 Enterprise Information Systems (EIS), University of Bonn, Germany {fathalla,vahdati,langec}@cs.uni-bonn.de 2 Fraunhofer IAIS, Germany 3 Faculty of Science, University of Alexandria, Egypt 4 Computer Science, Leibniz University of Hannover, Germany 5 TIB Leibniz Information Center for Science and Technology, Hannover, Germany [email protected] Abstract Over the past 30 years we have observed the impact of the ubiquitous availability of the Internet, email, and web-based services on scholarly communication. The preparation of manuscripts as well as the organisation of conferences, from submission to peer review to publica- tion, have become considerably easier and efficient. A key question now is what were the measurable effects on scholarly communication in com- puter science? Of particular interest are the following questions: Did the number of submissions to conferences increase? How did the selection processes change? Is there a proliferation of publications? We shed light on some of these questions by analysing comprehensive scholarly commu- nication metadata from a large number of computer science conferences of the last 30 years. Our transferable analysis methodology is based on descriptive statistics analysis as well as exploratory data analysis and uses crowd-sourced, semantically represented scholarly communication metadata from OpenResearch.org. Keywords: Scientific Events, Scholarly Communication, Semantic Publishing, Metadata Analysis 1 Introduction The mega-trend of digitisation affects all areas of society, including business and science. Digitisation is accelerated by ubiquitous access to the Internet, the global, distributed information network. -
Jonathan Corley Research Interests Education Honors & Awards Refereed Journal and Book Chapter
Jonathan Corley University of Alabama 342 H.M. Comer Hall corle001[at]crimson.ua.edu Tuscaloosa, AL 35487-0290 http://corle001.students.cs.ua.edu Research Interests Software Engineering, Model-Driven Engineering, CS Education and Outreach Education Ph.D. in Computer Science, expected August 2016 University of Alabama, Tuscaloosa, AL, USA Advisor: Dr. J. Gray M.S. in Computer Science, May 2012 University of Alabama, Tuscaloosa, AL, USA Advisor: Dr. N. Kraft B.S. in Computer Science, May 2009 University of Alabama, Tuscaloosa, AL, USA Honors & Awards Outstanding Graduate Researcher, University of Alabama Department of CS, 2016 1st place, MODELS ACM Student Research Competition Graduate, 2014. Valencia, Spain University of Alabama College of Engineering Outstanding Service by a Graduate Student, 2014 Outstanding ACM Graduate Award, University of Alabama Department of CS, 2013 2nd place, ACM midSE, Graduate: PhD presentation, 2013. Gatlinburg, TN, USA President of the University of Alabama chapter of Upsilon Pi Epsilon (UPE), 2015 and 2014 UPE is an international honor society for the computing and information disciplines. Vice-President of the University of Alabama chapter of Upsilon Pi Epsilon, 2013 Inducted into the University of Alabama chapter of Upsilon Pi Epsilon, 2011 Refereed Journal and Book Chapter Jonathan Corley, Brian Eddy, Eugene Syriani, and Jeff Gray (2016) “Efficient and Scalable Omniscient Debugging for Model Transformations” In Ghosh, S., Li, J. (Eds.) Software Quality Special Issue on Program Debugging: Research, Practice and Challenges. Jonathan Corley, Eugene Syriani, Huseyin Ergin, and Simon Van Mierlo (2016) “Cloud-based Multi-View Modeling Environments” In Cruz, A.M., Paiva, S. (Eds.) Modern Software Engineering Methodologies for Mobile and Cloud Environments, IGI Global. -
Central Library: IIT GUWAHATI
Central Library, IIT GUWAHATI BACK VOLUME LIST DEPARTMENTWISE (as on 20/04/2012) COMPUTER SCIENCE & ENGINEERING S.N. Jl. Title Vol.(Year) 1. ACM Jl.: Computer Documentation 20(1996)-26(2002) 2. ACM Jl.: Computing Surveys 30(1998)-35(2003) 3. ACM Jl.: Jl. of ACM 8(1961)-34(1987); 43(1996);45(1998)-50 (2003) 4. ACM Magazine: Communications of 39(1996)-46#3-12(2003) ACM 5. ACM Magazine: Intelligence 10(1999)-11(2000) 6. ACM Magazine: netWorker 2(1998)-6(2002) 7. ACM Magazine: Standard View 6(1998) 8. ACM Newsletters: SIGACT News 27(1996);29(1998)-31(2000) 9. ACM Newsletters: SIGAda Ada 16(1996);18(1998)-21(2001) Letters 10. ACM Newsletters: SIGAPL APL 28(1998)-31(2000) Quote Quad 11. ACM Newsletters: SIGAPP Applied 4(1996);6(1998)-8(2000) Computing Review 12. ACM Newsletters: SIGARCH 24(1996);26(1998)-28(2000) Computer Architecture News 13. ACM Newsletters: SIGART Bulletin 7(1996);9(1998) 14. ACM Newsletters: SIGBIO 18(1998)-20(2000) Newsletters 15. ACM Newsletters: SIGCAS 26(1996);28(1998)-30(2000) Computers & Society 16. ACM Newsletters: SIGCHI Bulletin 28(1996);30(1998)-32(2000) 17. ACM Newsletters: SIGCOMM 26(1996);28(1998)-30(2000) Computer Communication Review 1 Central Library, IIT GUWAHATI BACK VOLUME LIST DEPARTMENTWISE (as on 20/04/2012) COMPUTER SCIENCE & ENGINEERING S.N. Jl. Title Vol.(Year) 18. ACM Newsletters: SIGCPR 17(1996);19(1998)-20(1999) Computer Personnel 19. ACM Newsletters: SIGCSE Bulletin 28(1996);30(1998)-32(2000) 20. ACM Newsletters: SIGCUE Outlook 26(1998)-27(2001) 21. -
Test of Time Award
Test of Time Award ACM SIGMETRICS March 13, 2009 Proposed Award ACM SIGMETRICS proposes to create a new annual award called the ACM SIGMET- RICS Test of Time Award. This annual award will recognize an influential paper from the ACM SIGMETRICS conference proceedings 10-12 years prior, based on the criterion of identifying the paper that has had the most impact (research, methodology, application, transfer) in the intervening time period. In each year, the author(s) of the winning paper will receive a recognition plaque and a check for $1,000 US, to be presented at the annual ACM SIGMETRICS conference. Background and Rationale SIGMETRICS is the ACM Special Interest Group for the computer systems performance evaluation community. It promotes research in performance evaluation and analysis tech- niques, as well as the advanced and innovative use of known methods and tools. Target areas of performance analysis include computer architecture, computer networks, database systems, distributed systems, fault-tolerant systems, file and memory systems, operating systems, and real-time systems. ACM SIGMETRICS has held its own annual conference since 1973. Every three years, this conference occurs jointly with the IFIP Performance conference, the flagship conference of IFIP Working Group 7.3. ACM SIGMETRICS currently sponsors four major awards to recognize important con- tributions in the area of performance evaluation: • the SIGMETRICS Achievement Award (first awarded in 2003); • the SIGMETRICS Rising Star Researcher Award (first awarded in 2008); • the SIGMETRICS Best Paper Award at the ACM SIGMETRICS conference; • the Kenneth C. Sevcik Outstanding Student Paper Award for the best student paper at the ACM SIGMETRICS conference. -
ACM Multimedia 2008 - Home
ACM Multimedia 2008 - Home Home Contact Us About ACM News Flash * The competition for student conference participation grant is open. * The update on tutorials is available. * The instructions for camera ready paper submission have been posted. Menu Home Events Calendar Home Latest updates: « < January 2010 > » S M T W T F S Call For Papers *** October 20, 2008: Full conference program is now available*** 27 28 29 30 31 1 2 Important Dates ACM International Conference on Multimedia 3 4 5 6 7 8 9 Organizing Commitee 10 11 12 13 14 15 16 Submission Instructions Pan Pacific Hotel, Vancouver, BC, Canada 17 18 19 20 21 22 23 October 27 – 31, 2008 Information for Presenters 24 25 26 27 28 29 30 http://www.mcrlab.uottawa.ca/acmmm2008/ Technical Program 31 1 2 3 4 5 6 Arts Program ACM Multimedia 2008 invites your participation in the premier annual « < February 2010 > » Workshops multimedia conference, covering all aspects of multimedia computing: from S M T W T F S MIR 2008 underlying technologies to applications, theory to practice, and servers to 31 1 2 3 4 5 6 networks to devices. Tutorials 7 8 9 10 11 12 13 Registration The technical program will consist of plenary sessions and talks with topics 14 15 16 17 18 19 20 21 22 23 24 25 26 27 Venue of interest in: 28 1 2 3 4 5 6 Sponsors (a) Multimedia content analysis, processing, and retrieval; (b) Multimedia networking and systems support; and News Random Image (c) Multimedia tools, end-systems, and applications; Awards (d) Human-centered multimedia.