IEEE Organizations related to Object oriented programming

Back to Top


Conferences related to Object oriented programming

Back to Top

2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)

ICSE is the premier forum for researchers to present and discuss the most recent innovations, trends, outcomes, experiences, and challenges in the field of software engineering. The scope is broad and includes all original and unpublished results of empirical, conceptual, experimental, and theoretical software engineering research.


2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

robotics, intelligent systems, automation, mechatronics, micro/nano technologies, AI,


2019 International Conference on Robotics and Automation (ICRA)

Flagship conference of the robotics and automation society, a premiere international venue for international robotics researchers


2019 Winter Simulation Conference (WSC)

WSC is the premier international forum for disseminating recent advances in the field of system simulation. In addition to a technical program of unsurpassed scope and quality, WSC provides the central meeting for practitioners, researchers, and vendors.


2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.

  • 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.

  • 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include:automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantic

  • 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, theory of automatic structures, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security, rewriting, type systems and type theory, and verification.

  • 2014 29th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, theory of automatic structures, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security, rewriting, type systems and type theory, and verification.

  • 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.

  • 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.

  • 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2009 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.

  • 2007 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)

  • 2006 21st Annual IEEE Symposium on Logic in Computer Science (LICS 2006)

  • 2005 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005)


More Conferences

Periodicals related to Object oriented programming

Back to Top

Communications Magazine, IEEE

IEEE Communications Magazine was the number three most-cited journal in telecommunications and the number eighteen cited journal in electrical and electronics engineering in 2004, according to the annual Journal Citation Report (2004 edition) published by the Institute for Scientific Information. Read more at http://www.ieee.org/products/citations.html. This magazine covers all areas of communications such as lightwave telecommunications, high-speed data communications, personal communications ...


Computer

Computer, the flagship publication of the IEEE Computer Society, publishes peer-reviewed technical content that covers all aspects of computer science, computer engineering, technology, and applications. Computer is a resource that practitioners, researchers, and managers can rely on to provide timely information about current research developments, trends, best practices, and changes in the profession.


Computer Graphics and Applications, IEEE

IEEE Computer Graphics and Applications (CG&A) bridges the theory and practice of computer graphics. From specific algorithms to full system implementations, CG&A offers a strong combination of peer-reviewed feature articles and refereed departments, including news and product announcements. Special Applications sidebars relate research stories to commercial development. Cover stories focus on creative applications of the technology by an artist or ...


Computing in Science & Engineering

Physics, medicine, astronomy—these and other hard sciences share a common need for efficient algorithms, system software, and computer architecture to address large computational problems. And yet, useful advances in computational techniques that could benefit many researchers are rarely shared. To meet that need, Computing in Science & Engineering (CiSE) presents scientific and computational contributions in a clear and accessible format. ...


Design & Test of Computers, IEEE

IEEE Design & Test of Computers offers original works describing the methods used to design and test electronic product hardware and supportive software. The magazine focuses on current and near-future practice, and includes tutorials, how-to articles, and real-world case studies. Topics include IC/module design, low-power design, electronic design automation, design/test verification, practical technology, and standards. IEEE Design & Test of ...


More Periodicals

Most published Xplore authors for Object oriented programming

Back to Top

No authors for "Object oriented programming"


Xplore Articles related to Object oriented programming

Back to Top

IEE Colloquium on 'Recent Progress in Object Technology' (Digest No.1993/238)

IEE Colloquium on Recent Progress in Object Technology, 1993

None


IEE Colloquium on 'Distributed Object Management' (Digest No.1994/007)

IEE Colloquium on Distributed Object Management, 1994

None


IEE Colloquium on 'The Design, Implementation and Use of Object-Oriented Systems' (Digest no.1994/003)

IEE Colloquium on Design, Implementation and Use of Object-Oriented Systems, 1994

None


IEE Colloquium on 'Applications and Experience of Object-Oriented Design' (Digest No.018)

IEE Colloquium on Applications and Experience of Object-Oriented Design, 1991

None


Software R&D: from an art to a science

IEEE Spectrum, 1990

Changes in software development are discussed, and major trends resulting in development techniques becoming increasingly structured and disciplined and focusing more attention on building a mathematical basis of software engineering are identified. Modification of the classic waterfall model of software development (stopping at certain stages to build prototypes or changing the way the cycle progresses to better accommodate the necessary ...


More Xplore Articles

Educational Resources on Object oriented programming

Back to Top

IEEE-USA E-Books



Standards related to Object oriented programming

Back to Top

No standards are currently tagged "Object oriented programming"