Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] SMC-IT and SCC Deadline Extension (March 3rd 2...


view this post on Zulip Email Gateway (Feb 01 2023 at 14:51):

From: Marie Farrell <marie.farrell@manchester.ac.uk>
CALL FOR PAPERS
SMC-IT / SCC 2023

9th International Conference on Space Mission Challenges for Information Technology (SMC-IT)
14th International Conference on Space Computing (SCC)

Paper Submission Deadline: March 3, 2023
Date: 18-21 July, 2023
Venue: Caltech, Pasadena, CA, USA

TECHNICAL TOPICS
Topics of interest for SMC-IT include, but are not limited to, the
following:

Topics of interest for SCC include, but are not limited to, the
following:

The organization committee is considering to have a closed-door session. If you
might be interested in submitting work for that session, please contact the
chairs at: smcit-scc_chairs@jpl.nasa.gov.

SUBMISSIONS

The SMC-IT/SCC 2023 Technical Committee is seeking three kinds of
submissions at this time: full papers, presentations and posters.

FULL PAPERS WITH PRESENTATION (BOTH SMC-IT AND SCC)
Full papers can be up to 10 pages in length (excluding references).

All papers accepted for SMC-IT 2023 will be published in the IEEE
conference proceedings, indexed in the IEEE Xplore database. Note that
IEEE has a "Podium and Publish" policy for conferences, which means that
no manuscript will be published in IEEE Xplore without first being
presented at the conference.

POSTER SUBMISSIONS (BOTH SMC-IT AND SCC)
Proposals for posters can be up to 2 pages in length (excluding references).

PRESENTATIONS WITHOUT ACCOMPANYING PAPERS (ONLY SCC)
Authors of presentations which will not have a corresponding paper need
to submit a 1-page abstract.

All accepted presentations will be distributed to the conference
attendees, with the consent of the author and their organization, but
will not be published in the IEEE Xplore database.

OTHER SESSIONS (BOTH SMC-IT AND SCC)

The SMC-IT/SCC committee is also planning on holding an "Unclassified,
US Persons Only” session and a “Classified Session” hosted by the
Aerospace Corporation. If you are interested in submitting a presentation
for either of these sessions, please contact the chairs at:
smcit-scc_chairs@jpl.nasa.gov.

FORMAT
Templates can be found on the SMC-IT/SCC 2023 web site:
http://smcit-scc.space

SCHEDULE

CONFERENCE CHAIRS:
General Chair (SMC-IT): Alessandro Pinto (NASA JPL)
General Chair (SCC): Jim Butler (NASA JPL)
General Co-chair (SMC-IT) Yogita Shah (NASA JPL)
Finance Chair: James Oyama (NASA JPL)
Finance Co-Chair: Brian Duncan (Johns Hopkins University / APL)
Program Chair (SMC-IT): Ivan Perez (KBR / NASA Ames Research Center)
Program Chair (SCC): Christopher Green (NASA Goddard)
Program Co-chair (SMC-IT): Marie Farrell (University of Manchester)
Program Co-chair (SCC): David Henriquez (NASA JPL)
Workshop Chair (SMC-IT): Sanaz Sheikhi (Stony Brook University)
Diversity Chair: Divya Gopinath (KBR / NASA Ames Research Center)
Advisors to the Chairs:

ORGANIZING COMMITTEE:

STEERING COMMITTEE:

Dr Marie Farrell​​

Royal Academy of Engineering Research Fellow

Department of Computer Science

The University of Manchester

UK


Last updated: Apr 28 2024 at 20:16 UTC