Fusionbase Logo

Master Data

Registry
Register court Charlottenburg (Berlin) HRB 113556
Previous
semantics gmbh
Registered
5/20/2008
Industry
Activities of organisations in the field of education, science and researchResearch and experimental development on social sciences and humanitiesGeneral and political adult education
Purpose
1. Die Förderung von Wissenschaft und Forschung in den Bereichen der Anwendung von Methoden der wissenschaftlichen Informatik in den Geisteswissenschaften und im Kulturschaffen und der formalen mathematischen Methoden in der Programmierung. 2. Dies geschieht durch die Entwicklung quelloffener und gemeinfreier Software, durch die dazugehörige Grundlagenforschung, durch zeitnahe öffentliche Präsentation der Forschungsergebnisse durch die anerkannten professionellen Kanäle, Schulungen und Erstellung von pädagogischem Material, wann immer möglich mit kostenfreiem Zugang, und durch Förderung künstlerischer Entwicklungsvorhaben, welche Methoden der wissenschaftlichen Informatik anwenden. Besonderes pädagogisches Anliegen ist stets, der unreflektierten Anwendung kommerziell determinierter Produkte eine offene, variable und ihre logischen, praktischen und psychologischen Grundlagen kritisch hinterfragende Methodik entgegenzusetzen, und so die Benutzer in den Reihen von Künstlern und Geistes- und Kulturwissenschaftlerinnen im Diskurs nachhaltig zu ertüchtigen. 3. Die Gesellschaft verfolgt ausschließlich und unmittelbar gemeinnützige Zwecke im Sinne des § 52 Absatz 2 Nr. 1 der Abgabenordnung. Die Gesellschaft ist selbstlos tätig. Sie verfolgt nicht in erster Linie eigenwirtschaftliche Zwecke.

History

No events found for this filter

Management

NameRole
Markus Dr.-Ing. Lepper
since 5/20/2008
Managing Director

Beneficial Owners

100.00% identified0.00% unresolved

Identified persons (2)

NameOwnership
Markus Lepper
92.00%
J*** B******* T****** y* W*******
8.00%

Shareholders

2 shareholders

GmbH structure

Markus Lepper
Berlin
€23,000
92.00%
J*** B******* T****** y* W*******
—
€2,000
8.00%

Financial Report

semantics gmbh

Berlin

Jahresabschluss 2013/14

Registereintrag HRB 113 556 B beim Amtsgericht Berlin-Charlottenburg
Steuernummer 37/100/21377 beim Finanzamt f. Körperschaften II, Berlin
Geschäftsjahr 01.04.2013 bis 31.03.2014
Erstellungsdatum 01.04.2014

1. Bilanz

(folgend SKR04)

AKTIVA

Vorj. 2012/13 2013/14
0000-0399 Ausstehende Einlagen 1.0000,00 0,00 EUR
0400-0699 Aktivierte Produktionsmaschinen 4,00 4,00 EUR
1400-1499 Geleistete Vorsteuer 170,61 73,70 EUR
1800-1899 Bankkonten 11.037,10 6.337,15 EUR
1900 Aktive Rechnungsabgrenzung 512,58 512,57 EUR
Summe 12.724,89 6.927,42 EUR

PASSIVA:

      
       
2000-2010 Stamm- und Eigenkapital 12.683,12 6.782,15 EUR
3300 Verbindlichkeiten aus LuL 41,77 41,77 EUR
3600-3610 Kredit über Kreditkarte 0,00 103,50 EUR
Summe 12.724,89 6.927,42 EUR

2 Geschäftsbericht

Die semantics GmbH Berlin ist ein Unternehmen zur Durchführung von angewandter Grundlagenforschung, zur exakten Definition von Datenkonzepten mittels mathematischer Methoden und deren Umsetzung in Kernversionen leistungsfähiger Software. Der Erfolg unserer Arbeit zeigt sich im relativ hohen Anteil der peer-reviewed Konferenz- und Journal-Beiträge. Und das in von uns zwar stark verschränkt betriebenen, aber letztlich doch sehr unterschiedlichen Forschungsbereichen, von Realzeit-Signalverarbeitung bis zu Dynamischen Dokumenten.

