<html>
  <head>
    <meta http-equiv="content-type" content="text/html;
      charset=ISO-8859-1">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <div align="left">Deadline 7 Feb 2013: firm deadline no extentions<br>
    </div>
    <p align="center">GTSE 2013<br>
      2nd Semat Workshop on a General Theory of Software Engineering<br>
      Sunday May 26, 2013, San Francisco, USA<br>
      In conjunction with<br>
      ACM/IEEE Intl. Conference on Software Engineering (ICSE 2013)<br>
    </p>
    <div align="left">
      <p>Software engineering is becoming more and more mature as an
        academic discipline. Its fundamental concepts are better
        identified and defined and its underlying methods are better
        understood. Despite this, few software engineering theories have
        been proposed, and none of them have achieved significant
        recognition so far.</p>
      <p>GTSE 2013 aims at providing a forum for discussing the concept
        of a general theory in software engineering. The goal is to
        launch a scientific process of proposing, generating,
        criticizing and testing general theories of software
        engineering, and thereby, lead the software engineering
        discipline towards a more mature theoretical state. The workshop
        solicits submissions in the following non-exclusive topics (for
         brief introduction see <a title="Introduction to GTSE"
          href="http://semat.org/?page_id=632">here</a>):</p>
      <ul>
        <li>How can a general theory of software engineering be of
          practical use?</li>
        <li>What are the objectives of such a theory?</li>
        <li>What questions should it address?</li>
        <li>What is a useful definition of theory?</li>
        <li>How foundational/universal should a general theory of
          software engineering be?</li>
        <li>What should its main concepts be? Should it be expressed
          formally? If formalized, what is a suitable language?</li>
      </ul>
      <p>To allow submissions of both developed research and of early
        ideas, GTSE 2013 solicits two categories of papers: (1) 10-page
        research papers and (2) 4-page position papers. All accepted
        papers will be published in the ACM / IEEE CS Digital Library .
        They must follow ICSE formatting guidelines: <a
          title="http://2013.icse-conferences.org/content/submission-guidelines"
href="http://2013.icse-conferences.org/content/submission-guidelines"
          target="_blank">http://2013.icse-conferences.org/content/submission-guidelines</a>,
        and they should be submitted to the workshop’s EasyChair site: <span
          style="text-decoration: underline;"><a
            title="https://www.easychair.org/conferences/?conf=gtse2013"
            href="https://www.easychair.org/conferences/?conf=gtse2013">https://www.easychair.org/conferences/?conf=gtse2013</a></span> .

        When submitting the paper, please indicate in the subtitle to
        which of the categories you are submitting (<em>short</em> position

        paper versus <em>long </em>research papers).</p>
      <p><strong>Important Dates</strong></p>
      <div>
        <div>
          <div>
            <ul>
              <li><span style="color: #ff0000;">Submission of papers</span>:
                <strong>7 February 2013</strong></li>
              <li><span style="color: #ff0000;">Notification of
                  acceptance</span>: <strong>28 February 2013</strong></li>
              <li><span style="color: #ff0000;">Camera Ready</span>: <strong>7
                  March 2013</strong></li>
              <li><span style="color: #ff0000;">Workshop</span>:  <strong>26

                  May 2013</strong></li>
            </ul>
            <p><strong>Workshop Organizers </strong></p>
            <p style="padding-left: 30px;">Pontus Johnson, KTH Royal
              Institute of Technology, Sweden<br>
              Ivar Jacobson, Ivar Jacobson International, Switzerland<br>
              Mira Kajko-Mattsson, KTH Royal Institute of Technology,
              Sweden<br>
              Michael Goedicke, University of Duisburg-Essen, Germany </p>
            <p><strong>Program Committee</strong></p>
            <p style="padding-left: 30px;">Joao Paulo Almeida , F. Uni.
              E.S., Brazil<br>
              Mikio Aoyama , Nanzan University, Japan<br>
              Colin Atkinson , U. of Mannheim, Germany<br>
              Doo-Hwan Bae , Division of Computer Science, EECS KAIST,
              South Korea<br>
              Jongmoon Baik, School of Engineering at Information and
              Communications University South Korea<br>
              Luciano Baresi, Politecnico di Milano, Italy<br>
              Reda Bendraou , Paris Universitas, France<br>
              Arne Berre , SINTEF, Norway<br>
              Ilia Bider , Stockholm University, Sweden<br>
              Christian Bird , Microsoft Research<br>
              Dines Bjørner , DTU Denmark<br>
              Jürgen Börstler , Blekinge Institute of Technology Sweden<br>
              Anthony Cleve , University of Namur Belgium<br>
              Ivica Crnkovic , Mälardalen University Sweden<br>
              Mathias Ekstedt , KTH Sweden<br>
              Gregor Engels, U Paderborn Germany<br>
              Iaakov Exman , Jerusalem C. of Eng. Israel<br>
              Anthony Finkelstein ,U. College London, UK<br>
              Ian Gorton , Pacific Northwest National Laboratory<br>
              John Grundy , U. Swinburn, Australia<br>
              Robert Hall, AT&T Research USA<br>
              Shihong Huang , Florida Atlantic U. USA<br>
              Stefan Jähnichen , TU Berlin, Germany<br>
              Tomasz Janowski , UNU-IIST Center for Electronic
              Governance, Macau<br>
              Capers Jones , Capers Jones & Assoc. USA<br>
              Howell Jordan , UC Dublin Ireland<br>
              Ekkart Kindler , DTU Denmark<br>
              Philippe Kruchten , U. of BC Canada<br>
              Harold Lawson , Lawson Konsult Sweden<br>
              Cristina Marinescu , University Politechnica of Timisoara<br>
              Florian Matthes , TU Munich, Germany<br>
              Tim Menzies , Lane Department of Computer Science, WVU, WV<br>
              Ana Milanova, Rensselaer Polytechnic Institute, USA<br>
              Hausi Müller, University of Victoria Canada<br>
              Jaana Nyfjord , Swedish ICT SICS<br>
              Tero Päivärinta , Luleå U. of Tech. Sweden<br>
              June Sung Park , Korea Advanced Institute of Science and
              Technology<br>
              Dewayne E. Perry, U Texas at Austin USA<br>
              Paul Ralph , Lancaster University UK<br>
              Karl Reed , La Trobe University Australia<br>
              Motoshi Saeki , Tokyo Institute of Technology Japan<br>
              Kassem Saleh , Kuwait University,<br>
              Stanley M. Sutton Jr. , IBM T. J. Watson Research Center<br>
              Scott Tilley , Florida Institute of Technology<br>
              Mikko Tiusanen , Tampere U. of T. Finland<br>
              Aaron Visaggio, University of Sannio Italy<br>
              Willem Visser, University of Stellenbosch, South Africa<br>
              Hongyu Zhang , School of Software, Tsinghua University,
              China</p>
          </div>
        </div>
      </div>
    </div>
    <br>
    <pre class="moz-signature" cols="72">-- 
===============================================
Dr. Ilia Bider  
Process- och systemutvecklingskonsult at ibissoft.se
Lektor & Forskare at DSV.su.se
<a class="moz-txt-link-abbreviated" href="mailto:ilia@ibissoft.se">ilia@ibissoft.se</a>        +46 (0)8 164998
Design science in action ... <a class="moz-txt-link-freetext" href="http://slidesha.re/Uq3RTC">http://slidesha.re/Uq3RTC</a></pre>
  </body>
</html>