Die semantics GmbH Berlin hat inzwischen anteilig oder allein diese Projekte und Publikationen ermöglicht:

Rewriting Object Models With Cycles and Nested Collections

In CALCO Early Ideas (workshop on the 5th Conference on Algebra and Coalgebra in Computer Science), In ISOLA 2014, Leveraging Applications of Formal Methods, Verification and Validation, LNCS 8802.

Fragmented Validation - A Simple and Efficient Contribution To XSLT Checking

In 6th Int. Conf. on Model Transformations, 2013. (Further review pending.)

tscore - Make Humans and Computers Talk About Time

In Jahreskonferenz der Deutschen Gesellschaft für Theaterwissenschaft, Bayreuth, 2012

In KEOD 2013 Int. Conference on Knowledge Engineering and Ontology Design

Paisley: Pattern matching a la carte,

In Theory and Practice of Model Transformations, 5th International Conference, ICMT 2012, Praha, Springer, LNCS 7307.

Paisley: A Pattern Matching Library for Arbitrary Object Models,

In 6. Arbeitstagung Programmiersprachen (ATPS 2013), Aachen 2013, GI, LNI 215, hrsg. Gesellschaft für Informatik. In Kiel Declarative Programming Days 2013, 22nd Int. Workshop on Functional and (Constraint) Logic Programming

Synopsis of Musical Notation Encyclopedias,

Berlin 2012, senzatempo.de/ston2012070100. html

Metrisch korrekte Notation von Rhythmen - Eine Einführung in das Problem,

Berlin 2012, senzatempo.de/ston2012102700.html

Towards Semantics for a Functional Synchronous Signal Language,

In Tagungsband 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung. ISSN 1438-3985, Westfälische Wilhelms-Universität Münster, Münster 2011.

In IFL 2014 Pre-Conference.

In 12th International Workshop Coalgebraic Methods in Computer Science, CMCS, 2014.

In 5th Workshop on Mathematically Structured Functional Programming, MSFP 2014.

In 2Nd ACM SIGPLAN International Workshop on Functional Art, Musik & Design, FARM '14.)

(Weitere Publikationen unterwegs.)

d2d - a Robust Front-End for Prototyping, Authoring and Maintaining XML Encoded Documents by Domain Experts,

In Proceedings of KEOD 2011 International Conference on Knowledge Engieering and Ontology Design, SciTePress, Portugal 2011, ISBN 978-989-8425-80-5 (Weitere Publikationen unterwegs.)

Solving the TTC 2011 Compiler Optimization Task with meta-tools,

In TTC 2011: Fifth Transformation Tool Contest, EPTCS, Vol. 74, The Web, 2011

In Special issue on Experimental Software Engineering in the Cloud(ESEiC), Science of Computer Programming, 2014, vol 85 A.

Optimization of Visitor Performance by Reflection-Based Analysis,

In Theory and Practice of Model Transformations, 4th. International Conference, Zürich, ICMT 2011, LNCS 6707,

News & Media Coverage

Insolvency Notices

Current insolvency proceedings

Check if there are any insolvency proceedings for this company

Commercial Register Documents

Shareholder List
Current Print (Aktueller Abdruck)
Chronological Print (Chronologischer Abdruck)

Organizations at this Address

1 nearby organization

List of companies and organizations located at or near this business address. Data includes company names, addresses, registration details, and industry classifications.
The information on this page is sourced from public sources, official registries, or provided by third-party providers. Fusionbase does not guarantee the accuracy, completeness, or timeliness of the data. If you have any questions or suggestions, feel free to contact us via the contact form.